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

**１３２人目の素数さん** · 2022/01/09(日) 14:01:37.61

（前“応援”スレが、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)

**１３２人目の素数さん** · 2022/01/16(日) 15:32:05.03

>>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が全く無意味というショルツェ氏の主張はへんｗ）

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.

つづく

**１３２人目の素数さん** · 2022/01/16(日) 15:32:34.33

>>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].
(引用終り)

**１３２人目の素数さん** · 2022/01/16(日) 15:35:40.91

ω←優子のお股

**１３２人目の素数さん** · 2022/01/16(日) 16:04:53.13

>>268
どうも、スレ主です
数理論理君、頑張るの巻きか

>何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ

では、具体的に過去ログを示せ
あんたの書いた公理論的集合論とは何か、順序数とは何かを
過去ログのリンクだけで良いぞｗｗ

＞なんの教科書読んだ？

大学の教程であったよ
忘れたし、捨てた
ゲーデルの不完全性定理の解説本は、高校のときに読んだ

>読んだはおろか買ってすらおらんやろ

よく分かったな
松坂和夫「集合・位相入門」（岩波 1968）と斎藤毅「集合と位相」（東大出版会 2009）
とは、図書館で借りてきた

まあ、ざっと斜め読みしたところでは
ツェルメロの集合論を論じるには、全く足りないことが分かった
つーか、両著書とも、ZFCなどの公理的集合論ではなく、いわゆる素朴集合論の本だということだ

まあ、思うに、いまどきの（多分過去も）大学数学科の集合・位相の教程としては、素朴集合論ベースなんだろうね
ZFCベースでやったら、位相まで届くのに、何年もかかるだろうなｗ

余談だが、両著書を眺めて思うのは、やっぱ日常の数学は、素朴集合論ベースだってこと（＋圏論）
と素朴集合論の復権です

松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある
（例えば、P293 あとがきで「実は、このnaiveな定義は数学的にはななだ不完全で、この定義からはいろいろ不都合なことが出てくる」などと書かれている
　またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である（最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）

それに対して、斎藤毅は、はじめにで「公理的集合論をある程度考慮するが、それに基づく厳密な展開はとらない」と宣言している。これは、多分21世紀的な高い数学的視点からの一つの見識だと思う

なので、両者を比較して、斎藤毅の方が良い本だと分かるところまでは、読んだ
が、松坂和夫は、これはこれで良いところもあるね
とぢらかを買うならば、斎藤毅で、松坂和夫は図書館で借りて読めばいいんじゃね？

**１３２人目の素数さん** · 2022/01/16(日) 16:09:17.72

>>283 タイポ訂正

　またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である（最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）
　　　↓
　またP295 「集合論を矛盾なく建設する目的から、現代数学の他の諸部門と同様に、集合論を公理的に展開しようとしたのが、Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である（最近ではさらにGrothendieckやMacLaneなどの考案もある）」とも）

Grithendieck→Grothendieck な

**１３２人目の素数さん** · 2022/01/16(日) 16:40:16.15

>>283
アホがざっと斜め読みしてわかるはずないやろカス
数学に対するそういうクソみたいな態度がそもそもクソなんだよ
自分の事天才だとでも思ってんのか能無し？

**１３２人目の素数さん** · 2022/01/16(日) 17:06:25.58

>>284
早く>>270 >>274に答えてくれません？
>　あなたが、この問いに答えることができるならば、それを利用して、解答を作るよｗ
と言ったのもう忘れたんですか？

**１３２人目の素数さん** · 2022/01/16(日) 17:15:40.75

>>270 （>>286）
>>　解答：上記のN＝{0,1,2,・・}の元 0,1,2,・・を集合から成る列と認めるならば、右端の集合の元は何？
>最大自然数なるものはペアノの公理に反するので存在しません。

だから
右端の集合の元は、存在しないが
列 0,1,2,・・は、長さ可算無限個の列として、存在しうるってことだ

だから、カッコの可算多重列 }1}2・・}n}n+1・・も、現代数学の中で存在しうるってこと
(最大自然数なるものはペアノの公理に反するが、無限列の存在こそが、ペアノの公理によって構成されるべきものですよ)

**１３２人目の素数さん** · 2022/01/16(日) 17:17:06.73

>>285
再度問う

>何遍も何遍も何遍も能無しのお前相手に公理論的集合論とは何か、順序数とは何か証明も踏まえて説明したわ

では、具体的に過去ログを示せ
あんたの書いた公理論的集合論とは何か、順序数とは何かを
過去ログのリンクだけで良いぞｗｗ

早く答えろｗ

**１３２人目の素数さん** · 2022/01/16(日) 17:22:09.66

>>287
え？何言ってるんですか？
xの元が何か早く答えてくれませんか？

**１３２人目の素数さん** · 2022/01/16(日) 17:24:24.78

>>274にも答えてないですね
早く>>270 >>274に答えて下さい

**Antigod** (Tokyo) · 2022/01/16(日) 17:37:34.74

>>283
>>なんの教科書読んだ？
>大学の教程であったよ
大学なんて行ってないだろ？　中卒SET A

>忘れたし、捨てた
存在しないものは思い出せないし、捨てようもない

>ゲーデルの不完全性定理の解説本は、
>高校のときに読んだ
工業高校の時かね？ｗ

SET Aは昭和三十年代生まれで60過ぎだそうだから
そのころ日本語に翻訳された解説本は
ナーゲル＆ニューマンの「数学から超数学へ」（白揚社）だろう
だとすると、SET Aはゲーデルの不完全性定理を全く理解できなかったと思われる

ホフスタッターの「ゲーデル・エッシャ―・バッハ」の
第１４章まで読めていれば不完全性定理の「トリック」のタネが
理解できたはずだが、だいたいの人はそれ以前に挫折してるから
やっぱり理解できなかったはずである
「ゲーデル・エッシャ―・バッハ」はいい本だが…長すぎた

**１３２人目の素数さん** · 2022/01/16(日) 17:47:56.62

