現代数学の系譜　カントル　超限集合論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- 75 名前：１３２人目の素数さん [2019/12/25(水) 20:21:54.07 ID:87Vg7zWo.net] 　　　　　　　　　　　　 　 _,,,,,,,,,,,,＿ 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 l 76 名前：１３２人目の素数さん [2019/12/25(水) 20:42:32.05 ID:ARZwOFNW.net] バカは公理主義がどうたらって言われ 77 名前：てもチンプカンプンだろうな なんせ∈の定義すらわかってないレベルだもんな [] [ここ壊れてます] 78 名前：１３２人目の素数さん [2019/12/25(水) 20:57:06.65 ID:lBz7u+BH.net] >>71-73 二次男？ 79 名前：１３２人目の素数さん [2019/12/25(水) 20:58:32.24 ID:lBz7u+BH.net] 71-73はスレの先住民なのかな？ まさか、糞二次爺、、、？ 80 名前：１３２人目の素数さん [2019/12/25(水) 20:59:25.86 ID:lBz7u+BH.net] 数学板じゃバカ過ぎて絶句なの？ 81 名前：１３２人目の素数さん [2019/12/25(水) 21:00:12.26 ID:lBz7u+BH.net] いつも喪女スレをキティ嵐するしか能が無いから。。。 82 名前：１３２人目の素数さん [2019/12/25(水) 21:01:44.82 ID:lBz7u+BH.net] ばーか！二次男！ばーか！ｗ ↑って罵りが懐かしいですか？ 83 名前：１３２人目の素数さん [2019/12/25(水) 21:29:09.44 ID:vcY8XrPJ.net] 今日の一曲 https://www.youtube.com/watch?v=OID174jukFg 84 名前：現代数学の系譜 雑談 [2019/12/27(金) 08:26:38.31 ID:DGQc6wD0.net] メモ https://ja.wikipedia.org/wiki/%E6%A7%8B%E6%88%90%E5%8F%AF%E8%83%BD%E9%9B%86%E5%90%88 ゲーデルの構成可能集合 クルト・ゲーデルによって導入された、集合論の公理を満たすモデル上で空集合から帰納的に構成していける集合のことである。より正確な定義は後に述べる。 性質 ・L は全ての順序数を含む最小の ZFC のモデルである。 https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 順序数に関するフォンノイマンの定義（英語版）を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。順序数からなる空でない集合の合併は最大元を持たないから、常に極限順序数である。フォンノイマン基数割り当て（英語版）を用いれば、任意の無限基数もまた極限順序数となる。 https://en.wikipedia.org/wiki/Ordinal_number#Von_Neumann_definition_of_ordinals Von Neumann definition of ordinals https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。 数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。 [1] 特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。Vの集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。 85 名前：現代数学の系譜 雑談 [2019/12/27(金) 08:27:29.41 ID:DGQc6wD0.net] メモ追加 https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) 宇宙 (抜粋) 構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。 通常の数学 与えられた X (カントールの場合には、 X = R) の部分集合を考えれば、宇宙は X の部分集合の集合の存在を要請する。 (例えば、X の位相は X の部分集合の集合である。) 主要な関心が X であっても、 X よりもかなり大きな宇宙が必要とされることになる。 上記のアイデアに続いて、X の宇宙としての 上部構造 が要請される。 物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。 集合論 SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。 公理的集合論は元来1908年にエルンスト・ツェルメロによって開発された。ツェルメロ集合論は"通常の"数学を公理化することができるため、カントール� 86 名前：ﾉよって三十年早く始められたプログラムを達成して、確実に成功した。 しかし、ツェルメロ集合論は公理的集合論および数学基礎論、特にモデル理論における他の研究のさらなる発展にとって不十分であった。劇的な例として、上述の上部構造プロセスの記述はツェルメロ集合論においてそれ自身実行できないことが挙げられる。 最終ステップとして、無限和 (infinitary union) としてのSを形成するための置換公理が必要である。 置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。 この公理集合は今日最も広く受け入れられている。 そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。 つづく [] [ここ壊れてます] 87 名前：現代数学の系譜 雑談 [2019/12/27(金) 08:28:36.48 ID:DGQc6wD0.net] >>82 つづき 圏論 圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。 例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。 これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって固有類ではないことである。グロタンディーク宇宙の難点は、厳密さを欲するなら、グロタンディーク宇宙を捨てなければならないことである。 最も一般的なグロタンディーク宇宙 U の用途はすべての集合の圏を U で置き換えるものである。S ∈U のとき、U-large でないなら、集合S は U-small となる。 すべての U-small 集合の圏 U-Set は、すべての U-small の集合を対象として、それらの集合の間のすべての関数を射としてもつ。対象の集合と射の集合の両方共集合であり、このことが固有類を用いることなく "すべての" 集合の圏を議論することを可能にしている。 すると、この新しい圏の観点から別の圏の定義が可能になる。例えば、すべての U-small 圏の圏は宇宙 U の内部において、すべての対象の集合と射の集合の圏の圏になる。 すると通常の集合論の独立変数が、すべての圏の圏に適用される。さらに誤って固有類に対して言及する心配もなくなる。なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。 グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。 " この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。 以上 88 名前：１３２人目の素数さん [2019/12/27(金) 10:01:53.33 ID:cQnCEzsV.net] コピペ馬鹿 89 名前：１３２人目の素数さん mailto:sage [2019/12/27(金) 12:59:13.83 ID:3Ci8LSwD.net] >>70 ＞公理主義無視すると？ ＞あなたの解釈ではZermeloは公理主義を無視してZermelo順序数を提唱した事になってるんですか？ 公理主義と、 公理による自然数〜超限順序〜実数などの公理的構成と これは、話が別 ごちゃごちゃになってますよ カントールの集合論は 自然数〜実数ありきで始まった そして、間違っていなかった 適切な後者関数ならば、その極限は存在する ノイマン以外の後者関数でもね ノイマンの後者関数と同じですよ 90 名前：現代数学の系譜 雑談 mailto:sage [2019/12/27(金) 13:02:00.98 ID:3Ci8LSwD.net] ？ コテハンとトリップ抜けたか（＾＾； 91 名前：１３２人目の素数さん mailto:sage [2019/12/27(金) 13:02:58.03 ID:szeyxE/B.net] >>85 もしあなたがZermelo順序数が現代数学の枠内で議論されているというのであればそのルールに従って議論してください。 定義する文章にはすでに定義済みの言葉のみしか使えません。 極限という言葉を用いるなら、どのような集合にどのような位相を入れて論じるのか 92 名前：定めないで行う事はできません。 [] [ここ壊れてます] 93 名前：現代数学の系譜 雑談 mailto:sage [2019/12/27(金) 13:43:38.73 ID:3Ci8LSwD.net] >>87 ＞もしあなたがZermelo順序数が現代数学の枠内で議論されているというのであればそのルールに従って議論してください。 ＞定義する文章にはすでに定義済みの言葉のみしか使えません。 いま21世紀 20世紀はじめ 1901〜1920年代の議論をこのスレで繰り返す必要はないでしょ そういう過去の数学の成果は全部使っていいんだよと ここは、大学のゼミでもなんでもない おっさんずゼミは、私は参加しませんので 悪しからず（＾＾； 94 名前：１３２人目の素数さん mailto:sage [2019/12/27(金) 14:03:54.37 ID:cci0J0KH.net] >>88 違います。 あなたのような位相空間を定義しないで極限を使うなどと言う事は数学では許されません。 20世期だろうが、21世期だろうが関係ありません。 数学である以上未定義の言葉で定義を与えても意味ありません。 95 名前：１３２人目の素数さん mailto:sage [2019/12/27(金) 14:11:08.58 ID:m7wze3DH.net] 繰り返す必要はないとわけのわからない事を言ってますが、Zermelo順序数を定義もされていない位相空間の謎の極限で定義してる文章なんてこの世に存在しません。 もうすでにあなたが論じているのはZermelo順序数でも何でもない謎の何かについて語っているので「改めてここで再定義する必要はない。」などと言う類の論は一切立ちません。 あなたが独自に唱えている論なのだからどんなに何を検索しても答えはありません。 あなた自身が答えを与えるしかありません。 あなたの順序数の構成に使っている位相空間を定義してください。 96 名前：１３２人目の素数さん [2019/12/27(金) 17:00:25.66 ID:k/2lG7oM.net] >>81 闇雲に検索してるね >ゲーデルの構成可能集合 これは関係ない >極限順序数 これもフォン・ノイマン構成に関する記述なので ツェルメロ構成とは関係ない >>82 >宇宙 まったく関係ない >集合論 …{{}}…は集合ですらない したがって 「シングルトン」（唯一の元を持つ集合） とはいえない {{},{{}},{{{}}},…} なら、ツェルメロ構成のωを表す集合 として正当化できる （ただその場合、ツェルメロ構成による順序数を 　「より小さい順序数への有限∈降下列を有するもの」 　として定義しなおしたほうがいい） >>83 >圏論 …{{}}…を圏論で正当化できると思うのは妄想だろう そもそも…{{}}…とかいうナイーブなアイデアを捨てればいい ナイーブでありつづけることは馬鹿の極み 97 名前：１３２人目の素数さん [2019/12/27(金) 17:12:44.96 ID:k/2lG7oM.net] >>85 >公理による自然数〜超限順序〜実数などの公理的構成 >カントールの集合論は自然数〜実数ありきで始まった >適切な後者関数ならば、その極限は存在する も・し・か・し・て 「可算順序数は全部実数！」 とか馬鹿丸出しなこと言わんだろうね？ そもそも任意の実数列が収束するわけではない 実数全体はコンパクトではないから まさに０．１，２，３，・・・という列は収束しない！ も・し・か・し・て 「確かに実数や複素数としては収束しない 　しかし！拡大実数がある！リーマン球面がある！」 とかこれまた馬鹿丸出しなこと言わんだろうね？ 実数や複素数の一点コンパクト化では誤魔化せないぞ！ ωはツェルメロ構成でも存在する しかし、それはシングルトンではない なぜなら、ωには前者が存在せず、 ωより小さいいかなる順序数ｎ（＝自然数）も n<m<ωとなる順序数ｍ（＝自然数）を持つから これが数学における真理だ >>88 >20世紀はじめ1901〜1920年代の議論を >このスレで繰り返す必要はないでしょ また口から出まかせで適当な年号言ってるな 馬鹿は自分の間違いに気づけず いつまでもだらしなく言い訳する 大変みっともない 98 名前：１３２人目の素数さん [2019/12/27(金) 17:17:47.91 ID:k/2lG7oM.net] >>90 ＞Zermelo順序数でも何でもない謎の何か 馬鹿がZermeloのωだ！といってる …{{}}…は最も外側の{}が存在しないから 集合ではないな ついでにいうと、外側の{}をつけると ωの前者が存在してしまい、極限順序数でなくなるから誤り 99 名前：１３２人目の素数さん [2019/12/27(金) 17:51:36.33 ID:cQnCEzsV.net] ほんとにバカは何にも分かってないね 100 名前：１３２人目の素数さん [2019/12/27(金) 18:44:11.37 ID:k/2lG7oM.net] >>94 馬鹿とはそういうもんだ 101 名前：現代数学の系譜 雑談 [2019/12/28(土) 00:12:08.79 ID:25QO+/o4.net] >>89 ＞あなたのような位相空間を定義しないで極限を使うなどと言う事は数学では許されません。 言っている意味が分からない １．あなた、大学教員の免許でも持っているのか、大学教員かね？ 数学研究者 102 名前：？ なんでもない、ただの名無しさんでしょ？ ２．あなたが、位相空間という概念を発明したの？ 論文書いたの？ 貴方の言っている”位相空間”なる概念は、どこかのテキストからのパクリでしょ？ ３．だったら、私と同じ立場じゃない？ >>63に引用した”Order topology”読みなさいよ どこの馬の骨とも分からない、 おそらくは、大学教員でもなく、プロの数学研究者でもない、ただの名無しさん バカの５CHの数学板で、大学のゼミごっこかい？ ここは、大学のゼミでもなんでもない おっさんずの ゼミ 「ごっこ」には、私は参加しませんので 悪しからず（＾＾； [] [ここ壊れてます] 103 名前：１３２人目の素数さん mailto:sage [2019/12/28(土) 00:33:49.86 ID:8BMjAJ9T.net] >>96 わからないでしょうね。 定義すると言う意味わかってないからです。 こんなの大学の教員云々なんて話ですらない。 大学の数学科の一回生レベルの話。 その話にすらあなたついていけていないレベルなんですよ。 104 名前：現代数学の系譜 雑談 [2019/12/28(土) 00:36:43.75 ID:25QO+/o4.net] >>97 ここは、大学じゃない 定義が分かっていないのは、あなたですよ 105 名前：現代数学の系譜 雑談 [2019/12/28(土) 00:45:12.06 ID:25QO+/o4.net] >>83 補足 グロタンディーク宇宙 U が出来上がってしまえば その中で、極限は定義できる それだけのこと もちろん、それは、Zermelo構成の論文が1900年初期の論文で意図した、無限集合の構成とは流れが逆だ しかしいま、問題にしていることは、ある何かの後者関数の極限 lim n→∞ suc(n) が存在すれば、それは正則性公理に反するのかどうかということ Zermeloの意図の無限集合の構成に拘らずに、純粋に”極限 lim n→∞ suc(n) が存在すれば、それは正則性公理に反するのかどうか”だけが問題なのです Zermeloの意図の無限集合の構成に拘れば まだ、極限は定義されていないとなるが それは いま問題にしていることとは無関係 106 名前：１３２人目の素数さん mailto:sage [2019/12/28(土) 00:55:35.73 ID:x9QKCpW8.net] >>98 大学であろうとなかろうと数学にかわりはありません。 定義文の右辺に未定義の概念が入って良い数学など存在しません。 正直こんなの大学の数学のレベルの話じゃありません。 数学なんて全然縁のない文系の人でもそりゃそうだと思える話です。 あなたはそのレベルですら理解できてないんですよ。 107 名前：１３２人目の素数さん [2019/12/28(土) 08:02:17.06 ID:VqAUAktZ.net] >>96 >言っている意味が分からない アタマ悪いもんな >”Order topology”読みなさいよ limの構成法を全く知らん奴がいくら読んでも 妄想するだけ　精神の病が悪化するだけ >大学のゼミごっこかい？ >ゼミ 「ごっこ」には、私は参加しません ゼミ以前に、大学１年の実数の定義でつまづいた君には数学は無理 ∈の定義も知らんとか知的好奇心ゼロ　君ただ見栄はりたいだけだろ 108 名前：１３２人目の素数さん [2019/12/28(土) 08:15:39.80 ID:VqAUAktZ.net] >>99 >グロタンディーク宇宙 U が出来上がってしまえば・・・ そのUの中に、君が妄想する…{{}}…はないよ １．x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合） ２．x, y ∈ U ⇒ {x, y} ∈ U ３．x ∈ U ⇒ x のベキ集合 P(x) ∈ U ４．{x_α}α∈Iが U の元の集合で I ∈ U ⇒∪(α∈I) x_α∈U １~４のどれをどれだけつかってもできない ４をよく見てみ 和集合∪(α∈I) x_αが出てくるだろ　 これが答えだよ 極限はf(x)={x}の操作を無限回反復することじゃない 無限公理で生まれた無限集合を使って和をとるんだ その無限公理だって、別にX∪{X} の無限回反復じゃない {}∈ω＆ｘ∈ω⇒x∪{x}∈ω　とすることで、 有限回反復でできた集合を全部含む集合ω の存在を主張してるだけ 定義読めよ　なんで文章読まないで勝手な妄想するの？ 自惚れてんの？ 109 名前：１３２人目の素数さん [2019/12/28(土) 08:22:48.86 ID:VqAUAktZ.net] >>99 ＞ある何かの後者関数の極限 lim n→∞ suc(n) が存在すれば、 ＞それは正則性公理に反するのかどうか 正しい極限をとれば、正則性公理には反しない そしてsuc(x)={x}としたとき lim n→∞ suc(n)は…{{}}…ではなく{{},{{}},{{{}}},…} グロタンディーク宇宙Uの定義４を見たろ？ ωを無限公理による集合（suc(x)=x∪{x}) x_αをα+1重{}（1重{}は{}）として ∪(α∈ω) x_αがZermelo構成のΩだから 110 名前：１３２人目の素数さん [2019/12/28(土) 08:30:44.88 ID:VqAUAktZ.net] >>100 ◆e.a0E5TtKEはとにかく定義も確認せず勝手に妄想したがる 正真正銘の●違い野郎だからな アタマ悪いというかオカシイ 111 名前：現代数学の系譜 雑談 ◆e.a0E5TtKE [2019/12/28(土) 09:46:19 ID:25QO+/o4.net] >>63 >https://en.wikipedia.org/wiki/Order_topology >Order topology ”Order topology”が読めないとな？ｗ（＾＾； まあ、下記でも嫁めｗ https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88 順序構造と位相構造 全順序集合の位相 順序位相 全順序集合A に対し、無限半開区間 (-∞ ,b)={x∈ A ｜ x<b} (a,∞ )={x∈ A ｜ a<x} 全体の集合を準開基とする位相を順序位相(order topology)という[注 1]。 例えば、通常の大小関係 <= によって実数全体の集合 Rを全順序集合と見ると、その順序位相は通常の距離により定められる位相と同等になる。 112 名前：１３２人目の素数さん mailto:sage [2019/12/28(土) 09:54:37.38 ID:O6GpWuvv.net] >>105 順序数を定義する。 順序を定める。 位相を定める。 極限が定まる。 ですね。 では極限を使わずに順序数を定義してください。 あなたの主張はループしてます。 113 名前：１３２人目の素数さん [2019/12/28(土) 09:59:22.89 ID:VqAUAktZ.net] >>105 ＞”Order topology”が読めないとな？ 読めてないのは◆e.a0E5TtKE　貴様だよき・さ・ま 論理的思考ができない奴は何読んでも無駄 https://www.youtube.com/watch?v=ZML6ARut2SY 114 名前：現代数学の系譜 雑談 [2019/12/28(土) 10:00:11.40 ID:25QO+/o4.net] >>105 追加 自然数に関していろいろな後者関数が、存在するという aの後者関数：＝suc(a) 漸化式風に書けば a_n+1：＝suc(a_n) ですわ で、自然数や実数が既に得られて、順序位相も決まった ノイマンの方法でいいでしょ ところで、自然数に使う後者関数の取り方はいろいろあるという（下記） とすれば、後者関数の極限 lim n→∞ suc(a_n) が存在することになんの不思議もない 極限 lim n→∞ suc(a_n) が、正則性公理に反するだぁ〜？ｗ それ、おサルのタワゴトでしょｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。 これはペアノの公理を満たす後者関数 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 ペアノの公理 存在と一意性 一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。 115 名前：１３２人目の素数さん [2019/12/28(土) 10:13:46.48 ID:VqAUAktZ.net] >>108 ＞自然数や実数が既に得られて、 なんで実数が出てくるんだ？馬鹿か？ ＞順序位相も決まった 有限順序数だけの空間で順序位相いれようがなにしようが ωなんか出てくるわけないのに何考えてんだ？この馬鹿ｗ ＞極限 lim n→∞ suc(a_n) が、正則性公理に反するだぁ〜？ 貴様のウソ極限が １．そもそも集合でない 　（最外側のカッコがない・・・{{}}・・・） ２．極限順序数の定義に反する 　（最外側のカッコだけとってつけてシングルトンだと言い張った場合） のいずれかになる 正則性公理に反するとかいう以前の話 （ちなみに正則性公理に反するのは２.でさらに 　延々と外側のカッコを外せる場合だが 　そもそも一個でも外側にカッコがついてて 　中身が要素一個の時点で極限順序数でないから 　その先の話なんかいくらしても無駄） 116 名前：１３２人目の素数さん [2019/12/28(土) 10:15:08.40 ID:VqAUAktZ.net] suc(x)={x}としたとき lim n→∞ suc(n)は…{{}}…ではなく {{},{{}},{{{}}},…} グロタンディーク宇宙Uの定義４の通り ωを無限公理による集合（suc(x)=x∪{x}) x_αをα+1重{}（1重{}は{}）として ∪(α∈ω) x_αがZermelo構成のΩ 117 名前：１３２人目の素数さん mailto:sage [2019/12/28(土) 10:54:08.53 ID:zZt3JKVT.net] >>105 順序数そのものが定まってないのにノイマンの方法もへったくれもありません。 118 名前：現代数学の系譜 雑談 [2019/12/28(土) 19:30:17.62 ID:25QO+/o4.net] >>110-111 >順序数そのものが定まってないのにノイマンの方法もへったくれもありません。 おまえら、全然読めてないね（＾＾ ”The standard topologies on R, Q, Z, and N are the order topologies.”な ”The standard topologies”な ”The standard”な！ ｗｗ（＾＾ （>>63より） https://en.wikipedia.org/wiki/Order_topology Order topology (抜粋) The open s 119 名前：ets in X are the sets that are a union of (possibly infinitely many) such open intervals and rays. A topological space X is called orderable if there exists a total order on its elements such that the order topology induced by that order and the given topology on X coincide. The order topology makes X into a completely normal Hausdorff space. The standard topologies on R, Q, Z, and N are the order topologies. [] [ここ壊れてます] 120 名前：１３２人目の素数さん [2019/12/28(土) 19:33:15.48 ID:/I2M/WbE.net] バカが袋叩きにされてて草 そりゃスレ伸びるわなｗ 121 名前：現代数学の系譜 雑談 [2019/12/28(土) 19:35:31.22 ID:25QO+/o4.net] あと （>>63より） "順序位相（英語版）" より、下記 まあ、確かに、 (a,∞)とか”∞”が定義されていないと、 循環論法になるけど、 ”∞”が先に別の仕方で定義されていれば、これで良いだろ 122 名前：現代数学の系譜 雑談 [2019/12/28(土) 19:37:28.91 ID:25QO+/o4.net] >>113 だれかな？ おサルは、複数IDを使った前科があるからな〜ｗ（＾＾ 逆だろ バカを袋叩きだろｗｗ 123 名前：現代数学の系譜 雑談 [2019/12/28(土) 19:41:17.54 ID:25QO+/o4.net] おサル 問題をわざと、論点そらししているな いま問題にしていることは 後者関数suc(a)で ｎ→∞の極限 すなわち 極限 lim ｎ→∞ suc(a) が正則性公理に反する というのがおサルの主張 そんなことはないというのが、 オレだよおれｗ（＾＾； 124 名前：１３２人目の素数さん mailto:sage [2019/12/28(土) 20:10:33.90 ID:T40Ng8at.net] >>112 読めてないって論理記号も読めてない、数学の勉強もする気ないって言ってるくせになに言ってるんですか？ 数学の教科書あるなんて一冊も読んだことないんでしょ？ なんでそんな根拠のない自信満々なの？ 125 名前：１３２人目の素数さん [2019/12/29(日) 14:29:05.49 ID:JEVheZqe.net] 　　　　　　　　　　　　 　 _,,,,,,,,,,,,＿ 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 126 名前：１３２人目の素数さん [2019/12/29(日) 14:30:36.80 ID:JEVheZqe.net] 　　　　　　　　　　　　 　 _,,,,,,,,,,,,＿ 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 127 名前：１３２人目の素数さん [2019/12/29(日) 14:31:39.74 ID:JEVheZqe.net] 　　　　　　　　　　　　 　 _,,,,,,,,,,,,＿ 　　　　　　　　　　　, :'"´　_... --､ ｀ﾞ丶､ 　　　　　　　　　 ／ _.. - ''　　　 ..:　　.:.::ヽ 　　　　　　　　 /:, '　　　　　　　｀ ､　　.:.:::::', 　　　　　　　　i:'　　　　　　 __ 　 .. ｀ ､..　.:.:::', 　　　　　　　　!　　　　,,:='''´　　　 : . 　: .:.:::::,!_ 　　　　　　 　 !,,:=､　　　 _,,,,,＿,　　 :　 ｀ ､r',r ヽ 　　　 　 　 　 ! ＿.. ;　　 ´￣　　　 : .　　　! iヽ :| 　　　　　　　　l'´- / 　 -､　　　　　　 :　　 ! ｰ 'ﾉ 　　　　　　　　!　 r_　 r=ノ　　　　. :　　　 :r-ｨ' 　　　　　　　　ヽ　　｀__............　　:　　　 　 !　l 　　　　　　　 　 ',　, '___,,.--‐'´　 .　　　　:,'　| 　　　　　　　　　 ヽ ､￣,,.. ''´　　 :　　 .:／　 !､ 　　　　　　　　　　 ', ￣　　　　. :　 , :'": :　　ﾄ､＼ 　　　　　　　　　　　ヽ.. .. : : :_,,.　'" : : : :　 　l､!　 ＼ 　　　　　　　　　　　　｀ニi"´::::....　　　　 　 　 !　　　＼―--- .... 　　　　　　 ,. -‐'''''"´/ 　 l､:::: :. ...　　　　　_,,ﾉ　　　　 ｀i 　　　 　 ／　　　　 /　 　 |､｀ﾞ''ー---―''":::/　　　.　　 128 名前：１３２人目の素数さん [2019/12/29(日) 15:27:23.92 ID:RdOU0Buo.net] >>116 全然分かってないね 129 名前：１３２人目の素数さん [2019/12/29(日) 15:53:04.44 ID:XkWlXq2i.net] やっぱ二次男はぶさいくだね 130 名前：１３２人目の素数さん [2019/12/29(日) 17:57:31.93 ID:/Zdz9M/3.net] >>112 >”The standard topologies on R, Q, Z, and N are the order topologies.”な >”The standard topologies”な >”The standard”な！ 何、発●してんだこの馬鹿ｗ まずNにはωはない、そしてZにも、Qにも、Rにも、だ もとの空間にωがないのだから、 順序位相をどうひねくったって ωなんか出てくるわけもない いいかげん気づけ、ド阿呆！！！ 131 名前：１３２人目の素数さん [2019/12/29(日) 17:58:27.08 ID:/Zdz9M/3.net] >>114 >確かに、 (a,∞)とか”∞”が定義されていないと、循環論法になるけど、 定義されてないとかいう以前に、そもそも存在していない >”∞”が先に別の仕方で定義されていれば、これで良いだろ 別の方法とは？ QとかRとかなら、同じQやRを二つ用意して y=1/x（当然x=1/y)という写像で貼り合わせる という方策がとれるが、Zではできない 任意のz∈Zについて、ｚ=z+1となる 仮想的な元を追加する方策は 必然的にz=z-1となるから 正則性公理に反する(>>116の回答） 要するに馬鹿が考える 「リーマン球面でいいじゃん！」 は全然ダメ 132 名前：１３２人目の素数さん [2019/12/29(日) 18:14:06 ID:/Zdz9M/3.net] ＞任意のz∈Zについて これおかしいなｗ 「Zに、ｚ=z+1となる 　仮想的な元を追加する方策は」 が正しいな 複素関数論を正しく理解していれば ∞＝∞＋１ となっていることがわかる （したがって、順序数ωとは異なる） 133 名前：現代数学の系譜 雑談 [2019/12/29(日) 20:48:57.00 ID:uR3g5aDb.net] >>125 おサル必死ｗ（＾＾； 134 名前：１３２人目の素数さん [2019/12/29(日) 21:13:03.56 ID:/Zdz9M/3.net] ◆e.a0E5TtKE 反論不能で悶死(￣ー￣) 135 名前：１３２人目の素数さん [2019/12/29(日) 21:35:50.09 ID:/Zdz9M/3.net] f(z)=z+1はリーマン球面上では放物的変換で その唯一の不動点は∞ ちなみにω＋１はωとは異なる つまり、リーマン球面の∞はωではない 136 名前：現代数学の系譜 雑談 [2019/12/29(日) 21:36:11.72 ID:uR3g5aDb.net] おサル必死ｗ（＾＾； 必死で問題を変えて、論点ずらしみえみえｗ（＾＾ 137 名前：１３２人目の素数さん [2019/12/29(日) 21:38:21.61 ID:/Zdz9M/3.net] ◆e.a0E5TtKE 論点を撃ち抜かれて即死(￣ー￣) ほれ、リーマン球面、どうした？ ギャハハハハハハ！！！ 138 名前：１３２人目の素数さん mailto:sage [2019/12/29(日) 22:12:07.39 ID:DPIKsycu.net] 【哲学上等】数学の本質はその自由性にあり【本質抽出】 無限の定義 無限とは部分と全体が等しいことである 数学そのものの定義 「２つの点を通って１本の直線を引くことができる」 「２つのコップを通って１本の椅子を引くことができる」 述語の定義によらず成り立つ構造が数学である 人工知能の定義 人間の男性と人間の女性が、チャット越しに男女を問わない第三者に対して、 「私が女です」「いいえ、私が女です」と競う この片方をコンピュータが担って有意の差が出なければ、それが人工知能である 問題は、死や宗教について 哲学板では 「カントの『物自体』みたいに、死には何でも放り込めそうだ」「宗教は宗教板で」 というのが定説の様子というか基本的には神なんて克服するのが哲学らしい チューリングが人工知能をうまく定義したように数学者が死や宗教を語ることはできないのか というスレを立てようかどうか迷ってる 139 名前：１３２人目の素数さん [2019/12/29(日) 22:34:35.09 ID:/Zdz9M/3.net] >>131 ＞無限の定義 ＞無限とは部分と全体が等しいことである デデキントは 「A と同数（equinumerous）であるようなA の真部分集合B が存在すること」 を無限の定義とした（デデキント無限） https://ja.wikipedia.org/wiki/%E3%83%87%E3%83%87%E3%82%AD%E3%83%B3%E3%83%88%E7%84%A1%E9%99%90 通常の無限の定義は以下の通り 「どのような自然数 n に対しても、{0,1,2,..., n -1}（有限順序数）と A との間に全単射が存在しないこと」 選択公理ACを仮定しない場合、無限集合であるにもかかわらず デデキント無限でない集合が存在することが知られている （上記の無限集合は整列不可能である） 140 名前：１３２人目の素数さん [2019/12/29(日) 22:38:07 ID:/Zdz9M/3.net] 宗教には興味がない 死は語れない　なぜなら人は死を体験しないから　(ヴィトゲンシュタイン） 神は存在する(￣ー￣) この動画がその証拠だｗ https://www.youtube.com/watch?v=qMKlj_1zbYc 141 名前：１３２人目の素数さん mailto:sage [2019/12/29(日) 22:45:43 ID:/Zdz9M/3.net] https://gendai.ismedia.jp/articles/-/65395 自死は人道上許されないと言い切る馬鹿こそ死ね　外道が！ 142 名前：１３２人目の素数さん [2019/12/29(日) 22:48:00 ID:/Zdz9M/3.net] 死にたくない奴を殺すのも死にたい奴を生かそうとするのも重大な犯罪 死にたい奴は死なせるのがいい　ただでさえ人は多すぎるのだ 143 名前：現代数学の系譜 雑談 [2019/12/29(日) 23:31:08.57 ID:uR3g5aDb.net] >>130 おサル必死の ”ギャハハハハハハ！！！ ”が出たか バカめ 極限が正則公理に反するだ？ バカめｗ（＾＾； 144 名前：現代数学の系譜 雑談 [2019/12/29(日) 23:36:59.26 ID:uR3g5aDb.net] >>134-135 ＞自死は人道上許されないと言い切る馬鹿こそ死ね　外道が！ ＞死にたい奴は死なせるのがいい　ただでさえ人は多すぎるのだ サイコパスでましたｗ（＾＾； こいつは、殺人に異常に興味を持ち、反応するんだ(゜ロ゜; （参考） ガロアスレ79 https://rio2016.5ch.net/test/read.cgi/math/1573769803/2 より 殺人願望旺盛（＾＾ スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/69-74 人を“丸焼き”にして食するという人食趣味あり スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/77 145 名前：１３２人目の素数さん [2019/12/30(月) 09:41:50.21 ID:QJZL/mXh.net] >>136 >極限が正則公理に反するだ？ 否　Zの中にない∞を追加する場合 z=z+1 という式を満たすz 146 名前：として追加するなら z=z-1 という式も満たすから正則公理に反する といっている そうではなくZermelo構成でのωを {{},{{}},{{{}}},…} とするなら正則公理に反しないし ω+1は{ω}であってωではないから問題ない [] [ここ壊れてます] 147 名前：１３２人目の素数さん [2019/12/30(月) 09:44:40.30 ID:QJZL/mXh.net] >>137 単に 「死んではいかん」とか 「人を殺してはいかん」とかいう 決まりなどないといっている 「死にたくない」とか 「人を殺したくない」とかいう のも正直わざとらしい 「今すぐ死ぬと思ってない」とか 「人を殺すとか思ったことない」とか いうのが正直なところ 148 名前：１３２人目の素数さん [2019/12/30(月) 09:56:21.51 ID:QJZL/mXh.net] ◆e.a0E5TtKEは Nのどの要素よりも大きい超限順序数ωをつくるのに R, Q, Zを持ち出すことがいかに馬鹿げてるか気づけない Cに∞を追加するリーマン球面のやり方は RやQにもそのまま適用できる さすがにZには無理だが、上記のやり方でできた∞が持つ性質を使えば、 Zにも∞を追加できる しかしそのようなやり方で出来た∞は ∞＝∞＋１（つまり∞＝∞ー１） という性質を有するから、 ωとは根本的に異なる 定義を蔑ろにして自分勝手な妄想をしたがる 「ボクちゃん天才」の自惚れ馬鹿◆e.a0E5TtKEは 自分の思考が数学を否定する反知性的トンデモ行為 だということに死んでも気づけない （つまり永遠に気づけない）だろう 149 名前：現代数学の系譜 雑談 mailto:sage [2019/12/30(月) 11:19:42.92 ID:elykEIqv.net] >>140 ＞Nのどの要素よりも大きい超限順序数ωをつくるのに ＞R, Q, Zを持ち出すことがいかに馬鹿げてるか気づけない おサルは、リーマン球面を持ち出したろ？ R, Q, Zに、Cも付け加えておけ あほサルよｗ（＾＾； 150 名前：１３２人目の素数さん [2019/12/30(月) 12:01:13.04 ID:uyCQGdKl.net] バカ丸出し 151 名前：１３２人目の素数さん [2019/12/30(月) 12:06:24.86 ID:QJZL/mXh.net] >>141 >おサルは、リーマン球面を持ち出したろ？ ◆e.a0E5TtKEが馬鹿の一つ覚えで 「リーマン球面」と吠えるのが ミエミエなので先に持ち出した もちろん「そんなの全然見当違い」という意味 >R, Q, Zに、Cも付け加えておけ 必要ない というのは、リーマン球面を実現するための 座標系の貼り付けはRでもできるし、 実はQでも使えるから ただしZでは使えない Zに追加する∞が、RやQに追加したものと 同じ性質を有するとすれば、∞＝∞＋１ となるから、それではωとは異なり、 正則性公理に反する、と喝破した この時点で「リーマン球面馬鹿」の ◆e.a0E5TtKEは死んだｗ 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未満の順序数の上極限となっていることが確かめられる。 です。 順序数の集合が定義されてなければ順序集合も位相も定義できません。

---

---

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

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