現代数学の系譜　カントル　超限集合論2

1 名前：現代数学の系譜 雑談 mailto:sage [2019/12/20(金) 23:28:06.21 ID:ZaXFXilg.net] 前スレ 現代数学の系譜　カントル　超限集合論 https://rio2016.5ch.net/test/read.cgi/math/1570237031/ 関連スレ １）現代数学はインチキのデパート https://rio2016.5ch.net/test/read.cgi/math/1570145810/28- 直接には、ここの28からの続き ２） １）の前スレ 現代数学はインチキだらけ https://rio2016.5ch.net/test/read.cgi/math/1567930973/1- ３） ２）の中の正則性公理に関する議論の前のスレ（＾＾ 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 https://rio2016.5ch.net/test/read.cgi/math/1568026331/1- 152 名前：１３２人目の素数さん [2019/12/30(月) 12:11:39.54 ID:QJZL/mXh.net] https://rio2016.5ch.net/test/read.cgi/math/1573769803/771-774 資本主義が必然だと思ってる馬鹿は ユークリッド幾何学やニュートン力学が 必然だと思ってる馬鹿と同レベルｗ >会話のできる頭の柔らかい数学屋は、AI時代でも生き残るだろう >しかし、会話のできない頭の硬い数学屋は、AI時代では役に立たない 専門用語の誤用しまくりのトンデモ文で 会話したつもりになってる無知無能な馬鹿詐欺師でも 会社員として給料がもらえる今の資本主義体制には 根本的欠陥があるｗ 153 名前：１３２人目の素数さん [2019/12/30(月) 19:32:04.62 ID:ChnJkAlw.net] 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 154 名前：現代数学の系譜 雑談 [2019/12/31(火) 11:33:23.05 ID:kpkOab9v.net] >>144 ＞会話したつもりになってる無知無能な馬鹿詐欺師でも ＞会社員として給料がもらえる今の資本主義体制には ＞根本的欠陥があるｗ 会話ができない ただの数学ばかには、 給料だせない（特におサル） は、資本主義として正しい（＾＾； 155 名前：１３２人目の素数さん [2019/12/31(火) 13:53:32.02 ID:PG6R9UeN.net] 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 156 名前：１３２人目の素数さん [2019/12/31(火) 14:01:56.08 ID:5xvWacd/.net] 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 157 名前：１３２人目の素数さん [2019/12/31(火) 14:02:18.88 ID:5xvWacd/.net] 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 158 名前：１３２人目の素数さん [2019/12/31(火) 15:42:27.82 ID:XYIqsjuV.net] と、数学以前に国語が壊滅状態で会話が成り立たない白痴が申しております 159 名前：現代数学の系譜 雑談 [2019/12/31(火) 19:22:38.98 ID:kpkOab9v.net] 三歳児のおサル必死だなｗｗ（＾＾ 160 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/01(水 ] [ここ壊れてます] 161 名前：) 09:07:16 ID:G5rtMfGn.net mailto: >>116 ここにもどる、正月ひまなのでｗ（＾＾ (引用開始) おサル 問題をわざと、論点そらししているな いま問題にしていることは 後者関数suc(a)で ｎ→∞の極限 すなわち 極限 lim ｎ→∞ suc(a) が正則性公理に反する というのがおサルの主張 そんなことはないというのが、 オレだよおれｗ（＾＾； (引用終り) いま分かっていることを整理しよう （参考） https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 ペアノの公理 (抜粋) 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 ペアノの公理は以下の図にまとめることができる: x→f(x)→f(f(x))→f(f(f(x)))→・・・ ここで、各f(x),f(f(x)),f(f(f(x))),...は明確に区別可能。 存在と一意性 集合論における標準的な構成によって、ペアノシステムの条件を満たす集合が存在することを示せる。 まず、後者関数を定義する; 任意の集合 a に対してその後者を suc(a) := a ∪ {a} と定義する。 集合 A が後者関数に関して閉じているとき、つまり 「a が A の元であるならば suc(a) も A の元である」が成り立つときに、 A は帰納的集合であるという。 ここで、次のように定義する。 ・0:=Φ={} ・N:= 0 を含むあらゆる帰納的集合の共通部分 ・suc := 後者関数のNへの制限 この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。 (引用終り) つづく [] [ここ壊れてます] 162 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/01(水) 09:07:56 ID:G5rtMfGn.net] >>152 つづき https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) （ノイマン構成） ・任意の集合 a の後者は a と {a} の合併集合として定義される。 suc (a):=a∪{a} ・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。 無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。 （Zermelo構成） 以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。 例えば、0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に単純な自然数になる。 (引用終り) 以上 163 名前：現代数学の系譜 雑談 [2020/01/01(水) 09:45:41.33 ID:G5rtMfGn.net] >>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を超える余分の元だ ４．Zermelo構成でも、 　Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・→ω→{ω}→{{ω}}・・・ 　Zermeloの場合、３で x=Φ、 f(x)=suc(x)={x} ってことな 　勿論、ωは後者関数の取り方に依存する 　が、>>152の「存在と一意性」にあるように 　”二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる”ということ ５．よって、Zermelo構成でのω、つまりは空集合を出発点として 　ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと QED （参考） https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 (抜粋) 任意の自然数よりも大きい最小の超限順序数 ω 極限順序数は他にもいろいろなやり方で定義できる: ・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。 164 名前：現代数学の系譜 雑談 [2020/01/01(水) 09:47:26.62 ID:G5rtMfGn.net] >>154 補足 > ５．よって、Zermelo構成でのω、つまりは空集合を出発点として >　ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない 165 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 10:05:53.13 ID:Vft3k8P2.net] 反します。 正確に言えば集合Ωが F = {x | ∃xn∈…x2∈x1=Ω, xn=x} とおくとき Fの任意の元がsingletonか空集合 を仮定するとZFCの公理ではΩは有限Zermelo順序数になります。 よってこの性質をもつΩでω番目の順序数を持つことはできません。 166 名前：現代数学の系譜 雑談 [2020/01/01(水) 10:10:38.22 ID:G5rtMfGn.net] >>155 補足 > ５．よって、Zermelo構成でのω、つまりは空集合を出発点として >　ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと Zermelo構成でのωについて、もう少し考えてみよう １．(下記の)時枝問題のように、可算無限個の箱というものを考えることができる ２．同じように、可算無限個の棒の列、|||・・・も考えられる ３．同じように、可算無限個の括弧 } の列、}}}・・・も考えられる ４．括弧の向きを、逆転させれば、・・・{{{ ５．上記３と４と空集合Φとから、・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる 　　これは、>>154での{・・{{{Φ}}}・・}(＝n重シングルトン)の 　　lim n→ω の極限と解釈できる ６．まとめると、”可算無限個の箱”を認めれば、その流れで、 　「・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）」が理解できるってことな (参考) 過去スレ20 再録 rio2016.2ch.net/test/read.cgi/math/1466279209/2-7 時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. 実数列の集合 R^Nを考える. s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). (引用終り) 167 名前：現代数学の系譜 雑談 [2020/01/01(水) 10:11:52.95 ID:G5rtMfGn.net] >>156 極限で定義したと言っている それで終りでしょ 168 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 10:18:16.16 ID:Vft3k8P2.net] >>158 定義などできていないし、できていればZFCの公理が矛盾することが証明されて現代数学は破綻します。 169 名前：現代数学の系譜 雑談 [2020/01/01(水) 10:25:53.58 ID:G5rtMfGn.net] >>157 >>157 補足 可算無限個の箱に近い、現代数学の例が 下記の形式的冪級数の係数 a0,a1,a2,・・・ たちだな 係数 a0,a1,a2,・・・ たちに、具体的な数を入れることができる 箱に、数の代わりに { や, }を入れることができる そうすれば、>>157の６ができる（箱の列を２つ用意する必要があるが） https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0 形式的冪級数 (抜粋) 形式的冪級数（けいしきてきべききゅうすう、英: formal power series）とは、（形式的）多項式の一般化であり、多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい。 定義 A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、 Σ_{n=0}^{∞} a_n X^n=a0+a1 X+a2 X^2+・・・ の形をしたものである。 形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。 (引用終り) 170 名前：現代数学の系譜 雑談 [2020/01/01(水) 10:26:47.44 ID:G5rtMfGn.net] >>159 極限が定義できなければｗ（＾＾； 現代数学は、崩壊するぜｗ 171 名前：現代数学の系譜 雑談 [2020/01/01(水) 10:28:14.68 ID:G5rtMfGn.net] いいか 172 名前： 極限が定義できると言っているんだ その極限の定義を使って Zermeloの後者関数の極限が定義できるんだよ [] [ここ壊れてます] 173 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 10:34:13.61 ID:Vft3k8P2.net] そもそもあなた数学の勉強なんてする気もないし、コピペしてる文章も老後によむ準備で読んだこともないんですよね？ だったらなんでそんな自信満々に自分の定義が成立してるなどということが言えるの？ 説明しようにも論理式も読めないんですよね？ どうしたいんですか？ 174 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/01(水) 10:50:05 ID:G5rtMfGn.net] >>153 補足 （ノイマン構成）に倣って、 後者関数suc (a)に対して、 それまでに出来た集合の和 ∪a との対応を考えよう 番号　　　　∪a 0:=Φ　　 1:={Φ}　　　{0} 2:={{Φ}}　　{0,1} 　・ 　・ n:={・・{Φ}・・}　{0,1・・n-1} 　・ 　・ 　↓（極限 lim n→∞ ） ω:=・・・{Φ}・・・　{0,1・・n-1・・}（＝：N（自然数）*)） 注*) １． {0,1・・n-1・・}＝：N（自然数）は、極限順序数ωより前の全ての有限順序数の集合である ２．ノイマン構成では、後者関数の定義が、「a以前に出来た全ての集合」なので 　　特に、ω＝Nになる ３．しかし、ノイマン構成以外の後者関数の定義においては、そうはならない！（＾＾ 175 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 10:55:37 ID:Vft3k8P2.net] そもそもNeumann構成での順序数の定義は極限など使っていないでしょ？ 1) 順序数を定義する 2) 順序を入れる 3) 位相がはいる。 4) 結果としてwはw未満の順序数の上極限となっていることが確かめられる。 です。 順序数の集合が定義されてなければ順序集合も位相も定義できません。 176 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/01(水) 10:58:14 ID:G5rtMfGn.net] >>164 補足 １．勿論、これはZermeloの意図した 自然数の公理的構成とは違って、 　現代数学の成果 　例えば、順序位相による極限などを、自由に使っている ２．いま、問題にしていることは、 　21世紀の視点から 　ノイマン構成によって、自然数の公理的構成が可能なことは、既知として 　ノイマン構成以外の後者関数を使った場合どうなるか？ 　特に、Zermeloのシングルトンによる後者関数を使った場合にどうなるかを 　現代数学の視点で検証しようということ ３．Zermeloのシングルトン後者関数が、正則性公理に反するというもの（＝おサルさん）がいる 　そんなことは無いと、私スレ主はいう そういう議論ですよ（＾＾ 177 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 10:59:56 ID:Vft3k8P2.net] 訂正 4) ωはω未満の順序数の上界となっていることが確かめられる。 です。 順序数の集合が定義できてないのに、極限もへったくれもないでしょ？ これは別に論理式わからなくても理解できるはずですけど？ ほんとは分かってるんじゃないんですか？ 178 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/01(水) 11:00:44 ID:G5rtMfGn.net] >>167 　>>166な（＾＾ 179 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 11:05:56.40 ID:Vft3k8P2.net] >>166 私はあなたのいうおサルさんではありませんが、私もあなたのいうΩはZFCに反すると思ってます。 もちろん私は私なりに数学を懸命に勉強してきたつもりではありますが、間違いをすることもあるので絶対にないとは断言しませんが、 やはりあなたのいうΩは正則性の公理に反しています。 残念ながら論理式なしでそれを説明することはできません。 しかしわからないのは明らかにあなた自身も自分の勉強量が私のそれと比べて圧倒的に劣っているのは分かりますよね？ にもかかわらず、あなたは自分の方が正しい、間違ってるのはお前の方だといわんばかりのレスを続けているのはなぜですか？ なんの根拠があって自分の方が正しいと断じる事ができるのですか？ 180 名前：現代数学の系譜 雑談 [2020/01/01(水) 11:11:57.37 ID:G5rtMfGn.net] >>169 意味わからん ＞しかしわからないのは明らかにあなた自身も自分の勉強量が私のそれと比べて圧倒的に劣っているのは分かりますよね？ 証明がない そもそも、そんなことは証明できない 自分が、なにをどこまで理解できているかなど、この板に書くつもりもないし、理解させようという気も無い 私の書いていることの殆どは、典拠が付いているはず 自分の地の文は、半分もないだろう そこを、良く考えたらどうだ？ 貴方は、典拠が付いていることに突っかかって 自爆事故を起している 冷静になれよ 181 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 11 ] [ここ壊れてます] 182 名前：:18:03.30 ID:Vft3k8P2.net mailto: >>170 あなた以前言ってましたよね？ コピペしてる文章はあくまで老後のためのもので現時点では理解していないしするつもりもないと。 理解してない文章を根拠に反論するなんてありえないでしょ？ 実際あなたがコピペしてきた文章のなかに底の集合を定義しないで順序や位相を定めているものなど一つもありません。 当然ですよね？ まず物があってそこに順序なり、位相なりが入るんですから。 まず定義ってわかりますか？ 定義ってなにかわからないのに自分がコピペしてきた文章のなかにあなたのいう ”Zermelo順序集合のなす位相空間” の定義がはいっているとなぜ断言できるのですか？ [] [ここ壊れてます] 183 名前：現代数学の系譜 雑談 [2020/01/01(水) 11:31:00.87 ID:G5rtMfGn.net] >>166 補足 １．このZermeloの可算無限シングルトンの議論は、 　数代前のガロアスレを起点として（随分前なので探すを省略するがご容赦） 　哀れな素人さんのスレに飛び火して、数スレを消費し 　哀れな素人さんの「他のスレでやってくれ」と言う要請（「基礎スレがないからそれを立てよう」という要請もあって） 　この初代スレ、「現代数学の系譜　カントル　超限集合論」 https://rio2016.5ch.net/test/read.cgi/math/1570237031/ 　が立った ２．もともと、ガロアスレのときから、おサルとの論争が発端でね 　その継続なんだ ３．議論に参加するのは勝ってだが、一応経緯は、上記の通りだよ 　私は、基本的にはおサル以外の相手をするつもりない 　（＝おっさんずゼミ やる気無い >>2に書いた通り。また、おサルの相手も適当にやります。あしからず ｗ（＾＾； ） 以上 184 名前：現代数学の系譜 雑談 [2020/01/01(水) 11:31:38.97 ID:G5rtMfGn.net] >>171 　>>172な（＾＾； 185 名前：現代数学の系譜 雑談 [2020/01/01(水) 11:33:19.29 ID:G5rtMfGn.net] >>172 タイポ訂正 ３．議論に参加するのは勝ってだが、一応経緯は、上記の通りだよ 　↓ ３．議論に参加するのは勝手だが、一応経緯は、上記の通りだよ 186 名前：現代数学の系譜 雑談 [2020/01/01(水) 12:50:16.66 ID:G5rtMfGn.net] >>169 追加 (引用開始) 私はあなたのいうおサルさんではありませんが、私もあなたのいうΩはZFCに反すると思ってます。 もちろん私は私なりに数学を懸命に勉強してきたつもりではありますが、間違いをすることもあるので絶対にないとは断言しませんが、 やはりあなたのいうΩは正則性の公理に反しています。 (引用終り) ここ、初学者も見ているだろうから（＾＾ 下記をば 「正則性公理 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 ・V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 」 とあるから、「正則性の公理に反しています」は、ムリゲーじゃない？ 特に、”超限回繰り返して”って書かれているからね （参考） https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86 正則性公理 (抜粋) ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。 選択公理と同様、様々な同値な命題が存在する。 定義 空でない集合は必ず自分自身と交わらない要素を持つ。 ∀ A(A≠ Φ → ∃ x∈ A∀ t∈ A(t not∈ x)) 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 ・任意の空でない集合xに対して、∃y∈x,x∩y=0 ・∀xについて、∈がx上well-founded ・∀xについて、無限下降列である x∋x_1∋ x_2∋ ... は存在しない。 ・V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。 187 名前：現代数学の系譜 雑談 [2020/01/01(水) 13:11:59.71 ID:G5rtMfGn.net] >>175 追加 (抜粋) ・V=WF ここで、Vはフォン・ノイマン宇宙を指し、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 」 とあるから、「正則性の公理に反しています」は、ムリゲーじゃない？ 特に、”超限回繰り返して”って書かれているからね (引用終り) まず https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) 集合論において標準的となっている自然数の構成は以下の通りである。 ・空集合を 0 と定義する。 　0:=Φ ={} ・任意の集合 a の後者は a と {a} の合併集合として定義される。 suc(a):=a∪{a} ・0 を含み後者関数について閉じている集合のひとつを M とする。 ・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。 無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。 0 := {} 1 := suc(0) = {0} = {{}} 2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} } 3 := suc(2) = {0, 1, 2 188 名前：} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } } 等々である[3]。 [3]^ (von Neumann 1923) (引用終り) さて、ここで 0 :=Φ 1 := suc(0) = {0} = {Φ} 2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}（→は、一番右のΦを残すように不要の{}とΦを除く操作） 3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}（同上） というように ノイマン構成の集合に対応して →：（→は、一番右のΦを残すように不要の{}とΦを除く操作） という集合操作を行うと、Zermeloのシングルトンが生成されるのです フォン・ノイマン宇宙に存在する、超限回繰り返しよるω＝Nに対しては →：（→は、一番右のΦを残すように不要の{}とΦを除く操作） という集合操作、それは”超限回”の操作に属するだろうが それを認めれば、ノイマン構成の集合からZermelo構成の集合が導かれるのです（＾＾； （勿論、極限として理解する方が分り易いのですが） [] [ここ壊れてます] 189 名前：１３２人目の素数さん [2020/01/01(水) 13:54:07.09 ID:0vvVE7uB.net] 　　　　　　　　　　　　 　 _,,,,,,,,,,,,＿ 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 190 名前：１３２人目の素数さん [2020/01/01(水) 15:22:21.20 ID:VmKAwE3Z.net] 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 191 名前：１３２人目の素数さん [2020/01/01(水) 15:31:27.29 ID:VmKAwE3Z.net] 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 192 名前：１３２人目の素数さん [2020/01/01(水) 16:53:40.86 ID:E03EXCHH.net] >>154 ◆e.a0E5TtKEは正月早々トンデモ全開だなｗ ◆e.a0E5TtKE 2020年初トンデモ発言 >x→f(x)→f(f(x))→f(f(f(x)))→・・・→ω→f(ω)→f(f(ω))・・・ >Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・→ω→{ω}→{{ω}}・・・ 「→ω」がトンデモの始まりだな ナイーブな直感の誤りに気づけず 暴走して崖から飛び出し転落死 若気の至りってやつだな・・・ 閑話休題 ωは極限順序数だぞ x→f(x)→f(f(x))→f(f(f(x)))→・・・ ω→f(ω)→f(f(ω))・・・ Φ→{Φ}→{{Φ}}→{{{Φ}}}→・・・ ω→{ω}→{{ω}}・・・ こう書くのが正しい だからsuc(x)だけではωは決まらない >Zermelo構成でのω、つまりは空集合を出発点として >ペアノシステムにより、シングルトンのωが存在し、 >これはシングルトンの可算無限重の集合と解釈できるってこと Zermelo構成のωはシングルトンではないな 「ωから任意の自然数ｎへの∈降下列が存在する」 という性質を満たすには少なくとも無限個の自然数が ωの要素である必要がある（実は無限個含めば十分） 193 名前：１３２人目の素数さん [2020/01/01(水) 16:54:43.34 ID:E03EXCHH.net] >>157 ◆e.a0E5TtKE 2020年二番めのトンデモ発言 >・・・{{{Φ}}}・・・ （＝可算無限重シングルトン）ができる ・・・{{{Φ}}}・・・ をよく見よう　 一番外側の｛｝がないね つ・ま・り、集合ではないんだな （正則性公理を満たさないという指摘に対する 　対応の結果がこれなら完全な自爆行為だな） >>158 >極限で定義したと言っている ◆e.a0E5TtKEのナイーブな直感だろ でもその直感、間違ってるから >>164 ◆e.a0E5TtKE 2020年二番めのトンデモ発言（続） >番号　　　　∪a >0:=Φ　　 >1:={Φ}　　　{0} >2:={{Φ}}　　{0,1} >　・ >　・ >n:={・・{Φ}・・}　{0,1・・n-1} >　・ >　・ >　↓（極限 lim n→∞ ） > >ω:=・・・{Φ}・・・　{0,1・・n-1・・}（＝：N（自然数）*)） Φの外の{}と自然数を対応付けたといいたいようだが そういう動物レベルのナイーブ直感じゃ 全然数学にはならないんだな　間違ってるから >>170 >私の書いていることの殆どは、典拠が付いているはず 典拠になってないけど 君、検索した文章、全然読めてないね それじゃ数学は無理 >冷静になれよ 君こそ冷静になったら？ こんな初歩的な間違いにいつまで気づけないのは 人間としてまったく恥ずかしいよ 194 名前：１３２人目の素数さん [2020/01/01(水) 16:56:16.43 ID:E03EXCHH.net] >>175 ◆e.a0E5TtKE 2020年三番目のトンデモ発言 >・V=WF >ここで、Vはフォン・ノイマン宇宙を指し、 >WFは0に冪集合の演算を有限回、 >あるいは超限回繰り返して得られる集合全体のクラスを指す。 >とあるから、「正則性の公理に反しています」は、ムリゲーじゃない？ >特に、”超限回繰り返して”って書かれているからね じゃ、聞くけど V_0={} V_1=2^V_0={{}} V_2=2^V_1={{},{{}}} ・・・ としてV_ωはどうやって作るか知ってるかい？ｗ いっとくけど、ωは極限順序数だから V_ω=2^V_(ω-1) なんていえるω-1なんてないからね 答えはWikipediaの「フォンノイマン宇宙」のページにあるよ 「各極限順序数λに対して、V_λは次の和集合とする 　V_λ＝∪(β<λ)V_β」 で、上記の方法でV_ωを作った場合、有限重の{…{}…}は 必ずあるV_n（nは自然数）の要素だからV_ωの要素になる し・か・し・・・{Φ}・・・ （＝可算無限重シングルトン）なんてのは 195 名前：どのV_nの要素でもないからV_ωの要素にもならない！ 順序数λをどれだけ大きくしても V_λの中に・・・{Φ}・・・は出てこない つまり、正則性の公理を満たす集合の中には ・・・{Φ}・・・は現れようがない [] [ここ壊れてます] 196 名前：１３２人目の素数さん [2020/01/01(水) 16:56:53.42 ID:E03EXCHH.net] >>176 ◆e.a0E5TtKE 2020年四番目のトンデモ発言 （これが初トンデモ発言同様一番ヒドイ間違い） >0 :=Φ >1 := suc(0) = {0} = {Φ} >2 := suc(1) = {0, 1} = {0, {0}} = { Φ, {Φ} }→{{Φ}}（→は、一番右のΦを残すように不要の{}とΦを除く操作） >3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { Φ, {Φ}, { Φ, {Φ} } }→{{{Φ}}}（同上） >ノイマン構成の集合に対応して >→：（→は、一番右のΦを残すように不要の{}とΦを除く操作） >という集合操作を行うと、Zermeloのシングルトンが生成される >フォン・ノイマン宇宙に存在する、超限回繰り返しよるω＝Nに対しては >→：（→は、一番右のΦを残すように不要の{}とΦを除く操作） >という集合操作、それは”超限回”の操作に属するだろうが >それを認めれば、ノイマン構成の集合からZermelo構成の集合が導かれる ノイマン構成の自然数nの「一番右のΦ」はどの要素の中にある？ 自然数n-1の要素の中だよな？ ◆e.a0E5TtKEの言い分では 「ωの一番右の要素中の一番右のΦを残すように 　不要の{}とΦを除く操作を実施すれば 　Zermeloのシングルトンωが生成される」 となるが、実は致命的な欠陥がある ωには「一番右の要素」が存在しない！ （つまりωは後続順序数ではない！） したがって◆e.a0E5TtKEのナイーブな直感による 「アルゴリズム」は、ノイマンのωの中の ありもしない「一番右の要素」を探しにいったまま 永遠に戻ってこない >（勿論、極限として理解する方が分り易いのですが） 正しく極限をとればシングルトンにならないことは明らか Zermelo構成の順序数がシングルトンになるのは 後続順序数であるときそのときに限る 極限順序数の場合にはZermelo構成の順序数は 無限集合にならざるを得ない (「自分未満の任意の数への∈降下列が存在する」 　という性質を満たすとして） 197 名前：１３２人目の素数さん [2020/01/01(水) 16:57:23.15 ID:E03EXCHH.net] 問題 アレフ1(最初の非可算順序数）を Zermelo構成で実現した場合 その濃度はいくらか （可算で抑えられるかそれとも非可算か） 198 名前：１３２人目の素数さん [2020/01/01(水) 19:43:22.93 ID:+c5cYldv.net] ちょっと目を離してたらキチガイ白痴が正月から暴れてて草 199 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 20:45:40.12 ID:peO/29Z+.net] >>175 "超限回繰り返す" というのは超限帰納法を用いるという意味です。 超限帰納法が理解できていないあなたに理解するのは無理ですよ。 200 名前：現代数学の系譜 雑談 [2020/01/01(水) 20:50:44.55 ID:G5rtMfGn.net] >>186 だから？ どうした？ 201 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 20:54:45.35 ID:peO/29Z+.net] >>187 あなたがムリゲーといったのでムリゲーやってんのはあなたの方だと指摘したまで。 超限帰納法も勉強しないで公理的集合論について語るなんておこがましいにもほどがある。 202 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 21:20:19.50 ID:E03EXCHH.net] >>188 >勉強しないで…語るなんておこがましいにもほどがある。 ◆e.a0E5TtKEは 「俺様の直感は完璧」 と自惚れる傲岸不遜な直感至上主義者だから （自己愛性人格障害者ともいうが） 203 名前：現代数学の系譜 雑談 [2020/01/01(水) 21:42:27.24 ID:G5rtMfGn.net] >>188 >あなたがムリゲーといったのでムリゲーやってんのはあなたの方だと指摘したまで。 >超限帰納法も勉強しないで公理的集合論について語るなんておこがましいにもほどがある。 笑えるわ 「あなたがムリゲーといったので」 だったら 「ムリゲーでない」ことを 自分が、貴方のお勉強した（お得意の？ｗ）”超限帰納法”で証明すればぁ〜？ お互い、相手を 「ムリゲー」と言い合いしてもさ それディベートは知らず ”数学”としては、貴方の得点にならんと思うよｗ（＾＾； まあ、 ”超限帰納法”で馬脚じゃね？ 204 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 21:57:26.74 ID:peO/29Z+.net] >>190 既に証明してレスしましたよね？ でもあなたは論理式読めないし読むつもりもないんでしたよね？ 基本あなたのスタイルとしては証明は読まないし読めるようになりたいとも思わないんでしたよね？ ココでセミナーまがいの事するつもりもないと。 でも反論はすると。 理解みできてないのに何を根拠に反論してるんですか？ 205 名前：１３２人目の素数さん [2020/01/01(水) 22:04:04.21 ID:E03EXCHH.net] >>191 ◆e.a0E5TtKEはただ直感するだけの白痴だからな だから平気でωが極限順序数であることに真っ向から反する >>176のような「アルゴリズム」を口にする （これが不可能であることは>>183に書いたが 　要するにNeumannのωに最も右の（つまり最大の）要素が存在しないから） 間違った直感には犬の糞ほどの価値もないｗ 206 名前：１３２人目の素数さん [2020/01/01(水) 22:04:04.48 ID:E03EXCHH.net] >>191 ◆e.a0E5TtKEはただ直感するだけの白痴だからな だから平気でωが極限順序数であることに真っ向から反する >>176のような「アルゴリズム」を口にする （これが不可能であることは>>183に書いたが 　要するにNeumannのωに最も右の（つまり最大の）要素が存在しないから） 間違った直感には犬の糞ほどの価値もないｗ 207 名前：１３２人目の素数さん [2020/01/01(水) 22:08:13 ID:E03EXCHH.net] >>191 ＞理解できてないのに何を根拠に反論してるんですか？ 根拠なんてないんだよ 自分は全知全能の天才だ！という自惚れを否定されたら 発●して脊髄反射的に反論する 自分の直感を正当化するためにネットの文章を捻じ曲げまくる 自己愛性人格異常だから嘘も平気でつきまくる ◆e.a0E5TtKEは数学の真理には全く興味がない 自分が世界一の数学の天才であり数学の全てを知り尽くしている という誇大妄想を守りたいだけの●違い！ [] [ここ壊れてます] 209 名前：現代数学の系譜 雑談 [2020/01/01(水) 22:37:57.11 ID:G5rtMfGn.net] >>191 ＞既に証明してレスしましたよね？ ＞でもあなたは論理式読めないし読むつもりもないんでしたよね？ 違うな １．ド素人の証明。それなら、すでにどこかプロの証明があるはず。なにかのテキストとかね。あるいは、Zermeloなら古典になっているかもしれないが 　　そういう裏付けの無い、ド素人の証明、特にこのバカ板に投稿された証明は、おっちゃんの証明を含めて読む気はない 　　”論理式読めないし読むつもりもない”の以前に、どうせどこか間違っているんだろ？　おれは、証明の赤ペン訂正係をやる気が無いのが第一の理由 ２．でも、この数学板では、証明を読むのが好きだとか、赤ペン訂正係が好きな人がいる見たいだよ 　　で、そういう人のために、証明のありか（場所）くらいは提供してやったらどうかな？ ３．で、複数人が、「この証明は正しそう」という発言があれば、読んでみようとか、あるいは類似のプロ証明を探す（多分こちらが主だろう）かするかも ４．そして、複数人が、「こちらの人がいうことが正しい」と援護射撃の発言をしてくれるかもしれない 戻ると、その「ド素人の証明」は、 皆さんから無視されたんだね 結局そういうことなんでしょ？ 210 名前：現代数学の系譜 雑談 [2020/01/01(水) 22:44:45.24 ID:G5rtMfGn.net] >>195 補足 ＞ １．ド素人の証明。それなら、すでにどこかプロの証明があるはず。なにかのテキストとかね。あるいは、Zermeloなら古典になっているかもしれないが ・すでに、どこかプロの証明があるはず ・ド素人が、「証明しました・・」って、それって胡散臭いよね ・その証明は初出かい？　なら、余計に胡散臭いよね 211 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 22:44:49.58 ID:peO/29Z+.net] ネット探してもそんな証明あるはずないでしょ？ Zermelo順序数のω番目が無限個{}つけたsingletonなんてとんでもない事考えるのあなた位だからですよ。 まともに数学を勉強した人間はそんなトンデモな事考えもしません。 それが矛盾を引き起こすなんて証明ネットに上がるはずないでしょ？ と言ってもあなたは自分の考えがどれだけトンデモなのか想像もつかないだろうから、そんな事はないと思うかもしれませんが。 212 名前：１３２人目の素数さん mailto:sage [2020/01/01(水) 22:57:31.63 ID:E03EXCHH.net] >>195 ＞すでにどこかプロの証明があるはず。 プロはこんな初等的な問題の「証明」なんていちいちやらないよｗ >>197 まともに数学を勉強した人間なら、 Zermelo順序数を極限順序数に拡大するにあたり 維持すべき性質が何か、を真っ先に考えるでしょう その場合「シングルトン」を維持すべき性質と考えるのは センスが全くないナイーブ直感馬鹿でしょう 「極限順序数からより小さい順序数への∈降下列の存在」 を順序関係の定義として不可欠と考えるなら、 Zermelo順序数の定義の拡大の方法は自ずから明らか そしてその場合、ωは無限集合でなくてはならない 213 名前：１３２人目の素数さん [2020/01/02(Thu) 08:42:40 ID:lJNP8tAT.net] >ド素人が、「証明しました・・」って、それって胡散臭いよね そう ド素人の◆e.a0E5TtKE が 「Zermelo構成のωは"可算無限重シングルトン"…{{}}…だと証明しました！」 と絶叫しても 「ああ、またいつものチンケな学歴詐称馬鹿のウソ証明か」 と思うだけ　誰も信用しないし実際間違ってる 特に>>176　ありゃなんだ？ 存在しない元のΦを探して永遠に地獄をさまよう救いようのない馬鹿ｗｗｗ 214 名前：１３２人目の素数さん [2020/01/02(Thu) 08:44:05 ID:lJNP8tAT.net] >>183再掲 ◆e.a0E5TtKEの(>>176の)言い分では 「ノイマンのωの一番右の要素中の一番右のΦを残すように 　不要の{}とΦを除く操作を実施すれば 　Zermeloのシングルトンωが生成される」 となるが、実は致命的な欠陥がある ωには「一番右の要素」が存在しない！ （つまりωは後続順序数ではない！） したがって◆e.a0E5TtKEのナイーブな直感による 「アルゴリズム」は、ノイマンのωの中の ありもしない「一番右の要素」を探しにいったまま 永遠に戻ってこない 215 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/02(Thu) 09:15:23 ID:YLjNnjPy.net] >>197 すでに>>152-155に書いたように １）https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86 　ペアノの公理 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 ペアノの公理は以下の図にまとめることができる: x→f(x)→f(f(x))→f(f(f(x)))→・・・ ここで、各f(x),f(f(x)),f(f(f(x))),...は明確に区別可能。 存在と一意性 集合論における標準的な構成によって、ペアノシステムの条件を満たす集合が存在することを示せる。 任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。 (引用終り) ２）https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 （Zermelo構成） 他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。 例えば、0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に単純な自然数になる。 ３）https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 (抜粋) 任意の自然数よりも大きい最小の超限順序数 ω 極限順序数は他にもいろいろなやり方で定義できる: ・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。 よって、Zermelo構成でのω、つまりは空集合を出発点として 　ペアノシステムにより、シングルトンのωが存在し、これはシングルトンの可算無限重の集合と解釈できるってこと ４）こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない なお、まとめると Zermeloの後者関数 「0 := {}, suc(a) := {a} 」 の 順序位相（英語版）に関する極限点として ωが定義される それだけのこと 216 名前： mailto:sage [2020/01/02(木) 09:22:09.29 ID:Rnj9mFDn.net] 定義がループしています。 217 名前：１３２人目の素数さん [2020/01/02(木) 09:34:25.22 ID:lJNP8tAT.net] >>201 >Zermeloの後者関数 「0 := {}, suc(a) := {a} 」の >順序位相（英語版）に関する極限点としてωが定義される Nの順序位相なら、Nはノンコンパクトだから 0,1,2,…　はNで収束しない ザンネンデシタｗｗｗｗｗｗｗ 218 名前：現代数学の系譜 雑談 [2020/01/02(木) 09:40:01.80 ID:YLjNnjPy.net] >>201 補足 ＞　ペアノの公理 ＞任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）。 さて 0 := {} として 「suc(a) は a + 1 」を生かして suc(a) ：＝{{a},0}と 定義してみよう この場合、1以上の各集合の要素の数は2だ 1 :={{0},0} 2 :={{1},0} 3 :={{2},0} 　・ 　・ こうして構成された 後者関数 「0 := {}, suc(a) :={{a},0} の 順序位相（英語版）に関する極限点として ωが定義される それだけのこと 　なお、>>153より ノイマン構成 後者関数 「0 := {}, suc(a) :=a∪{a} の 順序位相（英語版）に関する極限点として ωが定義される それだけのこと 当然、上記各ωは異なる （∵ 定義の後者関数が異なるのだから、各ωが異なるのは当然でしょ（＾＾；） 219 名前：現代数学の系譜 雑談 [2020/01/02(木) 09:47:52.07 ID:YLjNnjPy.net] >>202 ＞定義がループしています。 いいえ、ループしていません 下記をどうぞ 　>>166より再録 １．勿論、これはZermeloの意図した 自然数の公理的構成とは違って、 　現代数学の成果 　例えば、順序位相による極限などを、自由に使っている ２．いま、問題にしていることは、 　21世紀の視点から 　ノイマン構成によって、自然数の公理的構成が可能なことは、既知として 　ノイマン構成以外の後者関数を使った場合どうなるか？ 　特に、Zermeloのシングルトンによる後者関数を使った場合にどうなるかを 　現代数学の視点で検証しようということ ３．Zermeloのシングルトン後者関数が、正則性公理に反するというもの（＝おサルさん）がいる 　そんなことは無いと、私スレ主はいう そういう議論ですよ（＾＾ (引用終り) 220 名前：１３２人目の素数さん [2020/01/02(Thu) 09:49:56 ID:lJNP8tAT.net] >後者関数 「0 := {}, suc(a) :={{a},0}の >順序位相（英語版）に関する極限点としてωが定義される 全然ダメｗ Nを{{n},0}全部を要素としてもつ集合とする Nの順序位相なら、Nはノンコンパクトだから {0},{{0},0},{{1},0},…　はNで収束しない ザンネンデシタｗｗｗｗｗｗｗ 221 名前：吉】 【29円】 mailto:sage [2020/01/02(Thu) 09:50:13 ID:Rnj9mFDn.net] 極限数が定義できるというのは極限数そのものが何になるのかを定義してるのではなく、極限数とは何かを定義する方法が色々あると言う意味です。 我々が普段使っているザックリした言語ではそのような誤読を引き起こす可能性があるから論理式が読めないと数学ができるようにはならないのです。 もう少しいうなら、そのページの文章が後者の意味にもとりうる事は通常の知性を持ってる人間ならわかるはずです。 もちろん前者の意味か、後者の意味かは本当に教科書読まないとわからないにしても、どっちの意味なんだろうと考えてみる事くらいはできないんですか？ 222 名前：１３２人目の素数さん [2020/01/02(Thu) 09:51:45 ID:lJNP8tAT.net] >現代数学の成果、例えば、順序位相による極限などを、自由に使っている いくら順序位相とかいったところで もとの空間にωがないのだから 収束しようがない 馬鹿丸出しｗｗｗｗｗｗｗ こいつが大学１年の実数論で落ちこぼれたのは当然 論理が全然分からん馬鹿だもんｗｗｗｗｗｗｗ 223 名前：１３２人目の素数さん [2020/01/02(木) 09:55:35.67 ID:lJNP8tAT.net] >>205 ＞ノイマン構成によって、自然数の公理的構成が可能なこと suc(a)=a∪{a}だけでは、自然数はつくれても、 自然数でない最初の超限順序数ωはつくれないよ Nのなかにωはないから、Nの順序位相を考えても 0,1,2,…は収束せず　ωは生じないｗ 全然数学が分からないお馬鹿ちゃんなんだねえｗ 大阪大とかウソだろ、どこの大阪府立工業高校卒だか白状しろよｗ 224 名前：１３２人目の素数さん [2020/01/02(木) 09:58:39.46 ID:lJNP8tAT.net] ＞Zermeloのシングルトン後者関数が、正則性公理に反する もうその話終わってるけどな そもそも正則性公理に反するシングルトンXは、 延々と前者が存在する時点で極限順序数ではないから ωではない 「ωが極限順序数」である時点でシングルトンにはならない ωがシングルトンだったらその要素ｘがωの前者になるから矛盾 いい加減理解しろよ　白痴ｗ 225 名前：１３２人目の素数さん [2020/01/02(木) 10:02:59.41 ID:lJNP8tAT.net] だいたい…{{}}…はただしくはシングルトンですらない 集合ですらないからだｗ …{{}}…の要素は何か？と尋ねられた瞬間、誤りに気付かなければ馬鹿ｗ {}も要素でない、{{}}も要素でない、{{{}}}も要素でない・・・ そもそも…{{}}…には一番外側の{}がないから、 一番外側の{}を外して、中の要素を取り出すことができない つ・ま・り、集合ではない 226 名前：１３２人目の素数さん [2020/01/02(Thu) 10:05:15 ID:lJNP8tAT.net] ◆e.a0E5TtKEのトンデモ発言 1．{}∈{{}}、{{}}∈{{{}}}　だから　{}∈{{{}}}! 2．{{}}はシングルトン、{{{}}}はシングルトン、・・・ 　　だから…{{}}…(可算無限重)はシングルトン！ いやー馬鹿、ほんと馬鹿 227 名前：１３２人目の素数さん [2020/01/02(Thu) 10:16:07 ID:lJNP8tAT.net] ◆e.a0E5TtKEの似非論理 １．推移律が成り立たないものを、成り立つと妄想ｗ ２．有限で成り立つものを、無限でも成り立つと妄想ｗ ◆e.a0E5TtKEの似非論理では自然対数の底eは有理数ｗ なぜなら 任意の自然数ｎについて(1+1/n)^nは有理数 だからlim(n→∞)(1+1/n)^nも有理数！ｗｗｗ 228 名前：現代数学の系譜 雑談 [2020/01/02(木) 11:38:11.95 ID:YLjNnjPy.net] >>195 補足 私スレ主も、証明を全く読まないわけじゃない ガロアスレ46 の422（下記）で、PDFを作って貰ったんだ (参考) ガロアスレ46 https://rio2016.5ch.net/test/read.cgi/math/1510442940/422 422 １３２人目の素数さん[sage] 2017/11/20 >>421のリンク先の証明は個人的には すんなり頭に入ってこないので、 微分可能な点の方から攻める方針でやってみたら、次の定理が得られた。 定理：f：R → R に対して、B_f＝{ x∈R｜limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞ } と置く。 もし R−B_f が高々可算無限個の疎な閉集合の和で被覆できるならば、f はある開区間の上で リプシッツ連続である。 この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」 となるものは存在しないことが即座に分かる。一応やってみると、そのような関数 f が存在したとすると、 R−Q ＝ 無理数全体 ＝ (fの微分可能点全体) ⊂ B_f となるので、 R−B_f ⊂ Q ＝ ∪[p∈Q] { p } …(1) となる。(1)の右辺は疎な閉集合の可算和だから、上の定理が使えて、f はある開区間(a,b)の上で リプシッツ連続になる。特に、(a,b)の上で連続になる。QはR上で稠密だから、x∈(a,b)∩Qが取れる。 仮定から、fは点xで不連続であるが、しかしx∈(a,b)より、fは点xで連続であり、矛盾する。 ガロアスレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/593-594 593 １３２人目の素数さん[sage] 2017/12/12 pdf ならスレ主も証明を読む気があるらしいので、そうなると話は一変する。 相手の弁明を聞く気があるなら、イチャモンをつけても、それ単独では誹謗中傷には ならないからだ。 そして、証明を次のレスで投下する(うｐろだに上げたのでリンクを張る)。 594 １３２人目の素数さん[sage] 2017/12/12 以下の pdf に証明を書いた。 ttps://www.axfc.net/u/3870548?key=Lipschitz なるべく行間が無いように、丁寧に証明を書いたつもりである。 なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、 pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度 「内点を持たない閉集合」 という言葉に置き換えた。 (引用終り) 229 名前：現代数学の系譜 雑談 [2020/01/02(木) 11:50:10.10 ID:YLjNnjPy.net] >>214 補足 おサルのピエロも覚えているだろうか ガロアスレ52まで、いろいろ議論した ガロアスレ46 の422の定理は、結局間違っていた というか、ガロアスレ46 の422の定理は ”この定理を使うと、f：R → R であって、「xが有理数のとき不連続、xが無理数のとき微分可能」 となるものは存在しないことが即座に分かる” ということには、ならないってことだった １．要するに、５CHの数学板では、すんなり書ける数学記号がほとんどない 　　例えば、分数でも、この板では1/2みたく、 　　通常の数学テキストでは水平の横棒−を使って、３行で表現するのが普通だが、１行の表現になる 　　同様に、上付き下付きの添え字も使えないし、Σ記号も同様 ２．そういう不便な板に無理して書いた証明には、タイポや過誤、それに視認性が悪いことで、チェック不足や、読み手の不便がある ３．だったら、PDFにして頂戴ってこと 　　PDFなら、１レス2048バイトの制限もないし、自由に紙面を使えるしね ４．あと、もしテキストかネット上にPDFでもあるなら、自分で証明を書かずに、「ここにある」と提示すれば良い 　　テキストかネット上にPDFの方が、いわゆる”枯れている”＝時間が経過していろんな人が見てチェックされているから、ミスやタイポが取れているということ なので、纏めると 数学記号がまともに使えない５CHの板に書かれた証明は、ミスやタイポの存在する恐れが強いし、読む方も不便だし、読む気ないよということ 書く方も、無理して、５CHの板に証明を書く必要もないだろう どうして証明を示したいなら、PDF作って提示してくれってことよ （その前に、ネットやテキストの証明探してくれよと） 以上 230 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 11:53:12.99 ID:v54b6Yz+.net] おっちゃんです。 最小の極限順序数ωは唯一つ、かつ唯一つに限り定義され ω＝card(N)＝ℵ_0 という性質を満たす。 素朴集合論の話じゃないか。 ◆e.a0E5TtKEは微分積分の初歩の初歩が分からないためにわざわざZermelo構成なんて話をしているのか。 他のスレを見ても文体や ID からは誰が誰だか識別しにくくなっているようだし、スレ主のことを◆e.a0E5TtKEと書くことにする。 231 名前：１３２人目の素数さん [2020/01/02(Thu) 11:57:20 ID:lJNP8tAT.net] >>214-215 ◆e.a0E5TtKEが唐突に昔話を始め� 232 名前：ｽら 「もう勘弁して」のサイン 土下座しろよ　晒し首になりたくなければな フハハハハハハ　ハハハハハハハ！！！ [] [ここ壊れてます] 233 名前：１３２人目の素数さん [2020/01/02(Thu) 11:58:56 ID:lJNP8tAT.net] >>216 そもそもステ立て人>>1はスレ主ではない 書き込み制限も削除もできない奴なんか「主」じゃない ただのピエロｗｗｗｗｗｗｗ 234 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/02(Thu) 12:03:18 ID:YLjNnjPy.net] >>207 >極限数が定義できるというのは極限数そのものが何になるのかを定義してるのではなく、極限数とは何かを定義する方法が色々あると言う意味です。 同意ですよ >我々が普段使っているザックリした言語ではそのような誤読を引き起こす可能性があるから論理式が読めないと数学ができるようにはならないのです。 多分似たことを言っていると思うが、ニュアンスが違うと思う 良く教科書で、次の命題は同値として 定理ｘ： ・命題a ・命題b ・命題c みたいに書いて、証明：命題a→命題b→命題c→命題a みたいに書いてある場合がある まあ、スペースを省く意味もあるだろうが それよりも、定理ｘの切り口が、命題a、命題b、命題c と3つあると捉えるのが正解だと思う つまり、命題a、命題b、命題c の3つを総合的に理解すべきだと そして、場面に応じて、適切にあるときは命題a、あるときは命題bと使い分けるべし で いまの場合で言えば、 ある適切な後者関数を取ったときに、 極限順序数ωを、 「順序数全体の成す類において順序位相（英語版）に関する極限点」と考えれば、良いという主張さ （再録） https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 (抜粋) 任意の自然数よりも大きい最小の超限順序数 ω 極限順序数は他にもいろいろなやり方で定義できる: ・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。 235 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2020/01/02(Thu) 12:06:35 ID:YLjNnjPy.net] >>216 おっちゃん、どうも、スレ主です。 ご出馬、ご苦労さまです（＾＾； 236 名前：現代数学の系譜 雑談 [2020/01/02(木) 12:15:14.40 ID:YLjNnjPy.net] >>211 ＞だいたい…{{}}…はただしくはシングルトンですらない ＞集合ですらないからだｗ おまえ、数学が分かってないね シングルトンの後者関数の極限で、ωを定義するってこと ωを、可算無限シングルトンと名付けるってこと それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ それは、下記時枝の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ お前は、数学の定義分かってないな 後者関数の極限が、存在しない？？ 笑えるよ >>157より再録 (参考) 過去スレ20 再録 rio2016.2ch.net/test/read.cgi/math/1466279209/2-7 時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。 「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる. 実数列の集合 R^Nを考える. s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版). (引用終り) 237 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 12:22:26.09 ID:v54b6Yz+.net] >>221 >>211の >＞だいたい…{{}}…はただしくはシングルトンですらない >＞集合ですらないからだｗ という指摘は正しい。 それは、◆e.a0E5TtKEの集合の表し方が間違っていることを指摘している。 238 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 12:45:14.09 ID:v54b6Yz+.net] >>221 >>211の >そもそも…{{}}…には一番外側の{}がないから、 >一番外側の{}を外して、中の要素を取り出すことができない >つ・ま・り、集合ではない も正しい。集合の書き方は、高校1年で習うようなこと。 ◆e.a0E5TtKEの定義はこれに反する。 239 名前：現代数学の系譜 雑談 [2020/01/02(木) 13:48:49.86 ID:YLjNnjPy.net] >>222-223 数学の 定義と 解釈と の違いが、分かってない （>>221ご参照） それでは、 数学はできないだろう 240 名前：１３２人目の素数さん [2020/01/02(木) 14:40:31.77 ID:lJNP8tAT.net] >>219 >「順序数全体の成す類において順序位相（英語版）に関する極限点」 >と考えれば、良い ◆e.a0E5TtKEのいう「順序数全体の成す類」は自然数しかない そこにいくら順序位相を入れても0,1,2,…の極限点なんて存在しないｗ おまえ、ほんと頭悪いな　白痴か？ｗ 241 名前：１３２人目の素数さん [2020/01/02(木) 14:50:17.21 ID:lJNP8tAT.net] >>221 >おまえ、数学が分かってないね 数学が分かってないのは、◆e.a0E5TtKE、貴様だ >シングルトンの後者関数の極限で、ωを定義するってこと 正しく極限をとれば、Zermelo構成でもωは集合として存在するだろう しかし >ωを、可算無限シングルトンと名付けるってこと >それは、左右に括弧 { と } とが、可算無限ならんだものと解釈できるということ とはならない ωは極限順序数であって後続順序数ではない つまりωより小さい最大の順序数である前者ω-1は存在しない したがってωより小さい順序数（つまり自然数）すべてについて ∈降下列（当然有限長）が存在するように� 242 名前：ｷるには ωが無限個の自然数を要素としてもつ必要がある 逆にωが無限個の自然数を要素として持てば それがいかなるものであってもZermelo構成の 順序数としての条件を満たす >それは・・・●●の可算無限個ある.箱（いまの場合可算無限個の { と } ）と同じ解釈だよ ●●の話はしないが、もし貴様がまだ 「可算無限列には最後の箱がある！」 と言い張るなら、ｊこう言い返すまでだ 「そんなものはねぇよ、ダラズが！！！」 [] [ここ壊れてます] 243 名前：１３２人目の素数さん [2020/01/02(木) 14:57:24.49 ID:lJNP8tAT.net] >>224 >数学の 定義と 解釈との違いが、分かってない ちょっと何言ってんのかわからないｗ（富沢たけし） >>222-223のいうことは正しい …{{}}…は集合でない！（ビシッ） したがってシングルトンではない！！！（ビシッ） なぜなら、一番外側の{}がないからだ！！！（ビシッ） 決まったね それにしても◆e.a0E5TtKEは度し難い馬鹿だねｗ こいつが大阪大学卒だとしたら大阪大学の恥だろうｗ しかし実際は◆e.a0E5TtKEが学歴詐称してるんだろうｗ その証拠にこいつは一切本名を出さない 本名が出なければ詐称は露見しないからな ああ、本名なんか出さなくていいぞ そんな工業高校卒だか中卒だかの一般人の名前なんか興味ねぇから え？実は朝鮮人だから名前が出せない？国籍なんか気にするなよ おまえが気にすべきことは国籍じゃない　 数学が分からないくせに分かった顔したがるそのウソツキ根性だｗ 244 名前：１３２人目の素数さん [2020/01/02(木) 15:08:31.79 ID:lJNP8tAT.net] ◆e.a0E5TtKEのトンデモ発言 1．{}∈{{}}、{{}}∈{{{}}}　だから　{}∈{{{}}}! 2．{{}}はシングルトン、{{{}}}はシングルトン、・・・ 　　だから…{{}}…(可算無限重)はシングルトン！ いやー馬鹿、ほんと馬鹿 245 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 15:24:02.41 ID:v54b6Yz+.net] >>224 例を挙げて説明する。 Aを空集合でない集合とする。集合AのAに属する元を用いる記法は、例えば A＝{ a,b,c,d,e } というようにAの具体的な元 a、b、c、d、e をすべて列挙してAを表わす記法と、 A＝{ a | aは条件Pを満たす } というようにAの元が満たすべき条件Pを具体的に書いて表わす書き方との2通りの書き方がある。 このような集合の記法は高校1年で習うようなこと。 Zermelo構成による順序数の定義は前者の集合の記法による方法である。 その方法で最小の超限順序数ωを敢えて定義してみる。そうすると、 ω＝{…{{}}…} か或いは ω＝{…{…{{}}…}…} 或いは ω＝{{…{{}}…}} などというような形で定義することになるだろう。 だが、ω＝{…{{}}…} か或いは ω＝{…{…{{}}…}…} などというような形で定義されるωの一番外側の「{}」を外すと、 …{{}}… とか …{…{{}}…}… という集合とは解釈出来ない謎の数学的対象が存在することになって矛盾が生じる。 よって、ω＝{…{{}}…} か或いは ω＝{…{…{{}}…}…} などというような形で定義することは不可能である。 故に、ω＝{{…{{}}…}} などというような形で定義することになるだろう。 だが、このような形の集合で定義されたωの一番外側の「{}」を外すと、{…{{}}…} という集合が存在することになる。 このこと自体は矛盾しないが、{…{{}}…} は最小の超限順序数ωより小さい順序数だから、{…{{}}…} は有限集合と解釈することになる。 しかし、{…{{}}…} を有限集合と解釈することは不可能だから、やはり矛盾が生じる。 だから、◆e.a0E5TtKEの意図に従って、Zermelo構成による最小の超限順序数ωを定義するようなことは出来ない。 246 名前：１３２人目の素数さん [2020/01/02(木) 15:47:32.69 ID:lJNP8tAT.net] >>229 ＞◆e.a0E5TtKEの意図に従って…は出来ない。 「Zermeloのωは{}の積み重ねだけで出来る！」 という素人のナイーブな直感による意図は 完璧に間違ってたってことだなｗ 「オレ様の直感は完璧だ」と自惚れる馬鹿は破滅していく 自惚れは自分を殺す毒 247 名前：１３２人目の素数さん [2020/01/02(木) 16:18:45.05 ID:lJNP8tAT.net] >>229 >{…{{}}…} は最小の超限順序数ωより小さい順序数だから、 >{…{{}}…} は有限集合と解釈することになる。 {…{{}}…}はシングルトンなら当然有限集合だが >>229のいいたいことはそうではないようだ おそらくは有限重{}の集合といいたかったのだろう そうだとしても>>229のいうように矛盾が生じる なぜならもとの集合自体有限重{} つまりZermelo構成の自然数となるから 248 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 16:43:30.85 ID:v54b6Yz+.net] >>231 >>221の >シングルトンの後者関数の極限で、ωを定義するってこと >ωを、可算無限シングルトンと名付けるってこと という趣旨に従って>>229を書いた。 ◆e.a0E5TtKEの意図に従った「…」は、数列を表すときなどに用いるような、いわゆるどこまでも同じ状態が続くという意味での「…」の解釈になると思われる。 249 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 16:52:05.08 ID:v54b6Yz+.net] >>232の一番下の行の「いわゆるどこまでも同じ状態が続くという意味」とは、 任意の第n項が1である数列 1、1、1、… における「…」のような意味のこと。 250 名前：１３２人目の素数さん mailto:sage [2020/01/02(木) 16:53:20.94 ID:v54b6Yz+.net] それじゃ、おっちゃんもう寝る。 251 名前：１３２人目の素数さん [2020/01/02(木) 16:54:08.09 ID:G/YeCJ4m.net] >>201 >４）こうやって構成した ペアノシステムによるシングルトンのωが、正則性公理に反するはずもない 妄想乙 >Zermeloの後者関数 「0 := {}, suc(a) := {a} 」 >の >順序位相（英語版）に関する極限点として >ωが定義される >それだけのこと バカは他人も自分と同じくらいバカだと思いたいようだが、それも妄想 252 名前：１３２人目の素数さん [2020/01/02(木) 16:55:12.79 ID:G/YeCJ4m.net] バカは直観で数学が理解できると妄想し続ける だから死ぬまでバカのまま

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef