切断の定義
数の集合 
の部分集合 
について、 
に属するすべての数が 
または 
に属し、かつ 
に属するすべての数が 
に属するすべての数より小さいとする。また 
は空集合でないとする。このとき 
を 
のデデキントの切断という。また 
を下組、 
を上組という。
あるいは 
などの記号を使って下のように定義する。
切断の定義
数の集合 
の部分集合 
について、 
に対して 
かつ 
が成り立つとき 
を 
のデデキントの切断という。また 
を下組、 
を上組という。
例えば 
は 
と 
に切断できる。
デデキントの切断の例
は 
と 
に切断できる。
について 
と 
は切断ではない。なぜなら 
は下組と上組のどちらにも属さないから。
について 
と 
は切断である。
デデキントの定理
デデキントの定理
実数の切断は下組と上組の境界となるただ一つの数を定める。
以下 
とする。デデキントの定理は 
かつ 
に対して 
が 
と 
の境界を定めるという主張である。
例えば 
であるが、この 
はデデキントの切断の定義にしたがっている。デデキントの定理によるとデデキントの切断によってただ一つの数が定まるが、この場合それは 
である。ここで 
は 
の最小値であることに注意。
なお 
を 
の上限という。
