[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
142: 2019/12/30(月)12:01 ID:uyCQGdKl(1) AAS
バカ丸出し
143: 2019/12/30(月)12:06 ID:QJZL/mXh(4/5) AAS
>>141
>おサルは、リーマン球面を持ち出したろ？
◆e.a0E5TtKEが馬鹿の一つ覚えで
「リーマン球面」と吠えるのが
ミエミエなので先に持ち出した
もちろん「そんなの全然見当違い」という意味
>R, Q, Zに、Cも付け加えておけ
必要ない
省10
144(1): 2019/12/30(月)12:11 ID:QJZL/mXh(5/5) AAS
2chｽﾚ:math
資本主義が必然だと思ってる馬鹿は
ユークリッド幾何学やニュートン力学が
必然だと思ってる馬鹿と同レベルｗ
>会話のできる頭の柔らかい数学屋は、AI時代でも生き残るだろう
>しかし、会話のできない頭の硬い数学屋は、AI時代では役に立たない
専門用語の誤用しまくりのトンデモ文で
会話したつもりになってる無知無能な馬鹿詐欺師でも
会社員として給料がもらえる今の資本主義体制には
根本的欠陥があるｗ
145: 2019/12/30(月)19:32 ID:ChnJkAlw(1) AAS
AA省
146: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/31(火)11:33 ID:kpkOab9v(1/2) AAS
>>144
＞会話したつもりになってる無知無能な馬鹿詐欺師でも
＞会社員として給料がもらえる今の資本主義体制には
＞根本的欠陥があるｗ
会話ができない ただの数学ばかには、
給料だせない（特におサル）
は、資本主義として正しい（＾＾；
147: 2019/12/31(火)13:53 ID:PG6R9UeN(1) AAS
AA省
148: 2019/12/31(火)14:01 ID:5xvWacd/(1/2) AAS
AA省
149: 2019/12/31(火)14:02 ID:5xvWacd/(2/2) AAS
AA省
150: 2019/12/31(火)15:42 ID:XYIqsjuV(1) AAS
と、数学以前に国語が壊滅状態で会話が成り立たない白痴が申しております
151: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/31(火)19:22 ID:kpkOab9v(2/2) AAS
三歳児のおサル必死だなｗｗ（＾＾
152(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)09:07 ID:G5rtMfGn(1/22) AAS
>>116
ここにもどる、正月ひまなのでｗ（＾＾
(引用開始)
おサル
問題をわざと、論点そらししているな
いま問題にしていることは
後者関数suc(a)で
ｎ→∞の極限
すなわち 極限 lim ｎ→∞ suc(a) が正則性公理に反する
というのがおサルの主張
省26
153(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)09:07 ID:G5rtMfGn(2/22) AAS
>>152
つづき
外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
（ノイマン構成）
・任意の集合 a の後者は a と {a} の合併集合として定義される。
suc (a):=a∪{a}
・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
省10
154(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)09:45 ID:G5rtMfGn(3/22) AAS
>>153 つづき
さて
1.無限公理によってできる上記無限集合Mには、N⊂Mで自然数Nを含むけれども、Nを超える余分の元が含まれている
（∵”自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される”とあるのだから、Nを超える余分の元が存在するということ）
２．結論を先取りしていえば、ノイマン構成のN=ωは、極限順序数（下記ご参照）であり、
”順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)”である
３．上記ペアノの公理の図 （ある後者関数での
x→f(x)→f(f(x))→f(f(f(x)))→・・・→ω→f(ω)→f(f(ω))・・・
つまり、この図の順序位相（英語版）に関する極限点がω
この極限点ω以降が、１に記述のNを超える余分の元だ
省16
155(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)09:47 ID:G5rtMfGn(4/22) AAS
>>154 補足
> ５．よって、Zermelo構成でのω、つまりは空集合を出発点として
> ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと
こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない
156(1): 2020/01/01(水)10:05 ID:Vft3k8P2(1/7) AAS
反します。
正確に言えば集合Ωが
F = {x | ∃xn∈…x2∈x1=Ω, xn=x}
とおくとき
Fの任意の元がsingletonか空集合
を仮定するとZFCの公理ではΩは有限Zermelo順序数になります。
よってこの性質をもつΩでω番目の順序数を持つことはできません。
157(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)10:10 ID:G5rtMfGn(5/22) AAS
>>155 補足
> ５．よって、Zermelo構成でのω、つまりは空集合を出発点として
> ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと
Zermelo構成でのωについて、もう少し考えてみよう
１．(下記の)時枝問題のように、可算無限個の箱というものを考えることができる
２．同じように、可算無限個の棒の列、|||・・・も考えられる
３．同じように、可算無限個の括弧 } の列、}}}・・・も考えられる
４．括弧の向きを、逆転させれば、・・・{{{
５．上記３と４と空集合Φとから、・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる
これは、>>154での{・・{{{Φ}}}・・}(＝n重シングルトン)の
省10
158(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)10:11 ID:G5rtMfGn(6/22) AAS
>>156
極限で定義したと言っている
それで終りでしょ
159(1): 2020/01/01(水)10:18 ID:Vft3k8P2(2/7) AAS
>>158
定義などできていないし、できていればZFCの公理が矛盾することが証明されて現代数学は破綻します。
160: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)10:25 ID:G5rtMfGn(7/22) AAS
>>157
>>157 補足
可算無限個の箱に近い、現代数学の例が
下記の形式的冪級数の係数
a0,a1,a2,・・・ たちだな
係数 a0,a1,a2,・・・ たちに、具体的な数を入れることができる
箱に、数の代わりに { や, }を入れることができる
そうすれば、>>157の６ができる（箱の列を２つ用意する必要があるが）
外部ﾘﾝｸ:ja.wikipedia.org
形式的冪級数
省8
161: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/01/01(水)10:26 ID:G5rtMfGn(8/22) AAS
>>159
極限が定義できなければｗ（＾＾；
現代数学は、崩壊するぜｗ
上下前次1-新書関写板覧索設栞歴
あと 841 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s