[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
721: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)07:26 ID:s6Tab8iq(1/15) AAS
>>720
おまえの負けだな
１．「信用」？ 数学は信用でやるものだったのか？
２．５CHは、基本は匿名の名無しさんだよね？ 日替わりIDの匿名さんを「信用」？ バカじゃね（＾＾
３．自ら、”自分は数学は不出来で、分かりません”と自白しているってことよね
722(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)07:47 ID:s6Tab8iq(2/15) AAS
>>713
文字化けを直して、再引用しよう
外部ﾘﾝｸ[html]:web.mat.bham.ac.uk
Foundation and epsilon-induction
(抜粋)
1. Introduction
Either by examining the sets created in the first few levels of the cumulative hierarchy or from other means, via considering the idea of constructions of sets perhaps, we conclude that we do not expect sets to have infinite descending sequences
省11
723(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)07:55 ID:s6Tab8iq(3/15) AAS
>>722
＜Google翻訳＞（少し手直し）
基礎とイプシロン帰納
（抜粋）
1.はじめに
累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます
x0∋x1∋x2∋x3∋x4∋…
省10
724(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:03 ID:s6Tab8iq(4/15) AAS
>>723
>累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます
>x0∋x1∋x2∋x3∋x4∋…
>少なくとも、構築された集合の累積hierarchy内の集合については。
言いたいことは、単純で
無限の降順シーケンス
x0∋x1∋x2∋x3∋x4∋…
省11
725(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:13 ID:s6Tab8iq(5/15) AAS
>>724 つづき
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 を含み後者関数について閉じている集合のひとつを M とする。
自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。
このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
省13
728(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:37 ID:s6Tab8iq(6/15) AAS
>>725 つづき
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列：0∈1∈2∈3∈4∈…
が構成される
これは、可算無限長の上昇列
で、<ノイマン構成>と<Zermelo構成>とは、一対一対応がつくのです
省16
729(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:50 ID:s6Tab8iq(7/15) AAS
>>728 補足
ノイマン構成で、下記のカントールの順序数が構成できる
具体的には、ノイマン構成で順序数ωが構成できる
（当たり前だが）
ノイマン構成とZermelo構成とは、その構成法から、一対一対応がつく
（∵ 後者関数が少し違うだけなので、順序列としては当然同型になる（∈列として同型））
よって、Zermelo構成で順序数ωが構成できる
省12
735(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)10:04 ID:s6Tab8iq(8/15) AAS
おサル、必死の言い繕い
墓穴を大きくするおサルｗ（＾＾；
739(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:14 ID:s6Tab8iq(9/15) AAS
（＾＾；
「∈列 有限長」ｗｗ
おサル＝ID:uZFmzNJe は、恥かき
”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”ｗｗ
(>>636より)
Inter-universal geometry と ABC予想 42
省24
740(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:31 ID:s6Tab8iq(10/15) AAS
>>739
＞”「集合のいかなる∈列も有限長で終わる」
じゃ、>>728の
<ノイマン構成>
0,1,2,3,・・・たちを集合として見て
可算無限長の上昇列
0∈1∈2∈3∈4∈…
省3
747(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)21:58 ID:s6Tab8iq(11/15) AAS
>>743
>ωから降下していく場合、いきなり何かある自然数ｎに降下するから
おサルの墓穴は、笑えるわｗ
下記の
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
省30
748(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)22:07 ID:s6Tab8iq(12/15) AAS
>>747 補足
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)”
は、列の長さを言っているんだろ？（＾＾
勝手に、
（>>743）
省8
749: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)22:09 ID:s6Tab8iq(13/15) AAS
>>748 タイポ訂正
列 ・・・<an <an-1 <・・・ で
例えば、an-1 <・・・ を飛ばすのか？
↓
列 ・・・<an <an+1 <・・・ で
例えば、an+1 <・・・ を飛ばすのか？
おサルを笑っていたら
省1
754: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)23:25 ID:s6Tab8iq(14/15) AAS
>>747 補足
”定義 2.2
（ X, =< ）を全順序とする。Xに無限降下列
a0 > a1 > a2 > ・・・ (ai ∈ X)
が存在しないとき、（ X, =< ）を整列順序という。
別の言い方をすれば、整列順序とは空でないどんな部分集合 Y ⊆ X も最小元を持つよう
な全順序のことである。”
省15
755: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)23:30 ID:s6Tab8iq(15/15) AAS
>>752
「いかなる超限順序数からの降下列も有限列
これが超限帰納法」
おサル
哀れななんとかさんと、良い勝負だな、おまえｗ（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.904s*