[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 25 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

688(3): 2018/04/03(火)20:13 ID:Rx9EiSXT(1/4) AAS
IUT-�VのCor.3.12を見てみたが、これは恐らくIUT理論の要となる定理だな。

大雑把に言うと、Thm.3.11の設定の下、2種類の行進正規化単解析的対数体積 (procession-normalized mono-analytic log- volume) の間に不等式が成り立つという主張。

証明はクソ長くて、自明の一言で済ませてなんかいない。
12つのステップに整理して証明している。
今までやってきたことを総動員してる感じがする。

で、その後にRemarkが3つ続いてて、これもまたクソ長い。
ややこし過ぎてわけわからん。

---

689: 2018/04/03(火)20:16 ID:Rx9EiSXT(2/4) AAS
>>688
Remarkが3つじゃなくて、Remarkが4つの間違いでした。

---

690: 2018/04/03(火)20:19 ID:Rx9EiSXT(3/4) AAS
>>688
あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。
連投スマソ。

---

691: 2018/04/03(火)20:19 ID:Rx9EiSXT(4/4) AAS
>>688
あと、IUT理論の要というよりも、ABC予想型の結果を導出するための要と言った方が正しいな。
連投スマソ。

---

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

---

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

---

ぬこの手 ぬこTOP 0.028s