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

（前“応援”スレが、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スレの中では このスレ立ては最初だったのです！（＾＾；）

つづく
https://twitter.com/5chan_nel (5ch newer account)

>>247-248　
こりゃダメだ
IUT48のコピペ芸
https://www.youtube.com/watch?v=xUoaypYO7yo&;ab_channel=YungEibong

昨日のダイジェスト
★「有限シングルトンの列のコンパクト化として、可算多重の{{{...}}}ωが存在する」
☆「一点コンパクト化で追加する一点なら、そもそも有限シングルトンの列自身でよくね？」

昨日のこぼれ話

>世間では、いまどき、マッチなんて売っていないし、
>町に出てもマッチなんて見る機会がないよ
>”マッチ”は、殆ど死語でしょ？
そだな
https://www.youtube.com/watch?v=UUOF_rVgBvI&;ab_channel=cwp48

>>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→∞となっているってこと
つまり、0,1,2・・,ωを実現しているってこと

よって、ツェルメロの(>>210)「後者関数として、aの後者{a}」の極限 n→∞として、
{{{...}}}ωが存在することに、意味があるんだよ