[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
2(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:17 ID:CbUaYdGK(2/13) AAS
（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾； ）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
（スレ69 2chｽﾚ:math ID4つ ）
なお、火病を発症すると狂気の連投をする
（スレ70 2chｽﾚ:math ）
殺人願望旺盛（＾＾ スレ69 2chｽﾚ:math
省16
3: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:18 ID:CbUaYdGK(3/13) AAS
つづき
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
（但し、最近、内一人は時枝不成立が理解できたらしい（スレ67〜68辺り
知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾；）
スレ28 2chｽﾚ:math (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
省12
4: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:18 ID:CbUaYdGK(4/13) AAS
つづき
8) てへぺろ☆(・ω<)さん 70 2chｽﾚ:math
この人、ほんとはレベル高いみたい（＾＾
（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
“私もその昔、数学科というところで学んでたんですが どうしても興味が向かない分野ってのがあって その一つがガロア理論だったんですね（をひ
ああ、こりゃ俺、数学無理だなと思って 計算機関係に方向転換しましたけどね”
ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。まことに、残念でしたが（：ｐ
9) Ω星人の数学者さん、たまに現れます（＾＾
10)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
省7
5: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:19 ID:CbUaYdGK(5/13) AAS
＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 2chｽﾚ:math
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）
過去スレリンク集
（下記以外で抜けている分は、スレ68のテンプレ 2chｽﾚ:math ご参照 ）
省13
6: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:19 ID:CbUaYdGK(6/13) AAS
つづき
47 2chｽﾚ:math 時枝記事関連資料豊富
46 2chｽﾚ:math ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 2chｽﾚ:math 哀れな素人さん 79-92
43 2chｽﾚ:math （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
（40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
（39以前 現代数学の系譜 古典ガロア理論を読む)
39 2chｽﾚ:math （別名 数学セミナー時枝記事の墓）
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
省10
7: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:19 ID:CbUaYdGK(7/13) AAS
（参考）
外部ﾘﾝｸ:mathmathmath.dotera.net
数学＠2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
追加（良く使うが出しにくい記号）
＼ ≦≧⇒⇔∈∋⊂⊃⊆⊇∀∃ （アレフ＝これ文字化けするね。あと二重矢印の←も文字化け）?σΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x ∇（← "∂"は「きごう」で変換可．）
（wikipedia などでは、マイナス記号−や、特殊不等号>=、=< アレフなどが文字化けするので要注意）
8(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:20 ID:CbUaYdGK(8/13) AAS
大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）
以下過去スレより再掲
2chｽﾚ:math
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
省5
9: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:20 ID:CbUaYdGK(9/13) AAS
スレ56より （なお、「イメージ」〜「ビジョン」〜「哲学」かも（＾＾ ）
2chｽﾚ:math
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)（＾＾
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ（＾＾
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
省2
10: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:21 ID:CbUaYdGK(10/13) AAS
つづき
＜渕野語録＞
(引用開始)
スレ24 2chｽﾚ:math
（抜粋）
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
省22
11(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:27 ID:CbUaYdGK(11/13) AAS
個人的には、下記類似” 先生>周りの人>知恵袋の人(固定ID)>>> 5CH（旧2CH）(固定IDなし)”と思う
2chｽﾚ:math
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが
外部ﾘﾝｸ:note.chiebukuro.yahoo.co.jp （注：リンク切れているが、取り敢ずそのままです）
Yahoo 知恵袋
数学の勉強法 学部〜修士
ライター：amane_ruriさん 最終:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
省10
12(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:27 ID:CbUaYdGK(12/13) AAS
過去スレより
2chｽﾚ:math
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
省8
13: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/15(金)07:28 ID:CbUaYdGK(13/13) AAS
補足
2chｽﾚ:math
352 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん（素数さん）のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない（名無しカキコは基本価値なし）
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾； ）
14(1): 2019/11/15(金)10:45 ID:fffV6EXz(1/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
ヤン?ミルズ方程式と質量ギャップ問題
(抜粋)
量子色力学および数学上の未解決問題である。2000年、アメリカ合衆国のクレイ数学研究所はミレニアム懸賞問題の一つとしてこの問題に100万ドルの懸賞金をかけた。
公式な問題記述
問題文は次の通り[1]。
ヤン・ミルズ方程式の存在と質量ギャップ問題。任意のコンパクトな単純ゲージ群 G に対して、非自明な量子ヤン・ミルズ理論が {\displaystyle \mathbb {R} ^{4}}\mathbb{R}^4 上に存在し、質量ギャップ Δ > 0 を持つことを証明せよ。
存在とは、Streater & Wightman (1964)、Osterwalder & Schrader (1973) や Osterwalder & Schrader (1975) で挙げられているものと少なくとも同等以上に強い公理的性質を確立することを含む。
このステートメントにおいて、ヤン＝ミルズ理論は素粒子物理学の標準模型の基礎にあるものと類似した非可換な場の量子論である。{\displaystyle \mathbb {R} ^{4}}\mathbb{R}^4 は4次元ユークリッド空間であり、質量ギャップ（英語版） Δ はこの理論によって予言される最小質量を持つ粒子の質量である。
省5
15: 2019/11/15(金)10:47 ID:fffV6EXz(2/5) AAS
>>14
つづき
ヤン・ミルズ理論の重要性
4次元で最も有名かつ非自明な（つまり相互作用を持つ）場の量子論は、カットオフ（英語版）スケールを持つ有効場の理論である。
ほとんどのモデルに対しベータ関数は正であるから、そのようなモデルの殆どはランダウ極（英語版）(Landau pole)を持つと思われる。
何故ならそれらが非自明なUV固定点（英語版）を持つか否かは全く明らかでないからである。
このことから、もしそのような場の量子論がすべてのスケールでwell-definedならば（公理的場の量子論（英語版）の公理を満たすなら当然その筈だが）、その理論は自明（つまり自由場の理論）でなければならないことが分る。
しかし、非可換なゲージ群を持ちクォークを持たない量子ヤン＝ミルズ理論（英語版）はこの例外である。
なぜなら、そのような理論は漸近的自由性を持つので、自明なUV固定点が存在するからである。
従って、これが 4次元で最も単純かつ非自明で構成的な量子場理論となる。因みに量子色力学(QCD)はクォークを持つので、より複雑な理論である。
省11
16(1): 2019/11/15(金)17:12 ID:fffV6EXz(3/5) AAS
メモ
下記、三輪 哲二先生の博士論文要旨だが論文本体が出てこない。おそらく手書きかもｗ（＾＾
代わりに、数理解析研究所講究録 (1981) クリフォード演算子とリーマンの問題を、引用しておく
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
三輪 哲二
博 第 723号
昭 和 56年 3 月 23 日CliぽordoperatorsandRiemann'smonodromyproblem
(クリフォード演算子 とリーマンのモノドロミー問題)
(主 査)
論 文 調 査 委 員
省18
17(1): 2019/11/15(金)17:12 ID:fffV6EXz(4/5) AAS
>>16
つづき
その直後,
ガルニエ,シュレジンガーらは, リーマンの思想を実行に移して,モノドロミー保存的変形を研究し,そ
のような変形が非線型微分方程式によって記述できること, とくに 2階単独方程式の変形の場合にはそれ
がパンルヴェの発見した 6種類の方程式に帰着できることを明らかにし,パンルヴェ超越函数の背景に
リーマンの問題が横たわっていることを示 したのであった。
これらは今世紀初期の解析学における重要な達成であったが,難解な深い理論として敬遠され,半世紀
に及ぶ長い間,半ば忘れられていた。
(2) 統計力学における2次元イジング模型｡
省15
18: 2019/11/15(金)17:13 ID:fffV6EXz(5/5) AAS
>>17
つづき
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
クリフォード演算子とリーマンの問題 (Non-Linear Waves : Classical Theory and Quantum Theory)
Author(s) 三輪, 哲二
Citation 数理解析研究所講究録 (1981), 414: 212-223
Issue Date 1981-01
(引用終り)
以上
19(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:31 ID:hz0vD8O+(1/13) AAS
メモ
”層は、関数の圏論化である”か
そうかｗ
そうだったんだ（＾＾；
外部ﾘﾝｸ:abductionri.jimdo.com
(抜粋)
第118回アブダクション研究会開催のご案内 18.02.17 福永 征夫
118th180217.pdf PDFファイル 3.1 MB ダウンロード
外部ﾘﾝｸ[pdf]:abductionri.jimdo.com
（以下PDFのキャッシュから）
省19
20(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:32 ID:hz0vD8O+(2/13) AAS
>>19
つづき
【172】さて、多様体Sの各点に割り当てるものを、数からベクトル空間に変えてみよう。
そうすると、多様体S内の各点sに数を割り当てるルール（関数）の代わりに、ベクトル空間を割り当てるルールが必要になる。
そのような規則のことを、「層」と呼ぶ。層をFで表すと、点sに割り振られたベクトル空間は、F(s)となる。
【173】つまり、関数と層との違いは、多様体Sの各点に割り当てるものの違いなのだ。
関数の場合には、数を割り当てるのに対し、層の場合には、ベクトル空間を割り当てる。
与えられた層に対して、各点sごとに割り当てられるベクトル空間の次元は、それぞれ異なっていてもよい。
例えば、次の図（図14?１）では、ほとんどのベクトル空間は平面（二次元ベクトル空間）だが、
ひとつは直線（一次元ベクトル空間）になっている。
省2
21(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:32 ID:hz0vD8O+(3/13) AAS
>>20
つづき
【175】当面われわれにとって重要なのは、関数と層の間に、深いアナロジーがあるということだ。
それを発見したのが、偉大なフランスの数学者アレクサンドル・グロタンディークである。
彼はほとんど単独で、現代の代数幾何学を作ったのみならず、数学に対するわれわれの考え方をすっかり変えてしまった。
ラングランズ・プログラムを幾何学的に再定式化するためにわれわれは、関数と層との間で言葉を翻訳するための辞書を利用したが、
その辞書こそは、グロタンディークの仕事を特徴づける深い洞察の見事な一例なのである。
【177】グロタンディークのアイディアに話を戻そう。
はじめに、ヴェイユのロゼッタストーンの真ん中のコラムに注目しよう。
そして有限体上の曲線と、より一般的な有限体上の多様体について調べる。
省15
22: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)08:32 ID:hz0vD8O+(4/13) AAS
>>21
つづき
【180】だが、関数から層へと戻る自然な方法はない。
それができるのは、ある種の関数だけであって、全ての関数でできるわけではないのだ。
しかし、もしもそれができれば、その層は、関数には持ち得ない付加的な情報をたくさん持っているだろう。
するとその情報を利用することにより、その関数の核心に迫ることができる。
注目すべき事実は、ラングランズ・プログラム（ヴェイユのロゼッタストーンの真ん中のコラムで）に現れる関数のほとんどは、
確かに層に由来するということだ。
【181】関数は数学全体を通じて重要な概念のひとつであり、数学者たちは何世紀も前から関数を研究してきた。
関数という概念は、温度や気圧を考えることで、直感的に捉えることができる。
省15
23(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)10:43 ID:hz0vD8O+(5/13) AAS
” ポアンカレ”
「この生産力と不正確さがポアンカレの特徴である」か
そういう人もいるんだなｗ（＾＾；
外部ﾘﾝｸ:www2.tsuda.ac.jp
数学史シンポジウム報告集
外部ﾘﾝｸ:www2.tsuda.ac.jp
第14回数学史シンポジウム(2003.10.25?26) 所報 25 2004
外部ﾘﾝｸ[pdf]:www2.tsuda.ac.jp
クラインとポアンカレの往復書簡について 保型関数論の源流 関口次郎東京農工大学 工学部2003
(抜粋)
省15
24: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)10:45 ID:hz0vD8O+(6/13) AAS
>>23 つづき
クラインはまずS0(3)がS^2に回転群として作用しているが、 その有限部分群を調べて正多面体の合同群である正多面体群の研究へと議論を進めていく.正確には，SL(2，C )
の有限部分群はn次巡回群，正2面体群および正4面体群，正8面体群，正20面体群のいずれかに群同型になることを示している. (立方体の合同群は正8面体群に同型，正12
面体の合同群は正20面体群に同型である. )次にクラインは2次元球面S^2と複素射影直線P1(C)を同一視させる。正多面体Mのすべての頂点mがS^2にあるようにする.
そして，M の面の中心と稜の中点をS^2に中心から投影する，するとS^2とP1(C)の同一視によって， P1(C)上にM の面の中心に対応する点α1，α2，・・・，αp、稜の中点に対応する点b1,b2,・・・,bq，頂点に対応する点c1,c2,・・・,crを得る。P1(C)の斉次座標をZ1：Z2とすれば，
略
4 ポアンカレ
ポアンカレは1854年4月29日にナンシーに生まれた.彼の父はナンシー大学医学部教授だった.高校の終了時には彼の天才は明らかになって，彼がエコール・ポリテクニックに入学したときはクラスのトップであった.
彼は製図ができないことが理由で，次席でエコール・ポリテクニックを卒業した.そして1875年に鉱山学校に進学した.
1878年に彼は偏微分方程式を主題にした学位論文をパリ大学に提出した.その学位論文
省13
25(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)10:48 ID:hz0vD8O+(7/13) AAS
>>23 関連
外部ﾘﾝｸ:www.maruzen-publishing.co.jp
丸善
正20面体と5次方程式 改訂新版
数学クラシックス 5
正20面体と5次方程式 改訂新版
原書名 Vorlesungen uber das Ikosaeder und die Auflosung der Gleichungen vom funften Grade
著者名 関口 次郎 訳
前田 博信 訳
発行元 丸善出版
省17
26: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)20:52 ID:hz0vD8O+(8/13) AAS
転載
スレ78 2chｽﾚ:math
914 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/11/12(火) 07:19:21.12 ID:bgnQJNQo [2/4]
(抜粋)
>>847
>時枝不成立を名言した大学教員
> 該当者無し
まず添削
名言
↓
省25
27: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)20:54 ID:hz0vD8O+(9/13) AAS
下記は、次のスレでは、テンプレに入れる（＾＾
現代数学の系譜 カントル 超限集合論
2chｽﾚ:math
28(1): 2019/11/16(土)21:04 ID:hwxlFl1i(1) AAS
憐れだねえ
29(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)22:06 ID:hz0vD8O+(10/13) AAS
メモ
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
197 名前：１３２人目の素数さん[sage] 投稿日：2019/11/16(土) 05:31:51.44 ID:xkrFqYQ6
星の入門論文、初版より大幅アップデートされてるな！
(引用終り)
これか
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
星裕一の論文
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
省6
30: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)22:07 ID:hz0vD8O+(11/13) AAS
>>28
べつに
静かでいいわ
おサルはいらんぜｗ（＾＾；
31(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)22:12 ID:hz0vD8O+(12/13) AAS
>>29
IUT ：”2012年8月に以下の4つの論文がプリプリントとして、望月氏のホームページで公開された”
当時、３年くらいで決着（正しいと認められる）と思ったけど
7年経っても決着まだとは
数学でこんなことがあるんだねｗ（＾＾；
外部ﾘﾝｸ:ja.yourpedia.org
宇宙際タイヒミュラー理論
宇宙際タイヒミュラー理論 は2012年に望月新一による Inter-universal Teichmuller Theory と題された一連の論文の中で展開された理論である。ABC予想やVojta予想などの未解決問題を解決したとされるが、2014年の段階では検証は終わっていない。
目次
1 論文について
省21
32(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/16(土)23:13 ID:hz0vD8O+(13/13) AAS
>>31
>外部ﾘﾝｸ:ja.yourpedia.org
>宇宙際タイヒミュラー理論
>ウィキペディアにも「宇宙際タイヒミュラー理論」の項目が執筆されていましたが、削除されてしまいました。
あれ？
英語ウィキペディアは健在ですね （＾＾；
外部ﾘﾝｸ:en.wikipedia.org
Inter-universal Teichmuller theory
(抜粋)
History
省2
33: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)00:04 ID:ybAPn3Jm(1/16) AAS
STAPだってあるんだから
ダメでも英文みたく歴史的記録として残すべきだろうな
外部ﾘﾝｸ:ja.wikipedia.org
STAP
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
STAP細胞 - 刺激惹起性多能性獲得細胞
STAP(Signal-transducing adapter protein) - アダプタータンパク質の一種で、STAP1やSTAP2がある。
34: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)00:07 ID:ybAPn3Jm(2/16) AAS
>>32
日本村では、IUTに表だってダメ出しする人はいない
なんとか、OKが出ることを祈っている
まあOK出るんじゃないですか？（＾＾
35(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)00:15 ID:ybAPn3Jm(3/16) AAS
”5位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 32 19”か、まあまあですな
”2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 1001 34”は、もうすぐ消える
”3位 = 0.99999……は１ではない その３ 394 26”は、哀れな素人さんスレだろｗ（＾＾
外部ﾘﾝｸ[html]:49.212.78.147
数学：2ch勢いランキング
11月17日 0:05:28 更新
順位 6H前比 スレッドタイトル レス数 勢い
1位 = フェルマーの最終定理の簡単な証明2 433 41
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 1001 34
3位 = 0.99999……は１ではない その３ 394 26
省8
36: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)08:33 ID:ybAPn3Jm(4/16) AAS
>>35 補足
１）
1位 = フェルマーの最終定理の簡単な証明：これはトンデモ
2chｽﾚ:math
２）
2位 = 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78：これは1001で終わったスレ
３）
3位 = 0.99999……は１ではない その３：哀れな素人さんスレ（＾＾；
４）
4位 = プログラミングBASIC言語について：トンデモに近いな
省19
37: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)08:42 ID:ybAPn3Jm(5/16) AAS
メモ
数学ソフトでも
今後、クラウドで大規模・高速計算をやるケース増えるだろうね
科研費とか使って
外部ﾘﾝｸ[html]:www.otsuka-shokai.co.jp
オンプレミス 制作協力：株式会社インプレス [2018年 8月20日 公開] 大塚商会
読み方 ： おんぷれみす
オンプレミスとは
プレミス（premise）は「構内」「店内」の意味。オンプレミスは、サーバーやソフトウェアなどの情報システムを、使用者が管理している施設の構内に機器を設置して運用することを指す。「オンプレ」と略されることもあるほか、「自社運用」とも呼ばれる。
オンプレミスは自社で構築するため、システムを柔軟にカスタマイズしやすく、自社システムと連携しやすいというメリットがある。また、セキュリティ面でも自社のネットワーク内でシステムを動かすため、第三者が入りにくく、安全性が高いこともメリットの1つに数えられる。
省4
38(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)14:33 ID:ybAPn3Jm(6/16) AAS
ブレイド群(braid group)（組みひも群とも呼ぶ）の歴史は、英文と比較すると、むちゃ誤訳やね（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
数学において、n 本の糸のブレイド群(braid group)（組みひも群とも呼ぶ）は、Bnと記し、
直感的には幾何学的に描かれる群であり、ある意味で 対称群 Sn を一般化する。
ここに n は自然数であり、n > 1 であれば、Bn は無限群（英語版）(infinite group)である。
ブレイド群は、結び目をあるブレイド（組みひも）の閉じた形として表現することができるので、結び目理論に応用を持つ。
目次
1 はじめに
1.1 直感的な記述
1.2 数学的な扱い
省12
39: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)14:36 ID:ybAPn3Jm(7/16) AAS
>>38
Braid group
although (as Wilhelm Magnus pointed out in 1974[10]) they were already implicit in Adolf Hurwitz's work on monodromy from 1891.
ってことな
40(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:26 ID:ybAPn3Jm(8/16) AAS
メモ
小松彦三郎先生は、東京理科大へ行かれたのか
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
数理解析研究所講究録 1257 巻 2002 年 88-121
リーマンの 「?複素変量の関数一般論のための基礎」
東京理科大学理学部 小松彦三郎 (Hikosaburo Komatsu)
山形県立鶴岡工業高校 井上 鉄也 (Tetsuya Inoue)
東京理科大学大学院理学研究科に 3 年前理数教育専攻という新しい専攻ができた。今度の学習指
導要領で 「総合的な学習の時間」 という従来の学科とは全く異なる教科が新設されるのを先取りし
て、 これに対応できる理系の教師を養或するのが目的である。私は、 はからずも、 この専攻の担当
省14
41: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:27 ID:ybAPn3Jm(9/16) AAS
>>40
つづき
ドイツ語のテキストを理解することと、 それを正しく日本語に書き表ゎすことは別のことである。
このような文章を訳すにはなるべく直訳すべきであろうが、必ずしもそうしながった。 日本語は数学
を表現するのに十分な言語であり、 ドイッ語の構文は一部日本語に似てぃる。 しかし、 どぅにもな
らない差もある。 ショーペンハウアが皮肉ってぃるように、 19 世紀のドイッ語では形容詞が残っ
ているときには同じ名詞を極端に省略してしまう。
論文の内容は、 巻末にリーマン自身が書いたという要旨があるのでそれをみればわかるが、 以下
ざっと紹介することにしよう。
初めに実区間上の連続関数につぃて少しばがり論じている。 ウェーバーが付けた注 1 によれぼ
省13
42: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:32 ID:ybAPn3Jm(10/16) AAS
関連
アマゾン （URLがNGなので、キーワードでググれ（＾＾ ）
リーマンに学ぶ複素関数論 ―1変数複素解析の源流 2019/6/25
高瀬正仁 (著)
(抜粋)
商品の説明
内容紹介
1変数複素関数論のはじまりの景色を眺めよう. リーマンは学位論文「1個の複素変化量の関数の一般理論の基礎」(1851年)において,複素変数関数論の基礎理論を構築しました.本書のねらいは,この論文に現れたリーマンのアイデアを再現することです
リーマンの言葉に丹念に耳を傾けて,リーマンの心情に寄り添いながら学位論文を読み解いていきましょう. (「はじめに」より抜粋)
内容（「BOOK」データベースより）
省18
43(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:44 ID:ybAPn3Jm(11/16) AAS
外部ﾘﾝｸ:www.math.s.chiba-u.ac.jp
Yasuda's Home Page 千葉大
外部ﾘﾝｸ[pdf]:www.math.s.chiba-u.ac.jp
Page 1
denki_math_02 : 2008/4/6(17:48)
第1章複素関数論の基礎
(抜粋)
1814 年にコーシーが複素関数論を始め、複素数を変数に取る解析関数や複素積分が論じられるようになった。
1831 年に、機は熟したとみたガウスが、複素平面を論じ、複素平面はガウス平面として知られるようになった。
ここに、虚数に対する否定的な視点は完全に取り除かれ、複素数が受け入れられていくようになる。
省13
44: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)15:45 ID:ybAPn3Jm(12/16) AAS
>>43
つづき
だが、フェリックスクラインはリーマンの複素解析に関する論文を発表し、
この分野での研究を促していった。1900 年には、ヒルベルトがワイエルシュト
ラスが指摘したディリクレの原理の問題を解決し、その後、ヘルマン・ワイルがリーマン面を厳密に定義したことで、
リーマンの複素解析での業績は再評価されることになった。ポアンカレはリーマンが示した位置解析のアイデアを発展させ、
トポロジーを体系的に研究した。シーゲルはリーマンの遺稿を分析することで、リーマン予想に関するリーマンの研究の中に、
すでにその後の研究を先取りする内容が含まれていることを発見した。
リーマンの複素解析を支持したフェリックスクラインだったが、
エルランゲン・プログラムとの違いからリーマン幾何学に対しては否定的な姿勢をとる。
省7
45: 2019/11/17(日)16:21 ID:4DCOL8y8(1) AAS
スレランキング維持に必死だなｗ
46: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:01 ID:ybAPn3Jm(13/16) AAS
別に必死になる必要もない
∵数学板は、いまや、過疎も過疎、おそらく底辺板だ。
おれが普通に投稿するだけで、軽く、ランキング10位、いや、5位以内も不可能じゃなないだろう
47: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:10 ID:ybAPn3Jm(14/16) AAS
見よ、この数学板過疎の惨状を
このガロアスレより上、全て、まともな数学スレにあらず
そして、いま、殆ど動いていない
”現代数学の系譜 カントル 超限集合論”スレが、8位
”現代数学の系譜 工学物理雑談 古典ガロア理論も読む58”が、15位
別に必死になる必要もないｗ（＾＾；
外部ﾘﾝｸ[html]:49.212.78.147
数学：2ch勢いランキング
11月17日 21:00:31 更新
順位 6H前比 スレッドタイトル レス数 勢い
省10
48(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:48 ID:ybAPn3Jm(15/16) AAS
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
206 投稿日：2019/11/17(日) 17:03:11.84 ID:p1FBlCNS
絶対 Galois 群による数体の復元
星 裕一郎
>単遠アーベル的復元は, “所望の手続きの存在を証明する” ことが目的なのではなく,“所望の手続きを与 える” ことが目的である.
特に, 主張の中にその手続きを書くべきとされる.
下記か
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
絶対 Galois 群による数体の復元
省23
49(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/17(日)21:50 ID:ybAPn3Jm(16/16) AAS
>>48
つづき
F°, F・ を NF, G°, G・ をその絶対 Galois 群とすると, この定理によって, 特に, F° と
F・ が体として同型であることと, G° と G・ が位相群として同型であることが同値である
ことがわかる. つまり, NF の絶対 Galois 群の位相群としての同型類によって, その NF
の同型類が完全に決定される. 別の表現を用いれば, 絶対 Galois 群は NF に対する “完
全な不変量” であるということがわかる. この意味において, “その絶対 Galois 群によっ
て NF を復元することができる” と考えることが可能であろう.
一方, 望月新一氏は, [8] の中で, “そもそも復元とは何か?” という問についての考察を
行い, そこで, “双遠アーベル的復元”, “単遠アーベル的復元” という考え方を提唱した.
省19
50: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/18(月)10:37 ID:G5Kc1m4a(1) AAS
コテハン設定のためカキコ
51: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)10:52 ID:NP7FWnJl(1/4) AAS
メモ
外部ﾘﾝｸ:tech.nikkeibp.co.jp
ソフト開発 プログラミング言語人気ランキング2020 プログラミング言語人気ランキング2020、2位に「大躍進」したあの言語
2019/11/18 05:00
安藤 正芳＝日経 xTECH／日経SYSTEMS
(抜粋)
一気に2位まで順位を上げたPython
画像ﾘﾝｸ[jpg]:cdn-tech.nikkeibp.co.jp
注目すべきは「Python」の飛躍である。機械学習や計算処理などのライブラリーやフレームワークが豊富に用意されているPythonは、最近はやりのAIシステムやデータ分析システムに利用されている。こうしたシステムを開発するITエンジニアは増えており、上位にランクインする結果となった。
では、具体的に順位を見ていこう。普段使用している言語の第1位は前回の調査同様「C/C++」だった。回答者440人中136人が使っている。C/C++は組み込み機器や処理速度が求められるシステムに利用されることが多い。
省6
52: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)11:32 ID:NP7FWnJl(2/4) AAS
メモ
外部ﾘﾝｸ[html]:special.sankei.com
ノーベル賞への祝意と「黄昏」感 数学者・国立情報学研究所教授・新井紀子 産経 正論 2019.10.28
化学は日本の「お家芸」。特に２０００年の白川英樹氏の受賞に始まる化学分野の「ノーベル賞受賞ラッシュ」には目を見張るものがある。だが、今回のメディアの反応は、これまでのもろ手を挙げて万歳、とはどうも違う。国民の間に流れる空気も熱量が低い。
画像ﾘﾝｸ[jpg]:special.sankei.com
ノーベル化学賞を受賞した吉野彰氏＝１０日、東京都千代田区
≪受賞者からの悲観の声≫
もちろん、ノートパソコンやスマートフォンなど身の回りのあらゆるＩＴ機器に搭載されているリチウムイオン電池実用化の鍵になる技術を日本人が開発したことを、誰もが誇らしく感じている。実用化に至るまでのご苦労に思いを馳（は）せ、感動する人々も多い。
だが、日本人の多くが「風」が変わりつつあることを感じている。そう遠くない将来、日本がノーベル賞を取れる日がこなくなるだろう、という「黄昏（たそがれ）」感だ。
省1
53(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)13:52 ID:NP7FWnJl(3/4) AAS
>>49 関連
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
より
外部ﾘﾝｸ:repository.kulib.kyoto-u.ac.jp
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
タイトル: Mono-anabelian Reconstruction of Number Fields (On the examination and further development of inter-universal Teichmuller theory)
著者: Hoshi, Yuichiro
発行日: Aug-2019
出版者: Research Institute for Mathematical Sciences, Kyoto University
省14
54: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)13:53 ID:NP7FWnJl(4/4) AAS
>>53
つづき
One important step of our reconstruction
algorithm consists of the construction of a global cyclotome [i.e., a cyclotome constructed from
a global Galois group] and a local‐global cyclotomic synchronization isomorphism [i.e., a suit‐
able isomorphism between a global cyclotome and a local cyclotome]. We also verify a certain
compatibility between our reconstruction algorithm and the reconstruction algorithm given by
S. Mochizuki concerning the etale fundamental groups of hyperbolic orbicurves of strictly Be‐
lyi type over number fields. Finally, we discuss acertain global mono‐anabelian log‐Frobenius
compatibility property satisfied by the reconstruction algorithm obtained in the present paper.
省10
55: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/19(火)23:55 ID:5iMEimcJ(1) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
パラダイム
(抜粋)
パラダイム (paradigm) とは、科学史家・科学哲学者のトーマス・クーンによって提唱された、科学史及び科学哲学上の概念。
一般には「模範」「範」を意味する語だが、1962年に刊行されたクーンの『科学革命の構造（The structure of scientific revolutions）』で科学史の特別な用語として用いられたことで有名になった。
しかし、同時に多くの誤解釈や誤解に基づく非難に直面したこと、また、概念の曖昧さなどの問題があったために、8年後の1970年に公刊された改訂版では撤回が宣言され、別の用語で問題意識を再定式化することが目指された。
本記事では、撤回の宣言を踏まえつつも、クーン本来の問題関心を明らかにするため、再定式化に用いられた専門図式（disciplinary matrix）の概念も含めて記述する。
外部ﾘﾝｸ:ja.wikipedia.org
パラダイムシフト
省6
56(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/20(水)23:40 ID:Zz2wBuXu(1/3) AAS
2020年はオリンピックとIUTか（＾＾
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
Foundations and Perspectives of Anabelian Geometry,
RIMS workshop, May 18-22 2020
Organisers: Ivan Fesenko (Univ. Nottingham), Arata Minamide (RIMS), Fucheng Tan (RIMS)
This workshop is one of four workshops of special RIMS year "Expanding Horizons of Inter-universal Teichmuller Theory".
Anabelian geometry, together with higher class field theory and the Langlands correspondences, is one of three fundamental generalisations of class field theory.
Invited speakers:
Fedor Bogomolov (Courant Inst., NYU, USA),
Kazumi Higashiyama (RIMS, Kyoto Univ., Japan),
省16
57(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/20(水)23:40 ID:Zz2wBuXu(2/3) AAS
>>56
つづき
Confirmed participants include:
Thomas Bitoun (Univ. Calgary, Canada),
Magnus Carlson (Hebrew Univ., Israel),
David Corwin (Univ. California Berkeley, USA),
Weronika Czerniawska (Univ. Geneve, Switzerland),
Paolo Dolce (Univ. Udine, Italy),
Taylor Dupuy (Univ. Vermont, USA),
Ivan Fesenko (Univ. Nottingham, UK),
省29
58(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/20(水)23:41 ID:Zz2wBuXu(3/3) AAS
>>57
つづき
外部ﾘﾝｸ[html]:www.maths.nottingham.ac.uk
宇宙際タイヒミューラー理論への誘い（いざない）
Invitation to inter-universal Teichmuller Theory (IUT)
RIMS workshop, September 1 - 4 2020
Invited speakers:
Ivan Fesenko (Univ. Nottingham, UK),
Yuichiro Hoshi (RIMS, Kyoto Univ., Japan),
Emmanuel Lepage (IMJ, Paris, France),
省21
59: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)06:44 ID:+nFZ/H2N(1/7) AAS
>>56-58 補足
１．2020年5月から、IUT関連の4本のシンポジュームが打たれる
（間にオリンピックを挟んで）
２．最初の”Foundations and Perspectives of Anabelian Geometry”は、IUTよりも広い話題だな
これは、”Confirmed participants include:”が、発表されているが
他の3本のシンポジュームについては、未発表
３．2本目の「組合せ論的遠アーベル幾何とその周辺」も、最初と同様に、IUTよりも広い話題だ
４．3本目の「宇宙際タイヒミューラー理論への誘い（いざない）」が、IUT入門編ですかね
５．最後の「宇宙際タイヒミューラー理論サミット２０２０」が、本格的なIUTの専門的なシンポジューム
６．最初ので、Jakob Stix (Frankfurt Univ., Germany),
省7
60(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)07:12 ID:+nFZ/H2N(2/7) AAS
>>53 関連
外部ﾘﾝｸ:repository.kulib.kyoto-u.ac.jp
RIMS講究録別冊
B76 On the examination and further development of inter-universal Teichmuller theory
宇宙際Teichmuller理論入門(On the examination and further development of inter-universal Teichmuller theory)
星, 裕一郎 (2019-08)
数理解析研究所講究録別冊 = RIMS Kokyuroku Bessatsu, B76: 79-183
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
これも、英文にした方が良いだろうね
シンポジューム成功の一助として
61(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)07:14 ID:+nFZ/H2N(3/7) AAS
>>60
例えば、Google 翻訳を使うと
序
本稿は, 題目のとおり, 望月新一氏によって創始された宇宙際 Teichm¨uller 理論への入門的解説をその目標として書かれたものです.
特に, “宇宙際 Teichm¨uller 理論において遠アーベル幾何学がどのような形で用いられるか”, “ある Diophantus 幾何学的帰結を得るために宇宙際 Teichm¨uller 理論ではどのような定理を証明するのか”,
“宇宙際 Teichm¨uller理論の主定理を得るために導入された概念である Hodge 劇場とはどのような概念なのか”などといった点が, 本稿の内容の中心となっています.
本稿執筆の際に心掛けたこととして, 以下の 2 点があります.
(a) その段階その段階で直面する問題を明示的に述べて, そして, 宇宙際 Teichm¨uller 理論におけるその問題の解決の方法を説明することで, (たとえ説明に多少の遠回りや重複, 脱線などが生じたとしても) 宇宙際 Teichm¨uller 理論で行われている様々な議論, 及び, そこに登場する様々な概念が, “自然なもの”, “必要なもの” であることを, 可能な限り明らかにするように努めました.
(b) 宇宙際 Teichm¨uller 理論にはたくさんの “新しい考え方” が登場します.
それら (の少なくともいくつか) は決して難しいものではないのですが, その “新奇性” によって, そういった考え方に対する理解への努力が放棄される, という事態が発生しているのかもしれないと思います.
省6
62: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)07:20 ID:+nFZ/H2N(4/7) AAS
There are two points to keep in mind when writing this article.
(a) Explicitly state the problem faced at that stage, and explain how to solve the problem in the cosmic Teichm¨uller theory (even if the explanation is somewhat detour, duplication, derailment)
It is possible that the various discussions in the Teichm¨uller theory on the universe and the various concepts that appear in it are “natural” and “necessary” I tried to clarify as much as possible.
(b) Many “new ideas” appear in the Teichm¨uller theory at the universe.
They (at least some of them) are by no means difficult, but I think that the “novelty” may have led to the abandonment of efforts to understand those ideas .
Therefore, even if it was very elementary, we tried to avoid dropping out of the discussion based only on the novelty of such a new way of thinking by giving several examples.
（翻訳終り）
程度までは、瞬時にできる
コツは、入力日本文の区切り（改行）を、文単位に直してやることです
やっている内に、＜Google 翻訳＞に喰わせるコツが分かってくるだろうが
省4
63(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)08:36 ID:+nFZ/H2N(5/7) AAS
>>61 補足
"遠アーベル幾何学"が、”Far Abelian Geometry”など誤訳されているが、
これは、もとの和文で、置換を使って、専門用語に変換しておくのが良いと思うな
64(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)08:41 ID:+nFZ/H2N(6/7) AAS
下記、良いことを言ってくれるね（＾＾
悪のりしていえば
１．数学科生だって、入学から卒業まで、100点満点＝ノーミス というわけではないだろう
２．というか、100点満点じゃないとダメとなると、だれも卒業できないだろう
３．そうじゃくて、試験で不足だったところは、また勉強すれば良いんだ
４．そして、社会（数学業界も含めて）で、生きていくのに必要な力をつければ良い
あと、IUTについては、うまくABC予想の解決に繋がってほしいですね。こころから祈っています（＾＾
（参考）
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
省12
65: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)10:10 ID:W0+ORYap(1/7) AAS
>>63 補足
検索：AI自動翻訳 専門
で、下記などがヒット
翻訳で、数学専用で、数学用語辞書と、数学独特の表現、言い回しを教え込んで
その上で、AIというやり方で、数学論文の翻訳はかなりやれる気がするな
約 7,190,000 件 （0.53 秒）
広告
NTT ComのAI自動翻訳サービス | 導入前に無料トライアル可能?
広告www.ntt.com/?
ファイルをまるごと翻訳可能。圧倒的なスピードで翻訳負担を削減／導入実績多数！ 日英・英日翻訳・専門用語にも対応・日中・中日翻訳・法人向け・ファイルまるごと翻訳。
省11
66(2): 2019/11/21(木)11:23 ID:m3tHAB11(1) AAS
数学は20世紀初頭に死んだ
現在物理学、工学、経済学などさまざまな分野に応用されている数学の99%は19世紀末までに完成されている
一方、20世紀以降にできた数学のほとんどは何の役にも立っておらず、これから応用される見込みもない
67: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)12:18 ID:W0+ORYap(2/7) AAS
>>66
それ、悪いけど
全く間違っていると思うよ
１．19世紀中に、数学はニュートン力学程度なら完全に扱えるように成長していた
２．20世紀初頭のアインシュタインの特殊相対性理論程度は、確かに、19世紀の数学が準備していたものだし、
一般相対性理論でも、19世紀の数学（リーマンの系譜を継ぐリッチカリキュラス）が用意していたともいえるかもしれない
３．だが、その後の量子力学を扱う数学は、完全に19世紀の数学を超えている。完全に、20世紀以降の数学だろう
４．そして、さらにその後の素粒子論＊）、宇宙論（ブラックホールやビッグバン）を扱う数学は、19世紀の数学を完全に超えている（４次元以上の時空多様体を扱う数学）
５．経済学への応用としては、不動点定理とかゲーム理論は20世紀の数学だし、伊藤先生の確率微分方程式による金融工学も20世紀の数学
６．そして、20世紀数学の基礎論や圏論が、コンピュータサイエンスのバックグラウンドを用意していた
省11
68(1): 2019/11/21(木)12:22 ID:n3dKvWmK(1) AAS
>>66
現代数学が理解できない（したくない）ひとの意見ですな。
スレ主という工学バカトンデモに引かれて同類が寄ってくるのは分かる
事実は逆で、「人間の直感」を超えた数学は20世紀になって始まったばかり
つまり本当の意味での数学はまだ始まったばかり。
69: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)13:36 ID:W0+ORYap(3/7) AAS
>>68
＞スレ主という工学バカトンデモに引かれて同類が寄ってくるのは分かる
おれから見れば、
おまえもその一人（同類）
みんな同じ穴の狢だよ（＾＾
ちょぼちょぼじゃんか〜！ｗ（＾＾；
70: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)13:38 ID:W0+ORYap(4/7) AAS
なお、「人間の直感」は大事だよ
自分の「人間の直感」を大事にできないやつ
これからのAI時代には生き残れないだろうねｗ(゜ロ゜;
71: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)13:49 ID:W0+ORYap(5/7) AAS
まあ、要するに、機械的なしらみつぶしの組み合わせだけに長けただけの人は
そういうのは、コンピューターが機械的にやってくれるさ
対して、AIが出した”擬似正解”に対して、人間的視点でさらに高い見地から判断できる人が求めらると思う
（例えば画像解析で猫と紛らわしい画像の真贋判定とか、・・AI探偵が「こいつが殺人犯だ」とした人の有罪・無罪の判断とかｗ）
72(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)14:05 ID:W0+ORYap(6/7) AAS
Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
Coqよりも、人間に近い証明とか
人間に分かり易く、「Coqのやった証明が説明できる」とか
そういう人が、
評価されるようになるだろうね
外部ﾘﾝｸ:ja.wikipedia.org
Coq
(抜粋)
Coqは証明支援システムの一つ。Coqの核はプログラミング言語Gallinaを用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。
省7
73: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)14:09 ID:W0+ORYap(7/7) AAS
>>72
＞Feit-Thompson定理（英語版）は、Coqで2012年9月に証明が完了したという
＞同じことを、いま人手でやっても、いまや評価されないってことよ（単なる証明屋さん）
いや、もちろん、Coqに掛からない証明も沢山あるし
最初からは、Coqには掛からないのかも知れない
そういう場合に、
手作業での場合分け証明は、世界初としては評価されるよ
あるいは、Coqに掛けられるように腑分けして
その後、Coqに掛けて証明を終えるとか
そういうことのできる人は、
省1
74: 2019/11/21(木)21:05 ID:Ng1rwFBl(1) AAS
>３．そうじゃくて、試験で不足だったところは、また勉強すれば良いんだ
おまえは大学一年の四月にεN論法で落ちこぼれて未だに勉強してないじゃんｗ
75: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/21(木)21:11 ID:+nFZ/H2N(7/7) AAS
過去スレに書いたが
高校２のときに、数学科出身の教師がいてね
本当はε-δとかいうから、高校図書館にある数学書で独学した
大学では使わなかったし
その後も別に使わなかったし
それだけのことよ（＾＾；
76(1): 2019/11/22(金)06:09 ID:Bkswyrq8(1) AAS
2chｽﾚ:math
>本当はε-δとかいうから、高校図書館にある数学書で独学した
でも、いきなり∀とか∃とか文字がひっくり返った記号が出てきたんで
慌てて数学書をそっ閉じした、だろｗ
俺は小学生のときに遠山啓の「数学入門」読んで知ったけどな
ま、あの本には「ε-δ」なんてことは書いてないが
>大学では使わなかったし
「使えなかった」だろ
省3
77(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)12:04 ID:q66RL/oa(1/7) AAS
>>76
＞でも、いきなり∀とか∃とか文字がひっくり返った記号が出てきたんで
＞慌てて数学書をそっ閉じした、だろｗ
１．意味わからん
下記の高校数学の美しい物語「イプシロンデルタ論法とイプシロンエヌ論法」
を見て見な
∀とか∃とか使ってないよｗ（＾＾；
２．最近の”ゆとり”はしらんけど、∀とか∃とか、中学でやった気がする
もう記憶が定かでないが
つまり、中学で、対偶、逆、裏などをやったときに
省16
78: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)12:05 ID:q66RL/oa(2/7) AAS
>>77 タイポ訂正
∀とか∃とか必死でもない
↓
∀とか∃とか必須でもない
分かると思うが
79(1): 2019/11/22(金)14:13 ID:Th5mJBAi(1/2) AAS
そんな必死に言い訳しなくていいよ
おまえが全然分かってないのもうバレてるからｗ
80(1): 2019/11/22(金)17:01 ID:VzC0qaEd(1/5) AAS
おっちゃんです。
何れにしろ、実数直線Rの連結性と ε-N は必須。
微積分に限らず、量化子∀、∃の記号を用いている本はある。
81(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)17:09 ID:q66RL/oa(3/7) AAS
>>80
おっちゃん、どうも、スレ主です。
＞何れにしろ、実数直線Rの連結性と ε-N は必須。
必須・・
ではないでしょ
つーか、
イプシロンデルタ論法というよりも
イプシロンデルタ論争と言った方がいいかもね
外部ﾘﾝｸ:ja.wikipedia.org
ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)−definition of limit）は、
省7
82(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)17:17 ID:q66RL/oa(4/7) AAS
>>79
別に
事実を事実として述べただけ
”ゆとり”とは時代が違うということ
ユークリッド幾何の公理的扱いは、小学校で叩き込まれた
（中学受験受ける人のための補習やってくたりで、「補助線引きます」的なのはさんざん出て来た）
中学では、３元連立までは必修でね。中学教師が、行列式のクラメールの公式を教えてくれた。もちろん、3ｘ3行列も課外でやった
二次方程式の解の公式と、ｙ＝ax^2+bx+cのグラフの標準形は、中学の範囲だった
”ゆとり”とは時代が違うということ
イプシロンデルタ論法は、高校で自分でやったということ
省1
83(2): 2019/11/22(金)17:24 ID:VzC0qaEd(2/5) AAS
>>81
>＞何れにしろ、実数直線Rの連結性と ε-N は必須。
>
>必須・・
>ではないでしょ
必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
まあ、よくここまで手際よくウマくムダを省いた微積分も含む解析の本があるとは思った。
84: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)17:29 ID:q66RL/oa(5/7) AAS
>>82
＞ユークリッド幾何の公理的扱いは、小学校で叩き込まれた
第五公準の平行線の話と
非ユークリッド幾何の話は
小6で、教師が話をしていたのを覚えている
そういや
このまえ書店で
いまどきの高校数学は？
とチャートをみたら
円周角が高校なんやね
省7
85: 2019/11/22(金)17:35 ID:VzC0qaEd(3/5) AAS
それじゃ、おっちゃんもう寝る。
86(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)17:35 ID:q66RL/oa(6/7) AAS
>>83
>必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
そうなんかね？ はてな？
>まあ、よくここまで手際よくウマくムダを省いた微積分も含む解析の本があるとは思った。
そちらが正解では？
87(1): 2019/11/22(金)17:47 ID:VzC0qaEd(4/5) AAS
>>86
＞>必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
＞
＞そうなんかね？ はてな？
実数直線Rはユークリッドノルム ||a||＝|a|＝√(|a|)^2 ∀a∈R が入った実バナッハ空間で、
大学1年ではじめにしている関数の微分は、バナッハ空間Rにおける微分の一例になる。
88: 2019/11/22(金)17:48 ID:VzC0qaEd(5/5) AAS
それじゃ、おっちゃんもう寝る。
89: 2019/11/22(金)18:07 ID:Th5mJBAi(2/2) AAS
>>82
イプシロンデルタ論法は、高校で自分でやったということ
おまえの「やった」は「本を眺めた」に過ぎない
実際おまえはまったく分かってない
90: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)18:36 ID:q66RL/oa(7/7) AAS
まあ、そうかもね
否定も肯定もしない
ただ事実を述べた
91(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:09 ID:qSerb9O3(1/7) AAS
>>87 参考
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
バナッハ空間（バナッハくうかん、英: Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。
7 バナッハ空間上の微分法
バナッハ空間上でいくつかの微分の概念を考えることができる。詳細はフレシェ微分やガトー微分の項などを参照せよ。
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
フレシェ微分（フレシェびぶん、英: Frechet derivative）は、モーリス・ルネ・フレシェの名にちなむ、バナッハ空間上で定義される微分法の一種である。
フレシェ微分は、実一変数の実数値函数の導函数を、実多変数のベクトル値函数の場合へ一般化するのに広く用いられ、また変分法で広範に用いられる汎函数微分を定義するのにもつかわれる。
省7
92(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:10 ID:qSerb9O3(2/7) AAS
>>91
つづき
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
抽象代数学における形式微分（けいしきびぶん、英: formal derivative）は、微分法における通常の微分を形の上で真似た、多項式環または形式冪級数環上で定義される演算である。
結果だけ見れば通常の微分と同じと言えるけれども、形式微分は極限の概念に基づくものではない（そもそも一般の環では極限の概念が意味を持つとは限らないのであった）という点において、代数的操作であることは有意である。
形式微分は通常の微分が満たす多くの性質を満足するけれども、一部、特に数値的な性質については満たさないことに留意しなければならない。
初等代数学において、形式微分を重根の判定に用いることができる。
つづく
93(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:12 ID:qSerb9O3(3/7) AAS
>>92
つづき
外部ﾘﾝｸ:ja.wikipedia.org
微分
(抜粋)
5 一般化
詳細は「微分の一般化（英語版）」を参照
微分の概念を多くの他の状況設定の下でも拡張して定義することができる。共通することは、一つの点における函数の導函数がその点における函数の線型近似として働くことである。
・実函数の微分の重要な一般化は、ガウス平面上の領域からガウス平面 C への函数のような複素変数の複素函数の微分である。複素函数の微分の概念は、実函数の微分の定義において実変数であるところを複素変数に置き換えることで得られる。
二つの実数 x, y を用いて複素数 z = x + i y と書くことによりガウス平面 C を座標平面 R2 と同一視するとき、
省9
94: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:13 ID:qSerb9O3(4/7) AAS
>>93
つづき
・古典的な微分の欠点は微分可能な函数がそれほどまでには多くないことである。それにも関わらず、微分の概念を拡張して任意の連続函数やほかの多くの函数を微分可能とするものに、弱微分がある。
これは連続函数をより大きな分布の空間に埋め込んで、「平均の上で」のみ微分可能性を課すというものである。
・微分の性質に着想を得て代数学や位相空間論における同様の対象がたくさん導入され研究されている。例えば導分（英語版）、微分環などを参照。
・微分の離散的対応物は差分である。微分法の研究は時間尺度微分積分学において差分法と統一される。
・算術微分（英語版）（数論的微分）
つづく
95: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:13 ID:qSerb9O3(5/7) AAS
>>93
つづき
外部ﾘﾝｸ:en.wikipedia.org
Generalizations of the derivative
(抜粋)
In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, and geometry.
Contents
1 Derivatives in analysis
1.1 Multivariable calculus
1.2 Convex analysis
省20
96(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)21:14 ID:qSerb9O3(6/7) AAS
>>93
つづき
外部ﾘﾝｸ:ja.wikipedia.org
微分形式
(抜粋)
数学における微分形式（びぶんけいしき、英: differential form）とは、微分可能多様体上に定義される共変テンソル場である。
微分形式によって多様体上の局所的な座標の取り方によらない関数の微分が表現され、また多様体の内在的な構造のみによる積分は微分形式に対して定義される。
微分多様体上の微分形式は共変テンソルとしての座標変換性によって、あるいは接ベクトル空間上の線型形式の連続的な分布として定式化される。
また、代数幾何学・数論幾何学や非可換幾何学などさまざまな幾何学の分野でそれぞれ、この類推として得られる微分形式の概念が定式化されている。
概要
省5
97: 2019/11/22(金)21:47 ID:Wx//A0T2(1) AAS
このエロガッパがーーー！！
98: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/22(金)23:54 ID:qSerb9O3(7/7) AAS
>>64 関連
外部ﾘﾝｸ[html]:www3.nhk.or.jp
NHKニュース
“ことしの本” 大賞に異例の数学解説書
2019年11月22日 22時32分
(抜粋)
画像ﾘﾝｸ[jpg]:www3.nhk.or.jp
大手書店が選ぶことしの本の大賞に、数学の難問を解く理論について一般向けに解説した数学者の本が選ばれ、異例となる数学の解説書の受賞が話題になっています。
画像ﾘﾝｸ[jpg]:www3.nhk.or.jp
書店が選ぶ賞には小説やノンフィクションなどの作品が多いということで、数学の解説書が大賞を取るのは異例のことです。
省3
99(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)00:07 ID:iKDSmfWl(1/31) AAS
>>91 追加
おっちゃんな
>>83
>＞何れにしろ、実数直線Rの連結性と ε-N は必須。
>
>必須・・
>ではないでしょ
必須。そうしないと、バナッハ空間においてノルムを用いる微分も出来ない。
(引用終り)
？ イプシロンデルタ論法は、確かに証明の手法としての優秀さは認めるとしても
省19
100(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)06:55 ID:iKDSmfWl(2/31) AAS
>>99 追加
外部ﾘﾝｸ:ja.wikipedia.org
バナッハ空間
(抜粋)
バナッハ空間（バナッハくうかん、英: Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。
解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 Lp-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。
バナッハ空間の名称は、この概念をハーンとヘリーらと共に1920-1922年に導入したポーランドの数学者ステファン・バナフに因む[1]。
定義
バナッハ空間の厳密な定義[2]は、
省14
101(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)06:56 ID:iKDSmfWl(3/31) AAS
>>100
つづき
外部ﾘﾝｸ:math-note.xyz
数学ノート
2018.06.20
バナッハ空間とヒルベルト空間の完備でない部分空間の例
(抜粋)
完備なノルム空間をBanach(バナッハ)空間といい，完備な内積空間をHilbert(ヒルベルト)空間という．
Banach空間(Hilbert空間)はもとより線型空間なので，線型空間としての部分空間を考えることができる．この部分空間に元の空間と同じノルム(内積)を与えたものはノルム空間(内積空間)となるが，完備性を持つとは限らない．
すなわち，Banach空間の部分空間が同じノルムでBanach空間になるとは限らないし，Hilbert空間の部分空間が同じ内積でHilbert空間になるとは限らない．
省3
上下前次1-新書関写板覧索設栞歴
あと 901 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.126s