Inter-universal geometry と ABC予想 (応援スレ) 64
■ このスレッドは過去ログ倉庫に格納されています
(前“応援”スレが、1000又は1000近くになったので、新スレ立てる) 前スレ:Inter-universal geometry と ABC予想 (応援スレ) 63 https://rio2016.5ch.net/test/read.cgi/math/1640701686/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 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スレの中では このスレ立ては最初だったのです!(^^;) つづく https://twitter.com/5chan_nel (5ch newer account) >>260 >あなたが、この問いに答えることができるならば、 >それを利用して、解答を作るよw >>270 は「ない」と答えたので それをカンニングするなら 「ない」と答えるんだね つまり、「ωは空集合だ」と答えたわけだねw 🐎🦌だねぇ・・・ニホンザル SET A wwwwwww >>260 SET A 完全に発狂w >Q2.・・{{・・{{{}0}1}2・・}n}n+1・・ は集合? >A2. 集合でしょう? いいえw > 一番外のカッコ{}が定まっていないって? ええ、だって書いてないでしょ? >それって、上記0,1,2,・・と同じです。 全然違いますよ 頭オカシイですか? >人は、無限として そういうもの(状態)が、欲しいから >無限公理を置いて、これを集合と認めたのですよ ヒトはそんなもの欲しがりませんw 欲しがるのはヒトになれないニホンザルの貴様だけだよ、SET A 無限公理は{0,1,2,・・}を集合とした 0,1,2,・・を集合としたのではない 0,1,2,・・の各項0とか1とか2とかがそれぞれ集合であればいい し・か・し ・・{{・・{{{}0}1}2・・}n}n+1・・ は単一の存在であって、集合なるものに分けられない つまり0,1,2,・・「同じ」ではなく全く「違う」 そんなこともわからん🐎🦌か?SET A SET Aに答えられない質問 1.ωの前者は? 2.無限列 0<・・・<ω の、<ωの左の項は? 3.集合{・・・{{・・{{{}0}1}2・・}n}n+1・・}の要素となる集合の要素は? 人間なら1.の質問は「ない」と即答する したがって2.のような無限列は存在しないと即答する 存在するとしたらx<ωとなるxが存在するが、 どのようなxも自然数であって0に至る列が 有限長だから矛盾する そして3.のような集合も存在しないと即答する 存在するとしたら、ω-1、ω-2、が存在することになり 無限に降下できるから、基礎の公理の決定的な反例となり矛盾する 矛盾を認めたくない🐎🦌ニホンザルだけが 1.に対してこう言って誤魔化す 「ない・・・とまでは言えない」 おまえはT大アホウ学部卒の腐れ法律家か?w >>269 math_jinが何者か知らんが 数学が分かってないド素人か 精神に変調をきたしたIUTT考案者本人か のいずれかだろう… >>269 関連 望月 Corollary 3.12 に関する箇所抜粋下記の通り 望月 Corollary 3.12 を完全に導くことはできていないが、類似の構造はできたとしていると読んだ (下記”as [Mochizuki, 2021c, Corollary 3.12]. Importantly, Theorem 10.1.1 is still local (i.e. takes place at a single prime), but it can be globalized, i.e. adelized, quite easily in the presence of a number field using the adelic arithmetic Teichmuller spaces of [Joshi, 2021a]-but this adelic version is not treated here.”) Corollary 3.12 を完全に導くことはできていないが、可能性は大きいと思う かつ、ショルツェ氏のIUT全面否定の主張とは、真逆だ 私は、Kirti Joshiが正しいと思う (まだ、望月Cor3.12を導くことはできていないが、類似構造を別の筋で証明できているから、望月Cor3.12が全く無意味というショルツェ氏の主張はへんw) PDF https://arxiv.org/pdf/2111.04890 Construction of Arithmetic Teichmuller spaces II: Towards Diophantine Estimates Preliminary version for comments Kirti Joshi November 10, 2021 P3 § 1.6 For an introduction to the set constructed by Mochizuki’s [Mochizuki, 2021c, Corollary 3.12] and how a bound on its size has deep Diophantine consequences, readers may also see other discussions of [Mochizuki, 2021c, Corollary 3.12] for example [Tan, 2018], [Yamashita, 2019], [Dupuy and Hilado, 2020b]. Note that in [Dupuy and Hilado, 2020b], Mochizuki’s Corollary 3.12 is stated as Conjecture 1.0.1. つづく >>280 つづき § 1.7 Mochizuki’s approach suggests very optimistically that an assertion similarto [Mochizuki,2021c, Corollary 3.12] might be expected to hold for the subset Θe constructed here (see § 9.2) and indeed, such a bound is established in Theorem 10.1.1. But to be absolutely and perfectly clear and as is clarified below, Theorem 10.1.1 is structurally similar but not the same as [Mochizuki, 2021c, Corollary 3.12]. Importantly, Theorem 10.1.1 is still local (i.e. takes place at a single prime), but it can be globalized, i.e. adelized, quite easily in the presence of a number field using the adelic arithmetic Teichmuller spaces of [Joshi, 2021a]-but this adelic version is not treated here. (PDFのアブストラクト) https://arxiv.org/abs/2111.04890 [Submitted on 9 Nov 2021] Construction of Arithmetic Teichmuller spaces II: Towards Diophantine Estimates Kirti Joshi This paper deals with three consequences of the existence of Arithmetic Teichmuller spaces of arXiv:2106.11452. Let XF,Qp (resp. B=BQp) be the complete Fargues-Fontaine curve (resp. the ring) constructed by Fargues-Fontaine with the datum F=C♭p (the tilt of Cp), E=Qp. Fix an odd prime ?, let ??=??12. The construction (§7) of an uncountable subset ΣF⊂X??F,Qp with a simultaneous valuation scaling property (Theorem 7.8.1), Galois action and other symmetries. Now fix a Tate elliptic curve over a finite extension of Qp. The existence of ΣF leads to the construction (§9) of a set Θ?⊂B?? consisting of lifts (to B), of values (lying in different untilts provided by ΣF) of a chosen theta-function evaluated at 2?-torsion points on the chosen elliptic curve. The construction of Θ? can be easily adelized. Moreover I also prove a lower bound (Theorem 10.1.1) for the size of Θ? (here size is defined in terms of the Frechet structure of B). I also demonstrate (in §11) the existence of ``log-links'' in the theory of [Joshi 2021]. (引用終り) >>268 どうも、スレ主です 数理論理君、頑張るの巻きか >何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ では、具体的に過去ログを示せ あんたの書いた 公理論的集合論とは何か、順序数とは何か を 過去ログのリンクだけで良いぞww >なんの教科書読んだ? 大学の教程であったよ 忘れたし、捨てた ゲーデルの不完全性定理の解説本は、高校のときに読んだ >読んだはおろか買ってすらおらんやろ よく分かったな 松坂和夫「集合・位相入門」(岩波 1968) と 斎藤毅 「集合と位相」(東大出版会 2009) とは、図書館で借りてきた まあ、ざっと斜め読みしたところでは ツェルメロの集合論を論じるには、全く足りないことが分かった つーか、両著書とも、ZFCなどの公理的集合論ではなく、いわゆる素朴集合論の本だということだ まあ、思うに、いまどきの(多分過去も)大学数学科の集合・位相の教程としては、素朴集合論ベースなんだろうね ZFCベースでやったら、位相まで届くのに、何年もかかるだろうなw 余談だが、両著書を眺めて思うのは、やっぱ日常の数学は、素朴集合論ベースだってこと(+圏論) と素朴集合論の復権です 松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある (例えば、P293 あとがきで 「実は、このnaiveな定義は数学的にはななだ不完全で、この定義からはいろいろ不都合なことが出てくる」などと書かれている またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である(最近ではさらにGrithendieckやMacLaneなどの考案もある)」とも) それに対して、斎藤毅は、はじめに で「公理的集合論をある程度考慮するが、それに基づく厳密な展開はとらない」と宣言している。これは、多分21世紀的な高い数学的視点からの一つの見識だと思う なので、両者を比較して、斎藤毅の方が良い本だと分かるところまでは、読んだ が、松坂和夫は、これはこれで良いところもあるね とぢらかを買うならば、斎藤毅で、松坂和夫は図書館で借りて読めばいいんじゃね? >>283 タイポ訂正 またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である(最近ではさらにGrithendieckやMacLaneなどの考案もある)」とも) ↓ またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である(最近ではさらにGrothendieckやMacLaneなどの考案もある)」とも) Grithendieck→Grothendieck な >>283 アホがざっと斜め読みしてわかるはずないやろカス 数学に対するそういうクソみたいな態度がそもそもクソなんだよ 自分の事天才だとでも思ってんのか能無し? >>284 早く>>270 >>274 に答えてくれません? > あなたが、この問いに答えることができるならば、それを利用して、解答を作るよw と言ったのもう忘れたんですか? >>270 (>>286 ) >> 解答:上記のN={0,1,2,・・}の元 0,1,2,・・を集合から成る列と認めるならば、右端の集合の元は何? >最大自然数なるものはペアノの公理に反するので存在しません。 だから 右端の集合の元は、存在しないが 列 0,1,2,・・ は、長さ可算無限個の列として、存在しうるってことだ だから、カッコの可算多重列 }1}2・・}n}n+1・・ も、現代数学の中で 存在しうるってこと (最大自然数なるものはペアノの公理に反するが、無限列の存在こそが、ペアノの公理によって構成されるべきものですよ) >>285 再度問う >何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ では、具体的に過去ログを示せ あんたの書いた 公理論的集合論とは何か、順序数とは何か を 過去ログのリンクだけで良いぞww 早く答えろw >>287 え?何言ってるんですか? xの元が何か早く答えてくれませんか? >>274 にも答えてないですね 早く>>270 >>274 に答えて下さい >>283 >>なんの教科書読んだ? >大学の教程であったよ 大学なんて行ってないだろ? 中卒SET A >忘れたし、捨てた 存在しないものは思い出せないし、捨てようもない >ゲーデルの不完全性定理の解説本は、 >高校のときに読んだ 工業高校の時かね?w SET Aは昭和三十年代生まれで60過ぎだそうだから そのころ日本語に翻訳された解説本は ナーゲル&ニューマンの「数学から超数学へ」(白揚社)だろう だとすると、SET Aはゲーデルの不完全性定理を全く理解できなかったと思われる ホフスタッターの「ゲーデル・エッシャ―・バッハ」の 第14章まで読めていれば不完全性定理の「トリック」のタネが 理解できたはずだが、だいたいの人はそれ以前に挫折してるから やっぱり理解できなかったはずである 「ゲーデル・エッシャ―・バッハ」はいい本だが…長すぎた >>288 お前みたいな5ch廃人ちゃうから過去ログなんか取っとらんわ そんな事せんでもお前が1ミリも数学の論理式理解できん能無しパープーなのはここの住人全員知っとるわバーカ >>283 >松坂和夫「集合・位相入門」(岩波 1968) と >斎藤毅 「集合と位相」(東大出版会 2009)とは、 >図書館で借りてきた しっかり勉強する気なら買ったほうがいい 1か月では無理 >まあ、ざっと斜め読みしたところでは >ツェルメロの集合論を論じるには、 >全く足りないことが分かった ざっと斜め読みするからツェルメロの集合論の範囲であることが理解できないのだよ >つーか、両著書とも、 >ZFCなどの公理的集合論ではなく、 >いわゆる素朴集合論の本だということだ そもそも、素朴集合論はZFCのサブセットである 具体的にはFこと「置換公理」を用いず、その代わりに 制限された内包公理である「分出公理」を用いる集合論 したがってツェルメロの集合論である >まあ、思うに、いまどきの(多分過去も) >大学数学科の集合・位相の教程としては、 >素朴集合論ベースなんだろうね ツェルメロの集合論とは別に素朴集合論が存在すると思ってる SET Aは数学書も論理式も読めない中卒の🐎🦌 >ZFCベースでやったら、 >位相まで届くのに、 >何年もかかるだろうなw 半年で十分w 位相とかなんとかいったって 実際には、たかだか濃度2^aleph_0程度の集合しか扱わない まあ、突飛なネタとしてareph_1が現れる例を紹介することはあるが 集合論以外の数学で積極的に研究することはまずない >余談だが、両著書を眺めて思うのは、 >やっぱ日常の数学は、素朴集合論ベースだってこと(+圏論) >と素朴集合論の復権です 素朴集合論はツェルメロの集合論である ただ眺めるだけでは決して理解できない 論理式を読め、証明を読め 🐎🦌でも読める日本語の文章の箇所だけで妄想しても決して数学は理解できない >>283 >松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある >(例えば、P293 あとがきで > 「実は、このnaiveな定義は数学的にはななだ不完全で、 > この定義からはいろいろ不都合なことが出てくる」 > などと書かれている > またP295 > 「集合論を矛盾なく建設する目的から、 > 現代数学の他の諸部門と同様に、 > 集合論を公理的に展開しようとしたのが、 > Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である > (最近ではさらにGrithendieckやMacLaneなどの考案もある)」とも) 松坂は代数学者だから、集合論の公理を正確に理解してないだけで 「集合・位相入門」に書かれてることなら、ZCレベルで十分である >>283 >斎藤毅は、はじめに で >「公理的集合論をある程度考慮するが、 > それに基づく厳密な展開はとらない」 >と宣言している。 >これは、多分21世紀的な高い数学的視点からの >一つの見識だと思う 21世紀とか高い視点とかいうのは妄想 単に非専門家による開き直りでしかない もちろん、公理的集合論から逸脱できるほど強力な論法は ”素人”には使えるはずもないから問題ない(バッサリ) >>283 >両者を比較して、斎藤毅の方が良い本だと分かるところまでは、読んだ >松坂和夫は、これはこれで良いところもあるね >とぢらかを買うならば、斎藤毅で、 >松坂和夫は図書館で借りて読めばいいんじゃね? 実ははしがき以外読めてないだろ SET A それじゃ集合も位相も分からんよ ところで、ガチなロジシャンである新井敏康氏のこんな本もあるがね http://www.tokyo-tosho.co.jp/books/978-4-489-02249-4/index.html ま、でも集合・位相入門なら誰の本を読んでも大して変わらん >>287 >列 0,1,2,・・ は、長さ可算無限個の列として、存在しうる 正確にはペアノの公理で、無限個の自然数の存在が、保証される それは、無限個の「有限個のカッコの重なり」の存在の保証である しかし、同様の方法で、 一つの「無限個のカッコの重なり」 ・・{{・・{{{}0}1}2・・}n}n+1・・ の存在を保証することはできない >>280 >望月 Corollary 3.12 に関する箇所抜粋下記の通り >望月 Corollary 3.12 を完全に導くことはできていないが、 >類似の構造はできたとしている >と読んだ >Corollary 3.12 を完全に導くことはできていないが、 >可能性は大きいと思う 愛国に狂ったニホンザルの妄想はイタイタシイな >かつ、ショルツェ氏のIUT全面否定の主張とは、真逆だ ニホンザルは頭がおかしい ショルツェの主張のどこが、IUT全面否定なのか? そもそも中身がないものを否定しようもないw Cor3.12は予想にすぎず、ショルツェは反例を示したわけでもない あくまでIUTによるCor3.12の証明はできていないし 望月の方法では無理だろうといってるだけ >私は、Kirti Joshiが正しいと思う それは望月に代わって JoshiがABC予想を解決した と認めることだが、 ニホンザルのSET Aは 日本がインドに完敗した と認めるのかね? Corollary 3.12(系3.12)は Conjecture 3.12(予想3.12)の 誤りであろう >>292 >お前みたいな5ch廃人ちゃうから過去ログなんか取っとらんわ 過去ログなんて、自分で取るものじゃなくてさ 5chに書けば、自然にログが残るもんだよ どこに書いたかのスレタイの一部(特徴あるキーワード部分)+書いた内容の記憶しているキーワードと+”5ch”(=5chに限定するため) くらいで、普通にgoogle 検索で ヒットするよ で、おそらくは、あんたは全く書いてないよ おれの記憶では、あんたはIUTスレでは、まともに数学的な内容を書いたことはないぞ!w >そんな事せんでもお前が1ミリも数学の論理式理解できん能無しパープーなのはここの住人全員知っとるわバーカ それは否定せんが おまえは、オレより下だぜよww >>293 >>図書館で借りてきた >しっかり勉強する気なら買ったほうがいい 1か月では無理 ありがとう まあ、殆ど知っていることしか書いていない あの事項は、この本ではどう書いているかな? って感じで読んでいる あと、斎藤毅の「数学原論」を読んでいると、彼の(斎藤毅) 「集合と位相」(東大出版会 2009)のこの頁のこの命題から云々て結構書いてある いまのところ、無しでも読めているけど、一応図書館で借りてみた 結構良い本((斎藤毅) 「集合と位相」)だと思う ”よりみち”ってのがあってね、98まであるかな ”よりみち”の多い本だがw、これがまた良いアジ出しているんだ 「なるほど」ってことが多い そのうち買うかも >>302 補足 >あと、斎藤毅の「数学原論」を読んでいると 斎藤毅の「数学原論」(東京大学出版会 2020) はじめに で 「数学の基礎は論理的には集合論にもとづいているが 実質的には圏論的な枠組みで形づくられている。 圏論的数学観によれば、数学の対象1つ1つが独立に 存在するのではなく、同種のあるいは異種の対象との 関わりの中に存在する。」 という視点で、現代数学(の初歩)を解説しているのです (なお、最後の第10章が「楕円曲線」となっている) 彼の(斎藤毅) 「集合と位相」(東大出版会 2009)>>302 にも はじめに として、「20世紀後半に発展した圏論的考え方にしたがい 集合や位相空間それ自体と同じく、それらの間の写像や連続写像を重視する観点を取る」 と宣言しているので、好感がもてる やっぱ、21世紀の数学教科書は、こうあるべきという気がする 圏論的思考ができないと、3億円望月も、IUT望月も読めないし、理解できない >>289-290 もう答えた 1.ペアノ公理を誤解しているぞ。ペアノ公理は、自然数に最大限が無いと当時に、自然数を並べたら無限列ができることを主張しているよ(こちら主だ) 2.「自然数を並べたら無限列ができる」の類似の構造は、数学の至るところに出現する 例えば、有理数列 1/1,1/2,1/3,・・,1/n,・・→0 とか 3.確率変数の族 X0.X1,X2,・・なども(数セミの時枝記事に出てくる(下記など)) 4.時枝の記事では、可算無限個の箱を使う 5.同じように、無限階層も現代数学としてある。ノイマン宇宙とか、グロタンディーク宇宙とかね 6.そして、可算多重の重なりも、現代数学として考えられる その一例が、「無限重シングルトン」>>246 であって、 順序数としての自然数と同じだけ、シングルトンが存在することは、ツェルメロの古典的論文にあるとおり おれは、それを一歩進めて、「無限重シングルトン」の存在を主張しているだけ。時枝の可算無限個の箱とか、有理数列 1/1,1/2,1/3,・・,1/n,・・→0と同じだよ (参考) https://www.math.kyoto-u.ac.jp/ ~ichiro/lectures/06bpr.pdf 確率論基礎 重川 一郎 平成 19 年 7 月 23 日 P45 確率過程 Z + = {0, 1, 2,... } などがよく使われる. 定義 1.2. X1, X2, ... (引用終り) 以上 >>304 >もう答えた 「xの元は何か?」に答えてないですけど 「<ωの左隣は何か?」にも答えてないですけど なぜ嘘をつくんですか?答えてないですよね? 斎藤毅のアジテーションに感化されていて頭が悪い。 表面的な理解だけでは、ものにならない。 >>304 >ペアノ公理を誤解しているぞ。ペアノ公理は、自然数に最大限が無いと当時に、自然数を並べたら無限列ができることを主張しているよ(こちら主だ) なんか笑っちゃいますね 自然数列 0,1,2,… とは恒等写像 i:N→N, i(n)=n のことですよ? ペアノの公理は自然数が満たすべき条件を述べたものです。ペアノの公理を書いてごらんなさい。書かずに妄想するから理解できないんです。 それであなたは宿題「ZF上で自然数全体の集合Nを構成し、Nがペアノの公理を満たすことを証明せよ」を未提出ですよ?学生なら落第です。 >>304 1.無限列ができたからといってωができたとはいわないが 2.→0は逸脱だね 馬鹿はすぐ逸脱して間違うね 脳味噌ないの? 3〜4.関係ないね いい加減、∞番目の箱がないって気づこうね 5〜6.Vωがあるからといって「可算多重の重なり」もあるとは言えないね 自然数と同じだけシングルトンが存在するのは🐎🦌でもわかる 中卒ニホンザルの君はそこから間違った一歩を進めて 肥壺に落ちて💩塗れで溺死した 可算無限個の箱に∞番目の箱はない 1/1,1/2,1/3,・・,1/n,・・に1/∞=0はない 君はないものをあると妄想して💩の中で溺死したんだ ま、そのまま腐って💩になりはててしまえw >>303 圏論は別に集合論から逸脱してない 大きな圏が集合ではなく固有クラスになるということが 即「圏論は集合論より強力である」ことを意味してると 思うなら正真正銘の🐎🦌野郎 共通テスト二日目も試験担当を外された 底辺准教のお人形さんごっこでスレが埋まった >>310 今からオナニーして寝ます ちょいブス女のヌードが最近のお気に入りです >>306 >斎藤毅のアジテーションに感化されていて頭が悪い。 ありがとう 半分はそうかもね で、斎藤毅の代案は? 何かある? >表面的な理解だけでは、ものにならない。 まあ、「ものにならない」「ものになる」の定義しだいかも おれは、いまさら数学をものにしようという意図ないし 望月IUTをちょっとかじってみようという準備で、斎藤毅 「原論」を見ているだけ(歯が立たないかもだが) というか斎藤も松坂も集合論の本じゃなくね? 集合論の教科書ってキューネンのオレンジの本とか竹内外史の現代集合論入門とかそういう奴だと思った >>304 補足 >>86 より 再録(参考) https://en.wikipedia.org/wiki/Zermelo_set_theory Zermelo set theory (sometimes denoted by Z-) ”AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element."” とあって、無限公理(Axiom of infinity)で、集合Zが存在すると言葉で書かれている この集合Zは、ドイツ語で数Zahlからで(下記)、自然数の意味ですね 参考 https://de.wikipedia.org/wiki/Zahl Zahl (引用終り) つまり、>>246 に書いたが 添え字 n∈N で、 後者関数 suc(an)={an}n+1 (つまり、添え字nやn+1は残す)として 0,1,2,・・n,n+1,・・→ω(極限) 0→{}0 1→{{}0}1 2→{{{}0}1}2 ・ ・ n→{・・{{{}0}1}2・・}n n+1→{{・・{{{}0}1}2・・}n}n+1 ・ ・ ↓ ω→{・・{{・・{{{}0}1}2・・}n}n+1・・}ω(極限) という対応になる(一番外にカッコ{}あり) 外のカッコを外すと ・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N(添え字)となる これが、存在すること、つまり、nが全ての自然数を尽くすことは、ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) で認められているのです だから、これが、Zermelo set theory (sometimes denoted by Z-)の中には、存在するのです そして、ZFCがZermelo set theoryを包含することを認めるならば、ZFC中にも ・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N(添え字)が存在します QEDw 以上 >>314 御託はいいのでズバリ答えて下さい 「xの元は何か?」「<ωの左隣は何か?」 >>313 >というか斎藤も松坂も集合論の本じゃなくね? >集合論の教科書ってキューネンのオレンジの本とか竹内外史の現代集合論入門とかそういう奴だと思った ありがとう いまどき、「集合論」といっても、その世界は広い 何を目的に学ぶのかと、自分の立ち位置が問題(学生なのか院生なのかそれ以上なのか、逆に趣味かw) キューネンとか竹内外史の現代集合論入門とかは、完全に” Logician”(下記竹内にある)向けでしょ? いわば、新井紀子、新井敏康ご夫妻レベルを目指す人向けでしょ これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね? (素朴集合論+圏論になると思うが) (参考) https://www.nippyo.co.jp/shop/book/5237.html 現代集合論入門(日評数学選書)[増補版] 発刊年月 1971.10 内容紹介 公理的集合論の初等的な部分を、著者独特の名調子で解説する、異色の入門書。増補版刊行にあたり、大発展しつつある現代の集合論の状況について、コンパクトに分かりやすく解説した記事二篇を収録した。 目次 序章 Logicians小伝 第1章 プール代数について 第2章 公理的集合論 第3章 集合論の展開 第4章 マルチンの公理 付録1 現代集合論のめざましい発展 付録2 数学の最前線/集合論とその周辺 >>314 >外のカッコを外すと >・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N(添え字)となる >これが、存在すること、つまり、nが全ての自然数を尽くすことは、ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) で認められているのです AXIOM VII. が存在を主張する集合Zは、{}∈Z と ∀a∈Z⇒{a}∈Z を満たす集合です。つまり ∃Z({}∈Z ∧ ∀a∈Z⇒{a}∈Z) AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element." ・・{{・・{{{}0}1}2・・}n}n+1・・なる訳の分からないモノの存在を認めているなどとはどこにも書かれてませんよ。嘘はいけませんね。どうして嘘つくのですか? そもそも天羽さんは監督"させる"立場だからね 天羽さん程の教授になるとそんなバイトでも出来るようなショボい仕事はする必要が無い >>316 補足 >これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う >それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね? 前にも書いたが 「位相空間」の教科書として、空集合から始める人は居ないでしょ? 「位相空間」やるなら 素朴集合論ベースで、実数Rか、その前の有理数Qか、いっそN,Z,R,C全部そろいましたから始めれば良いんじゃね? その前段の空集合から、N→Z→Q→R→Cのところは手っ取り早く、進めれば良い 斎藤毅>>303 がこの流儀で、P92 「2.9 空集合から有理数まで」として、だいたい3頁強で、有理数体Qまで導出している 使っているのは、数学的帰納法のみ。無限公理もペアノ公理も出てこない。選択公理は使っているけど、厳密には可算選択公理だが、細かいことはスルーしているね これはこれで、割り切って良いと思う >>317 >・・{{・・{{{}0}1}2・・}n}n+1・・なる訳の分からないモノの存在を認めているなどとはどこにも書かれてませんよ。嘘はいけませんね。どうして嘘つくのですか? 認めているよ ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) は 0={} 1={{}} 2={{{}}} ・ ・ として、 順序数としての全ての自然数Nの元を尽くすってこと それを認めているんだ カッコに添え字を付けたら 添え字は、全ての自然数を尽くせるよ それが上記の”・・{{・・{{{}0}1}2・・}n}n+1・・ n∈N(添え字)”(>>314 より)ってことです >>321 >ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) は >0={} >1={{}} >2={{{}}} > ・ > ・ >として、 >順序数としての全ての自然数Nの元を尽くすってこと >それを認めているんだ どの自然数Nの元にも最外カッコが有りますよ? 一方・・{{・・{{{}0}1}2・・}n}n+1・・には有りません。 ご自分が何を言ってるか理解できてますか? >>321 それで・・{{・・{{{}0}1}2・・}n}n+1・・の元は何ですか? まだ答えてもらってませんよ? 解答書くとご自分でおっしゃったこと、もう忘れたんですか? >>321 そもそも ∃Z({}∈Z ∧ ∀a∈Z⇒{a}∈Z) を見れば分かる通り、Zが持つべきとされているのは{}または{a}の形の元ですよ? ・・{{・・{{{}0}1}2・・}n}n+1・・はどちらの形の元でもありません。 一体あなたは無限公理の何を理解できたつもりなんですか? 疑問文3連投はバカの底辺准教の特徴 まともな人間は疑問文を連続3連投もせず 簡潔に意見を記す >>279 > ωの前者っていうとsurreal思い出す 然しωには (自身に後者関数演算を施して得られる序数で『ある』)後続序数は存在する一方で (自身に前者関数演算を施して得られる序数で『ない』)先達序数は存在せんのか? じゃあ超現実数としては存在するω-1は序数ではないと考えるべきなん? (先達序数は我流仮称に就き適宜に読み替えられたし) 1+ωとω+1の違いや1+ω=ω<ω+1に就き交換則不成立の理屈の土台と成る超限序数を見知ってるだけで 知り熟しとらん儂が尋ねるのは年甲斐も無いどころかガキの児戯に等しい程度でさえ無く ガキの児戯と比しても劣る滑稽な行為で在る事は分かっとる。 ■IUTスレ長期占有荒らしこと ネットハラスメントストーカ 天羽 優子 @apj とは…  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ 22年前からネットハラスメント常習者だった証拠がネット上の各所に残っているネット異常者 (※ ソースはインターネットやネットニュースの公開情報で確認可能) 【特徴1】ソース http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG ※ 上記写真はみなし国家公務員=国立大学法人職員=公人の公開イベントで撮影され公開済みの写真でありその「所属機関」と「役職」の目的と使命に鑑みて、これら写真の参照は国民の行政監視の権利を満たしている。 【事例1】天羽 優子 @apjは2000年当時からネットハラスメント常習犯として有名 [ソース] fj.soc.law 2000/2/17 17:00のスレッド https://groups.google.com/g/fj.soc.law/c/oEr_UCdvnTg/m/IerWI2I7OREJ 【事例2】天羽 優子 @apjは2008年に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した [ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) http://itest.5ch.net/life9/test/read.cgi/mental/1212628738/ 【事例3】自称 天羽 優子 は2017年にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した [ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) https://itest.5ch.net/test/read.cgi/am/1503813609/912 https://itest.5ch.net/test/read.cgi/am/1503813609/925 https://itest.5ch.net/test/read.cgi/am/1503813609/948 >>321 が誤り >>322 が正しい SET A君はさすが素人 集合論の公理、一つも知らないんだね >>329 キモ顔底辺准教の書き込みは365日同じ話の繰り返しでバカでもできるストーキング芸でしかないね 山形大学はそのレベルの犯罪者が教員になれるとは爆笑 >>331 どうも、スレ主です 荒らし退治、取り締まり、ありがとう >>280 ・いまからIUTを、本格的に勉強しようという人は、このKirti Joshiを眺めた方が良いだろう。IUTがやろうとしている意図が見える ・あと、南出論文の改良、”南出論文∩+α” で、なにか+αで、明示公式の範囲を狭く改良できれば良い。+αは、何でもあり。とにかく、∩でなんか付け加えれば、改良できる ・なお、ABC予想から導かれるとされていた幾つかは、まだ手つかずで 残っている気がする(>>244 ABC予想 得られる結果の例 https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ) Kiri Josh氏は望月さんの仕事に触発されているけれども、自分の仕事は全く別の考えたちを土台にしているとわざわざいっているのが面白いな。 Ellenberg氏はJosh氏の仕事はより主流に近いものだとしている。 そろそろ望月さん業績の位置づけが進みそうだ。 >>334 どうもです スレ主です レスありがとう >Ellenberg氏はJosh氏の仕事はより主流に近いものだとしている。 >そろそろ望月さん業績の位置づけが進みそうだ。 そうだね そして、もう望月IUTを乗り越えて行こうっていう動きだね Josh氏もそうだし、フェセンコ先生も、そういう動きだね >Kiri Josh氏は望月さんの仕事に触発されているけれども、自分の仕事は全く別の考えたちを土台にしているとわざわざいっているのが面白いな。 西洋流でしょうね 人の後追いじゃない! オリジナリティは ここ というアピールを忘れない 数学の教科書開いた事ないくせに今からiutに手をつける人間にアドバイスするクズ一名 >>338 数理論理君か あんた、大局と戦略間違っているよ 間違いその1、5chで一人前に数学やった気になっている 間違いその2、高校数学にレスして、一人前に数学やった気になっている 数学が、あなたの仕事として成り立っていないよね 定職ないんだろ? 朝から晩まで、5ch数学板かね http://hissi.org/read.php/math/20220117/aWdzQkxkeE8.html 必死チェッカーもどき ID:igsBLdxO 書き込んだスレッド一覧 132人目の素数さん 面白い数学の問題おしえて〜な 40問目 Inter-universal geometry と ABC予想 (応援スレ) 64 分からない問題はここに書いてね 470 書き込みレス一覧 面白い数学の問題おしえて〜な 40問目 215 :132人目の素数さん[]:2022/01/17(月) 14:52:31.40 ID:igsBLdxO >>201 は多分ノーヒント苦しいのでヒント まず x = tan(θ) で置換すると I(a,b) = ∫[0,∞]1/√((x^2+a^2)(x^2+b^2))dx よって I((a+b)/2,√(ab)) = ∫[0,∞]1/√((x^2+(a+b)2/2)(x^2+ab))dx = 1/2∫[-∞,∞]1/√((x^2+(a+b)2/2)(x^2+ab))dx コレをもう一回置換積分 どう置換するかがミソですがここまで来ればこの手の積分の置換の定石 コレがピタッとI(a,b)になるのがとても心地よい >>339 数学の教科書まるで読んだ事ない人間のくせして懸命に数学の世界で頑張ってる人間に「アンタ間違ってる」と謎の上から目線 数学という学問に一切の畏敬の念も持たないクズ >>340 どうも、スレ主です ID:Z2aplBry氏か、下記見ると数理論理君だね IDが、>>338-339 のID:igsBLdxOと変わっているけど、 たまに午後4時ころ変わったりするときがあるからそれだね ID:Z2aplBry氏とID:igsBLdxO氏の発言の時間帯は、完全に分離されているから、同一人物と考えて良さそうだし 「さらにアホなんだよパープー」(下記)の”パープー”が、>>292 の発言でも使われているからね あんたの発言が受けないのは、自分が数学的に意義ある発言ができないばかりか、他人のこき下ろし発言ばかりでしょ そりゃ、「鼻つまみ者」になるよね ところで、定職がないなら、数学解説のYuotube でもやったらどうだ? 5chでなく 数学解説のYuotube で稼いでいる人いるよ。Yuotube は収入になるらしい 5chで「分からない問題はここに書いてね」に、いくら書いても、お金にならんぜ そういう意味でも、大局と戦略間違っていると思うよ (参考) http://hissi.org/read.php/math/20220117/WjJhcGxCcnk.html 必死チェッカーもどき ID:Z2aplBry 書き込んだスレッド一覧 132人目の素数さん Inter-universal geometry と ABC予想 (応援スレ) 64 分からない問題はここに書いてね 470 dx dy の意味は?★2 書き込みレス一覧 Inter-universal geometry と ABC予想 (応援スレ) 64 340 :132人目の素数さん[]:2022/01/17(月) 17:31:41.74 ID:Z2aplBry >>339 数学の教科書まるで読んだ事ない人間のくせして懸命に数学の世界で頑張ってる人間に「アンタ間違ってる」と謎の上から目線 数学という学問に一切の畏敬の念も持たないクズ 分からない問題はここに書いてね 470 237 :132人目の素数さん[]:2022/01/17(月) 17:57:25.29 ID:Z2aplBry >>236 教科書に載ってる文章だろうがなんだろうが>>235 を読んで「ああ、そうだ、その通り」って思えないからさらにアホなんだよパープー 分からない問題はここに書いてね 470 240 :132人目の素数さん[]:2022/01/17(月) 18:19:50.43 ID:Z2aplBry 先人に対してなんの畏敬の念も持てないクソ >>341 タイポ訂正 ところで、定職がないなら、数学解説のYuotube でもやったらどうだ? 5chでなく ↓ ところで、定職がないなら、数学解説のYouTube でもやったらどうだ? 5chでなく あと ご参考 https://manekomi.tmn-anshin.co.jp/shigoto/17364091 【2021年最新版】YouTubeで稼ぐために必ず知っておきたい5つのポイント 2020.6.10 ライター 山本 杏奈 >>341 早く「xの元は何か?」「<ωの左隣は何か?」に答えてもらえませんか? なんで答えないんですか? >>341 補足 >数学解説のYuotube で稼いでいる人いるよ。Yuotube は収入になるらしい 参考 ヨビノリたくみ氏 https://newswitch.jp/p/30246 難解な物理・数学を解説。博士課程からYouTuberへの転身を聞く 【連載】転換点 #4 YouTuber・ヨビノリたくみ氏 2022年01月04日 トピックス https://images.newswitch.jp/images/i2rAbiuHccyy2qnckEvBhR0oEAmgsONzWLL3BsFf.jpeg 登録者84万人、物理や数学などを解説する教育系ユーチューバーとして有名なたくみさん。「予備校のノリで学ぶ『大学の数学・物理』」(ヨビノリ)のチャンネルで活動している。研究者を目指した博士課程からの転身のきっかけと、今後について聞いた。 ―YouTubeを始めた経緯を教えてください。 https://dime.jp/genre/1099555/ チャンネル登録者65万人の大人気教育系YouTuberヨビノリたくみが明かす人生最大の計算ミス 2021.03.16 ビジネス YouTuberの中でもほんの一握りの者にしか到達できない「1000万回再生」の壁――。今年2月、「中学数学からはじめる相対性理論」という一本の動画がその壁を超えた。投稿した「予備校のノリで学ぶ『大学の数学・物理』」のたくみ氏には、動画内では語らない熱い使命感と並々ならぬ強いこだわりがあった。@DIMEにだけ打ち明けてくれた、彼の「動画にかける想い」を独占公開!! https://dime.jp/genre/files/2021/03/S__34144338.jpg つづく >>344 つづき 底辺YouTuberになると思っていたら…… 東京大学大学院の博士課程で理論物理学を研究していた僕がYouTubeを始めたきっかけは、一言で言ってしまえば「研究者になれなかったときのためのリスクヘッジ」です。博士の学位をとったからと言って、必ずしも研究者として食べて行けるわけではありません。別の道に進もうと思っても、そのときにはすでに30歳近くになってしまっています。 博士課程に進学したとき、学術振興会特別研究員というものに運良く採用され、国からお金をいただく代わりに副業が禁止となり、大学入学以来ずっと続けていた予備校講師を辞めることになりました。それでも、学位の取得後に予備校講師としての道を残しておくために「YouTube」という場所で名を売っておこうと考えたわけです。 YouTubeを始めたきっかけは、それだけではありません。気になっていたのは「理系大学生の理系離れ」です。高校生の頃まで大好きだった数学や科学も、大学に入って授業が全く理解できずに嫌いになってしまう大学生が多く存在します。彼らにわかりやすく、そして面白く「大学の数学・物理」を伝えたいと思い、そのアウトリーチ活動の一環として、YouTubeチャンネル『予備校のノリで学ぶ「大学の数学・物理」』が生まれました。 YouTuberになる前に、「上手く行ったとしたら登録者は何人ぐらいになるだろう」というフェルミ推定をしました。日本の理系大学生の数は約80万人と言われており、そのうち数学や物理がしっかりと必要になる学生は20%ぐらいです。その中でYouTubeで勉強するほどやる気のある学生は多く見積もっても10%ほどでしょうから、彼らが全員チャンネル登録したとしても、その数は1.6万人ほどです。テレビ番組では底辺YouTuberと言われてしまう部類です(笑) しかし蓋を開けてみると、先取り学習に使う中学生や高校生、そして何よりも大きかったのが「学び直し」で見てくださる大人の視聴者の方でした。その結果、今では登録者は60万人を超え、僕の見積もったフェルミ推定(※)は人生で最大の計算ミスとなったわけです。 ※フェルミ推定/実際には調べることが難しい数量を、別の数量をもとに論理的に見積もること。 (引用終り) 以上 底辺准教のひとはやたらVtuberムーブメントに乗っかろうとしているね 自身は一日中匿名掲示板で暴れて無知蒙昧を晒す知的障害者状態な上に、容姿コンプレックス、 ストーキング相手は全員無職だと決めつけてVtuberをヤレと言い出すのは 全部本人の職場内失業状態の外部投影だね >>345 答えないなら「分からない」とか「間違ってた」とか言えませんか? 三歳児じゃないんだから 【山形キチガイジおばさん速報】超長期ハラスメント・ストーカー天羽優子@apj(自称長野在住)が自己紹介長文の新作を投下【山形大学生連続投身自殺事件を揶揄する反社会人格障害が顕著化】http://blog-imgs-17.fc2.com/k/a/k/kakyoukyoutiba/CIMG8681.jpg https://b7fce7d4-a-62cb3a1a-s-sites.googlegroups.com/site/researchfrontierofwater/photo-gallery/day1-post-meridiem/DSC_0021.JPG 406 名前:Nanashi_et_al. :2022/01/16(日) 17:47:44.20 このスレは山形大学に入ったところまではよかったが 風俗にハマり学業が疎かになり学生実験で風俗の話ば かりし成績に風俗のFを付けられ担当女性教員と大学 相手に揉めて風俗で本番強要をしていた事がバレて退 学となり失意のあまり飛び降り自殺したものの死にき れず顔面を般若のような奇怪な風貌になるまでに損傷 し精神にも異常をきたし自らをびザリガニマンと呼び 担当女性教員に嫌がらせを受けていると語るのだが周 囲の人間にはただの思い込みとしか映らずボロを纏い その下は赤褌一枚で街を歩きつつ自分は「神」であり 「魂のふるさと」であるという長野在住のおじさん専 用の「愛」と「正義」を説き続けるスレです >>333 >>335 SET A氏は日本を諦めてインドに寝返ったらしい >>339 >>341 SET A氏は初等的な積分すら計算できなくてムカついてるらしい >>344 >>345 SET A氏はYoutuberになりたいらしい SET Aに答えられない質問 1.ωの前者は? 2.無限列 0<・・・<ω の、<ωの左の項は? 3.”集合?”・・・{{・・{{{}0}1}2・・}n}n+1・・}の要素は? >>344 >登録者84万人、物理や数学などを解説する教育系ユーチューバーとして有名なたくみさん。 >チャンネル登録者65万人の大人気教育系YouTuberヨビノリたくみ ユーチューブの稼ぎの仕組みがわからんけどw フェルミ推定wをしてみる。下記のランキングより、登録者数と年収に線形の相関があるとして 登録者1万人で、数十万円らしい いま、簡単に、50万円とすると、84万人だと、4200万円 65万人で、3250万円という推定になる 2万人で、100万円 300万円稼ぎたいならば、6万人の登録者を集めれば良い もちろん、再生回数が重要と思うけどね 余談だが下記の”12あいみょん 年収・収入1億4488万1470円 累計収入 1億5837万141円 チャンネル登録数 159万人”に、ちょっとびっくりです (参考) http://www.tuber-town.com/channel_list_c/all_id_1.html Youtuberランキングサイト「チューバータウン」 2021年版 Youtuber年収・収入ランキング 第1位Junya.じゅんやJunya.じゅんや年収・収入6億1979万4197円 累計収入 8億3431万6274円 チャンネル登録数 1290万人 第2位Sagawa /さがわSagawa /さがわ年収・収入5億1367万2350円 累計収入 5億8731万8085円 チャンネル登録数 526万人 第3位まいぜんシスターズまいぜんシスターズ年収・収入2億5527万3724円 累計収入 5億4075万2020円 チャンネル登録数 226万人 第5位東海オンエア東海オンエア年収・収入2億4659万8599円 累計収入 11億5152万9206円 チャンネル登録数 621万人 第10位HikakinTVHikakinTV年収・収入1億5221万5403円 累計収入 11億608万2035円 チャンネル登録数 1040万人 12あいみょんあいみょん年収・収入1億4488万1470円 累計収入 1億5837万141円 チャンネル登録数 159万人 一々グロって安価してモザイクかけさせようとするのなかなか健気ね >>181 Thomas Sauvagetさん ”PhD @UniofNottingham”か なるほど https://twitter.com/math_jin math_jinさんがリツイート Thomas Sauvaget 1月15日 返信先: @JSEllenberg さん Joshi also has two more recent preprints on the topic : https://arxiv.org/abs/2111.04890 and arxiv.org Construction of Arithmetic Teichmuller Spaces and some applications In this note I construct some categories which can be called Arithmetic Teichmuller Spaces. This construction is very broadly inspired by Shinichi (参考) https://twitter.com/Thomas_Sauvaget https://pbs.twimg.com/profile_images/988384117027983360/Db1Q7_gw_400x400.jpg Thomas Sauvaget Statistician at @Agri_Gouv (formerly at @InseeFr ) | AttStat @Ensai35 & PhD @UniofNottingham | Public Service - AI - Space Exploration || Views my own. https://twitter.com/5chan_nel (5ch newer account) >>350 >SET Aに答えられない質問 代わりに答えましょう >1.ωの前者は? ありません。ωは極限順序数ですから。 >2.無限列 0<・・・<ω の、<ωの左の項は? ωより小さい順序数は自然数に限られます。よって左の項は自然数です。 任意の自然数nに対して0<・・・<n<ωは有限列です。 >3.”集合?”・・・{{・・{{{}0}1}2・・}n}n+1・・・の要素は? 集合{a,b,c,…}の要素は最外カッコを外した a,b,c,… です。 ・・・{{・・{{{}0}1}2・・}n}n+1・・・には最外カッコが無いので要素は定まりません。 必然的に・・・{{・・{{{}0}1}2・・}n}n+1・・・は集合たり得ません。 ZFでは集合でないものは存在しませんから{・・・{{・・{{{}0}1}2・・}n}n+1・・・}ωは存在しません。 >>351 >>355 SET A 無限についての初歩的質問すら答えられず 終わったな 元々教科書開いた事すらないんだから始まってすらいない >>359 ttps://gendai.ismcdn.jp/mwimgs/4/4/640m/img_4467a778e3d06f08e8ff433b680842cc194863.jpg 単に答えられないだけならいいが、答えると大見え切ってたよな これはハズい なんだよセタ 結局、無限列「0<・・・<ω」も無限重シングルトン「{・・・{{・・{{{}0}1}2・・}n}n+1・・・}ω」も存在しねーじゃねーか なぜ間違いを認めない? おまえは三歳児か 底辺准教氏、毎日同じ話を繰り返すメンヘラとバレて 相手にされなくなる 惨め セタが創造したω重シングルトンの定義一連はω矛盾 > 「ZFC内で証明できないけど、存在するぞ!」なんて論法が、通用するのが21世紀の数学なのです(ちょっと誇張していますが) この様に『定義の仕方により何でもござれに出来るのが21世紀の数学』と無再現無節操を尊ぶ思想がω矛盾を導く 数学板内ω矛盾投稿四天王 4位 β(『e'=e、eは微分しても変わらない不思議な定数』『3<∞、∞は3より大きい』) 3位 バカボンパパ(『履歴に残せば0=1になる』『0.999…=1は数学での約束事で実際は0.999…≠1』『0除算もできず0.999…=1になる数学は学問としてまだまだって事です』) 2位 高木(「完全に正しいのにまた不当にリジェクトされました」「論文を書くのはエネルギーが必要なんだから些末を揚げ足取るのは不当」) 1位 セタ(21世紀の数学は定義の仕方によって何でも可能) ぎゃあああ、いつの間にかω矛盾マンだらけだあああ、たぁ〜すけてくれ〜猿魔大王〜 >>356 >> 2.無限列 0<・・・<ω の、<ωの左の項は? >ωより小さい順序数は自然数に限られます。よって左の項は自然数です。 >任意の自然数nに対して0<・・・<n<ωは有限列です。 なんだ、おサルかい>>7 おサルと、数理論理君、それに 多分 蕎麦屋のおっさん 降鎖と昇鎖の区別がついていない 幼稚園なみだね 過去スレで教えてやったのに 全然理解できていない 下記を、100回音読してください (参考) https://ja.wikipedia.org/wiki/%E6%98%87%E9%8E%96%E6%9D%A1%E4%BB%B6 昇鎖条件 降鎖条件 ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環のイデアルがある[1][2][3]。昇鎖条件および降鎖条件は、ダフィット・ヒルベルト、エミー・ネーター、エミール・アルティンらが可換環の構造に関する理論を構築する上で、重要な役割を果たした。 昇鎖条件および降鎖条件それ自体は、いかなる半順序集合に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel?Rentschler による抽象代数の次元に関する理論において有用である。 定義 半順序集合 P において、任意の真の上昇列 a1 < a2 < a3 < ... が有限回で止まるときに昇鎖条件が成り立つと言う。 同様に、半順序集合 P において、任意の真の下降列 a1 > a2 > a3 > ... が有限回で止まるときに降鎖条件が成り立つと言う。 注釈 ・「無限に続く真の上昇/下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖/降鎖列が存在しない」(つまり列の長さの最大値が存在する)というものがある。 ・降鎖条件を満たすことと、整礎であること、つまり任意の空でない部分集合が極小元をもつことは同値である。これは極小条件 (minimal condition) とも呼ばれる。 ・昇鎖条件を満たすことと、逆整礎であること、つまり任意の空でない部分集合が極大元をもつことは同値である。これは極大条件 (maximal condition) とも呼ばれる。 ・有限半順序集合は昇鎖条件と降鎖条件を満たす。 ・降鎖条件を満たす全順序集合は整列集合と呼ばれる。 (引用終り) 以上 >>368 >降鎖と昇鎖の区別がついていない SET A 無限列 0<・・・<ω は 降鎖条件を満たさないと認める だったら”<ω”と書いてはいけなかったね 列中、x<ωとなるxはないのだから >>366 >(21世紀の数学は定義の仕方によって何でも可能) つー、逆数学 20世紀の古い頭の人がいる。その名はおサル>>7 w (参考) https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6 逆数学 逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。 逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析の結果を反映している。 逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。 目次 1 一般的な原理 1.1 2階算術の使用 2 2階算術の5つの基本的部分体系(Big Five) 2.1 再帰的内包公理 '"`UNIQ--postMath-00000024-QINU`"' 2.2 弱ケーニッヒの補題 '"`UNIQ--postMath-00000031-QINU`"' 2.3 算術的内包公理 '"`UNIQ--postMath-00000041-QINU`"' 2.4 算術的超限再帰 '"`UNIQ--postMath-0000004F-QINU`"' 2.5 '"`UNIQ--postMath-0000005A-QINU`"'内包公理 '"`UNIQ--postMath-0000005B-QINU`"' 3 Big Five以外の体系 4 '"`UNIQ--postMath-00000095-QINU`"'-モデルと'"`UNIQ--postMath-00000096-QINU`"'-モデル 5 参考文献 (引用終り) 以上 >>368 >>367 より 「・「無限に続く真の上昇/下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖/降鎖列が存在しない」(つまり列の長さの最大値が存在する)というものがある。」 この部分を、百回音読してくださいw >>370 SET A ここ百回音読した? >…と少し異なるそれよりも強い条件として、… つまり「無限に続く真の上昇/下降列がない」からといって 列の長さの最大値が存在する、とはいえない 「任意に長い真の昇鎖/降鎖列が存在する」場合はもちろんある >>363 話についていけなくなると底辺准教の書き込みにすり替えるすり替え受験がバレて退学になった人 惨め テキトーに底辺准教に刺さるキーワードを書けば 発狂して底辺准教天羽優子@apjのハラスメントストーキングの実態が可視化できるから超便利 昔は底辺准教授だったかもしれないけど、今は登り詰めて日本物理学の頂点、第一人者だからね 界隈では第二の米沢富美子と呼ばれているよ ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.5 2024/06/08 Walang Kapalit ★ | Donguri System Team 5ちゃんねる