[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
97
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/10(金)18:04 ID:HEywEVY2(10/12) AAS
>>93
>【実数の構成】
>wikipedia「コーシー列」
>この中で実数体Rが完備であることが選択公理を用いること無く示されている。

なるほど
有理コーシー列の構成が、なんらの選択公理なしで可能なことは認める
その上で問う
省8
113
(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/11(土)08:05 ID:TvN85EDR(1/9) AAS
>>108
>いや、有限なら有理数だからw

そうでした
区間[0.1]の実数rの無限2進展開は、選択公理とは別ですね
なので>>102の対角線論法の部分は、下記に修正しますね
”縦方向に並べるの行の数は、可算整列可能定理を使って 可算無限にできる
 しかし、可算整列可能定理(=可算選択公理)を否定すると、有限になるので
省29
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.510s*