Inter-universal geometryとABC予想(シン応援スレ) 92 (190ﾚｽ)
上下前次1-新
10: 06/13(土)08:57 ID:TTzQJf42(10/46) AAS
つづき
(参考)
外部ﾘﾝｸ:hiroyukikojima.ｈａｔｅｎａblog.com/entry/20130424/1366809361
hiroyukikojima’s blog
2013-04-24
ＡＢＣ予想入門
今回、皆さんにお勧めしたい本は、黒川さんと小山信也さんの共著『ABC予想入門』PHPサイエンス・ワールド新書である。
黒川先生発案の絶対数学(F1スキーム理論）が、数学者コンヌを中心に大きく発展した。第二の進展は、京都大学数理解析研究所の望月新一氏によるabc予想解決宣言である。黒川さんによれば、望月氏もF1数学を使っているとのこと
(参考)＜追加 数論幾何入門の必読参考書＞
外部ﾘﾝｸ:www.morikita.co.jp
省8
11: 06/13(土)08:57 ID:TTzQJf42(11/46) AAS
つづき
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
宇宙際Teichm¨uller 理論入門(Introduction to Inter-universal Teichm¨uller Theory)
星裕一郎 2010
p11
「“輸送” の例を観察するために,
§2 で考察した (Gk ↷ O▷kの同型物である) フロベニオイドを 2 つ
†G ↷ †M,‡G ↷ ‡M 用意しましょう. あえて大袈裟に言えば,
†G ↷ †Mや ‡G ↷ ‡M は, それぞれ 1 つの “数学の世界/宇宙” です.
“p 進局所体の乗法的な数論の研究” とは, 大雑把には,
省35
12: 06/13(土)08:58 ID:TTzQJf42(12/46) AAS
sage
13: 06/13(土)08:58 ID:TTzQJf42(13/46) AAS
つづき
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Anabelioidの幾何学 望月新一（京都大学数理解析研究所）2002年3月
P2 大域的な乗法的部分群スキームを、元々の作業の場としていた集合論的な‘宇宙'
において構成することをひとまず諦め、全く別の、独立な宇宙における、
元の対象たちE､F、K等のコピーE◎､F◎、K◎に対する乗法的部分群スキームの構成を目指す
＜IUTのコピーとラベルの話＞
(参考)
１）（SCHOLZE氏は ラベルが無意味だと主張するが・・）
外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de
省22
14: 06/13(土)08:59 ID:TTzQJf42(14/46) AAS
つづき
５）さらに Joshi氏 は、ショルツエ氏の Perfectoids を使った 新証明 Mochizuki's Corollary 3.12 を提案している（望月はダメだが、これが良いのだと）
（でも、ショルツエ氏と望月氏 両者から ダメ出しがあるらしい）
外部ﾘﾝｸ:math.arizona.edu
Preprints
5 arXiv:2401.13508 [pdf, ps, other] math.AG math.NT
Construction of Arithmetic Teichmuller Spaces III: A `Rosetta Stone' and a proof of Mochizuki's Corollary 3.12
Authors: Kirti Joshi
Submitted 24 February, 2025; v1 submitted 24 January, 2024; originally announced January 2024.
例えば
省6
15: 06/13(土)09:00 ID:TTzQJf42(15/46) AAS
つづき
(外部ﾘﾝｸ:ja.wikipedia.org
ノイマン宇宙：最初にErnst Zermelo 1930が提唱した宇宙Vorg (到達不能基数なし)
グロタンディーク宇宙：到達不能基数あり 外部ﾘﾝｸ:ja.wikipedia.org
クラス：ある公理系からは 集合と認められない 集まり（公理系が変われば 変わる）
(参考)>>469 より再録
外部ﾘﾝｸ[html]:www.mathsoc.jp
企画特別講演 2017年度年会 日本数学会
薄葉 季路 (早大理工)
集合論の宇宙 —Universe と Multiverse—
省42
16: 06/13(土)09:00 ID:TTzQJf42(16/46) AAS
つづき
＜icm 2026＞
外部ﾘﾝｸ:arxiv.org
Showing 1–41 of 41 results for all: icm 2026
＜2012-09-21 檜山正幸さん、さすが 全然古くない＞
外部ﾘﾝｸ:m-hiyama.ｈａｔｅｎａblog.com/entry/20120921/1348209872
檜山正幸のキマイラ飼育記 (はてなBlog) 2012-09-21
・テレンス・タオのコメント
圏論的、位相的な手法による対象の比較だけでなく、モデル論的な手法も有効なんじゃないか、といった話です。なんでここでモデル論が出てくるかと言うと、件の論文 Inter-universal Teichmuller Theory IV の第3節がモデル論っぽい内容だからです。
しかし、タオは次のようにも述べています
省16
17: 06/13(土)09:01 ID:TTzQJf42(17/46) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
燻製ニシンの虚偽（くんせいニシンのきょぎ）、またはレッド・ヘリング（英語: red herring）は、本来の問題から注意をそらし、論点をすり替える論理的誤謬を指す用語である。また、ミステリーや探偵小説などで、読者や登場人物を誤った結論へ導くために用いられる文学的手法を指す語でもある[1] [2]。
論理的誤謬
非形式的誤謬としての「燻製ニシンの虚偽」は関連性の誤謬の一形態である。相手に反論する際に、本来の問題（論点）から他の問題へと注意をそらしたり、無関係な論点を導入して推論を行う誤り[3] [4] [5]。「論点変更の虚偽」（Mutatio Elenchi）の同義語
勝手な Simplification
勝手な略図を作って「ここに、ギャップあり」で「元の論文の証明でも、ギャップがある」と
冷静に考えれば、勝手な略図でギャップを論じても 元の論文の証明がどうかは 全く別の話
ドイツの若き天才数学者は、この単純な ストローマン論法 に無知だった。若いから・・
外部ﾘﾝｸ:it.wikipedia.org
省8
18: 06/13(土)09:04 ID:TTzQJf42(18/46) AAS
sage
19: 06/13(土)09:04 ID:TTzQJf42(19/46) AAS
つづき
不等式の反証は、2人の学者が重要ではないと指摘した IUT のいくつかの単純化にも依存しています。そのいくつかは粗雑で、ホッジ劇場を双曲曲線Xに抽象的に同型のより単純な曲線に置き換えたり、同一のオブジェクトを異なるものと見なす代わりにそれらの間の方程式を使用したりしています。特に、ホッジ劇場は、原点がないため、一度穴があいた楕円曲線から派生したデータのセットに過ぎません。2 人の学者はまた、彼らの意見では、基本群を扱うことが必須となる点はないため、IUT の多くの部分に対する遠アーベル幾何学は群論と等価であると付け加えました。次に、エタールのようなデータ ( D ) を、内部自己同型を除いて群として考えられる抽象的な位相群 π1 ( X )によって提供されるデータとほぼ定義しました。さらに、フロベニウス的な描像は、本質的に位相群π 1 (X)とモノイドへの作用から構成されるため、エタール的な描像の改良版であると大まかに説明されている。望月は過度の単純化は許されないと主張したが、二人の学者は彼の反論に納得できないと反論した
外部ﾘﾝｸ:ja.wikipedia.org
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
＜grokipedia IUTにおける”宇宙”説明抜粋＞ （これ面白いぞ）
外部ﾘﾝｸ:grokipedia.com
Inter-universal Teichmüller theory
(google訳)
l≥5[ 1]この理論は算術構造の標準的変形に焦点を当て、非アルキメデス的対数シータ格子と遠ベル的再構成法を導入することで、スキーム理論的なホッジ・アラケロフ理論の限界を克服し、幾何学的オブジェクトの互換性のない「宇宙」間でデータを比較します。[2]この理論の核となる革新性は、「ホッジ劇場」の構築にあります。これは、多重放射表現と宇宙間同型性を容易にし、ディオファントス設定における高さと値を正確に制御することを可能にします。[1]
導入
省6
20: 06/13(土)09:05 ID:TTzQJf42(20/46) AAS
つづき
IUTの概念自体は、p進理論、モノアーベル再構成、ホッジ・アラケロフ構成におけるこれまでの革新を統合し、数体のための統一的な算術的タイヒミュラー枠組みを構築した2006年から2010年頃に誕生しました。この時期には、「宇宙間」変形、すなわち異なる算術データの「宇宙」が正準同型によって結び付けられる変形の徹底的な探究が行われ、2012年にはIUTを正式に定義する4つの画期的なプレプリントが発表されました。対数シータ格子とアーベルアルゴリズムを統合することで数体間の変形を可能にし、アーベル算術幾何学の軌跡の頂点を成すものでした
p進タイヒミュラー理論
この古典的なp進枠組みは、複数のp進付値が相互作用する設定に変形を拡張することで、宇宙間タイヒミュラー理論への橋渡しとなり、剛性特性を維持しながら、異なる算術構造間での「宇宙間」比較を可能にする。これは、p進解析的データとエタール基本群再構成を混成することで、遠アーベル再構成に簡潔に結びつく
理論的枠組み
インターユニバーサリティ
宇宙際タイヒミュラー理論において、「宇宙」という基本概念は、ホッジシアター内の初期データと終端データのペアを指し、ガロア圏を備えたスキームや、単位群や値群を含む局所体の組合せ論的次元や算術的次元といった、異なる数学的構造を包含する。[9]これらの宇宙は、素数によって厳密に分離されている。素数によって、局所体の変化や数体の完備化を反映することで、異なるp進位における算術的性質が定義され、それによって、大域的埋め込みに依存しない局所-大域的分離が保証される。この分離は、素数を抽象的な位相群として扱い、理論の本質的な焦点を維持するために従来のガロア群構造に依存することを回避している
宇宙間変形のメカニズムはIUTの橋渡し哲学の中核を成し、グローバル座標を呼び出さずに一つの宇宙から別の宇宙を再構築することを可能にする。抽象的な位相群上で動作する遠アーベルアルゴリズムを活用し、対数リンクやクンマー理論を介したΘ-およびq-絡み合いなどのツールを利用して、宇宙の構造的完全性を維持しながら変形を達成する。意図的に、これらの変形は宇宙間の算術情報の転送を容易にし、統一された座標系を前提とすることなく、異なる算術領域にわたって互換性のあるデータを確立する
IUTにおける宇宙間写像は、同期共役性と切断クンマー理論を通じて構造の同時正則表現可能性を維持しながら、p進位をまたぐ算術正則性の保存の例である。これらの写像は、ログ体積不変性や多重ラジアル表現などの主要な算術特性が変形プロセス中に維持されることを保証し、それによって宇宙間の橋渡しをしながら、さまざまな素数の値での正則特性を保存する。シータリンクは、互換性に必要な論理関係を強制することにより、これらの橋渡しを実現する上で補助的な役割を果たす
多重放射表現
省5
21: 06/13(土)09:05 ID:TTzQJf42(21/46) AAS
つづき
応用と影響
ABC予想の証明
{θj}固定パラメータに対する相対値
qこの比較から、ラジカルが
ラジアン( ab c )素因数の「多重放射状」分布を符号化する
a、b、c グローバルシータリンクは、これらの因子の対数体積が宇宙間変形の下で両立することを保証する。マルチラジアルアルゴリズムを適用してシータ値を並べ替えながら全体的なプロファイルを維持することにより、主張されている証明はこれらの評価の矛盾を制限し、それらを直接的に大きさに結び付けている。
この導出は、シータリンク領域における不確定性を制御するために、宇宙間枠組みに依存している。[28]
他の推測への影響
シータリンクを介したエタール基本群の標準分割を構築することにより、理論は数体上の双曲曲線上の有理点の高さに一様な境界を課し、ヴォイタの高さ不等式と一致し、固定種数の曲線に対して数値的に有効なバージョンを提供する。これらの進歩は、完全な切断予想を仮定せずに profinite 完備化の切断を再構成する宇宙間フレームワークに由来し、それによって次元 1 におけるヴォイタの予測の部分的な確認を提供する。
省3
22: 06/13(土)09:06 ID:TTzQJf42(22/46) AAS
sage
23: 06/13(土)09:06 ID:TTzQJf42(23/46) AAS
つづき
＜過去スレより再録＞
スレ46 2chｽﾚ:math
アンチのみなさん、幼稚すぎ
小学生なみ
そういう議論は、本スレが アンチでお願いしますよ
ここでは、大人の議論をしましょうね
１．まず、論文の不正は、「医学・生命科学系の論文」に多い。だが、数学では、いまだ寡聞にして知らず。おそらく、これからも無いでしょう
２．「医学・生命科学系の論文」は、実験結果や診療の結果が記載されるのが普通で、ここは論文執筆者が、やろうと思えば捏造可能だ。しかし、数学では捏造の余地が皆無
（これは、数学科学部卒でも同意してくれるだろう。同意できないのは、小学生です。どうぞ、本スレが アンチへ）
省18
24: 06/13(土)09:07 ID:TTzQJf42(24/46) AAS
sage
25: 06/13(土)09:08 ID:TTzQJf42(25/46) AAS
つづき
動画ﾘﾝｸ[YouTube]
【世界で2番目のIUT理論研究拠点 誕生】新しいオンライン大学「ZEN大学」設立に関する発表会｜IUGC 宇宙際幾何学センター
N高等学校・S高等学校 2023/06/06
公益財団法人日本財団と株式会社ドワンゴは、新しいオンライン大学「ZEN大学」を設立します。
2023年6月6日（火）に発表された『IUT理論研究拠点の設立』をご紹介する動画です。
◆Inter Universal Geometry Center
（所長：加藤文元／副所長：イヴァン・フェセンコ）
日本発の世界的な数学理論であるIUT理論を推進・普及し、数学の未来を切り開いていくための研究施設「IUGC（宇宙際幾何学センター）」を設立します。全てのコースに合格すれば、世界中のあらゆる大学の数学科の学生よりもIUT理論の知識が備わります。また、世界初となる、IUT理論を理解する数学者の裾野を広げるためのオリジナル入門講座も開設します。
◆ZEN大学とは
省11
26: 06/13(土)09:08 ID:TTzQJf42(26/46) AAS
つづき
外部ﾘﾝｸ:zen.ac.jp
プレスリリース ZEN大学 2026/03/31
IUT（宇宙際タイヒミューラー）理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表
―世界3大学による国際共同研究として始動―
x.com/ math_jin/
4/9のAIと形式化の研究集会における望月新一氏の講演動画
#IUTABC
Shinichi Mochizuki: On the Formalization of IUT: a preliminary progress report
youtube.com
省30
27: 06/13(土)09:09 ID:TTzQJf42(27/46) AAS
つづき
転載
2chｽﾚ:math
慌てる乞食は貰いが少ない 2026年7月17日を待て
外部ﾘﾝｸ:zen.ac.jp
2026/03/31 プレスリリース ZEN大学
IUT(宇宙際タイヒミューラー)理論のコンピューターによる検証を目指すZEN数学センターの新プロジェクト「LANA」を発表 世界3大学による国際共同研究として始動
2026年7月17日 LANAプロジェクトに関して、活動の中間報告記者発表を予定しています。IUT理論の検証について、その時点での検証結果を詳しく公表する計画です
動画ﾘﾝｸ[YouTube]
ZEN数学センター IUT理論の計算機検証に関する新プロジェクト「LANA」発表 ニコニコニュース 2026/03/31
省28
28(1): 06/13(土)09:10 ID:TTzQJf42(28/46) AAS
つづき
補足
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
>ON THE FORMALIZATION OF IUT: A PRELIMINARY PROGRESS REPORT [JOINT WORK IN PROGRESS WITH Y. HOSHI, G. YAMASHITA, Y. YANG, ] Shinichi Mochizuki (RIMS, Kyoto University) April 2026
これ結構おもしろい
1）”§2.First steps toward the LeanForm of IUT” Stage 1〜5
いま Stage 1の1/3くらいか
だが、最大の山場かもね （＾＾
7月17日中間報告記者発表を予定
2）”§3.Brief review of inter-universal Teichmuller theory (IUT)”
省12
29: 06/13(土)09:10 ID:TTzQJf42(29/46) AAS
つづき
追加 ホイヨ
外部ﾘﾝｸ:ivanfesenko.org
News – Ivan Fesenko
・IUT and Lean: S. Mochizuki’s talk at a workshop on AI and math theorem provers on April 10
外部ﾘﾝｸ:aitpm.github.io
Workshop on AI and Theorem Provers in Mathematics
AITPM
Recordings
外部ﾘﾝｸ:www.youtube.com
省7
30: 06/13(土)09:10 ID:TTzQJf42(30/46) AAS
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
省13
31: 06/13(土)09:11 ID:TTzQJf42(31/46) AAS
つづき
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
(参考)
外部ﾘﾝｸ:note.com
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。
省15
32: 06/13(土)09:11 ID:TTzQJf42(32/46) AAS
つづき
数学成熟度 Mathematical maturity 外部ﾘﾝｸ:en.wikipedia.org
(google訳)
"タオは次のようにアドバイスしています。
厳密な数学的思考に十分慣れたら、その主題に関する直感を再検討し、新しい思考スキルを使用して、直感を捨てるのではなくテストし、改良する必要があります。
厳密さと理論の確固たるスキルを身につけた数学の学生は、視点が数学に対するより包括的なパノラマ的見方へと移り、最終段階へと移行します"
謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
動画ﾘﾝｸ[YouTube]
省16
33: 06/13(土)09:12 ID:TTzQJf42(33/46) AAS
つづき
(参考) （ワンコラさん 細かいところに拘りすぎでしたね。次の seoさん書評ご参照）
動画ﾘﾝｸ[YouTube]
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 2020/05/30
留年繰り返して7年で大学卒業した後
ニートになった僕ですが
そんな僕が挫折を繰り返してきた歴史と、たどり着いた数学の勉強の仕方について動画にしました
この勉強法がわんこら式と呼ばれるようになりました
大学の数学の専門書、解析入門1を使って
省46
34: 06/13(土)09:12 ID:TTzQJf42(34/46) AAS
つづき
＜アマゾン書評＞（ seoさん 「様々な数学的分野は互いに互いを前提とする必要があるので、縦割りに順番に習得するものではなく、混じり合い行ったり来たりしながら学ぶものです」 これ至言です。噛みしめましょう！ （＾＾）
解析入門 (1) 単行本 – 1980/3/31
杉浦 光夫 (著)東京大学出版会
書評
seo
5つ星のうち3.0 入門書としては☆ひとつ
2018年6月30日
解析学という書名で良いと思います。
入門とわざわざ付けることは非合理的で、何も良いことはありません。
省6
35: 06/13(土)09:13 ID:TTzQJf42(35/46) AAS
つづき
2chｽﾚ:math
アインシュタインの物理的な ”直観”が間違っていたのだが
”直観”を捨ててはいけない。修正するんだ
ここから、渕野先生の
＜厳密だけが、数学ではない＞という話につながる
”数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
省15
36: 06/13(土)09:13 ID:TTzQJf42(36/46) AAS
sage
37: 06/13(土)09:15 ID:TTzQJf42(37/46) AAS
sage
38: 06/13(土)09:15 ID:TTzQJf42(38/46) AAS
つづき
2chｽﾚ:math
話は真逆だよ
１）高等数学のような対象は、多面的かついろんな切り口（複数の）で理解すべし
数学史 タイムラインは その一つだ
２）謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
自分で絵に落とす。見えない物をあえて絵にしてみる
そして、私見ですが
自分の“big picture”を作るべしです （＾＾
そして“巨人の肩”（下記） 遠慮無く乗って 遠く見通すべし！
省26
39: 06/13(土)09:15 ID:TTzQJf42(39/46) AAS
つづき
(参考)
外部ﾘﾝｸ:math.ｓａｋｕｒａ.ne.jp/?action=common_download_main&upload_id=1374
飯高茂先生に聞く
さくらインターネット 2013/11/22
P2
2 大学時代
あるとき，先生が「数列とは何か?」と質問されたのですが，そのとき，私は「自然数から数への写像でしょう」と答えたのです。すると先生は「その通り」と言いました。私は数列の定義を覚えていたわけではなかったのですが，高校時代の勉強で，大学の数学の勉強の方法や考え方が身についていて，自然に答えたのだと思います。
P4
3 大学の教員となって
省6
40: 06/13(土)09:16 ID:TTzQJf42(40/46) AAS
つづき
2chｽﾚ:math
(まとめ 再投稿)
外部ﾘﾝｸ:imgur.com
「図解 関数の連続・不連続とε-δ」
拙い図ですが （＾＾
１）図解にあるように
逆像を考える意味は
もし 関数y=f(x)が不連続ならば
象y軸上で 不連続部分 例えばy0として そこのギャップを見つけて
省32
41: 06/13(土)09:17 ID:TTzQJf42(41/46) AAS
つづき
私のつくった下手くそな図
外部ﾘﾝｸ:imgur.com
「図解 関数の連続・不連続とε-δ」
とほぼ同じ図が 下記動画で出てきます （＾＾
下記より
”ユークリッド空間R上の連続関数の同値条件
[定理]連続関数の同値条件
関数 f:R→Rに対して、次は同値である
?fはR上で（ε-δ論法の定義により）連続である
省26
42: 06/13(土)09:17 ID:TTzQJf42(42/46) AAS
つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新〜！”と絶叫したりするからです（＾＾； ）
( 外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
外部ﾘﾝｸ:ja.wikipedia.org 双曲面
二葉双曲面 ：画像ﾘﾝｸ[png]:upload.wikimedia.org
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）
省22
43: 06/13(土)09:18 ID:TTzQJf42(43/46) AAS
つづき
＜サイコパスのおサルのバカ発言＞
2chｽﾚ:math
2023年の古新聞を検索したので 下記貼るよ
アホサル は、私が「零因子行列のことだろ？知っているよ」と切り返したら
自爆して 即詰みになった。さすがに アホですなｗｗ （＾＾；
（次からテンプレへ入れる）
(参考)
＜ガロア第一論文と乗数イデアル他関連資料スレ2＞より
2chｽﾚ:math
省34
44: 06/13(土)09:19 ID:TTzQJf42(44/46) AAS
sage
45: 06/13(土)09:19 ID:TTzQJf42(45/46) AAS
つづき
過去スレ55 2chｽﾚ:math
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
省20
46: 06/13(土)09:20 ID:TTzQJf42(46/46) AAS
つづき
一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
(参考)
省29
47: 06/13(土)10:30 ID:7xjR7MPK(1) AAS
テンプラ入りです
48: 06/13(土)11:38 ID:bRm+noww(1/4) AAS
リーマンの学位論文のアイディアが
完全に正当化されるまでには
５０年を要した
49: 06/13(土)12:11 ID:2JsZZZYS(1/29) AAS
テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」2chｽﾚ:math
> ↓
>・私「零因子行列のことだろ？知っているよ」
>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ？知っているよ」にした
50: 06/13(土)12:11 ID:2JsZZZYS(2/29) AAS
テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか？ ありでは？
51: 06/13(土)12:11 ID:2JsZZZYS(3/29) AAS
テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない？と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
省3
52: 06/13(土)12:11 ID:2JsZZZYS(4/29) AAS
テンプレです
>Assuming γ^2∈R＼Q → γ∈R＼Q.
>But γ∈Q → γ^2∈Q.
>A contradiction arises.
>∴ γ^2∈Q ∴ γ∈Q.
53: 06/13(土)12:12 ID:2JsZZZYS(5/29) AAS
テンプレです
>γを代数的無理数と仮定すると、ロスの定理により、
>任意の ε＞0 に対して、高々有限個の有理数 q/p (p,q)＝1 p≧1 が存在して
>|γ−(q/p)|＜1/p^{2+ε} が成り立つから、
>高々有限個の有理数 q/p (p,q)＝1 p≧1 が存在して |γ−(q/p)|＜1/p^2 である
>仮定からγは代数的無理数であるからγは無理数であって、
>γは正則連分数で一意に γ＝[a_0;a_1,a_2,…,a_n…]
>と無限連分数展開した形で表される
>任意に正の整数kを取って、γの第k近似分数を
>(q_k)/(p_k) p_k と q_k は互いに素な正の整数
省5
54: 06/13(土)12:12 ID:2JsZZZYS(6/29) AAS
テンプレです
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね
55: 06/13(土)12:12 ID:2JsZZZYS(7/29) AAS
テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)＝Σ n=0〜∞ 1/n ＝∞（∵1/nの無限和が発散するのは有名な事実）
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)
56(1): 06/13(土)12:12 ID:ZOZ1R6H9(1/3) AAS
天かす入りです
57: 06/13(土)12:12 ID:2JsZZZYS(8/29) AAS
テンプレ
2chｽﾚ:math
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
58: 06/13(土)12:12 ID:2JsZZZYS(9/29) AAS
テンプレート
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ
59: 06/13(土)12:13 ID:2JsZZZYS(10/29) AAS
テンプレ
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ
60: 06/13(土)12:13 ID:2JsZZZYS(11/29) AAS
テンプレ入りです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」？
>あほか
>重川を読め
61: 06/13(土)12:13 ID:2JsZZZYS(12/29) AAS
テンプレ入りです
> まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
> 次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
> そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
> もし、「株価かな？」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
> それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
> そして D番目を推察するのだ
62: 06/13(土)12:13 ID:2JsZZZYS(13/29) AAS
テンプレ入りです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンｗ
>数学ストーリーは、札付き定理の完全否定！■
63: 06/13(土)12:13 ID:2JsZZZYS(14/29) AAS
これはよきテンプレ
>>数学者は”固定”とか 変なこといわない
>>が、一つの議論の中では、関数”f1,f2,・・,fk,・・f100”は決まっている
>>”s = (s1，s2，s3 ，・・・)”
>>も一つの議論の中では 一定の値をとる
>出題列sが定数であることを認めた瞬間にそこから生成される100列の決定番号も定数と認めざるを得ない。
>単独最大決定番号の列はたかだか1列であることも認めざるを得ない。
>ランダムに単独最大決定番号の列を選択する確率は1/100以下も認めざるを得ない。
>その時だけ失敗だから勝率は99/100以上も認めざるを得ない。
64: 06/13(土)12:14 ID:2JsZZZYS(15/29) AAS
よきテンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
省1
65: 06/13(土)12:14 ID:2JsZZZYS(16/29) AAS
これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
省8
66: 06/13(土)12:14 ID:2JsZZZYS(17/29) AAS
テンプレ入りです
>>負の値を足してるんだからむしろ不等号は
>>＞
>>向き
>負の値を足しているからこそ、
>それを利用して上から具体的な負の値で抑えられるように
>不等式を使って評価すればよいだけの話
67: 06/13(土)12:15 ID:2JsZZZYS(18/29) AAS
テンプレ入りです
>色々と紆余曲折があったが、
>結局ロナルド・グラハムの定理と
>ロナルド・グラハムの定理について
>代数的無理数を無限級数で表すことへの一般化により
>オイラーの定数γはリウヴィル数ではない超越数であって、
>また、ワイルの一様分布定理よりγは正規数であった
>泥臭い計算をした甲斐はあって何よりだった
>↓
>>ロナルド・グラハムの定理
省30
68: 06/13(土)12:15 ID:2JsZZZYS(19/29) AAS
>（できたできたまたできたしか言わないんじゃどうにもならんなコイツ）
>（結論しか書いてないのにそれが正しいか間違ってるか考えることは誰にもできないんだって分かってんのかなコイツ）
>（間違いの指摘をされるのをイヤがってるってことは内心自分が間違っていることを認めてるってことだって誰もが思うんだって理解できないのかなコイツ）
>↓
>何度も懇切丁寧に同じことを繰り返しても
>全く自分で分かろうとしない人間に対して、
>私はいつまでも教える気はしない
>こんなことを繰り返しても、
>対価は何も得られないし、
>労力の無駄遣いというモノだ
69: 06/13(土)12:16 ID:bRm+noww(2/4) AAS
雷注意報
発令中
70: 06/13(土)12:16 ID:2JsZZZYS(20/29) AAS
テンプレです
>よって、背理法により、2γ−log(5/2)＜γ である
>故に、γ−log(5/2)＜0 である
>ところで、2γ−log(5/2)＞0 が得られているから、−log(5/2)＞−γ
>の両辺にγを足せば、γ−log(5/2)＞0 である
>故に、γ−log(5/2)＞0 と S[m]−γ＜0 とを組合せれば
>S[m]−γ＜γ−log(5/2)＜0 を得る
71: 06/13(土)12:16 ID:2JsZZZYS(21/29) AAS
テンプレ入りです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
省1
72: 06/13(土)12:16 ID:2JsZZZYS(22/29) AAS
テンプレ入りです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾
73: 06/13(土)12:17 ID:2JsZZZYS(23/29) AAS
テンプレ入りです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない
74: 06/13(土)12:17 ID:2JsZZZYS(24/29) AAS
これもテンプレ入りかな？
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
> を考えた故事をしらないんだね
> ”Rは無限集合ですから”って デカルト先生に言ってあげようｗ
75: 06/13(土)12:17 ID:2JsZZZYS(25/29) AAS
テンプレ入りです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
> 完備であることの証明はできない
76: 06/13(土)12:17 ID:2JsZZZYS(26/29) AAS
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で 外部ﾘﾝｸ:en.wikipedia.org
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾
もテンプレ入りで
77: 06/13(土)12:17 ID:2JsZZZYS(27/29) AAS
テンプレ入りかな？
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）
78: 06/13(土)12:18 ID:2JsZZZYS(28/29) AAS
テンプレ入りです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？
79: 06/13(土)12:19 ID:ZOZ1R6H9(2/3) AAS
ヤンボーマーボー
天気予報
80: 06/13(土)12:22 ID:bRm+noww(3/4) AAS
２８℃
晴れのちくもり
81(1): 06/13(土)12:23 ID:2JsZZZYS(29/29) AAS
>>56
>天かす入りです
これ使わせて貰おっと
82: 06/13(土)12:24 ID:bRm+noww(4/4) AAS
２８℃
晴れのちくもり
83: 06/13(土)12:26 ID:ZOZ1R6H9(3/3) AAS
>>81
しゃーないな、特別だぞw
84: [age] 06/13(土)23:02 ID:SPSc7vy9(1) AAS
AA省
85: 06/14(日)05:58 ID:k784Ly9S(1/2) AAS
２２℃
くもり
86: 06/14(日)06:15 ID:iVhZ8xXP(1) AAS
天カス入りです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている
87: 06/14(日)10:35 ID:lllE6ioS(1) AAS
ウマそうやねw
88(4): 06/14(日)14:29 ID:9MBHxaBE(1/5) AAS
バカチョンw
👇
IUT理論の形式化検証 一縷の緊張も心配も見えない （すでに）勝者の余裕ある姿😁
89(2): 06/14(日)14:30 ID:9MBHxaBE(2/5) AAS
IUTgtrってマスチョンの別垢？w
90(2): 06/14(日)20:00 ID:9MBHxaBE(3/5) AAS
朝鮮の人が名前に「哲」「敏」「仁」「貞」「正」などというの漢字を好むのは何故にですか？
91: 06/14(日)20:04 ID:k784Ly9S(2/2) AAS
２３℃
くもり
92: 06/14(日)20:21 ID:gOMPl6pr(1/11) AAS
>>88
おまえはしぬがよゐ。
93: 06/14(日)20:23 ID:Y7y2YnfU(1/2) AAS
よゐこは早く寝ようw
94: 06/14(日)20:23 ID:gOMPl6pr(2/11) AAS
ﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟｱｧｯｰｰｰﾝ!!!
ー?(>>89)(>>90)ー∴∵
95: 06/14(日)20:24 ID:gOMPl6pr(3/11) AAS
ﾊﾟｱｧｯ-ﾝｯ!!!
ー?(>>88)ー・
96: 06/14(日)20:25 ID:Y7y2YnfU(2/2) AAS
ジュニーザピンボール
97: 06/14(日)20:27 ID:gOMPl6pr(4/11) AAS
|
|ΘдΘ))ﾇｯ!
| )∂»
|ω2»
| ⊂(>>88)⊃)⊃
98: 06/14(日)20:28 ID:gOMPl6pr(5/11) AAS
|ΘдΘ) ４んだなｯ!
| )∂
|ω2
⊂(>>88)⊃)⊃
99: 06/14(日)20:30 ID:gOMPl6pr(6/11) AAS
|ΘдΘ)
| )∂
|ω2
⊂(>>89)⊃)⊃ ⊂( ⊂ (>>90)⊃
100: 06/14(日)20:31 ID:gOMPl6pr(7/11) AAS
|
|≡333（遁走）
101(3): 06/14(日)20:31 ID:9MBHxaBE(4/5) AAS
都合悪くなって流しにきたか
ドワンゴ在日w
102: 06/14(日)20:35 ID:gOMPl6pr(8/11) AAS
AA省
103: 06/14(日)20:39 ID:gOMPl6pr(9/11) AAS
|ΘдΘ)スカットミサイルだ‥
| )>うまかったか？
|δω2
| ⊂(⊂(>>101)⊃ ■■■▶
104: 06/14(日)20:41 ID:gOMPl6pr(10/11) AAS
>>101の慚鬼の穢念で時空が歪んでるな‥
105(1): 06/14(日)20:56 ID:9MBHxaBE(5/5) AAS
つまんねー知的障害ジジイだな
まあIUT代表って感じが出てていいね
106(2): 06/14(日)21:37 ID:gOMPl6pr(11/11) AAS
>>105
早く４ね世界の嫌われ者🐭獄凶惨盗漢jin認知戦工作野郎
107(1): 06/15(月)00:23 ID:yRZm6+lK(1/4) AAS
>>106
精神分裂朝鮮人ワラタ
108(1): 06/15(月)01:03 ID:vP7PDQqr(1/5) AAS
>>107
おまえ差別用語書き込み常習犯過ぎるよな
通報しとこうか？
てめえの場合は被害を受けてる側が開示請求一発で通るからな
109: 06/15(月)09:10 ID:yRZm6+lK(2/4) AAS
Why would someone seek to formalize a proof they don't understand?
上下前次1-新書関写板覧索設栞歴
あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s