Inter-universal geometry と ABC予想 (応援スレ) 60

1 名前：１３２人目の素数さん [2021/10/02(土) 21:09:16.88 ID:X8Zxjdm/.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ： Inter universal geometryとABC予想(応援スレ) （番号抜けだが実は59） https://rio2016.5ch.net/test/read.cgi/math/1628778394/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 （手抜きです。） Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 （参考） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view 望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。 IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。 IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） つづく (deleted an unsolicited ad) 231 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 07:38:20.06 ID:mdAX1Bxg.net] >>213 よく、考えてから書け、といわなかったか？ｗ A graphical "matchstick" representation　は、{}の表現とは全く別だぞ 集合論の公理系で、集合として考えたいんなら、最外の{}は必須 そういう根本的なことを、何年も気付かずにいる それじゃ、大学数学で落ちこぼれても当然だわな で、{}は貴様には無理だから諦めろ そのA graphical "matchstick" representationで ωがいかなる形で表せるか述べてみろ で、見た目上違ってみえても、同値になる場合が多々あるが どういう場合、同値とするかの条件も述べてみろ それが数学ってもんだぞ 今度こそ18:00まで考えとけよ 仕事中こっそり内職してもいいぞ 俺は貴様の上司じゃないからな じゃあな 232 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 07:40:37.57 ID:fCifkauW.net] >>213 >下記のOrdinal numberで、”A graphical "matchstick" representation”が分かり易いので、紹介しておく "matchstick"が、分からないかも 見たこと無いとか ”マッチ棒”だけど、いまは見かけないね https://ja.wikipedia.org/wiki/%E3%83%9E%E3%83%83%E3%83%81 マッチ（英: Match、燐寸）は細く短い軸の先端に、発火性のある混合物（頭薬）をつけた軸木（マッチ棒）と、側薬を塗付した側面とを摩擦させるなどして、発火させ、火を得るための道具。喫煙や料理などの火起こしに使われる。 https://upload.wikimedia.org/wikipedia/commons/thumb/a/a3/Streichholz.JPG/300px-Streichholz.JPG 燃えるマッチ https://upload.wikimedia.org/wikipedia/commons/thumb/e/e1/Match.jpg/270px-Match.jpg 安全マッチ （箱の外にあるのが、”マッチ棒”＝"matchstick"） 233 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 08:00:53.67 ID:fCifkauW.net] >>215 あのさ、下記の檜山正幸でも読んでみたら？ ”ZFC公理的集合論の万能性・普遍性は認めたとしても、だからと言って、何でも 234 名前：ZFC公理的集合論のなかでやる必要はありません。つーか、そんなことはしません。自然数論は、集合論とは独立な体系内でやればいいのです。必要があれば、ZFC公理的集合論への埋め込み（翻訳）を作ればいいのです。” ”集合概念が必要な場面では、ZFC公理的集合論が使われているのでしょうか？ -- 使われません。日常的にZFC公理的集合論を使う人なんていない、と言うと言い過ぎだけど、極めて少数です。 我々が日常的に使っている集合論は素朴集合論（naive set theory）です。要するに、直感的でイイカゲンでカジュアルな集合論です。” おれは、これに大賛成だ つーか、この”要するに、直感的でイイカゲンでカジュアルな集合論”が使えないと、数学者として”使えない”人になるよ おサルが、数学科で落ちこぼれになった原因の一つがそれだろうね 外側の{}に拘る議論が、その典型例だよ 　>>213-214にあるように、極限順序数としてのωの理解を先行させないとね 外側の{}ありきじゃねーよ。”可算多重の{{{...}}}ωとは何者で、数学的にどう考えるべきか”が、物事の順番だってこと (参考) https://m-hiyama.はてなブログ/entry/20171024/1508830602 檜山正幸のキマイラ飼育記 (はてなBlog) 2017-10-24 現場の集合論としての有界素朴集合論 内容： 1.述語論理と集合論 2.素朴集合論とは何か 3.アトムと集合 4.宇宙と銀河 6.有界素朴集合論 7.有界素朴集合論の使い途 つづく [] [ここ壊れてます] 235 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 08:01:39.56 ID:fCifkauW.net] >>217 つづき 述語論理と集合論 論理の体系（ナントカ論理と呼ばれるモノ）は、目的や趣味に応じて山のようにあります。多種多様なので、論理の分類学や論理の博物学が成立しそうです。 ZFC公理的集合論は、一階古典述語論理の上に構築できる理論の一例に過ぎません。しかし、特別なものだと見なされています。現状の全ての数学的理論は、ZFC公理的集合論の内部で展開できると信じられています。例えば、集合論とは独立に構築した自然数論も、ZFC公理的集合論のなかに埋め込める（集合論の言葉に翻訳できる）のです。 ZFC公理的集合論の万能性・普遍性は認めたとしても、だからと言って、何でもZFC公理的集合論のなかでやる必要はありません。つーか、そんなことはしません。自然数論は、集合論とは独立な体系内でやればいいのです。必要があれば、ZFC公理的集合論への埋め込み（翻訳）を作ればいいのです。 素朴集合論とは何か 集合概念が必要な場面では、ZFC公理的集合論が使われているのでしょうか？ -- 使われません。日常的にZFC公理的集合論を使う人なんていない、と言うと言い過ぎだけど、極めて少数です。 我々が日常的に使っている集合論は素朴集合論（naive set theory）です。要するに、直感的でイイカゲンでカジュアルな集合論です。 厳密な定義や公理系を持たない集合論を総称して素朴集合論と呼んでいるので、素朴集合論を定義するのは無理があります。が、素朴集合論を二種類に分けて考えたほうがよさそうです。ひとつはユーザーフレンドリーなZFC集合論、もうひとつは原始集合論です。 (引用終り) 以上 236 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 10:52:03.63 ID:bnOJnGAg.net] まずzfc理解してから言えよ 237 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 11:59:50.86 ID:FDlU9EvD.net] >>219 お前だろ？ｗ 下記のAxiom of infinity（無限公理）を見よ https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity Interpretation and consequences This axiom is closely related to the von Neumann construction of the natural numbers in set theory, in which the successor of x is defined as x ∪ {x}. If x is a set, then it follows from the other axioms of set theory that this successor is also a uniquely defined set. Successors are used to define the usual set-theoretic encoding of the natural numbers. In this encoding, zero is the empty set: 0 = {}. The number 1 is the successor of 0: 1 = 0 ∪ {0} = {} ∪ {0} = {0} = {{}}. Likewise, 2 is the successor of 1: 2 = 1 ∪ {1} = {0} ∪ {1} = {0,1} = { {}, {{}} }, and so on: 3 = {0,1,2} = { {}, {{}}, {{}, {{}}} }; 4 = {0,1,2,3} = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } }. つづく 238 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 12:01:28.69 ID:FDlU9EvD.net] >>220 つづき A consequence of this defin 239 名前：ition is that every natural number is equal to the set of all preceding natural numbers. The count of elements in each set, at the top level, is the same as the represented natural number, and the nesting depth of the most deeply nested empty set {}, including its nesting in the set that represents the number of which it is a part, is also equal to the natural number that the set represents. (google訳) この定義の結果は、すべての自然数が先行するすべての自然数のセットに等しいということです。最上位の各セットの要素数は、表された自然数と同じであり、最も深くネストされた空のセット{}のネストの深さは、その数を表すセット内のネストを含みます。パーツは、セットが表す自然数にも等しくなります。 (引用終り) これにより １）無限公理で、Neumann construction で、自然数ができる ２）”the nesting depth of the most deeply nested empty set {}”もまた、その自然数に等しい とある ３）さて、上記 Neumann constructionの自然数の集合Nは、{}のネストの深さは可算無限（非有限）だ ４）では問う 　{}のネストの深さが可算無限（非有限）の集合が、あってはいけないのか？ 　当然Noだろう。では、なぜ可算無限重シングルトンはダメというのか？ 理由がないよね ZFCが分かってないのは、どっちだ？ｗ 以上 [] [ここ壊れてます] 240 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 12:26:36.68 ID:bnOJnGAg.net] >>221 お前だよ 数学のレベルが何年経ってもずっとクソみたいなレベルで足踏み ペタペタコピペ貼りまくるけどひとつも意味分かってない 基本的な論理式がひとつもわかってないのに数学の勉強なんかできるハズもない アホか 241 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 12:50:56.96 ID:FDlU9EvD.net] >>222 はいはい、あんたはえらい、えらい、えらい これで、気が済んだか？ ならば、行って良し 大体、５ｃｈで大言壮語するやつに、ろくなやついない そもそも、アカデミックで高レベルは、５ｃｈに来ない かつ、おサルの肩をもって、どうする？ 間違っている方を、応援しているバカ IUTに同じ 間違っているショルツェ氏を応援するバカ 242 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 14:29:55.32 ID:bnOJnGAg.net] >>223 お前のアホ理論は現代数学で合ってる合ってないの議論の俎上にのるレベルにすら到達できてないんだよ いつまでそのものお馬鹿さんワールドでひとりいきってんの？ 243 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 15:08:36.37 ID:FDlU9EvD.net] >>224 なんか、思い出してきたけど 数か月前に、アンチIUTの人で おれは基礎論やっていて シンポジュームの手伝いもやったことがあって おまえら、せいぜいブルーバックス読んだ程度で 論文の書き方の「かくあるべし」が分かっていない IUTの論文は、学部生でも読めるように書くべきところ ショルツェ氏が読めないとは、トンデモない話だという おまいら、根本が分かっていない！ 論文が正しい云々以前の話だ！ と言っていたね で、おれが、「あんた論文投稿して査読して貰ったことあるのか？」 と聞いたら ぐじぐじ誤魔化すので、ぐいぐい問い詰めたら 裸足で逃げ出したよね。それを思い出したよ あんたの論の進め方そっくりだね 本質は、IUTが正しいか、ショルツェ氏が正しいかの二択だ にも拘わらず、ショルツェ氏が読めない論文は、数学にあらずと主張する 今の場合で言えば、おサルが正しいか、私が正しいかの二択のところ その判断が出来ない分際で、 「お前はZFCが分かっていない」と来たもんだｗ まあ、数学のアカデミックところに居場所がないから、 必死で、５ｃｈでくだを巻くってことだろうね ご苦労様ですね まあ、またーり、していて行きなよｗ 244 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 15:49:41.17 ID:bnOJnGAg.net] >>225 お前その「オレにはむかってきてるのはみんな同じ人間」って思考やめた方がいいぞ ともかくお前この板でトップスリーに入るくらい数学力無いよ 実際ここ数年でいいから自分が数学的に成長できたところ上げてみろよ なんもないやろ？ なんか新しい教科書挑戦したか？ 今まで読めてなかった教科書の意味がやっとわかったとかあったか？ ないやろ？ なんもないやろ？ 教科書も読まず、論文も読まず、いつのまにか数学力がつくなんてことありえないのはわかる？ 目覚ませよ 245 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 16:31:55.84 ID:FDlU9EvD.net] >>226 >お前その「オレにはむかってきてるのはみんな同じ人間」って思考やめた方がいいぞ うーん、あんたおサルと同じ匂いがするな 数学科で落ちこぼれて、アカデミックな場所には居所なく、 ５ｃｈでくすぶるってパターン？ >ともかくお前この板でトップスリーに入るくらい数学力無いよ まあ、人のことは知らないが、「トップスリーに入るくらい数学力無い」か？ｗ ”トップスリー”という言い方がさ、重箱の隅だけど、「三本指」くらいにしておけばよかろうにね ”トップスリー” VS 数学力無い という言い方がさ、倒錯しているよね なお、「数学力無い」には、同意するよ。最底辺で結構だ だが、おサルも似たようなもんだろ？ （因みに、あんたの数学力を、見せてくれよｗｗｗ） >教科書も読まず、論文も読まず、いつのまにか数学力がつくなんてことありえないのはわかる？ >目覚ませよ うーん、あんたおサルと同じ匂いがするな 数学科で落ちこぼれて、アカデミックな場所には居所なく、５ｃｈでくすぶるってパターンね おれはさ、「数学力がつく」とか関係ないよ そりゃ、あんたは、「数学力がつけて、這い上がりたい」んだろ？ｗ おれに無関係。数学なんて趣味。物理や化学や、経済や政治と同じよ あるいは、サッカーや野球と同列と言っていいかも サッカーや野球を観戦するがごとく、「数学のIUT、なかなか凄い」てなものよ 「物理のノーベル賞良かったね」と同じでさ あんた、完全に、論点がずれているし 哀れとしか言いようがないけどね ご苦労さん それで、憂さ晴らしになるなら、どうぞってことですｗ 246 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:11:22.02 ID:mdAX1Bxg.net] さて、宿題はできたか？ｗ >>216 >"matchstick"が、分からないかも >”マッチ棒”だけど アホか？ 247 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:13:00.56 ID:mdAX1Bxg.net] こいつ、人を見る目ゼロだな >>217 >檜山正幸でも読んでみたら？ 檜山正幸が何者か知ってて言ってる？ 誰かさんと同類の中身カラケツのハッタリストだぞ 248 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:15:11.83 ID:mdAX1Bxg.net] さて、本題にはいろうか >>217 >極限順序数としてのωの理解を先行させないとね >外側の{}ありきじゃねーよ。 >”可算多重の{{{...}}}ωとは何者で、数学的にどう考えるべきか” >が、物事の順番だってこと お言葉ですが 　可算多重の{{{...}}}ωありきじゃねーよ。 　「元の集まり」としての素朴集合の理解を先行させないとね ってこと {}をマッチ棒に見たてて、３歳児の図形遊びで考えてるから いつまでたっても素朴集合論すら理解できないんだよ どっかの誰かさんが大学１年の数学で落ちこぼれた原因は 「定義に基づいて論理的に考えること」をせず なんでもかんでも見た目の直感だけで理解しようとしたことにある どうだ？図星だろ 249 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:16:12.72 ID:mdAX1Bxg.net] >>218 >厳密な定義や公理系を持たない集合論を総称して素朴集合論と呼んでいるので といっても、元の集まりを素朴な集合と呼んでいるから 元を、a,b,c,…とあらわせば、その集合は{a,b,c,…}と表される つまり、素朴集合のレベルでも外側の{}は必須 つまり、Φ,{Φ},{{Φ}},…の「素朴な極限」としての …{{Φ}}… は、最外の{}が存在しないから、その時点で 素朴な集合ですらない、ということ 一方でΦ,{Φ},{{Φ}},…の和集合を「極限」とすれば、それは {Φ,{Φ},…} であって、ちゃんと最外の{}もあるし、どの要素をとっても どんどん外側の{}を外すことで、必ず有限回でΦに至る という性質を満たすから、正則性公理にも反しない 250 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:17:29.11 ID:mdAX1Bxg.net] >>221 (DeepL訳) A consequence of this definition is that every natural number is equal to the set of all preceding natural numbers. この定義の帰結として、 すべての自然数は、先行するすべての自然数の集合に等しいことになります。 The count of elements in each set, at the top level, is the same as the represented natural number, 各集合の最上位の 251 名前：要素数は、 表された自然数と同じであり、 and the nesting depth of the most deeply nested empty set {}, including its nesting in the set that represents the number of which it is a part, is also equal to the natural number that the set represents. 最も深く入れ子になった空集合{}の入れ子の深さは、 それが含まれる数を表す集合での入れ子も含めて、 その集合が表す自然数と同じです。 [] [ここ壊れてます] 252 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:18:41.69 ID:mdAX1Bxg.net] 232を踏まえて >>221 >さて、上記 Neumann constructionの自然数の集合Nは、 >{}のネストの深さは可算無限（非有限）だ この文章に誤解が潜んでいる 1.もし、Nの{}のネストの深さに上限がない、という意味なら正しい 　つまり任意の自然数nについて、nよりも深い{}のネストの深さを持つNの要素が存在する 　(例えばn+1) 2.しかし、Nのある元がmが存在して、その{}のネストの深さがいかなる自然数nよりも深い、 　という意味で、ネストが無限だ、といっているのなら誤りである 　なぜなら、Nのいかなる元も、そのネストの深さは有限であるから >では問う >{}のネストの深さが可算無限（非有限）の集合が、あってはいけないのか？ 繰り返すが 1.の意味ならOKだが、 2.の意味ならNG >では、なぜ可算無限重シングルトンはダメというのか？ シングルトン、すなわち要素が1つであるから その唯一の要素の{}のネストの深さがいかなる自然数nよりも深い ということになるが、それは正則性公理に反する Nの場合、それぞれの要素の{}のネストの深さは有限である しかし、要素は無限にあって、最大の{}のネストの深さを持つ元はない したがってNの{}のネストの深さに上限がないにもかかわらず 正則性公理に反しない 253 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:22:29.54 ID:mdAX1Bxg.net] 述語論理に関するFDlU9EvDの初歩的なつまづき それは ∀x∈N. ∃y∈N. y>x　と ∃y∈N. ∀x∈N. y>x　を 混同した点にある 例えば、以下の論理式は正しい ∀x∈N. ∃y∈N. y>x (いかなる自然数xについても、それぞれある自然数yが存在して、y>xである) なぜならxが先に決まり、そのxに依存してそれぞれyが後から決まるからである (例えばx=nとして、y=n+1とすることができる) 一方、∃yと∀xの順序を入れ替えた、以下の論理式は誤りである ∃y∈N. ∀x∈N. y>x (ある自然数yが存在して、いかなる自然数xについても、y>xである） なぜならxとは無関係にyが先に決まるからである (いかなる自然数よりも大きな自然数は存在し得ない） 254 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:26:06.08 ID:mdAX1Bxg.net] >>225 >なんか、思い出してきたけど といって、わけのわからん妄想を書き散らかすFDlU9EvD 完全に精神患ってるから、精神科で診てもらったほうがいい 今は、いい薬もあるぞ https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AA%E3%83%94%E3%83%97%E3%83%A9%E3%82%BE%E3%83%BC%E3%83%AB 255 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:32:54.11 ID:mdAX1Bxg.net] >>227 >>お前その「オレにはむかってきてるのはみんな同じ人間」って思考やめた方がいいぞ >うーん、あんたおサルと同じ匂いがするな それが被害妄想 >最底辺で結構だ そのくせ、コピペがやめられない 本当は最底辺が屈辱でたまらないんだろう？ しかし、おかしいとおもわないか？ 数学に全く興味もないのに、数学ができないことを恥じるってどういうこと？ 興味ないんだから、できなくても全然痛くも痒くもないだろ？ そのことに気づいて、数学からおさらばしたら？　スカッとするぜ こっちもアホの鬱陶しいコピペ見なくて済む 両者ともwinwinだろ？そう思わないか？ 256 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 19:36:30.40 ID:mdAX1Bxg.net] ま、>>230-234読んで、数学板でのコピぺ荒らしから足洗え　なっ 257 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 20:49:23.42 ID:fCifkauW.net] >>228-237 アホが、延々無意味なことを書くねぇ〜 >数学板での荒らしから足洗え　なっ そっくりお返しするぜよｗ （>>233より引用開始） >>221 >さて、上記 Neumann constructionの自然数の集合Nは、 >{}のネストの深さは可算無限（非有限）だ この文章に誤解が潜んでいる 1.もし、Nの{}のネストの深さに上限がない、という意味なら正しい 　つまり任意の自然数nについて、nよりも深い{}のネストの深さを持つNの要素が存在する 　(例えばn+1) 2.しかし、Nのある元がmが存在して、その{}のネストの深さがいかなる自然数nよりも深い、 　という意味で、ネストが無限だ、といっているのなら誤りである 　なぜなら、Nのいかなる元も、そのネストの深さは有限であるから (引用終り) 1．誤解はないよ。「{}のネストの深さは可算無限（非有限）だ」の主語は、「自然数の集合N」だよ 2．おサルは、すり替えているよね、”元”つまり自然数自身が有限であることに すり替えているだろ？ 　分かってやっているなら、詭弁だ。分からなければ、アホ。まあ、後者かｗ 3．「Nの{}のネストの深さに上限がない、という意味なら正しい」なら、それで良い 　Neumann constructionの自然数の集合Nは、最小の極限順序数ωであり、濃度は最小のｱﾚﾌ0だからね (>>233より) >それは正則性公理に反する 以前から言っている通り、（>>173より） ”集合でないアトムになるか、集合ならば正則性公理に反する”という意見ね 別それでも良いよ。なお、おれの意見は、>>167ね 有限シングルトンの列のコンパクト化として、可算多重の{{{...}}}ωが存在する（>>210）それでいいよ、どんな形であれ 　 なお、おサルの”集合でないアトムになるか、集合ならば正則性公理に反する” は意見であって、証明のある定理とは認めない 以上 お前の負けだよｗｗ 258 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:04:15.39 ID:fCifkauW.net] >>228 (引用開始) >>216 >"matchstick"が、分からないかも >”マッチ棒”だけど アホか？ (引用終り) あんた、ヒキコモリだね 世間の感覚とズレまくり 世間では、いまどき、マッチなんて売っていないし、町に出てもマッチなんて見る機会がないよ ”マッチ”は、殆ど死語でしょ？ だから、わざわざ説明を入れたんだ 下記と同じ。北朝鮮の金正恩の頭が、”黒電話”だというわけだ だけど、これも、あんたヒキコモリだからだ 世間の感覚とズレまくり いまどき、世間のどこに、”黒電話”がある？ ”黒電話”なんて、死語でしょｗ いまどきの人には、「金正恩の頭が、”黒電話”」なんて、説明無しでは理解できないだろうねｗ 純粋・応用数学（含むガロア理論）9 https://rio2016.5ch.net/test/read.cgi/math/1623019011/ 204 名前：Mara Papiyas ◆y7fKJ8VsjM [sage] 投稿日：2021/10/03(日) 14:58:58.97 ID:z3zwlfJp [1/2] >国家別のIQ（知能指数）は >シンガポール・中国・香港・韓国・台湾 >とアジア勢が逆に上位を独占し でもSET Aことキム某の祖国、朝鮮民奴主義貧民共和国は入ってないな まず自分の国の邪魔な電話頭を退治しろよ　すべてはそれからなｗｗｗ (引用終り) (参考) https://ja.wikipedia.org/wiki/%E9%BB%92%E9%9B%BB%E8%A9%B1 黒電話 https://upload.wikimedia.org/wikipedia/commons/thumb/6/64/Kuroden%28black_telephone%29.jpg/300px-Kuroden%28black_telephone%29.jpg 600形電話機（壁掛け型） 以上 259 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:12:39.29 ID:mdAX1Bxg.net] >>238 >有限シングルトンの列のコンパクト化 何？この支離滅裂な言葉のサラダ 精神科で診てもらったほうがいいな 260 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:17:08.25 ID:fCifkauW.net] >>229 >檜山正幸が何者か知ってて言ってる？ 下記、現代思想2020年7月号　特集＝圏論の世界で、寄稿しているよ 「ソフトウェアの数理モデルと圏論 ／ 檜山正幸」だ まあ、彼は数学屋ではなく、システム屋あるいはコンピュータ屋さんだろうが 下記のお歴々に混じって、執筆者としてお声が掛かったんだよね それは、それなりに評価できると思うぜ 少なくとも、おサルにとやかく言われる筋合いはないｗｗｗ (参考) www.seidosha.co.jp/book/index.php?id=3438 青土社 現代思想2020年7月号　特集＝圏論の世界 -現代数学の最前線- 【目次】 特集＊圏論の世界――現代数学の最前線 【Discussion】 圏論がひらく豊穣なる思考のインタラクション ／ 加藤文元＋西郷甲矢人 【Keynote/Introduction】 圏論の哲学――圏論的構造主義から圏論的統一科学まで ／ 丸山善宏 圏はどういうものであったか ／ 小原まり子 【Mathematics/Logic】 圏論とトポロジー ／ 玉木大 数論幾何と圏論 ／ 伊藤哲史 圏論的論理学への道案内――論理学と数学をつなぐトポス ／ 荒武永史 圏論と集合論 ／ 渕野昌 【Computing/Language】 コンピュータ科学と圏論についての回想と考察 ／ 三� 261 名前：D博之 代数的言語理論の圏論的公理化とガロア理論との統一 ／ 浦本武雄 ソフトウェアの数理モデルと圏論 ／ 檜山正幸 【Sciences/Art】 科学の書き言葉としての圏論 ／ 谷村省吾 普遍性とそのゆらぎ――ネットワークの圏論的諸展開 ／ 春名太一 圏論の展開?脱圏論への転回 ／ 郡司ペギオ幸夫 圏の図式からみた芸術の理論――穴・コホモロジー・アブダクション ／ 久保田晃弘 【Philosophy】 圏論による現象学の深化――射の一元論・モナドロジー・自己 ／ 田口茂＋西郷甲矢人 数学の構造概念はフランスの構造主義にいかなる理解をもたらすか――ブルバキ、カヴァイエス、ロトマン、そして圏論を手引きにして ／ 中村大介 以上 [] [ここ壊れてます] 262 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:20:48.19 ID:fCifkauW.net] >>240 （引用開始） >有限シングルトンの列のコンパクト化 何？この支離滅裂な言葉のサラダ 精神科で診てもらったほうがいいな (引用終り) （>>210 再録） https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 コンパクト化 一点コンパクト化の例 自然数全体（離散位相） N の一点コンパクト化は N に最大元 ωを付け加えた順序集合 N ∪ ωの順序位相と同相になる。 (引用終り) ワハハ ”一点コンパクト化の例 自然数全体（離散位相） N の一点コンパクト化は N に最大元 ωを付け加えた順序集合 N ∪ ωの順序位相と同相になる。” 分からんとね ワハハ 263 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:25:06.20 ID:mdAX1Bxg.net] >>240 「有限シングルトンの列のコンパクト化」なる珍語が 「有限シングルトンの全体集合の一点コンパクト化の際、追加された一点」 を意味するのであれば、その一点が 「可算多重の{{{...}}}ω」 でなければならない理由は全くない 有限シングルトンの全体集合を ｘ＝{{},{{}},{{{}}},…} とした場合、まさにその集合ｘを要素としてｘに追加してもよいｗ 264 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:30:47.70 ID:mdAX1Bxg.net] >>241 「現代思想」は論文誌ではないので、素人でも記事が書ける 「巨大数の世界」特集のときは、フィッシュ氏も記事を書いてるし （個人的には、檜山正幸よりフィッシュ氏のほうが全然ましだと思うが） 小林銅蟲氏も漫画を描いてる （彼は数セミでも１年間連載漫画を描いてたが実に面白かった） 265 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:34:16.22 ID:mdAX1Bxg.net] >>242 >>243を見よ 君が「有限シングルトンの全体集合」の一点コンパクト化の 一点は「可算多重の{{{...}}}ω」でなければならないと妄想してるから そんな必要はまったくない、と教えて差し上げた どうしても無限重シングルトンの妄想と おサルの幻聴に悩まされるのであれば エビリファイでもレキサルティでも 飲んだほうがいいだろう 266 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 21:42:17.37 ID:mdAX1Bxg.net] ところで、順序数の「平面上のマッチ棒表現」は、可算順序数に限る 例えば最小の非可算順序数ω1のマッチ棒表現を描こうとしても 必ずある可算順序数から先が同じ点に潰れてしまう 267 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 22:59:21.43 ID:fCifkauW.net] これいいね https://www.maths.nottingham.ac.uk/plp/pmzibf/nov.html News - Ivan Fesenko Higher adelic theory, talk at Como school on Unifying Themes in Geometry, September 2021 https://www.maths.nottingham.ac.uk/plp/pmzibf/hat.pdf Higher adelic theory Ivan Fesenko Como School, September 27 2021 6 Anabelian geometry P33 Anabelian geometry and IUT Early work in anabelian geometry used CFT (or closely related theories) in 1D theory for global fields (Neukirch, Iwasawa, Ikeda, Uchida), Neukirch’s CFT mechanism was influenced by his previous work in anabelian geometry. Anabelian geometry for hyperbolic curves over number fields was proposed by Grothendieck 268 名前： and pioneered by Nakamura, Tamagawa, Mochizuki. Anabelian geometry includes bi-anabelian geometry (restoring isomorphism classes of scheme theoretic objects) and mono-anabelian geometry (restoring scheme theoretic objects). These theories are group theoretical, algorithmic and explicit, features similarly to CFT mechanism. Powerful restoration results in absolute mono-anabelian geometry were established by Mochizuki and applied in the IUT theory. Watch Porowski’s talk for basic anabelian geometry. Watch many talks of the 4 recent RIMS workshops on anabelian geometry and IUT https://www.kurims.kyoto-u.ac.jp/~motizuki/project-2021-english.html. つづく [] [ここ壊れてます] 269 名前：１３２人目の素数さん mailto:sage [2021/10/14(木) 22:59:50.69 ID:fCifkauW.net] >>247 つづき このLake Como School 講師陣がすごい Laurent Lafforgue、Alain Connes、Misha Gromov、Maxim Kontsevich、Barry Mazurなど これに混じって、Ivan Fesenko氏 上記の”Anabelian geometry and IUT”を語る Wojciech Porowski氏も、”basic anabelian geometry”で、例のIUTも語るのだろうね https://utge.lakecomoschool.org/ Unifying Themes In Geometry Lake Como School of Advanced Studies, 27 - 30 September 2021 Organizers and school lecturers Olivia Caramello (University of Insubria and IHES) Ivan Fesenko (University of Nottingham) Laurent Lafforgue (Huawei) Supporting lecturers Weronika Czerniawska (University of Geneva) Paolo Dolce (Universities of Nottingham and Oxford) Wojciech Porowski (University of Nottingham) Riccardo Zanfa (University of Insubria) Invited speakers Alain Connes (IHES) Misha Gromov (IHES and Courant Institute, N.Y.) Ilia Itenberg (Sorbonne Universite ? Paris) Maxim Kontsevich (IHES) Kobi Kremnitzer (University of Oxford) Barry Mazur (Harvard University) Grigory Mikhalkin (University of Geneva) Andras Szenes (University of Geneva) 以上 270 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:02:43.40 ID:W7p98/kC.net] >>247-248　 こりゃダメだ IUT48のコピペ芸 https://www.youtube.com/watch?v=xUoaypYO7yo&ab_channel=YungEibong 271 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:15:45.95 ID:W7p98/kC.net] 昨日のダイジェスト ★「有限シングルトンの列のコンパクト化として、可算多重の{{{...}}}ωが存在する」 ☆「一点コンパクト化で追加する一点なら、そもそも有限シングルトンの列自身でよくね？」 272 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:22:33.77 ID:W7p98/kC.net] 昨日のこぼれ話 >世間では、いまどき、マッチなんて売っていないし、 >町に出てもマッチなんて見る機会がないよ >”マッチ”は、殆ど死語でしょ？ そだな https://www.youtube.com/watch?v=UUOF_rVgBvI&ab_channel=cwp48 273 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:23:06.74 ID:hUrbFxCT.net] >>243 （引用開始） 「有限シングルトンの列のコンパクト化」なる珍語が 「有限シングルトンの全体集合の一点コンパクト化の際、追加された一点」 を意味するのであれば、その一点が 「可算多重の{{{...}}}ω」 でなければならない理由は全くない (引用終り) 理由はあるよ （>>210 再録） https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 コンパクト化 一点コンパクト化の例 自然数全体（離散位相） N の一点コンパクト化は N に最大元 ωを付け加えた順序集合 N ∪ ωの順序位相と同相になる。 (引用終り) これは、まさに、檜山氏の>>217 ”我々が日常的に使っている集合論は素朴集合論（naive set theory）です。要するに、直感的でイイカゲンでカジュアルな集合論” の言葉で書かれているのです つまり、ペアノの公理の何かの後者関数を使って、自然数nが作られて、0,1,2・・という列をコンパクト化するのに 0,1,2・・,ωとするってこと。n→∞の極限点（極限順序数）を加えるってこと。それは射影の無限遠点に相当するものだ 無限公理(>>220-221)https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity で、”A consequence of this definition is that every natural number is equal to the set of all preceding natural numbers. The count of elements in each set, at the top level, is the same as the represented natural number, and the nesting depth of the most deeply nested empty set {}, including its nesting in the set that represents the number of which it is a part, is also equal to the natural number that the set represents.” と説明しているのは、Neumannの後者関数の有限ｎにおける二つの性質 1）それ以前の集合を合わせたもの、2）{}までの深さカッコの深さがｎ この二つの性質を、Axiom of infinityで出来た自然数の集合Nは、受け継ぎ極限 n→∞� 274 名前：ﾆなっているってこと つまり、0,1,2・・,ωを実現しているってこと よって、ツェルメロの(>>210)「後者関数として、aの後者{a}」の極限 n→∞として、 {{{...}}}ωが存在することに、意味があるんだよ [] [ここ壊れてます] 275 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:27:45.21 ID:W7p98/kC.net] 昨日のこぼれ話　２ >北朝鮮の金正恩の頭が、”黒電話” https://www.youtube.com/watch?v=Cc5M23N2o_k&ab_channel=high_noteMusicLounge ダイヤルまわして、手を止めた 平成生まれの若い人は、ダイヤル電話のかけ方知らないらしい（ボソッ） 276 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:29:55.10 ID:W7p98/kC.net] >>252 >>有限シングルトンの全体集合の一点コンパクト化の際 >>追加された一点が >>「可算多重の{{{...}}}ω」 >>でなければならない理由は全くない >理由はあるよ もう、やめとけって 277 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:35:59.06 ID:hUrbFxCT.net] >>244 ＞「現代思想」は論文誌ではないので、素人でも記事が書ける 「現代思想」は、名前から想像できるように、哲学系の雑誌だろう そして、結構数学を取り上げた特集号が多い。数理哲学という趣なのでしょう で、商業誌でもある だから、著者選定が、売れ行きを左右するだろうから、そこは気を使っているだろう そこに、檜山正幸氏が選ばれたってことだね だから、世間的には、檜山正幸氏は評価されているという判断なのでしょう 278 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:36:53.69 ID:W7p98/kC.net] >>252 >ペアノの公理の何かの後者関数を使って、自然数nが作られて、 >0,1,2・・という列をコンパクト化するのに >0,1,2・・,ωとするってこと。 ωという一点を加えるとしか言ってないよ >n→∞の極限点（極限順序数）を加えるってこと。 極限点としか言ってないよ >それは射影の無限遠点に相当するものだ それ、ただの比喩だよ >よって、ツェルメロの「後者関数として、aの後者{a}」の極限 n→∞として、 >{{{...}}}ωが存在することに、意味があるんだよ 極限が{{{...}}}ωとなることの説明がないよ ないのは当然だけどね だってそうでなければならない理由がないし 実際に数学では違う形で極限を定義してる ∪ｎがそう　 結果としてできるωは以下の通り {{},{{}},{{{}}},…} だからさぁ、なんでナイーブにシングルトンだと妄想してんの？ 馬鹿じゃん（江戸）、阿呆じゃん（京、大阪）、戯けじゃん（名古屋） 279 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:37:02.95 ID:hUrbFxCT.net] >>254 負けた 降参って聞こえるけど それなら良いよ 280 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:38:30.73 ID:hUrbFxCT.net] >>256 だから、一つの後者関数で、貫徹するのが、数学的にも美的にも、良いんじゃね？ｗ 281 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:39:51.50 ID:W7p98/kC.net] >>255 で、あなたも檜山正幸氏みたいになりたくて芸を磨いてる、と ま、あの程度のチンドン屋ならなれるかもね　森田真生とかね 282 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:40:44.85 ID:W7p98/kC.net] >>257 >負けた　降参って聞こえるけど 幻聴じゃね？ 283 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:44:02.84 ID:W7p98/kC.net] >>258 >だから、一つの後者関数で、貫徹するのが、数学的にも美的にも、良いんじゃね？ｗ ωは、いかなる順序数の後者でもない、ってことは理解してる？ｗ ｘの後者関数を｛ｘ｝とすれば、いかなる後続順序数もシングルトンになる そりゃ馬鹿でも阿呆でも戯けでもわかるよ　そう定義したんだからｗ 問題は、「だから極限順序数もシングルトンでなければならない」と妄想する点 それ、全然論理的な思考じゃないじゃん　どこが数学的？　どこが美的？ 284 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 07:55:48.11 ID:W7p98/kC.net] >>261 そもそも、極限順序数がシングルトンだと逆におかしい というのは、その唯一の要素が前者ということになってしまい 後続順序数になってしまうから やっぱ全然論理的じゃないよな　hUrbFxCT 285 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 09:09:37.36 ID:TMZrkZ9M.net] いつまで経ってもこのレベル 数学科一回生レベルにすら到達できない 286 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 09:16:03.65 ID:W7p98/kC.net] >>263 そりゃそうよ　定義を読まないんだもん そして開き直るｗ ”我々が日常的に使っている集合論は素朴**論（naive ** theory）。 要するに、直感的でイイカゲンでカジュアルな**論” 「我々」じゃなく自分だけなんだけどな 287 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 09:18:49.30 ID:W7p98/kC.net] ちなみにcasualは名詞だと a　臨時労働者，自由労務者; 浮浪者. b　[複数形で] 臨時保護を受けている人々. だそうです　なるほど納得 https://ejje.weblio.jp/content/casual 288 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 10:05:11.86 ID:kiasjayG.net] >>263 昨日の ID:bnOJnGAg さんかいｗｗ 必死チェッカーもどき、下記を見ると 夜中の0時に二つ投稿 朝雄7時に二つ 昼間 10時〜15時に、6つ Total 10の投稿ね 無職引きこもりか？ （>>226より） ”実際ここ数年でいいから自分が数学的に成長できたところ上げてみろよ なんか新しい教科書挑戦したか？ 教科書も読まず、論文も読まず、いつのまにか数学力がつくなんてことありえないのはわかる？ 目覚ませよ” ご高説ありがと そっくりお返しするよ 夜中から、朝から、さらに真昼間に、「教科書も読まず、論文も読まず」必死で５ｃｈ数学板に粘着投稿かい？ 何やっているの？ｗｗｗ 言行不一致の典型だな おサルと同じ匂いがするはずだわｗ （参考） hissi.org/read.php/math/20211014/Ym5PSm5HQWc.html 必死チェッカーもどき トップページ > 数学 > 2021年10月14日 > bnOJnGAg 書き込み順位＆時間帯一覧 7 位/87 ID中 時間 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 Total 書き込み数 2 0 0 0 0 0 0 2 0 0 1 0 1 0 3 1 0 0 0 0 0 0 0 0 10 使用した名前一覧 １３２人目の素数さん 書き込んだスレッド一覧 ４つ 雑談はここに書け！【５９】 面白い問題おしえて〜な 39問目 Inter-universal geometry と ABC予想 (応援スレ) 60 Inter-universal geometry とABC 予想46 (引用終り) 以上 289 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 10:12:58.06 ID:TMZrkZ9M.net] まぁ一応教科書も論文も細々と読んで亀の歩みで少しずつ賢くなってるつもりではあるがね 君はダメだね 全く見込みないわ 290 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 10:13:04.72 ID:kiasjayG.net] >>259 >で、あなたも檜山正幸氏みたいになりたくて芸を磨いてる、と 批評するのは、勝手かつ簡単だが、 あんたは、「現代思想」誌の編集部から、お声が掛かるレベルではないよね、明らかにｗ 一方、檜山正幸氏は、そうだってこと >ま、あの程度のチンドン屋ならなれるかもね　森田真生とかね 森田真生氏は、本を何冊か書いて それなりに、世間では評価された 一方、あんたは？　何にもないｗｗｗ 291 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 10:29:13.73 ID:kiasjayG.net] >>267 >まぁ一応教科書も論文も細々と読んで亀の歩みで少しずつ賢くなってるつもりではあるがね つもりなｗ だれでも言える ところで、数学の教科書と論文を細々と読んで亀の歩みで、何をしたいの？ 昔フェルマー予想、いまならＡＢＣ予想かい？ 大論文書いて、世に問いたいのか？ｗ 無職なんだろ？ 働いたらどうだ？ その書き振りだと、年喰っている気がする ４０代か？　５０代か？ 就職氷河期で、地獄を見たくちか 同情はするけど、今やっていることは、賢明とはいえまい おサルに同じだ 292 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 10:55:43.66 ID:W7p98/kC.net] >>268 ＞「現代思想」誌の編集部から、お声が掛かるレベル ＞檜山正幸氏は、そうだってこと ふーん、檜山正幸みたいな「チンドン屋」になりたいんだ、kiasjayG ＞森田真生氏は、本を何冊か書いて ＞それなりに、世間では評価された ふーん、森田真生みたいな「チンドン屋」になりたいんだ、kiasjayG 293 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 11:00:26.39 ID:W7p98/kC.net] >>269 ＞働いたらどうだ？ kiasjayGって、働いてんの？ 数学板で、馬鹿なこと書いてるだけじゃん 仕事してるとは思えないなぁ ＞就職氷河期で、地獄を見たくちか といってるkiasjayG、バブル世代っぽい 口先ばっかの軽薄ぶりとか ＞同情はするけど、今やっていることは、賢明とはいえまい kiasjayGの数学に関する初歩的な誤りは、同情の余地もないな 数学に興味ないなら、数学板に書かなきゃいいのに、何がしたいの？ 294 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 11:06:01.66 ID:W7p98/kC.net] >>269 ＞･･･に同じ 前に、別の人も云ってたけど、なんかおかしいよな 確かに辞書では「･･･に同じ」って言い回しはよく見るけどさ でも喋り言葉では使わなくね？　関西では使うの？ 「マック」を「マクド」っていうみたいな 295 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 11:17:27.02 ID:kiasjayG.net] >>252 纏めて 296 名前：おくと １．Neumannの後者関数＋無限公理 https://en.wikipedia.org/wiki/Axiom_of_infinity Axiom of infinity 　で、実現できる自然数の集合Nは、(>>220-221) 　有限ｎにおける二つの性質 1）それ以前の集合を合わせたもの、2）{}までのカッコの深さがｎ 　であるという性質を受け継いで、極限 n→∞ を実現している 　つまり、Neumannの後者関数による自然数の集合Nは、濃度は可算無限(ｱﾚﾌ0)であり、 　極限順序数ωであり、空集合{}までのカッコの深さが可算無限だということ ２．つまり、空集合{}までのカッコの深さが可算無限である集合は、Neumann構成のNで すでに実現されているってこと 　（参考 >>252 the nesting depth of the most deeply nested empty set {}, including its nesting in the set that represents the number of which it is a part, is also equal to the natural number that the set represents ） ３．その上で、ツエルメロの後者関数（aに対して後者を{a}とする）を一貫して使った「一点コンパクト化： 　自然数全体（離散位相） N の一点コンパクト化は N に最大元 ωを付け加えた順序集合 N ∪ ωの順序位相と同相になる」 （参考 コンパクト化 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%8C%96 （>>252 再録）） 　の実現ために、可算多重の{{{...}}}ω を考えれば、数学的にも美的にも、キレイだってこと 　なお、可算多重の{{{...}}}ω は、有限多重の{{{ ..}}}nに対して、n→∞の極限点（極限順序数）ωでもある ４．なお、可算多重の{{{...}}}ωに対して、 　”集合でないアトムになるか、集合ならば正則性公理に反する” 　は、意見としては認めるが、証明された命題とは認めない（>>238） 　（なお、５ｃｈに書き下した ぐしゃぐしゃの証明は、基本的には読まないし、証明されたと認めない。 　∵過誤、タイポの可能性大。かつ、通常の数学記号が使えないため、独自の代替表記が多用され視認性が悪い。 　　苦労して読んでも、時間の無駄の可能性大だからね） 以上 [] [ここ壊れてます] 297 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 11:41:20.38 ID:kiasjayG.net] >>253 >>北朝鮮の金正恩の頭が、”黒電話” >https://www.youtube.com/watch?v=Cc5M23N2o_k&ab_channel=high_noteMusicLounge >ダイヤルまわして、手を止めた >平成生まれの若い人は、ダイヤル電話のかけ方知らないらしい（ボソッ） おサルさん、同意だよ 「ダイヤル電話」ねぇ 昔々、赤電話が、公衆電話を意味した時代がある ピンク電話もあったね（下記） https://kotobank.jp/word/%E3%83%94%E3%83%B3%E3%82%AF%E9%9B%BB%E8%A9%B1-1830663 ピンク電話 デジタル大辞泉の解説 コトバンク 特殊簡易公衆電話の通称。店舗内に設置される公衆電話で、電話機が多くピンク色であるところからの名。 298 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 11:41:52.91 ID:kiasjayG.net] >>270 ＞「チンドン屋」 これも、古語では？ｗ サンドウィッチマンも、本来の意味では半分古語だろうが、いまお笑い芸人がいるよね （由来を知らない人もいるだろうが） https://ja.wikipedia.org/wiki/%E3%83%81%E3%83%B3%E3%83%89%E3%83%B3%E5%B1%8B チンドン屋は、チンドン太鼓と呼ばれる楽器を『チンチン・ドンドン・チンドンドン』と鳴らすなどして人目を集め、その地域の商品や店舗などの宣伝を行う日本の請負広告業の一類型である[† 1]。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Chindonya_Okubo_Tokyo.jpg https://ja.wikipedia.org/wiki/%E3%82%B5%E3%83%B3%E3%83%89%E3%82%A4%E3%83%83%E3%83%81%E3%83%9E%E3%83%B3 サンドイッチマン（サンドウィッチマン、英:sandwich man）とは、広告宣伝手法の一つで、人の胴の前面と背中の両方に宣伝用の看板（サンドイッチ・ボード（英語版））を取り付け、町中にたたずみ、あるいは歩行する広告手法、およびその看板を取り付けられた人のことをいう。 人間広告塔の形態のひとつである。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Ja.sandwichman2-dsc38540.jpg 池袋の街におけるサンドイッチマン https://ja.wikipedia.org/wiki/%E3%82%B5%E3%83%B3%E3%83%89%E3%82%A6%E3%82%A3%E3%83%83%E3%83%81%E3%83%9E%E3%83%B3_(%E3%81%8A%E7%AC%91%E3%81%84%E3%82%B3%E3%83%B3%E3%83%93) サンドウィッチマン (お笑いコンビ) グレープカンパニーに所属する伊達みきおと富澤たけしからなる日本のお笑いコンビ、司会者。1998年9月コンビ結成。愛称及び略称は「サンド」。 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Sandwichman_2012_BOUSAI_Inteview.jpg 伊達みきおと富澤たけし（左から、2012年） (引用終り) 以上 299 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 13:53:22.62 ID:W7p98/kC.net] 分けておくな >>273 >１．Neumannの後者関数＋無限公理で、実現できる自然数の集合Nは、 >　有限ｎにおける二つの性質 >　1）それ以前の集合を合わせたもの、 >　2）{}までのカッコの深さがｎ >　であるという性質を受け継いで、極限 n→∞ を実現している 極限の実現の仕方、書いてないね　知らないの？ ∪ｎだよ　覚えてね　これ必ず院試に出るよ　間違えたら、落ちるよ >　つまり、Neumannの後者関数による自然数の集合Nは、 >　濃度は可算無限(ｱﾚﾌ0)であり、極限順序数ωであり、 >　空集合{}までのカッコの深さが可算無限だということ ”Neumannの後者関数による”、は要らない つまり、後者関数がいかなるものであっても 濃度は可算無限(ｱﾚﾌ0)であり、極限順序数ωであり、である また、Zermeloの後者関数でも 空集合{}までのカッコの深さが可算無限 ∪ｎ＝{{},{{}},{{{}}},…}だから 300 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 13:59:00.74 ID:W7p98/kC.net] 続けるな >>273 >２．つまり、空集合{}までのカッコの深さが可算無限である集合は、 >　Neumann構成のNで すでに実現されているってこと 正しくは 「空集合{}までのカッコの深さが可算無限」 ではなく 「いかなる要素をとっても空集合{}までのカッコの深さは有限だが 　いくらでも大きな有限の深さをもつ要素がとれるから上限値は存在しない」 ついでにいうと、非可算無限の順序数ω1について 空集合{}までのカッコの深さが非可算無限 とおもってるなら全くの誤り いかなる順序数であっても、どの要素をとっても 空集合{}までのカッコの深さは有限 しかしいくらでも大きな有限の深さをもつ要素がとれるから上限値は存在しない それが、正則性公理を満たす、ということ 覚えてね　これ必ず院試に出るよ　間違えたら、落ちるよ 301 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 14:18:32.59 ID:W7p98/kC.net] さて、本題に入るな >>273 >３．その上で、ツエルメロの後者関数（aに対して後者を{a}とする）を一貫して使った >「一点コンパクト化：自然数全体（離散位相） N の一点コンパクト化は >　　N に最大元 ωを付け加えた順序集合 N ∪ ωの順序位相と同相になる」 >　の実現のために、可算多重の{{{...}}}ω を考えれば、 >　数学的にも美的にも、キレイだってこと いろいろツッコミどころ満載だが 3-1.　まず、後者関数をどう定義しようが、 　　　極限は∪ｎで実現することは覚えておいてね 3-2.　次に一点コンパクト化は、 　　　「一点をつけくわえてコンパクト化できる」 　　　といってるだけで、その一点がどういうものか 　　　については何も規定してないことも覚えておいてね 3-3.　上記２点を踏まえた上で 　　　Zermeloの後者関数によるωが「可算多重の{{{...}}}ω」 　　　というのはあなたが勝手にいってるだけで 　　　数学的な定義(3-1)とは異なってるし 　　　美的とかいうのも多分に個人的な自惚れだから 悪いね、情け容赦なくて でもそれが数学だからさ　恨まないでね >　なお、可算多重の{{{...}}}ω は、有限多重の{{{ ..}}}nに対して、 >　n→∞の極限点（極限順序数）ωでもある 何度かいても、それじゃ極限の定義にならない、ってことは覚えておいてね 大学1年生が極限で落ちこぼれるのってそこだから この場合は、∪ｎで極限をとる、って定義してるから 知らなかったら覚えてね　これ知らないと大学院入れないよ ま、数学専攻の場合なんで、物理とか工学とかは関係ないけどさ 工学系の連中は、円周率が無理数って知らなくても問題ないみたいだから （注：別にDISってるわけではなく、彼らにとって重要でない、という意味） 302 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 14:27:54.72 ID:W7p98/kC.net] じゃ、シメるな >>273 >４．なお、可算多重の{{{...}}}ωに対して、 >　”集合でないアトムになるか、集合ならば正則性公理に反する” >　は、意見としては認めるが、証明された命題とは認めない まず、{{{...}}}ωが、シングルトンだとするね その場合、当然唯一の要素が存在するけど、 それがωの前者であるω-1ということになる というのはいいのかい？ ωは極限順序数であって、ω-1ってそういうもん存在し得ないから矛盾するんだけど？ これ「ωがシングルトンだと矛盾する」っていう証明な 理解できない？　じゃ、悪いけど、数学ムリだな　諦めな >（なお、５ｃｈに書き下した ぐしゃぐしゃの証明は、 >　基本的には読まないし、証明されたと認めない。） たった数行の証明が「ぐしゃぐしゃ」で読めないんじゃ 全然読解力ないから数学ムリ　悪いけど諦めな 303 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 14:33:51.73 ID:W7p98/kC.net] 要するに>>276-279を纏めると 「ボクの考えたZermeloのω」ってことで 「可算多重の{{{...}}}ω」を提案してもらったけど 数学における順序数の極限∪ｎとは全然違うし そもそも{{{...}}}ωがシングルトンだと、 ω-1が存在することになって、 ωの前者が存在しないというのと矛盾するので悪いけど却下な 　 ほんと悪いな 幼稚園児のボクが一生懸命考えてくれたの分かるんだけど 数学ってキビシイからさ　 ほらベソ書くなよ　ハンカチ使え ・・・あっ、こいつ鼻かみやがった！　 ま、ええわ　洗って返せよ・・・ 304 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 16: ] [ここ壊れてます] 305 名前：57:15.33 ID:kiasjayG.net mailto: >>276 >>　であるという性質を受け継いで、極限 n→∞ を実現している >極限の実現の仕方、書いてないね　知らないの？ >∪ｎだよ　覚えてね　これ必ず院試に出るよ　間違えたら、落ちるよ プッ！　吹いたぁ〜！ ほんと、おサルはサイコパスだね>>5-6 屁理屈こね回すし、殆どウソをつくし。数学には向いていない性格だな。政治家にでも成ればよかったろうにね 極限の理解さえ怪しいならば、あとは読む価値無しだな なお、極限については下記ご参照な 因みに、一般論としては、∪ｎの逆で、∩ｎもあるぜよｗ （参考） https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90 極限 数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限（きょくげん、英: limit）がしばしば考察される。直感的には、数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束せず正の無限大、負の無限大、振動することを発散するという。 極限を表す記号として、lim (英語：limit, リミット、ラテン語：limes)という記号が一般的に用いられる。 例えば次のように使う: ・lim n→∞ xn 目次 1 数列の極限 1.1 数列の収束 1.2 極限値の性質 1.3 数列の発散 1.4 様々な極限 1.5 点列 2 関数 2.1 変数の収束に伴う関数の挙動 2.2 無限遠点における挙動 3 関数列の収束 4 位相空間 5 圏論 (引用終り) 以上 [] [ここ壊れてます] 306 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 17:15:51.47 ID:W7p98/kC.net] >>281 >プッ！　吹いたぁ〜！ それはこっちの台詞だよ >なお、極限については下記ご参照な 君、中身読まずにコピペしたの？ どこにも順序数の極限なんて書いてないよ リンクするならこっちだろ 順序数 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 「O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。 　そこで、∪ O を sup(O) とも書く。」 まず読もう そして肝心なところだけコピペしよう 君のダメなところは全然読まないこと そして数式がコピペできないとか馬鹿な言い訳ばっかして 肝心な箇所を全くコピペしないこと 数学に興味ないんだったら、数学板に書かなくていいよ 目障りだから失せてくれる？ 307 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 17:22:18.64 ID:W7p98/kC.net] ああ、そうそう １ついい事教えてやるよ 最小の非可算順序数ω１は、いかなる可算順序数の点列の極限にもならんよ https://ja.wikipedia.org/wiki/%E6%9C%80%E5%B0%8F%E3%81%AE%E9%9D%9E%E5%8F%AF%E7%AE%97%E9%A0%86%E5%BA%8F%E6%95%B0 308 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 17:49:42.62 ID:W7p98/kC.net] >>283 ここで点列の定義を確認しない奴は数学諦めろ https://ja.wikipedia.org/wiki/%E5%88%97_(%E6%95%B0%E5%AD%A6) 「S に値を取る無限列とは、自然数全体のなす集合 N={1,2,3,…}から S への写像である。」 kiasjayG　お前のことだぞ 309 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 20:50:41.51 ID:hUrbFxCT.net] >>282 (引用終り) 順序数 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 「O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。 　そこで、∪ O を sup(O) とも書く。」 (引用終り) 1．誤読だよ、そこ。その引用の順序数 wikipedia 冒頭には、「順序数とは、整列集合同士の"長さ"を比較するために、自然数[1]を拡張させた概念である」とあって 　注釈があるだろ？ 脚注 1^ 本項目では、各自然数が自分自身より小さな自然数全体の集合と等しくなるような仕方で自然数が定義されているものとする。例えば、0 = ? , 1 = { 0 } , 2 = { 0, 1 } である。 2．そして、あんたの引用は正確には、順序数の大小関係の章の 　”3. α が順序数のとき、S(α) := α ∪ { α } は α より 310 名前：大きな順序数のうちで最小のものである。S(α) を α の後続者（successor of α）と呼ぶ。 　　4. O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。そこで、∪ O を sup(O) とも書く。” 　だよ。だから、3項の「S(α) := α ∪ { α } 」つまり、ノイマン構成の後者関数を前提としての話だ 　（実際、英文 https://en.wikipedia.org/wiki/Ordinal_number Ordinal number 2.3 Von Neumann definition of ordinals 　　で ”Consequently, every ordinal S is a set having as elements precisely the ordinals smaller than S. For example, every set of ordinals has a supremum, the ordinal obtained by taking the union of all the ordinals in the set. ” 　　との記載と対応しているが、これはあくまで、”Von Neumann definition of ordinals”限定の話だよ） 3．だから、ツェルメロの後者関数 「S(α) := { α } 」には、上記は言えないよね つづく [] [ここ壊れてます] 311 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 20:52:16.63 ID:hUrbFxCT.net] >>285 まず訂正 (引用終り) 順序数 　↓ (引用開始) 順序数 です つづき あと、細かいが （>>276より） >極限の実現の仕方、書いてないね　知らないの？ ここ、極限に対しては、”実現”という言葉使いは、決してしない！！（下記などご参照） 院試なら、注意した方がいいな https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90 極限 数列の極限 実数の数列が収束する (converge) あるいは有限の極限を持つ若しくは極限が有限確定であるとは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。このとき確定する値をその数列の極限値という。収束しない数列は発散する(diverge)といい、それらはさらに極限を持つものと持たないものに分かれる。発散する数列のうち極限を持つものには、正の無限大に発散するものと負の無限大に発散するものがあり、極限が確定しないものは振動する(oscillate)という。 圏論 極限の満たす普遍性により、それぞれの図式に対する極限は（あったとして）自然な同型をのぞき一意に定まる。 (引用終り) 以上 312 名前：ｺﾃもﾄﾘｯﾌﾟも不要の誰も真似したくないバカな性格 mailto:sage [2021/10/15(金) 20:52:20.00 ID:UPocKF29.net] > IUT48 ポニョ爺のバッカモーーーーーン!!マジでリアルに酒ぇえ溢したジャロウがぁあああああ!! けしからぁぁぁああああああぁぁぁん!!もっとやれぇぇぇえええぇぇぇ!! ほぅ言やぁ今日、女で非アブノーマルの癖にアイドルが好きな会社の後輩に 「何で男の癖にアイドルの良さが分からんの!!人生の9割方を損しとりますよ!!」とか言われた 何故かその女はAKS改めDH所属アイドルグループじゃのうて現役モー娘。推しじゃったが｡ アイドル？偶像性？は。形に過ぎぬわ。ベビーメタル？形に過ぎぬわ。何か才能あるのか？才能にも惚れぬ｡ 313 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 20:53:54.16 ID:TMZrkZ9M.net] >>286 一回生レベルにすら到達してなくて院試を語るwwwwwwwwwww 314 名前：ｺﾃもﾄﾘｯﾌﾟも不要の誰も真似したくないバカな性格 mailto:sage [2021/10/15(金) 21:07:49.05 ID:UPocKF29.net] たーしかに、これは、ミーハー行為じゃな IUT48 言い得て妙 315 名前：ω1 mailto:sage [2021/10/16(土) 06:20:02.50 ID:3noIbAnj.net] ども、週末だけ登場する元Mara Papiyasです この度、HNをω1に変更しましたのでよろしく さて、平日の間になんかいろいろあったみたいですね あいかわらずお🐒のSET A君は「認めなぁぁぁぁい！」 の一点コンパクト、じゃなかった一点張りだったみたいですが >>285 >>「O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。 >>　そこで、∪ O を sup(O) とも書く。」 >誤読だよ、そこ。 >あんたの引用は正確には >3項の「S(α) := α ∪ { α } 」つまり、ノイマン構成の後者関数を前提としての話だ >だから、ツェルメロの後者関数 「S(α) := { α } 」には、上記は言えないよね ほう じゃ、お🐒のSET Aはどうやってsup(O)を「実現」するんだい？ 書いてごらんよ >>286 >>極限の実現の仕方、書いてないね　知らないの？ >ここ、極限に対しては、”実現”という言葉使いは、決してしない！！ また発狂してるよ　この🐎🦌ｗ >「極限の満たす普遍性により、それぞれの図式に対する極限は >　（あったとして）自然な同型をのぞき一意に定まる。」 で、S(a):={a}という図式に対する極限は ずばりどう「実現」されるんだい　じ・つ・げ・んｗ きっちり数式で示せよな？ >院試なら、注意した方がいいな お🐒のSET A、院試受かるかな？ ああ、いっとくけど、工学系じゃなく数学専攻のな ま、大学1年の微積分と線型代数、どっちも落とした奴には無理じゃね？ｗｗｗ 316 名前：ω1 mailto:sage [2021/10/16(土) 06:45:02.11 ID:3noIbAnj.net] >>287 >>289　お元気でしたか？ IUT48といったのは私ではありません ･･･が、いいネーミングですね！！！ 実はIUT48の公式ライバルとして 「＊＊坂46」という名前でデビューしようと思ったんですが、 ＊＊に当てはまるいい言葉が思い浮かばず断念しました・・・ 参考 https://www.sonymusic.co.jp/ipn/Arch/nogizaka46/ 317 名前：ω1 mailto:sage [2021/10/16(土) 06:53:41.52 ID:3noIbAnj.net] お🐒のSET Aを乃木坂メンバーに例えると誰か？と考えてみた まあ、白石麻衣ではない　どう考えてもそれはないｗ https://www.youtube.com/watch?v=PyQAYqEbkEo やっぱこいつか！ https://www.youtube.com/watch?v=-wL-m3mEP0M 臆面もなく音痴な歌を披露するクソ度胸！ SET Aは数学板のまなったんに決定！！！ｗ ということで　 ずっきゅん！！！ 318 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 07:02:59.14 ID:UMLyo87G.net] >>290 >じゃ、おのSET Aはどうやってsup(O)を「実現」するんだい？ >書いてごらんよ おれは名前の議論はしない。第三者に迷惑をかける可能性があるからね で、おサルさん、極限の理解を間違っていたんだ >>285-286 格好わるいよね、あんたｗｗ 319 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 07:04:28.42 ID:UMLyo87G.net] >>289 蕎麦屋のおっさんかい？ ご苦労さんｗ 320 名前：ω1 mailto:sage [2021/10/16(土) 07:09:04.36 ID:3noIbAnj.net] 俺を乃木坂メンバーに例えると誰か？と考えてみた さすがに、生田絵梨花というのは欲張りすぎだろうｗ https://www.youtube.com/watch?v=JkBJespFDa8 ま、せいぜいこの程度で勘弁しといてやるよ https://www.youtube.com/watch?v=gyJ8IzuUOzE ヘタレと思わせといてからの背面飛び さすが、SU-METALの実の姉ですなｗ https://www.youtube.com/watch?v=sEko9gUZvEM それにしてもせいじ兄さんが大人げないｗｗｗ 321 名前：ω1 mailto:sage [2021/10/16(土) 07:21:39.68 ID:3noIbAnj.net] >>293 >で、・・・極限の理解を間違っていたんだ >格好わるいよね、あんたｗｗ いや、まちがってたのは、あんただよ お🐒のSET A君 名前のことなら心配するな セタとはいってない、SET A　つまり「集合A」だ さて　本題 Zermeloの後者関数S(a) := {a}による順序数の実現の場合 二つの順序数a,bが、a<bという関係を満たすのは 1.　a∈b 2．ある順序数cが存在して　a<c　＆　c∈b のいずれかの場合に限る で、上記の関係を満たすようにωを構成しようとすれば、 必然的に無限集合にならざるを得ない 任意の自然数nに対して n<ω となるようにしたい 一方、自然数全体の最大元は存在しない つまり、たった一個の元ｍで、任意の自然数ｎについて n＜ｍ　＆　ｍ∈ω とすることはできない もちろん、有限個の元による有限集合でもムリ というのは、そのような集合には当然最大元ｍが存在するが いかなるｍについても、ｍ＜ｎとなる自然数ｎが存在してしまうから ということでお🐒のSET Aが「数学的かつ美的」と自画自賛する 「可算無限重シングルトン」はこの瞬間潰えた やっぱ、歌もダン� 322 名前：Xもスキル最低のまなったんだな かっきー「なんで真夏さんは乃木坂にいるんですかね？」 くぼ　　「かっきー、それは、みんな思ってるけど、いっちゃダメ」 [] [ここ壊れてます] 323 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 07:41:19.86 ID:UMLyo87G.net] >>288 ID:TMZrkZ9M さんか 笑える。朝9時から夜8時まで、計14投稿で、4位 えらいね。「まぁ一応教科書も論文も細々と読んで亀の歩みで少しずつ賢くなってるつもりではある」か 「君はダメだね」は、認めるが、 おっさんは？ 見込みあるの？ｗｗ 亀の歩みとか言いながら、一方で、朝から晩まで高木の相手か？ ヒマだね。無職ヒキコモリか 朝9時から夜8時まで、5ｃｈ徘徊おじさんのご高説 説得力無いわなｗ それに、おサルの肩を持つ時点、学力ゼロじゃんｗｗ hissi.org/read.php/math/20211015/VE1acmtaOU0.html トップページ > 数学 > 2021年10月15日 > ID:TMZrkZ9M 書き込み順位＆時間帯一覧 Total 14 4 位/97ID中 時間　0　1　2　3　4　5　6　7　8　9　10　11　12　13　14　15　16　17　18　19　20　21　22　23　 書き　0　0　0　0　0　0　0　0　0　1　　2　　0　 3　 0　 4　　1　 0　　0　 1　　1　 1　 0　 0　 0　 込み数 １３２人目の素数さん 書き込んだスレッド一覧 Inter-universal geometry と ABC予想 (応援スレ) 60 面白い問題おしえて〜な 39問目 雑談はここに書け！【５９】 Inter-universal geometry とABC 予想46 分からない問題はここに書いてね 470 Inter-universal geometry と ABC予想 (応援スレ) 60 267 ：１３２人目の素数さん[sage]：2021/10/15(金) 10:12:58.06 ID:TMZrkZ9M まぁ一応教科書も論文も細々と読んで亀の歩みで少しずつ賢くなってるつもりではあるがね 君はダメだね 全く見込みないわ 324 名前：ω1 mailto:sage [2021/10/16(土) 08:03:36.06 ID:3noIbAnj.net] >>297 ＞朝から晩まで高木の相手か？ 高木君は病気（おそらく統合失調症）だから仕方ない でもお🐒のSET Aは病気じゃないとすると・・・そっちのほうがヤバいな 325 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 09:33:24.98 ID:tQsDtm0U.net] 病気ではない 326 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 09:45:00.20 ID:UMLyo87G.net] >>273 補足 (>>220より) Axiom of infinity https://en.wikipedia.org/wiki/Axiom_of_infinity で、ノイマンの後者関数 suc(a)= a ∪ {a}。一方、ツェルメロの後者関数 suc(a)= {a} 比較すれば、分かるように、”a ∪ {a} -→ {a}” のように、余分の aを取ると、{a}になる ここに、”-→” を、余分のaを取る操作を表すとする 0 = {} -→ {}0、 ネストの深さ0 （注：空集合までの{}のネストの深さ。以下同じ） 1 = {{}} -→ {{}}1、 ネストの深さ1 2 = { {}, {{}} } -→ {{{}}}2、 ネストの深さ2 3 = { {}, {{}}, {{}, {{}}} } -→ {{{{}}}}3、 ネストの深さ3 4 = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } } -→ {{{{{}}}}}4、 ネストの深さ4 　・ 　・ N = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } ・・} -→ {・・{{{{{}}}}}・・}ω、 ネストの深さ∞ （Nは、空集合までの{}のネストの深さ∞であり>>221、{・・{{{{{}}}}}・・}ωもそう。ここに、∞はｱﾚﾌ0でありωである） （なお、この構成法では、最外側の{}が存在することを、注意しておく） 上記ように、{・・{{{{{}}}}}・・}ωは、ノイマンの自然数の集合Nから、余分のaを取る操作で得られる さて、ノイマンの自然数の集合Nの元、自然数とは何か？ ZFCの公理の中では、端的に、Axiom of infinity＝無限公理によって出来たNの元だということができる つまり、「自然数とは何か？」という問いには、ZFC中では ”無限公理→集合N→集合Nの元”という順でしか語ることができない ”有限の自然数nを集めたもの”という記述は可能だが、話の順としては「無限公理→集合N→集合Nの元」が先だ つまり、集合Nの元は、自然数nの有限の記述では到達できない。即ち、”元に関する有限の記述では到達できない” （集合Nの元＝自然数n には、最大値が存在しないことに、注意。ここから、”元に関する有限の記述では到達できない”が従う） そして、”元に関する有限の記述では到達できない”からこそ、無限公理が必要になる つづく 327 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 09:45:25.78 ID:UMLyo87G.net] >>300 つづき さて、{・・{{{{{}}}}}・・}ωが、集合Nから余分のaを取る操作 ”-→”で得られることは、上記で示した 集合Nの元は、”元に関する有限の記述では到達できない”という性質を持ち、{・・{{{{{}}}}}・・}ωもその性質を受け継いでいると言える （∵ "集合Nの元＝自然数n には 最大値が存在しない" から） だから、集合{・・{{{{{}}}}}・・}ωも ”元に関する有限の記述では到達できない”のです だからと言って、集合論の中に それが存在しない とは言えない。それは、集合Nも同じこと なお、”元に関する有限の記述では到達できない”身近な例として、集合Nの素数の集合がある 素数は、自分自身と1以外に約数を持たない数として定義できる しかし、”集合Nの素数の集合”は、”元に関する有限の記述では到達できない” （∵ 集合Nが、”元に関する有限の記述では到達できない”という性質を持つので、それを受け継いでいるから） 纏めると 1．ツェルメロの後者関数 suc(a)= {a}による {・・{{{{{}}}}}・・}ωは、ノイマンの集合Nから 　余分のaを取る操作 ”-→”で、構成できる 2．{・・{{{{{}}}}}・・}ωの元は、”元に関する有限の記述では到達できない” 　そもそも、集合Nの元は、”元に関する有限の記述では到達できない”という性質を持つので、その性質を受け継いでいる 　（集合Nの元には、最大値が存在しないことから従う） 　だからと言って、集合論の中に {・・{{{{{}}}}}・・}ωが 存在しないとは言えない。それは、集合Nに同じ 3．なお、この構成法では、最外側の{}が存在することを、注意しておく 以上 328 名前：ω1 mailto:sage [2021/10/16(土) 10:50:14.77 ID:3noIbAnj.net] >>300 >”a ∪ {a} -→ {a}” のように、余分の aを取ると、{a}になる >ここに、”-→” を、余分のaを取る操作を表すとする >1 = {{}} -→ {{}}1、 ネストの深さ1 >2 = { {}, {{}} } -→ {{{}}}2、 ネストの深さ2 >3 = { {}, {{}}, {{}, {{}}} } -→ {{{{}}}}3、 ネストの深さ3 >4 = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } } -→ {{{{{}}}}}4、 ネストの深さ4 >　・ >　・ ああ、その方法は可能だね・・・後続順序数の場合には（ニヤリ） >N = { {}, {{}}, { {}, {{}} }, { {}, {{}}, {{}, {{}}} } ・・} -→ {・・{{{{{}}}}}・・}ω、 ネストの深さ∞ >上記のように、{・・{{{{{}}}}}・・}ωは、ノイマンの自然数の集合Nから、余分のaを取る操作で得られる ああ、ダメだねｗ お🐒のSET A君はN＝ｘ∪｛ｘ｝となるような集合ｘが存在すると思ってるでしょ？ もしそういうｘが存在するなら、確かに余分な「自然数全体」を除けばｘだけ残る筈だね ・・・しかし、そんなｘ、ないんだよｗ だからさぁ、何度もいってるじゃん！ Ｎは極限順序数であって後続順序数じゃないって なんでＮやωが後続順序数だと妄想してんの？ｗ お🐒のSET Aのアサハカな知恵は通用しませぇん！ 残念でしたぁ！ｗｗｗｗｗｗｗ 329 名前：ω1 mailto:sage [2021/10/16(土) 10:55:05.72 ID:3noIbAnj.net] >>301 >さて、{・・{{{{{}}}}}・・}ωが、 >集合Nから余分のaを取る操作 ”-→”で得られることは、 >上記(>>300)で示した ･･･というお🐒のSET Aの思い込みは間違ってて 余分の自然数を全部取ったら、空集合になっちゃうことは 上記(>>302)で示した ということで、それ以降の８行分は、無意味な寝言だから全部カットねｗ 330 名前：１３２人目の素数さん mailto:sage [2021/10/16(土) 10:55:42.44 ID:1XclTaaU.net] 自分が考えてる事の定義すらできない 331 名前：ω1 mailto:sage [2021/10/16(土) 11:06:06.35 ID:3noIbAnj.net] 纏めると >>301 ＞1．ツェルメロの後者関数 suc(a)= {a}による {・・{{{{{}}}}}・・}ωは、 ＞　ノイマンの集合Nから余分のaを取る操作 ”-→”で、構成できる �T.　ツェルメロの後者関数 suc(a)= {a}による ωは、 　　ノイマンの集合Nから余分のaを取る操作 ”-→”では、構成できないｗ ＞2．{・・{{{{{}}}}}・・}ωの元は、”元に関する有限の記述では到達できない” ＞　そもそも、集合Nの元は、”元に関する有限の記述では到達できない”という性質を持つので、 ＞　その性質を受け継いでいる ＞　（集合Nの元には、最大値が存在しないことから従う） ＞　だからと言って、集合論の中に {・・{{{{{}}}}}・・}ωが 存在しないとは言えない。 ＞　それは、集合Nに同じ �U．集合Nの元に、最大値が存在しないのだから 　　Nの中に・・{{{{{}}}}}・・も存在しないｗｗｗ ついでにいうとツェルメロの後者関数によるωは自然数の無限集合として実現できる その場合、必ずしも自然数全部の集合である必要はなく 実は自然数を要素とする無限集合でありさえすればよい ＞3．なお、この構成法では、最外側の{}が存在することを、注意しておく �V．なお、Ｎの中にある要素は自然数ｎだけであり、 　　当然、どのｎも最外側の{}を有する 　　決して・・{{{{{}}}}}・・とかいう自然数でもなんでもない 　　「奇怪なもの」は存在しないことを、注意しておくｗ 「・・{{{{{}}}}}・・がＮの最大の要素！」（ドヤぁ）　 とかいったら院試落ちるよｗｗｗ

---

---

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

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