2019-07-09から1日間の記事一覧

デデキント切断による実数の構成・その演算が完備順序体をなすことの証明・そしてコーシー列との関係

デデキント切断で実数を構成した後に順序と演算を入れ、完備な順序体にしたのだ。そのあと有理コーシー列との関わりを見たのだ。完備順序体やコーシー列の収束などの証明を全部書いたから文字数は多いけど見ていってほしいのだ。優しい証明が多いから自明だ…