[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
87: 2019/10/05(土)19:11:07.76 ID:kZwmbLNI(35/44) AAS
>>77
＞空集合Φに冪集合の演算を超限回繰り返して得られる」
＞集合 {・・・{Φ}・・・}（{}が無限重になっている集合）
＞は存在します
嘘をいくら書かれても真実にはなりませんね
証明できますか？できませんよ
119(1): 哀れな素人 2019/10/06(日)09:29:02.76 ID:aAisPx0D(3/15) AAS
↑見ろ、このアホのチンピラ臭丸出しの文章（笑
これがサル石という男である（笑
相手かまわず誰にでも噛みつく（笑
在日同和の低学歴バカだから
他人に噛みつきたくて噛みつきたくてたまらない（笑
噛みつかないと気が済まない（笑
一種の精神病者（笑
省5
192(3): 2019/10/07(月)08:54:36.76 ID:3bkiY8iJ(2/3) AAS
もう少し具体的に聞きましょう。
確かに順序数とは整列順序集合の同値類の完全代表系の一つであります。
まず通常のノイマンの構成による順序数全体をOrdとします。
Ordの元xに対しツェルメロ構成によるx番目の順序数をZ(x)としてこれを定めるなら、
Z(0)=0,
Z(x+1)={Z(x)}
としてx<ωまではいいでしょう。
省3
214(1): 2019/10/08(火)09:37:02.76 ID:ofPIORDH(1) AAS
>>210
>>211
> >>210
> つづき
>
> ここで、現代数学の順序同型（下記）を借用しましょう
> ”整列順序型N’：0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です
省20
324(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/13(日)07:23:50.76 ID:sXrN/kYa(4/5) AAS
>>323
つづき
Category theory
The visualization of orders with Hasse diagrams has a straightforward generalization: instead of displaying lesser elements below greater ones, the direction of the order can also be depicted by giving directions to the edges of a graph.
In this way, each order is seen to be equivalent to a directed acyclic graph, where the nodes are the elements of the poset and there is a directed path from a to b if and only if a ? b. Dropping the requirement of being acyclic, one can also obtain all preorders.
When equipped with all transitive edges, these graphs in turn are just special categories, where elements are objects and each set of morphisms between two elements is at most singleton. Functions between orders become functors between categories. Many ideas of order theory are just concepts of category theory in small. For example, an infimum is just a categorical product.
More generally, one can capture infima and suprema under the abstract notion of a categorical limit (or colimit, respectively). Another place where categorical ideas occur is the concept of a (monotone) Galois connection, which is just the same as a pair of adjoint functors.
省3
570: 2019/12/01(日)15:03:05.76 ID:go6lPTYO(10/12) AAS
>>568
こいつ・・・正真正銘の馬鹿だなｗ
馬鹿の構成した「馬鹿シングルトン」
{,{,・・,{,{,{,{ },},},},・・,},}
の要素は
{,・・,{,{,{,{ },},},},・・,}
でそのまた要素は
省17
592(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/04(水)14:04:09.76 ID:vhgyVZ6r(2/7) AAS
>>574 補足
１．言っていることは簡単なことで
各ｎについて、Zermelo 構成とノイマン 構成は、一対一に対応する
２．のみならず、お互いに変換できる
ノイマン 構成から、不要な要素を抜けば、Zermelo 構成になり
Zermelo 構成から、要素を追加していけば、ノイマン 構成になる
３．例えば、
省13
642: 2019/12/07(土)15:53:08.76 ID:uZFmzNJe(7/27) AAS
>>639
＞体系の言語で記述される（内的な）無限降下列 と
＞モデルでの無限降下列の区別・・・
超準的自然数の話はしてませんので
ここでは上記の文章は無関係です
664(1): 2019/12/07(土)17:09:05.76 ID:uZFmzNJe(18/27) AAS
>>662
だったら
「Fの任意の元がシングルトン⇒Fは有限集合」
の誤りも即座に分かるでしょう？
726: 2019/12/14(土)08:22:24.76 ID:CsbquFhS(1/18) AAS
>>724
>降順はダメで、上昇はOK
なぜだかわかるかい？
上昇列のどの項から下降しても有限ステップで{}に至るからだよ
つまり上昇列には無限重の{…}は現れない
これ豆な
751: 2019/12/14(土)22:16:35.76 ID:CsbquFhS(16/18) AAS
ゴキブリ◆e.a0E5TtKEは
降下列すら正しく理解できない
正真正銘の白痴野郎ｗｗｗｗｗｗｗ
833: 2019/12/17(火)06:01:33.76 ID:LQIUz6rO(3/12) AAS
>>829
なんだ？この馬鹿
857: 2019/12/18(水)07:08:52.76 ID:9XjuQhgT(2/6) AAS
AA省
942: 2019/12/20(金)20:54:45.76 ID:PajeDX38(3/5) AAS
>>938
「エレガントな宇宙」で
著者のマイケル・グリーンが
「計算は直感の嘘を暴く」って
似た様な事書いてましたね。。。
976(1): 2019/12/21(土)08:57:45.76 ID:pc7JmFyr(4/8) AAS
ｻﾙﾙちゃんが絶滅しちゃうよ・・・
もうアラフォーなのに・・・
。°。°゜°。°゜(。ノＡ<)゜°゜。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s