[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ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*