デデキント切断で実数を構成した後に順序と演算を入れ、完備な順序体にしたのだ。そのあと有理コーシー列との関わりを見たのだ。完備順序体やコーシー列の収束などの証明を全部書いたから文字数は多いけど見ていってほしいのだ。優しい証明が多いから自明だ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。