デデキント切断

デデキント切断（デデキントせつだん、）、あるいは単に切断 () とは、リヒャルト・デデキントが考案した数学的な手続きで、実数論の基礎付けに用いられる。
定義.
全順序集合 "K" を、一方が他方の全ての元よりも小であるような二つの組に分けたとする。
このような組 (A, B) をデデキント切断という。
概論.
以下では全順序集合Kとして有理数をとり、「切断が一つの数を確定する」ことを公理に採用して有理数の"隙間"を埋める形で、実数を構成する。仮に上記のA,Bをそれぞれ下組、上組としておく。
有理数の切断を与えることで、切断に対応する実数をただ一つ定めることができる。
一般に全順序集合の切断には、四つの場合が考えられる。
有理数の場合、稠密性から任意の二つの有理数の間に無数の有理数が存在するため、切断1は不可能である。切断2および切断3の場合は、それぞれ下組の最大元、上組の最小元にあたる有理数に対応し、切断4の場合は、無理数に対応する。
上記の方法による実数の定義は、実数の連続性と同値である。
実際、上記の方法で構成された実数に対して切断を行った場合、切断4は不可能となり、切断2もしくは切断3のいずれかになるため、対応する境界の元がただ一つ定まる。これをデデキントの定理と言う。