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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
859
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/30(木)20:48 ID:o/pAlieb(4/5) AAS
>>858 補足

例えば、最初は”ぐー”で w ;p)
ある無限集合Aに対して、
先頭有限n個の要素 a0,a1,・・,an-1 個を 取り出して並べる
その後ろに、残りの A-{a0,a1,・・,an-1}について 整列可能定理を適用した列を並べる
そうすると、先頭有限n個の要素は、自由だ!w

別に、非可算の実数Rの整列において
省12
864
(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/31(金)00:11 ID:6DephDfl(1) AAS
>>861
>おサルさん、なんで>>851から逃げるの?

>>851か?
(引用開始)
>{A,A-{a0},A-{a0,a1},A-{a0,a1,a2},・・,A-{aξ:ξ<α},・・} で、左記の集合は Sの部分集合
>(明らかに、集合Aと同じ濃度)
>だから、Sの部分集合の形成には、選択関数は この段階では不要
省32
872: 01/31(金)06:33 ID:uxf2uT9e(3/8) AAS
>>859
>(前略)

●ルは、Jechの証明における選択公理の使用が全く理解できませんでしたとさ

Aのいかなる空でない部分集合についても
「この集合では、この要素を選ぶ」
という対応の一覧が存在すれば、それで第一段階OK

あとはAから順序数の順にそって取り出すときに
省13
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s