[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/21(火)18:05 ID:N2eH+PDU(5/6) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ）
>>490
>いわゆる選択公理を使えば整列できるよ
>Rの任意の空でない部分集合からその要素を取りだす関数fの存在が選択公理から言えるから
いま、選択公理→整列可能定理
の証明中で
”選択公理→整列可能定理”を 先取りしたら、まずいぜｗ ；ｐ）
>濃度Ｘの極限と 濃度2^Ｘの極限は一致する
意味不明陳述
濃度Ｘの極限？
濃度2^Ｘの極限？
なんだ それ？ｗｗ ；ｐ）
>>491
> だから、任意の空でない部分集合の全体を集合族としてとるしかない
> 集合族 A∖{aξ∣ξ<α}というのは、選択関数があるからできることであって
発狂してる？ｗ ；ｐ）
任意集合Xに対する 任意の空でない部分集合の全体 は、べき集合2^X＼Φ （Φは 空集合、2^XはXのべき集合）
で？ 順序数 ξ∣ξ<α との対応付けを、事前にやれるだって？
どうするの？
集合Xの べき集合2^X＼Φ に、順序数 ξ∣ξ<α との対応付けを、事前にやれるってことは
>>486に書いたけど、任意集合Xの要素についても 順序数 ξ∣ξ<α との対応付けが 出来ていることになるよ
そしたら ”→整列可能定理”の部分は、そこで証明終わっているぞ ；ｐ）
(参考)
ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88
冪集合
定義
集合 S が与えられたとき、S のすべての部分集合からなる集合
（注：空集合Φを含む）
上下前次1-新書関写板覧索設栞歴
あと 508 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s