デデキント切断 - Wikipedia

この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年8月） デデキント切断（デデキントせつだん、英: Dedekind cut）、あるいは単に切断 (独: Schnitt) とは、リヒャルト・デデキントが考案した数学的な手続きで、実数論の基礎付けに用いられる。 定義[編集] 全順序集合 K を、一方が他方の全ての元よりも小であるような二つの組に分けたとする。 K = A ∪ B, A ≠ ∅, B ≠ ∅; a ∈ A, b ∈ B ⇒ a < b. このような組 (A, B) をデデキント切断という。 概論[編集] 以下では全順序集合Kとして有理数をとり、「切断が一つの数を確定する」ことを公理に採用して有理数の"隙間"を埋める形で、実数を構成する。仮に上記のA,Bをそれぞ

[asrog]

仕事中にふと浮かんだ言葉。なんかのお告げかと思ったが、特に使い道はなさそうで「なんなん？」という気持ちだけが残る。

[takahiro_kihara]

うーん、わからん！

[daybeforeyesterday]

わぁいデデキントの切断、あかりデデキントの切断大好き

[kiyo_hiko]

実数の連続性を説明するのに