[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
206(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)00:10 ID:3SQHWkr4(1/5) AAS
>>205
＞という形までしか許されません。私の>>18を見て下さい。
ああ、>>18をアップした人だったのかい？（＾＾
>たの論文なり教科書に載ってる結果を引用したいのなら構いません。
まあ、探してみるけどね
おれさ、おっちゃんみたいに、こんなバカ数学板に、ぐだぐだ記号で証明書く趣味ないんだよね
そもそもがさ、書かれた証明が初出なら、タイポとかありうるでしょ
省16
210(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)07:22 ID:3SQHWkr4(2/5) AAS
>>207
>> つまり、Nは全ての有限の元を含むので、
>Nが全ての有限集合を含むわけないでしょ？
？
あなたは、>>127で
(引用開始)
ω' を
省23
211(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)07:23 ID:3SQHWkr4(3/5) AAS
>>210
つづき
ここで、現代数学の順序同型（下記）を借用しましょう
”整列順序型N’：0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です
これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型
全単射で、ツェルメロのΩが、ノイマンのωに対応する
よろしいでしょうか？
省16
212: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)07:24 ID:3SQHWkr4(4/5) AAS
>>211
つづき
外部ﾘﾝｸ:ja.wikipedia.org
順序数
(抜粋)
順序数の大小関係に関して次が成り立つ：
5.順序数からなる空でない集合には必ず最小元が存在する。
省6
213: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)07:34 ID:3SQHWkr4(5/5) AAS
>>211 追加引用
下記の和積が、通常の演算と同じなんでしょうね、多分（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
順序型
(抜粋)
5 順序型の演算
5.1 和
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s