>>288
お前みたいな5ch廃人ちゃうから過去ログなんか取っとらんわ
そんな事せんでもお前が1ミリも数学の論理式理解できん能無しパープーなのはここの住人全員知っとるわバーカ

**Antigod** (Tokyo) · 2022/01/16(日) 17:51:12.10

>>283
>松坂和夫「集合・位相入門」（岩波 1968）と
>斎藤毅「集合と位相」（東大出版会 2009）とは、
>図書館で借りてきた

しっかり勉強する気なら買ったほうがいい　１か月では無理

>まあ、ざっと斜め読みしたところでは
>ツェルメロの集合論を論じるには、
>全く足りないことが分かった

ざっと斜め読みするからツェルメロの集合論の範囲であることが理解できないのだよ

>つーか、両著書とも、
>ZFCなどの公理的集合論ではなく、
>いわゆる素朴集合論の本だということだ

そもそも、素朴集合論はZFCのサブセットである

具体的にはFこと「置換公理」を用いず、その代わりに
制限された内包公理である「分出公理」を用いる集合論
したがってツェルメロの集合論である

>まあ、思うに、いまどきの（多分過去も）
>大学数学科の集合・位相の教程としては、
>素朴集合論ベースなんだろうね

ツェルメロの集合論とは別に素朴集合論が存在すると思ってる
SET Aは数学書も論理式も読めない中卒の🐎🦌

>ZFCベースでやったら、
>位相まで届くのに、
>何年もかかるだろうなｗ

半年で十分ｗ　位相とかなんとかいったって
実際には、たかだか濃度2^aleph_0程度の集合しか扱わない

まあ、突飛なネタとしてareph_1が現れる例を紹介することはあるが
集合論以外の数学で積極的に研究することはまずない

>余談だが、両著書を眺めて思うのは、
>やっぱ日常の数学は、素朴集合論ベースだってこと（＋圏論）
>と素朴集合論の復権です

素朴集合論はツェルメロの集合論である
ただ眺めるだけでは決して理解できない
論理式を読め、証明を読め

🐎🦌でも読める日本語の文章の箇所だけで妄想しても決して数学は理解できない

**Antigod** (Tokyo) · 2022/01/16(日) 17:54:11.32

>>283
>松坂和夫 1968は、素朴集合論をちょっと後ろめたく書いてある
>（例えば、P293 あとがきで
>　「実は、このnaiveな定義は数学的にはななだ不完全で、
>　　この定義からはいろいろ不都合なことが出てくる」
>　などと書かれている
>　またP295
>　「集合論を矛盾なく建設する目的から、
>　　現代数学の他の諸部門と同様に、
>　　集合論を公理的に展開しようとしたのが、
>　　Zermelo,Fraenkel,Von Neumann,Godelなどの公理的集合論である
>　（最近ではさらにGrithendieckやMacLaneなどの考案もある）」とも）

松坂は代数学者だから、集合論の公理を正確に理解してないだけで
「集合・位相入門」に書かれてることなら、ZCレベルで十分である

**Antigod** (Tokyo) · 2022/01/16(日) 17:57:07.71

>>283
>斎藤毅は、はじめにで
>「公理的集合論をある程度考慮するが、
>　それに基づく厳密な展開はとらない」
>と宣言している。
>これは、多分21世紀的な高い数学的視点からの
>一つの見識だと思う

21世紀とか高い視点とかいうのは妄想
単に非専門家による開き直りでしかない
もちろん、公理的集合論から逸脱できるほど強力な論法は
”素人”には使えるはずもないから問題ない（バッサリ）

**Antigod** (Tokyo) · 2022/01/16(日) 18:00:49.81

>>283
>両者を比較して、斎藤毅の方が良い本だと分かるところまでは、読んだ
>松坂和夫は、これはこれで良いところもあるね
>とぢらかを買うならば、斎藤毅で、
>松坂和夫は図書館で借りて読めばいいんじゃね？

実ははしがき以外読めてないだろ　SET A

それじゃ集合も位相も分からんよ

ところで、ガチなロジシャンである新井敏康氏のこんな本もあるがね
http://www.tokyo-tosho.co.jp/books/978-4-489-02249-4/index.html

ま、でも集合・位相入門なら誰の本を読んでも大して変わらん

**Antigod** (Tokyo) · 2022/01/16(日) 18:05:27.56

>>287
＞列 0,1,2,・・は、長さ可算無限個の列として、存在しうる
正確にはペアノの公理で、無限個の自然数の存在が、保証される
それは、無限個の「有限個のカッコの重なり」の存在の保証である

しかし、同様の方法で、
一つの「無限個のカッコの重なり」
・・{{・・{{{}0}1}2・・}n}n+1・・
の存在を保証することはできない

**Antigod** (Tokyo) · 2022/01/16(日) 18:12:14.37

>>280
>望月 Corollary 3.12 に関する箇所抜粋下記の通り
>望月 Corollary 3.12 を完全に導くことはできていないが、
>類似の構造はできたとしている
>と読んだ
>Corollary 3.12 を完全に導くことはできていないが、
>可能性は大きいと思う

愛国に狂ったニホンザルの妄想はイタイタシイな

>かつ、ショルツェ氏のIUT全面否定の主張とは、真逆だ

ニホンザルは頭がおかしい

ショルツェの主張のどこが、IUT全面否定なのか？

そもそも中身がないものを否定しようもないｗ

Cor3.12は予想にすぎず、ショルツェは反例を示したわけでもない

あくまでIUTによるCor3.12の証明はできていないし
望月の方法では無理だろうといってるだけ

>私は、Kirti Joshiが正しいと思う

それは望月に代わって
JoshiがABC予想を解決した
と認めることだが、
ニホンザルのSET Aは
日本がインドに完敗した
と認めるのかね？

**Antigod** (Tokyo) · 2022/01/16(日) 18:18:34.93

Corollary 3.12（系３．１２）は
Conjecture 3.12（予想３．１２）の
誤りであろう

