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

Inter-universal geometry と ABC予想 (応援スレ) 73 (882ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

1: １３２人目の素数さん [] 2025/07/20(日) 17:27:32.00 ID:JxJPBISF

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 72
https://rio2016.5ch.net/test/read.cgi/math/1721915133/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
https://www.kurims.kyoto-u.ac.jp/~motizuki/
望月新一＠数理研
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周中鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop  MFO-RIMS   Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/1

865: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/20(水) 16:34:32.47 ID:n7uBTsIt

>>681
>整列可能定理の証明の方法で可算集合Xの整列順序を作るには選択関数f:2^X-{}→Xが必要。且つ|2^X-{}|は非可算。よって可算選択公理は役に立たない。
>一方で全単射g:N→Xが存在するからg(0)<g(1)<・・・で整列順序<を定義可能。（よって整列可能定理の証明の方法を取る必要が無い。よっていかなるタイプの選択公理も不要。）

中高一貫生も来る可能性があるので、赤ペン先生をしておく
まず
(参考)>>671-672より再録
１）下記 可算選択公理 Axiom of countable choice ACω は
　”Application of ACω yields a sequence (Bn) n∈N ”
　つまり ω長さの sequence (Bn) n∈N を作る能力がある
２）一方 Axiom of dependent choice DC は 下記
　”The axiom of dependent choice implies the axiom of countable choice and is strictly stronger.[4][5]
　It is possible to generalize the axiom to produce transfinite sequences.
　If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.”
３）要するに、DC は ACωより強力で ωを超えて ”produce transfinite sequences”だ
　また ”If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.”
　ってこと。つまりは、種々の選択公理の能力は、生成できる列長さで 測ることができる■
https://en.wikipedia.org/wiki/Axiom_of_countable_choice
Axiom of countable choice
The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function.
Applications
ACω is particularly useful for the development of mathematical analysis, where many results depend on having a choice function for a countable collection of sets of real numbers.
Example: infinite implies Dedekind-infinite
As an example of an application of ACω, here is a proof (from ZF + ACω) that every infinite set is Dedekind-infinite:
Let X be infinite. For each natural number n, let An be the set of all n-tuples of distinct elements of X.
Since X is infinite, each An is non-empty.
Application of ACω yields a sequence (Bn) n∈N where each Bn is an n-tuple.
One can then concatenate these tuples into a single sequence (bn)n∈N of elements of X, possibly with repeating elements.
Weaker systems
Paul Cohen showed that ACω is not provable in Zermelo–Fraenkel set theory (ZF) without the axiom of choice. However, some countably infinite sets of non-empty sets can be proven to have a choice function in ZF without any form of the axiom of choice.
For example, Vω∖{∅} has a choice function, where Vω is the set of hereditarily finite sets, i.e. the first set in the Von Neumann universe of non-finite rank.
The choice function is (trivially) the least element in the well-ordering.
つづく

http://rio2016.5ch.net/test/read.cgi/math/1753000052/865

866: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/20(水) 16:34:57.19 ID:n7uBTsIt

つづき

Another example is the set of proper and bounded open intervals of real numbers with rational endpoints.
ZF+ACω suffices to prove that the union of countably many countable sets is countable. These statements are not equivalent: Cohen's First Model supplies an example where countable unions of countable sets are countable, but where ACω does not hold
https://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Axiom of dependent choice
In mathematics, the axiom of dependent choice, denoted by
DC, is a weak form of the axiom of choice (AC) that is still sufficient to develop much of real analysis. It was introduced by Paul Bernays in a 1942 article in reverse mathematics that explores which set-theoretic axioms are needed to develop analysis.[a]
Relation with other axioms
Unlike full AC, DC is insufficient to prove (given ZF) that there is a non-measurable set of real numbers, or that there is a set of real numbers without the property of Baire or without the perfect set property. This follows because the Solovay model satisfies ZF+DC, and every set of real numbers in this model is Lebesgue measurable, has the Baire property and has the perfect set property.
The axiom of dependent choice implies the axiom of countable choice and is strictly stronger.[4][5]
It is possible to generalize the axiom to produce transfinite sequences.
If these are allowed to be arbitrarily long, then it becomes equivalent to the full axiom of choice.
https://ja.wikipedia.org/wiki/%E5%BE%93%E5%B1%9E%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
従属選択公理(英語: axiom of dependent choice; DCと略される)
(引用終り)

１）いま、例示として 自然数N={0,1,2,・・}を取る
　それを 素直に 整列させて 0,1,2,・・ とすれば 下記の順序数でいうところの列長さωになる
　これは、可算選択公理 ACω で可能
　ところが、もし 偶数を先に全部並べて後 奇数を並べると
　0,2,4,・・・、1,3,5,・・・ となる。これは列長さω + ωであるから
　可算選択公理では 一度には無理
（このように複雑な列構成の場合には 可算選択公理の列ω長さの能力を超える場合がありうる）
２）同じ理屈で 可算集合である有理数Qにおいて、Qから列長さω を生成することは可能だが
　Qを任意順にすべて整列することはACωでは不可
３）フルパワー選択公理ならば、任意列長さを出力可能

冒頭のオチコボレさんの妄言は、無意味■

(参考)
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数（英: ordinal number）とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1753000052/866

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.021s