デデキント切断のソースを表示

{{No footnotes|date=2023年8月}}
'''デデキント切断'''（デデキントせつだん、{{lang-en-short|''Dedekind cut''}}）、あるいは単に'''切断'''（{{lang-de-short|''Schnitt''}}）とは、[[リヒャルト・デーデキント|リヒャルト・デデキント]]が考案した[[数学]]的な手続きで、[[実数]]論の基礎付けに用いられる。

==定義==
全順序集合 ''K'' を、一方が他方の全ての元よりも小であるような二つの組に分けたとする。

:<math>K=A\cup B</math>
:<math>A\ne\empty</math>
:<math>B\ne\empty</math>
:<math>(\forall a\in A,\forall b\in B)a<b</math>

このような組 (''A'', ''B'') を'''デデキント切断'''という。

==概論==
以下では全順序集合 ''K'' として有理数をとり、「切断が一つの数を確定する」ことを公理に採用して有理数の"隙間"を埋める形で、実数を構成する。仮に上記の ''A'', ''B'' をそれぞれ下組、上組としておく。

有理数の切断を与えることで、切断に対応する実数をただ一つ定めることができる。

一般に全順序集合の切断には、四つの場合が考えられる。
# 下組の[[最大と最小|最大元]]と上組の[[最大と最小|最小元]]がある。
# 下組には最大元があるが、上組に最小元がない。
# 上組には最小元があるが、下組に最大元がない。
# 下組の最大元、上組の最小元ともにない。

[[有理数]]の場合、[[稠密順序|稠密性]]から任意の二つの有理数の間に無数の有理数が存在するため、切断1は不可能である。切断2および切断3の場合は、それぞれ下組の最大元、上組の最小元にあたる有理数に対応し、切断4の場合は、[[無理数]]に対応する。

上記の方法による実数の定義は、[[実数の連続性]]と同値である。
実際、上記の方法で構成された実数に対して切断を行った場合、切断4は不可能となり、切断2もしくは切断3のいずれかになるため、対応する境界の元がただ一つ定まる。これを'''[[実数の連続性#デデキントの公理|デデキントの定理]]'''と言う。

== 参考文献 ==
*{{Cite book|和書
|author=デーデキント|authorlink=リヒャルト・デデキント
|others=[[河野伊三郎]]訳
|edition=
|year=1961
|title=数について ―― 連続性と数の本質 ――
|publisher=[[岩波書店]]
|series=[[岩波文庫]]
|isbn=4-00-339241-8
|volume=
|ref=
}}
*{{Cite book|和書
|author=リヒャルト・デデキント|authorlink=リヒャルト・デデキント
|others=[[渕野昌]]訳
|edition=
|year=2013
|title=数とは何かそして何であるべきか
|publisher=[[筑摩書房]]
|series=[[ちくま学芸文庫]]
|isbn=978-4-480-09547-3
|volume=
|ref=
}}
*{{Cite book|和書|author=松坂和夫|authorlink=松坂和夫|title=解析入門１|publisher=岩波書店}}
** 有理数の切断による実数の構成が具体的に書かれている。
* [[小平邦彦]]『軽装版 解析入門〈1〉』岩波書店
** 有理数を既知のものとし、デデキント切断を用いて実数を定義している。

== 関連項目 ==
* [[コーシー列]]
* [[無理数]]
* [[実数]]

== 外部リンク ==
*{{MathWorld|title=Dedekind Cut|urlname=DedekindCut}}

{{DEFAULTSORT:ててきんとせつたん}}

[[category:数学に関する記事]]
[[category:数]]
[[Category:実数論]]
[[Category:数学のエポニム]]