**Antigod** (Tokyo) · 2022/01/16(日) 18:22:50.60

インド万歳！！！
https://www.youtube.com/watch?v=gQnG_T7kbtY

**１３２人目の素数さん** · 2022/01/16(日) 19:37:04.74

>>292
>お前みたいな5ch廃人ちゃうから過去ログなんか取っとらんわ

過去ログなんて、自分で取るものじゃなくてさ
5ｃｈに書けば、自然にログが残るもんだよ
どこに書いたかのスレタイの一部（特徴あるキーワード部分）＋書いた内容の記憶しているキーワードと＋”5ｃｈ”（＝5ｃｈに限定するため）
くらいで、普通にgoogle 検索でヒットするよ

で、おそらくは、あんたは全く書いてないよ
おれの記憶では、あんたはIUTスレでは、まともに数学的な内容を書いたことはないぞ！ｗ

>そんな事せんでもお前が1ミリも数学の論理式理解できん能無しパープーなのはここの住人全員知っとるわバーカ

それは否定せんが
おまえは、オレより下だぜよｗｗ

**１３２人目の素数さん** · 2022/01/16(日) 19:47:22.03

>>293
>>図書館で借りてきた
>しっかり勉強する気なら買ったほうがいい　１か月では無理

ありがとう
まあ、殆ど知っていることしか書いていない
あの事項は、この本ではどう書いているかな？　って感じで読んでいる

あと、斎藤毅の「数学原論」を読んでいると、彼の(斎藤毅) 「集合と位相」（東大出版会 2009）のこの頁のこの命題から云々て結構書いてある
いまのところ、無しでも読めているけど、一応図書館で借りてみた
結構良い本（(斎藤毅) 「集合と位相」）だと思う

”よりみち”ってのがあってね、98まであるかな
”よりみち”の多い本だがｗ、これがまた良いアジ出しているんだ
「なるほど」ってことが多い

そのうち買うかも

**１３２人目の素数さん** · 2022/01/16(日) 20:02:40.24

>>302 補足
>あと、斎藤毅の「数学原論」を読んでいると

斎藤毅の「数学原論」（東京大学出版会 2020）
はじめにで
「数学の基礎は論理的には集合論にもとづいているが
実質的には圏論的な枠組みで形づくられている。
圏論的数学観によれば、数学の対象1つ1つが独立に
存在するのではなく、同種のあるいは異種の対象との
関わりの中に存在する。」
という視点で、現代数学（の初歩）を解説しているのです
（なお、最後の第10章が「楕円曲線」となっている）

彼の(斎藤毅) 「集合と位相」（東大出版会 2009）>>302にも
はじめに　として、「20世紀後半に発展した圏論的考え方にしたがい
集合や位相空間それ自体と同じく、それらの間の写像や連続写像を重視する観点を取る」
と宣言しているので、好感がもてる

やっぱ、21世紀の数学教科書は、こうあるべきという気がする
圏論的思考ができないと、3億円望月も、IUT望月も読めないし、理解できない

**１３２人目の素数さん** · 2022/01/16(日) 20:35:15.01

>>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, ...
(引用終り)

以上

**１３２人目の素数さん** · 2022/01/16(日) 20:47:35.32

>>304
>もう答えた
「xの元は何か？」に答えてないですけど
「＜ωの左隣は何か？」にも答えてないですけど
なぜ嘘をつくんですか？答えてないですよね？

**１３２人目の素数さん** · 2022/01/16(日) 20:53:08.92

斎藤毅のアジテーションに感化されていて頭が悪い。
表面的な理解だけでは、ものにならない。

**１３２人目の素数さん** · 2022/01/16(日) 21:08:31.61

>>304
>ペアノ公理を誤解しているぞ。ペアノ公理は、自然数に最大限が無いと当時に、自然数を並べたら無限列ができることを主張しているよ（こちら主だ）
なんか笑っちゃいますね
自然数列 0,1,2,… とは恒等写像 i:N→N, i(n)=n のことですよ？
ペアノの公理は自然数が満たすべき条件を述べたものです。ペアノの公理を書いてごらんなさい。書かずに妄想するから理解できないんです。

それであなたは宿題「ZF上で自然数全体の集合Nを構成し、Nがペアノの公理を満たすことを証明せよ」を未提出ですよ？学生なら落第です。

**Antigod** (Tokyo) · 2022/01/16(日) 21:18:06.90

>>304
１．無限列ができたからといってωができたとはいわないが
２．→0は逸脱だね　馬鹿はすぐ逸脱して間違うね　脳味噌ないの？
３～４．関係ないね　いい加減、∞番目の箱がないって気づこうね
５～６．Vωがあるからといって「可算多重の重なり」もあるとは言えないね
自然数と同じだけシングルトンが存在するのは🐎🦌でもわかる
中卒ニホンザルの君はそこから間違った一歩を進めて
肥壺に落ちて💩塗れで溺死した　

可算無限個の箱に∞番目の箱はない
1/1,1/2,1/3,・・,1/n,・・に1/∞=0はない
君はないものをあると妄想して💩の中で溺死したんだ
ま、そのまま腐って💩になりはててしまえｗ

**Antigod** (Tokyo) · 2022/01/16(日) 21:20:41.13

>>303
圏論は別に集合論から逸脱してない

大きな圏が集合ではなく固有クラスになるということが
即「圏論は集合論より強力である」ことを意味してると
思うなら正真正銘の🐎🦌野郎

**１３２人目の素数さん** · 2022/01/16(日) 22:11:19.42

　
　
　
共通テスト二日目も試験担当を外された
底辺准教のお人形さんごっこでスレが埋まった
　
　
　
　

**１３２人目の素数さん** · 2022/01/16(日) 22:18:54.11

>>310
今からオナニーして寝ます
ちょいブス女のヌードが最近のお気に入りです

**１３２人目の素数さん** · 2022/01/16(日) 22:48:40.45

