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

**１３２人目の素数さん** · 2021/12/08(水) 12:26:09.02

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ： Inter-universal geometry と ABC予想 (応援スレ) 61
https://rio2016.5ch.net/test/read.cgi/math/1636122558/
詳しいテンプレは、下記旧スレへのリンク先ご参照
（手抜きです。）
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)

**１３２人目の素数さん** · 2021/12/10(金) 14:36:48.59

>>71
> そして、この極限の存在は、レーベンハイムスコーレムで保証される
されません。
列1,2,3,...が収束しないのとまったく同じ理由で列{},{{}},{{{}}},...も収束しません。
バカは数学板書き込み禁止な。

**１３２人目の素数さん** · 2021/12/10(金) 15:03:54.41

>>71
https://rio2016.5ch.net/test/read.cgi/math/1595034113/533
＞おっさん、無限シングルトン否定派なん？　人間止めたいのか？
あんた、ニンゲンのつもりなん？　ワロスｗｗｗｗｗｗｗ

**１３２人目の素数さん** · 2021/12/10(金) 17:00:55.16

>>81
>>>無限重シングルトン：　S∞：＝ lim n→∞ Sn とする
>>この極限はどういう定義ですか？
>e^x のマクローリン展開（極限）
>あるいは、x=1としたネイピア数 e の有理数の極限と同じだよ

つまりコーシー列で定義される、と
シングルトンのコーシー列って何ですか？

>>81
>おっと、極限の定義を書いてくれと言われそうだね
>まず、e^x のマクローリン展開（極限）や、
>x=1のネイピア数 e の有理数の極限について
>あなたが理解できるこれの極限を書いてみてね。
>それと同じだと分かるよ
>もし同じだと分からないなら、
>それを出発点として説明するよ

つまり実数間に距離があるのと同じく
シングルトン間にも距離がある、と
シングルトン間の距離の定義って何ですか？

>>81
>普通に、e^x のマクローリン展開（極限）や、
>x=1のネイピア数 e の有理数の極限の定義が分からないならば
>同様に、”無限重シングルトン：　S∞：＝ lim n→∞ Sn”の
>極限の定義は分からないと思うからね

念のためにお尋ねしますが、
実数の極限の定義はご存じですか？