>>306
>斎藤毅のアジテーションに感化されていて頭が悪い。

ありがとう
半分はそうかもね
で、斎藤毅の代案は？　何かある？

>表面的な理解だけでは、ものにならない。

まあ、「ものにならない」「ものになる」の定義しだいかも
おれは、いまさら数学をものにしようという意図ないし
望月IUTをちょっとかじってみようという準備で、斎藤毅「原論」を見ているだけ（歯が立たないかもだが）

**１３２人目の素数さん** · 2022/01/16(日) 22:55:04.68

というか斎藤も松坂も集合論の本じゃなくね？
集合論の教科書ってキューネンのオレンジの本とか竹内外史の現代集合論入門とかそういう奴だと思った

**１３２人目の素数さん** · 2022/01/16(日) 23:10:00.85

>>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（添え字）が存在します
QEDｗ
以上

**１３２人目の素数さん** · 2022/01/16(日) 23:17:16.86

>>314
御託はいいのでズバリ答えて下さい
「xの元は何か？」「＜ωの左隣は何か？」

**１３２人目の素数さん** · 2022/01/16(日) 23:27:54.90

>>313
>というか斎藤も松坂も集合論の本じゃなくね？
>集合論の教科書ってキューネンのオレンジの本とか竹内外史の現代集合論入門とかそういう奴だと思った

ありがとう
いまどき、「集合論」といっても、その世界は広い
何を目的に学ぶのかと、自分の立ち位置が問題（学生なのか院生なのかそれ以上なのか、逆に趣味かｗ）

キューネンとか竹内外史の現代集合論入門とかは、完全に” Logician”（下記竹内にある）向けでしょ？
いわば、新井紀子、新井敏康ご夫妻レベルを目指す人向けでしょ

これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う
それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね？
（素朴集合論＋圏論になると思うが）

(参考)
https://www.nippyo.co.jp/shop/book/5237.html
現代集合論入門（日評数学選書）［増補版］
発刊年月 1971.10
内容紹介
公理的集合論の初等的な部分を、著者独特の名調子で解説する、異色の入門書。増補版刊行にあたり、大発展しつつある現代の集合論の状況について、コンパクトに分かりやすく解説した記事二篇を収録した。
目次
序章 Logicians小伝
第1章プール代数について
第2章公理的集合論
第3章集合論の展開
第4章マルチンの公理
付録1 現代集合論のめざましい発展
付録2 数学の最前線/集合論とその周辺

**１３２人目の素数さん** · 2022/01/16(日) 23:34:21.23

>>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・・なる訳の分からないモノの存在を認めているなどとはどこにも書かれてませんよ。嘘はいけませんね。どうして嘘つくのですか？

**１３２人目の素数さん** · 2022/01/16(日) 23:39:17.88

そもそも天羽さんは監督"させる"立場だからね
天羽さん程の教授になるとそんなバイトでも出来るようなショボい仕事はする必要が無い

**１３２人目の素数さん** · 2022/01/16(日) 23:39:21.29

ω←優子のまんまん

**１３２人目の素数さん** · 2022/01/16(日) 23:45:10.32

>>316 補足
>これとは別に、” Logician”でなく、代数系とか解析系とか、あるいはIUTのような数論幾何とかの基礎としての集合論があると思う
>それは、上記とは別の素朴集合論ベースで、斎藤や松坂などじゃね？

前にも書いたが
「位相空間」の教科書として、空集合から始める人は居ないでしょ？

「位相空間」やるなら
素朴集合論ベースで、実数Rか、その前の有理数Qか、いっそN,Z,R,C全部そろいましたから始めれば良いんじゃね？
その前段の空集合から、N→Z→Q→R→Cのところは手っ取り早く、進めれば良い

斎藤毅>>303がこの流儀で、P92 「2.9 空集合から有理数まで」として、だいたい3頁強で、有理数体Qまで導出している
使っているのは、数学的帰納法のみ。無限公理もペアノ公理も出てこない。選択公理は使っているけど、厳密には可算選択公理だが、細かいことはスルーしているね

これはこれで、割り切って良いと思う

**１３２人目の素数さん** · 2022/01/16(日) 23:51:41.20

>>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より）ってことです

**１３２人目の素数さん** · 2022/01/17(月) 00:31:31.63

>>321
>ZermeloのAXIOM VII. Axiom of infinity (Axiom des Unendlichen) は
>0={}
>1={{}}
>2={{{}}}
>　・
>　・
>として、
>順序数としての全ての自然数Nの元を尽くすってこと
>それを認めているんだ
どの自然数Nの元にも最外カッコが有りますよ？
一方・・{{・・{{{}0}1}2・・}n}n+1・・には有りません。

ご自分が何を言ってるか理解できてますか？

**１３２人目の素数さん** · 2022/01/17(月) 00:35:04.00

>>321
それで・・{{・・{{{}0}1}2・・}n}n+1・・の元は何ですか？
まだ答えてもらってませんよ？
解答書くとご自分でおっしゃったこと、もう忘れたんですか？

**１３２人目の素数さん** · 2022/01/17(月) 00:44:45.25

>>321
そもそも
∃Z({}∈Z ∧ ∀a∈Z⇒{a}∈Z)
を見れば分かる通り、Zが持つべきとされているのは{}または{a}の形の元ですよ？
・・{{・・{{{}0}1}2・・}n}n+1・・はどちらの形の元でもありません。

一体あなたは無限公理の何を理解できたつもりなんですか？

**１３２人目の素数さん** · 2022/01/17(月) 01:27:03.06

疑問文3連投はバカの底辺准教の特徴

まともな人間は疑問文を連続3連投もせず
簡潔に意見を記す

**１３２人目の素数さん** · 2022/01/17(月) 01:31:07.24

>>279 > ωの前者っていうとsurreal思い出す

然しωには
（自身に後者関数演算を施して得られる序数で『ある』）後続序数は存在する一方で
（自身に前者関数演算を施して得られる序数で『ない』）先達序数は存在せんのか？
じゃあ超現実数としては存在するω-1は序数ではないと考えるべきなん？
（先達序数は我流仮称に就き適宜に読み替えられたし)

1+ωとω+1の違いや1+ω=ω<ω+1に就き交換則不成立の理屈の土台と成る超限序数を見知ってるだけで
知り熟しとらん儂が尋ねるのは年甲斐も無いどころかガキの児戯に等しい程度でさえ無く
ガキの児戯と比しても劣る滑稽な行為で在る事は分かっとる｡

**１３２人目の素数さん** · 2022/01/17(月) 01:38:11.09

■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

**１３２人目の素数さん** · 2022/01/17(月) 03:03:43.05

>>327
ため息が出るほど美しい

**１３２人目の素数さん** · 2022/01/17(月) 06:48:54.02

>>321　が誤り
>>322　が正しい
SET A君はさすが素人
集合論の公理、一つも知らないんだね

**１３２人目の素数さん** · 2022/01/17(月) 06:55:46.62

>>328
底辺准教天羽優子が荒らしと確定

**１３２人目の素数さん** · 2022/01/17(月) 06:57:23.75

>>329
キモ顔底辺准教の書き込みは365日同じ話の繰り返しでバカでもできるストーキング芸でしかないね

山形大学はそのレベルの犯罪者が教員になれるとは爆笑

**１３２人目の素数さん** · 2022/01/17(月) 07:21:43.86

>>331
どうも、スレ主です
荒らし退治、取り締まり、ありがとう

**１３２人目の素数さん** · 2022/01/17(月) 07:52:13.43

>>280

・いまからIUTを、本格的に勉強しようという人は、このKirti Joshiを眺めた方が良いだろう。IUTがやろうとしている意図が見える
・あと、南出論文の改良、”南出論文∩+α” で、なにか+αで、明示公式の範囲を狭く改良できれば良い。+αは、何でもあり。とにかく、∩でなんか付け加えれば、改良できる
・なお、ABC予想から導かれるとされていた幾つかは、まだ手つかずで残っている気がする（>>244 ABC予想得られる結果の例 https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3)

**１３２人目の素数さん** · 2022/01/17(月) 08:26:45.89

Kiri Josh氏は望月さんの仕事に触発されているけれども、自分の仕事は全く別の考えたちを土台にしているとわざわざいっているのが面白いな。
Ellenberg氏はJosh氏の仕事はより主流に近いものだとしている。
そろそろ望月さん業績の位置づけが進みそうだ。

**１３２人目の素数さん** · 2022/01/17(月) 10:26:55.97

>>334
どうもです
スレ主です
レスありがとう

>Ellenberg氏はJosh氏の仕事はより主流に近いものだとしている。
>そろそろ望月さん業績の位置づけが進みそうだ。

そうだね
そして、もう望月IUTを乗り越えて行こうっていう動きだね
Josh氏もそうだし、フェセンコ先生も、そういう動きだね

>Kiri Josh氏は望月さんの仕事に触発されているけれども、自分の仕事は全く別の考えたちを土台にしているとわざわざいっているのが面白いな。

西洋流でしょうね
人の後追いじゃない！
オリジナリティはここというアピールを忘れない

**１３２人目の素数さん** · 2022/01/17(月) 11:39:08.80

>>327
あグロ

**１３２人目の素数さん** · 2022/01/17(月) 11:40:02.01

>>20

**１３２人目の素数さん** · 2022/01/17(月) 15:26:05.74

数学の教科書開いた事ないくせに今からiutに手をつける人間にアドバイスするクズ一名

**１３２人目の素数さん** · 2022/01/17(月) 16:36:45.40

>>338
数理論理君か
あんた、大局と戦略間違っているよ

間違いその１、５ｃｈで一人前に数学やった気になっている
間違いその２、高校数学にレスして、一人前に数学やった気になっている

数学が、あなたの仕事として成り立っていないよね
定職ないんだろ？朝から晩まで、５ｃｈ数学板かね

http://hissi.org/read.php/math/20220117/aWdzQkxkeE8.html
必死チェッカーもどき
ID:igsBLdxO

書き込んだスレッド一覧
１３２人目の素数さん

面白い数学の問題おしえて～な 40問目
Inter-universal geometry と ABC予想 (応援スレ) 64
分からない問題はここに書いてね 470

書き込みレス一覧
面白い数学の問題おしえて～な 40問目
215 ：１３２人目の素数さん[]：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)になるのがとても心地よい

**１３２人目の素数さん** · 2022/01/17(月) 17:31:41.74

>>339
数学の教科書まるで読んだ事ない人間のくせして懸命に数学の世界で頑張ってる人間に「アンタ間違ってる」と謎の上から目線
数学という学問に一切の畏敬の念も持たないクズ

**１３２人目の素数さん** · 2022/01/17(月) 21:13:19.42

>>340
どうも、スレ主です
ID:Z2aplBry氏か、下記見ると数理論理君だね

IDが、>>338-339のID:igsBLdxOと変わっているけど、
たまに午後4時ころ変わったりするときがあるからそれだね

ID:Z2aplBry氏とID:igsBLdxO氏の発言の時間帯は、完全に分離されているから、同一人物と考えて良さそうだし
「さらにアホなんだよパープー」（下記）の”パープー”が、>>292の発言でも使われているからね

あんたの発言が受けないのは、自分が数学的に意義ある発言ができないばかりか、他人のこき下ろし発言ばかりでしょ
そりゃ、「鼻つまみ者」になるよね

ところで、定職がないなら、数学解説のYuotube でもやったらどうだ？ 5ｃｈでなく
数学解説のYuotube で稼いでいる人いるよ。Yuotube は収入になるらしい

5ｃｈで「分からない問題はここに書いてね」に、いくら書いても、お金にならんぜ
そういう意味でも、大局と戦略間違っていると思うよ

(参考)
http://hissi.org/read.php/math/20220117/WjJhcGxCcnk.html
必死チェッカーもどき
ID:Z2aplBry
書き込んだスレッド一覧
１３２人目の素数さん
Inter-universal geometry と ABC予想 (応援スレ) 64
分からない問題はここに書いてね 470
dx dy の意味は？★２

書き込みレス一覧
Inter-universal geometry と ABC予想 (応援スレ) 64
340 ：１３２人目の素数さん[]：2022/01/17(月) 17:31:41.74 ID:Z2aplBry
>>339
数学の教科書まるで読んだ事ない人間のくせして懸命に数学の世界で頑張ってる人間に「アンタ間違ってる」と謎の上から目線
数学という学問に一切の畏敬の念も持たないクズ

分からない問題はここに書いてね 470
237 ：１３２人目の素数さん[]：2022/01/17(月) 17:57:25.29 ID:Z2aplBry
>>236
教科書に載ってる文章だろうがなんだろうが>>235を読んで「ああ、そうだ、その通り」って思えないからさらにアホなんだよパープー

分からない問題はここに書いてね 470
240 ：１３２人目の素数さん[]：2022/01/17(月) 18:19:50.43 ID:Z2aplBry
先人に対してなんの畏敬の念も持てないクソ

**１３２人目の素数さん** · 2022/01/17(月) 21:17:30.97

>>341 タイポ訂正

ところで、定職がないなら、数学解説のYuotube でもやったらどうだ？ 5ｃｈでなく
　　↓
ところで、定職がないなら、数学解説のYouTube でもやったらどうだ？ 5ｃｈでなく

あと
ご参考
https://manekomi.tmn-anshin.co.jp/shigoto/17364091
【2021年最新版】YouTubeで稼ぐために必ず知っておきたい５つのポイント
2020.6.10
ライター山本杏奈

**１３２人目の素数さん** · 2022/01/17(月) 23:33:50.35

>>341
早く「xの元は何か？」「＜ωの左隣は何か？」に答えてもらえませんか？
なんで答えないんですか？

**１３２人目の素数さん** · 2022/01/17(月) 23:55:02.00

>>341 補足
>数学解説のYuotube で稼いでいる人いるよ。Yuotube は収入になるらしい

参考ヨビノリたくみ氏
https://newswitch.jp/p/30246
難解な物理・数学を解説。博士課程からYouTuberへの転身を聞く
【連載】転換点 #4　YouTuber・ヨビノリたくみ氏
2022年01月04日トピックス

https://images.newswitch.jp/images/i2rAbiuHccyy2qnckEvBhR0oEAmgsONzWLL3BsFf.jpeg

登録者８４万人、物理や数学などを解説する教育系ユーチューバーとして有名なたくみさん。「予備校のノリで学ぶ『大学の数学・物理』」（ヨビノリ）のチャンネルで活動している。研究者を目指した博士課程からの転身のきっかけと、今後について聞いた。

―ＹｏｕＴｕｂｅを始めた経緯を教えてください。

https://dime.jp/genre/1099555/
チャンネル登録者65万人の大人気教育系YouTuberヨビノリたくみが明かす人生最大の計算ミス
2021.03.16 ビジネス
　YouTuberの中でもほんの一握りの者にしか到達できない「1000万回再生」の壁――。今年2月、「中学数学からはじめる相対性理論」という一本の動画がその壁を超えた。投稿した「予備校のノリで学ぶ『大学の数学・物理』」のたくみ氏には、動画内では語らない熱い使命感と並々ならぬ強いこだわりがあった。＠DIMEにだけ打ち明けてくれた、彼の「動画にかける想い」を独占公開！！

https://dime.jp/genre/files/2021/03/S__34144338.jpg

つづく

**１３２人目の素数さん** · 2022/01/17(月) 23:55:32.74

>>344
つづき

底辺YouTuberになると思っていたら……
　東京大学大学院の博士課程で理論物理学を研究していた僕がYouTubeを始めたきっかけは、一言で言ってしまえば「研究者になれなかったときのためのリスクヘッジ」です。博士の学位をとったからと言って、必ずしも研究者として食べて行けるわけではありません。別の道に進もうと思っても、そのときにはすでに30歳近くになってしまっています。

　博士課程に進学したとき、学術振興会特別研究員というものに運良く採用され、国からお金をいただく代わりに副業が禁止となり、大学入学以来ずっと続けていた予備校講師を辞めることになりました。それでも、学位の取得後に予備校講師としての道を残しておくために「YouTube」という場所で名を売っておこうと考えたわけです。

　YouTubeを始めたきっかけは、それだけではありません。気になっていたのは「理系大学生の理系離れ」です。高校生の頃まで大好きだった数学や科学も、大学に入って授業が全く理解できずに嫌いになってしまう大学生が多く存在します。彼らにわかりやすく、そして面白く「大学の数学・物理」を伝えたいと思い、そのアウトリーチ活動の一環として、YouTubeチャンネル『予備校のノリで学ぶ「大学の数学・物理」』が生まれました。

　YouTuberになる前に、「上手く行ったとしたら登録者は何人ぐらいになるだろう」というフェルミ推定をしました。日本の理系大学生の数は約80万人と言われており、そのうち数学や物理がしっかりと必要になる学生は20%ぐらいです。その中でYouTubeで勉強するほどやる気のある学生は多く見積もっても10%ほどでしょうから、彼らが全員チャンネル登録したとしても、その数は1.6万人ほどです。テレビ番組では底辺YouTuberと言われてしまう部類です(笑)

　しかし蓋を開けてみると、先取り学習に使う中学生や高校生、そして何よりも大きかったのが「学び直し」で見てくださる大人の視聴者の方でした。その結果、今では登録者は60万人を超え、僕の見積もったフェルミ推定(※)は人生で最大の計算ミスとなったわけです。

※フェルミ推定／実際には調べることが難しい数量を、別の数量をもとに論理的に見積もること。
(引用終り)
以上

**１３２人目の素数さん** · 2022/01/17(月) 23:55:38.59

底辺准教のひとはやたらVtuberムーブメントに乗っかろうとしているね
自身は一日中匿名掲示板で暴れて無知蒙昧を晒す知的障害者状態な上に、容姿コンプレックス、
ストーキング相手は全員無職だと決めつけてVtuberをヤレと言い出すのは
全部本人の職場内失業状態の外部投影だね

**１３２人目の素数さん** · 2022/01/18(火) 00:03:27.98

>>345
答えないなら「分からない」とか「間違ってた」とか言えませんか？
三歳児じゃないんだから

**１３２人目の素数さん** · 2022/01/18(火) 00:07:24.59

【山形キチガイジおばさん速報】超長期ハラスメント・ストーカー天羽優子@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を付けられ担当女性教員と大学
　相手に揉めて風俗で本番強要をしていた事がバレて退
　学となり失意のあまり飛び降り自殺したものの死にき
　れず顔面を般若のような奇怪な風貌になるまでに損傷
　し精神にも異常をきたし自らをびザリガニマンと呼び
　担当女性教員に嫌がらせを受けていると語るのだが周
　囲の人間にはただの思い込みとしか映らずボロを纏い
　その下は赤褌一枚で街を歩きつつ自分は「神」であり
　「魂のふるさと」であるという長野在住のおじさん専
　用の「愛」と「正義」を説き続けるスレです

**１３２人目の素数さん** · 2022/01/18(火) 06:14:52.64

>>333 >>335 SET A氏は日本を諦めてインドに寝返ったらしい
>>339 >>341 SET A氏は初等的な積分すら計算できなくてムカついてるらしい
>>344 >>345 SET A氏はYoutuberになりたいらしい

**１３２人目の素数さん** · 2022/01/18(火) 06:19:28.70

SET Aに答えられない質問

１．ωの前者は？
２．無限列　０＜・・・＜ω　の、＜ωの左の項は？
３．”集合？”・・・{{・・{{{}0}1}2・・}n}n+1・・｝の要素は？

**１３２人目の素数さん** · 2022/01/18(火) 11:02:38.43

>>344
>登録者８４万人、物理や数学などを解説する教育系ユーチューバーとして有名なたくみさん。
>チャンネル登録者65万人の大人気教育系YouTuberヨビノリたくみ

ユーチューブの稼ぎの仕組みがわからんけどｗ
フェルミ推定ｗをしてみる。下記のランキングより、登録者数と年収に線形の相関があるとして
登録者1万人で、数十万円らしい
いま、簡単に、50万円とすると、８４万人だと、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万人

**１３２人目の素数さん** · 2022/01/18(火) 12:27:48.52

>>348
ザ☆あグロ

**１３２人目の素数さん** · 2022/01/18(火) 12:28:18.93

>>20

**１３２人目の素数さん** · 2022/01/18(火) 12:59:25.84

一々グロって安価してモザイクかけさせようとするのなかなか健気ね

**１３２人目の素数さん** · 2022/01/18(火) 23:17:55.35

>>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)

**１３２人目の素数さん** · 2022/01/19(水) 02:19:11.80

>>350
>SET Aに答えられない質問
代わりに答えましょう

>１．ωの前者は？
ありません。ωは極限順序数ですから。

>２．無限列　０＜・・・＜ω　の、＜ωの左の項は？
ωより小さい順序数は自然数に限られます。よって左の項は自然数です。
任意の自然数ｎに対して０＜・・・＜ｎ＜ωは有限列です。

>３．”集合？”・・・{{・・{{{}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・・・}ωは存在しません。

**１３２人目の素数さん** · 2022/01/19(水) 06:03:47.51

>>351 >>355 SET A 無限についての初歩的質問すら答えられず　終わったな

**１３２人目の素数さん** · 2022/01/19(水) 12:03:03.90

元々教科書開いた事すらないんだから始まってすらいない

**１３２人目の素数さん** · 2022/01/19(水) 12:04:24.36

　
　
　
底辺准教のお人形さんごっこで埋まるスレ　
　
　
　
　

**１３２人目の素数さん** · 2022/01/19(水) 12:41:32.36

>>359
ttps://gendai.ismcdn.jp/mwimgs/4/4/640m/img_4467a778e3d06f08e8ff433b680842cc194863.jpg

**１３２人目の素数さん** · 2022/01/19(水) 19:45:02.33

単に答えられないだけならいいが、答えると大見え切ってたよな
これはハズい

**１３２人目の素数さん** · 2022/01/20(木) 02:47:03.52

なんだよセタ
結局、無限列「０＜・・・＜ω」も無限重シングルトン「{・・・{{・・{{{}0}1}2・・}n}n+1・・・}ω」も存在しねーじゃねーか
なぜ間違いを認めない？　おまえは三歳児か

**１３２人目の素数さん** · 2022/01/20(木) 04:54:31.74

　
　
　
底辺准教氏、毎日同じ話を繰り返すメンヘラとバレて
相手にされなくなる
　
　
　
　
惨め

**１３２人目の素数さん** · 2022/01/20(木) 06:15:46.27

セタが創造したω重シングルトンの定義一連はω矛盾

> 「ZFC内で証明できないけど、存在するぞ！」なんて論法が、通用するのが21世紀の数学なのです（ちょっと誇張していますが）

この様に『定義の仕方により何でもござれに出来るのが21世紀の数学』と無再現無節操を尊ぶ思想がω矛盾を導く

**１３２人目の素数さん** · 2022/01/20(木) 06:30:16.81

　
　
　
本日も底辺准教の繰り言
　
　
　

**１３２人目の素数さん** · 2022/01/20(木) 06:37:15.41

数学板内ω矛盾投稿四天王
4位 β（『e'=e、eは微分しても変わらない不思議な定数』『3<∞、∞は3より大きい』)
3位バカボンパパ（『履歴に残せば0=1になる』『0.999…=1は数学での約束事で実際は0.999…≠1』『0除算もできず0.999…=1になる数学は学問としてまだまだって事です』)
2位高木（「完全に正しいのにまた不当にリジェクトされました」「論文を書くのはエネルギーが必要なんだから些末を揚げ足取るのは不当」)
1位セタ（21世紀の数学は定義の仕方によって何でも可能)

ぎゃあああ、いつの間にかω矛盾マンだらけだあああ、たぁ～すけてくれ～猿魔大王～

**１３２人目の素数さん** · 2022/01/20(木) 07:57:44.23

>>356
＞> ２．無限列　０＜・・・＜ω　の、＜ωの左の項は？
＞ωより小さい順序数は自然数に限られます。よって左の項は自然数です。
＞任意の自然数ｎに対して０＜・・・＜ｎ＜ωは有限列です。

なんだ、おサルかい>>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) とも呼ばれる。
・有限半順序集合は昇鎖条件と降鎖条件を満たす。
・降鎖条件を満たす全順序集合は整列集合と呼ばれる。
(引用終り)
以上

**１３２人目の素数さん** · 2022/01/20(木) 08:19:38.18

>>368
>降鎖と昇鎖の区別がついていない

SET A　無限列　０＜・・・＜ω　は　降鎖条件を満たさないと認める

だったら”＜ω”と書いてはいけなかったね
列中、ｘ＜ωとなるｘはないのだから

**１３２人目の素数さん** · 2022/01/20(木) 08:28:53.62

>>366
>（21世紀の数学は定義の仕方によって何でも可能)

つー、逆数学
20世紀の古い頭の人がいる。その名はおサル>>7 ｗ

(参考)
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　参考文献
(引用終り)
以上

**１３２人目の素数さん** · 2022/01/20(木) 08:30:54.76

>>368

　>>367より
「・「無限に続く真の上昇／下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖／降鎖列が存在しない」（つまり列の長さの最大値が存在する）というものがある。」
この部分を、百回音読してくださいｗ

**１３２人目の素数さん** · 2022/01/20(木) 08:59:46.65

>>370
SET A　ここ百回音読した？

>…と少し異なるそれよりも強い条件として、…

つまり「無限に続く真の上昇／下降列がない」からといって
列の長さの最大値が存在する、とはいえない
「任意に長い真の昇鎖／降鎖列が存在する」場合はもちろんある

**１３２人目の素数さん** · 2022/01/20(木) 09:54:13.19

>>363
話についていけなくなると底辺准教の書き込みにすり替えるすり替え受験がバレて退学になった人

惨め

**１３２人目の素数さん** · 2022/01/20(木) 10:48:48.67

　
　
　
テキトーに底辺准教に刺さるキーワードを書けば

発狂して底辺准教天羽優子@apjのハラスメントストーキングの実態が可視化できるから超便利
　
　
　

**１３２人目の素数さん** · 2022/01/20(木) 11:05:15.42

昔は底辺准教授だったかもしれないけど、今は登り詰めて日本物理学の頂点、第一人者だからね
界隈では第二の米沢富美子と呼ばれているよ

**１３２人目の素数さん** · 2022/01/20(木) 11:08:08.43

>>370-371
>「・「無限に続く真の上昇／下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖／降鎖列が存在しない」（つまり列の長さの最大値が存在する）というものがある。」

スレ主です

いま、単純に（全順序の）実数列とするよ
まず、大前提として
１）昇鎖（上昇列） a1 < a2 < a3 < ... (>>367)
２）降鎖（下降列） a1 > a2 > a3 > ... (>>367)
３）単なる列：例えば、1,2,3, ...とか、1/1,1/2,1/3, ...とか

この１）、２）、３）の区別
つまり
昇鎖、降鎖、単なる列の３つの区別

出来ていますか？ｗ
出来てないでしょ？ｗｗ

**１３２人目の素数さん** · 2022/01/20(木) 11:49:25.53

山形で逆レイップされてみたい

**１３２人目の素数さん** · 2022/01/20(木) 12:08:05.04

ω矛盾を逆数学とか21世紀の数学とか宣うSetAの愚かさよ…

**１３２人目の素数さん** · 2022/01/20(木) 12:54:25.74

本当にω矛盾理解してるんだろうかこの子

**１３２人目の素数さん** · 2022/01/20(木) 15:01:15.91

>>376
>昇鎖、降鎖、単なる列の３つの区別
>出来ていますか？
>出来てないでしょ？

「馴れ寿司」SET Aは
「昇鎖（上昇列） 0 < 1 < 2 < ...　<　ω　は
　降鎖（下降列） ω > x > y > ... > 0　とはできない！」
といいたいの？

それは君以外の数学板読者みんながわかっていて
何度も何度も何度も何度も言ってることだから
君がやっと諦めて受け入れたのなら、こういうだけ

「よかったな、ニホンザル！」

https://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%9B%E3%83%B3%E3%82%B6%E3%83%AB
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
ニホンザル（学名：Macaca fuscata）は、
哺乳綱霊長目オナガザル科マカク属に分類される霊長類。

分布
日本（本州、四国、九州および周辺の島嶼、屋久島）。
種子島、茨城県では絶滅。
ヒトを除いた霊長目の現生種では、最も北（下北半島）まで分布する。

形態
頭胴長（体長）
　オス53 - 60センチメートル、メス47 - 55センチメートル。
尾長　
　オス7 - 11センチメートル、メス6 - 11センチメートル。
体重
　オス6 - 18キログラム、メス6 - 14キログラム。
東北地方や中部地方山岳部の個体群は、西日本の個体群よりも大型
（例として志賀高原個体群は幸島個体群の倍近く体重がある）。
体毛は寒冷地では長く密に被われ、温暖地では短く薄く被われる傾向がある。
背面の毛衣は赤褐色や褐色、腹面の毛衣は灰色。
種小名 fuscata は「暗色がかった」の意。
顔や尻は裸出し、赤い。
幼獣は体毛が密に被われるが、成長に伴い密度は低くなる。
オスは犬歯が発達する。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－