[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
27(1): 2020/03/29(日)13:12 ID:JlXmRJZe(2/3) AAS
>>25
>>26は、>>26ではなく、>>25へのレス。
28: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)13:33 ID:PhmwLbdr(2/14) AAS
>>26-27
あっ、おっちゃん、どうも、スレ主です。
レスありがおとう （＾＾；
29: 2020/03/29(日)16:01 ID:JlXmRJZe(3/3) AAS
それじゃ、おっちゃんもう寝る。
30: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)16:41 ID:PhmwLbdr(3/14) AAS
おっちゃん、おやすみ（＾＾
31(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)16:50 ID:PhmwLbdr(4/14) AAS
メモ
外部ﾘﾝｸ:bluexlab.tokyo
bluexlab
2019.10.03 2019.10.04MATH
パーフェクトイド空間（Perfectoid Spaces）とは？理論の概要と参考文献をご紹介【数論幾何の天才Peter Scholze氏の理論】
「パーフェクトイド空間って一体何？」、「最近、数論幾何の分野でよく聞くパーフェクトイド空間って？」
(抜粋)
こんな疑問に大学院でパーフェクトイド空間（Perfectoid Spaces）を研究していた僕がお答えします。
※このブログの他の数学関連の記事と同じように、この記事でも数学的な正確さよりも”なんとなくの雰囲気”重視で書いているため、数学的に不正確な表現や定義があることはご了承ください。
パーフェクトイド空間（Perfectoid spaces）への準備
省11
32(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)16:51 ID:PhmwLbdr(5/14) AAS
>>31
つづき
パーフェクトイド空間
では、パーフェクトイド空間とは何かと言うと、次のようなp冪の多項式で定義される図形のことを指します。
パーフェクトイド空間では、素数pでたくさん割れる多項式ばかりを考えることになります。
そうすることでいったい何が良いのかと言うと、
パーフェクトイド空間を考えると（使うと）コホモロジーが調べやすくなる
省7
33: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)16:51 ID:PhmwLbdr(6/14) AAS
>>32
つづき
パーフェクトイド空間の応用
パーフェクトイド空間の理論は非常に有用で、Scholzeはパーフェクトイド空間を導入した論文（博士学位論文）で、長年未解決だったウェイト・モノドロミー予想を（部分的に）解決しています。
また、数論幾何の主要な研究対象で、種々のコホモロジーの比較を研究する（整）p進Hodge理論と呼ばれるの分野でも目覚ましい応用が見出されています。
省8
34(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)16:52 ID:PhmwLbdr(7/14) AAS
>>31
これ、分り易いね
というか、分かった気にさせてくれる（＾＾；
35: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)17:10 ID:PhmwLbdr(8/14) AAS
>>34
”26 Perfectoid algebraic geometry as an example of anabelomorphy”
というのがあって、”Perfectoid”をちょっと調べてみようということです
Inter-universal geometry と ABC予想 43
2chｽﾚ:math
299 自分：１３２人目の素数さん[] 投稿日：2020/03/28(土) 18:23:32.21 ID:MRwZqC/h [1/3]
メモ
外部ﾘﾝｸ[pdf]:arxiv.org
On Mochizuki’s idea of Anabelomorphy and its applications Kirti Joshi 20200305
(抜粋)
省9
36: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)17:16 ID:PhmwLbdr(9/14) AAS
外部ﾘﾝｸ[html]:www.ms.u-tokyo.ac.jp
p可除群とそのモジュライ空間に関する最近の進展
研究集会の目的
p可除群のモジュライ空間（Rapoport-Zink空間）は，志村多様体や局所ラングランズ対応と深く関係しており，現代の整数論，表現論および数論幾何において極めて重要な対象である．
この分野においては多くの研究の蓄積があるが，特に近年，Scholzeのperfectoid空間の理論やFargues-Fontaineの「曲線」の理論に基づいた大きな進展があった．
この研究集会では，この最新の進歩について理解を共有するとともに，様々な分野への応用も含めた今後の研究の方向性について討論を行うことを目的とする．
概要
日時
2013年5月7日（火）?11日（土）
場所
省10
37: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)17:21 ID:PhmwLbdr(10/14) AAS
メモ
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
RIMS Kokyuroku Bessatsu
B64 (2017), 219?253
Perfectoid空間論の基礎
(Foundations for theory of perfectoid spaces)
By
津嶋貴弘 (Takahiro TSUSHIMA)*
§ 1. 序論
この概説記事では、[Sch, §1‐§7] のperfectoid空間論について解説する。perfectoid
省20
38(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)17:32 ID:PhmwLbdr(11/14) AAS
メモ
外部ﾘﾝｸ:mathsoc.jp
日本数学会 代数学分科会 ホームページ
外部ﾘﾝｸ[html]:mathsoc.jp
第61回 代数学シンポジウム
2016年9月7日（水）〜9月10日（土）
場所： 佐賀大学本庄キャンパス 理工学部６号館１階大講義室
外部ﾘﾝｸ[pdf]:mathsoc.jp
Almost Ring Theoryの観点からのホモロジカル予想 2016年9月10日 第61回 代数学シンポジウム
下元数馬 (日本大学)
省16
39: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)17:35 ID:PhmwLbdr(12/14) AAS
メモ
外部ﾘﾝｸ[pdf]:repository.kulib.kyoto-u.ac.jp
RIMS Kokyuroku Bessatsu
B64 (2017), 255?293
Perfectoid 空間論の整数論への応用
(Number theoretic applications of the theory of
perfectoid spaces)
By
伊藤哲史 (Tetsushi ITO)’
§1. はじめに
省23
40: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)23:14 ID:PhmwLbdr(13/14) AAS
>>31
おサルありがとう
転載しておくよ
0.99999……は１ではない その７
2chｽﾚ:math
738 名前：１３２人目の素数さん[] 投稿日：2020/03/29(日) 17:48:14.25 ID:ReTOy/u3 [5/7]
2chｽﾚ:math
>これ、分り易いね
>というか、分かった気にさせてくれる
外部ﾘﾝｸ:bluexlab.tokyo
省15
41: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/29(日)23:38 ID:PhmwLbdr(14/14) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
球充填
外部ﾘﾝｸ:en.wikipedia.org
Random close pack
(抜粋)
Random close packing (RCP) is an empirical parameter used to characterize the maximum volume fraction of solid objects obtained when they are packed randomly.
For example, when a solid container is filled with grain, shaking the container will reduce the volume taken up by the objects, thus allowing more grain to be added to the container. In other words, shaking increases the density of packed objects.
But shaking cannot increase the density indefinitely, a limit is reached, and if this is reached without obvious packing into a regular crystal lattice, this is the empirical random close-packed density.
Experiments and computer simulations have shown that the most compact way to pack hard perfect spheres randomly gives a maximum volume fraction of about 64%, i.e., approximately 64% of the volume of a container is occupied by the spheres.
省2
42: 2020/03/30(月)16:24 ID:SsupeAn8(1/2) AAS
おっちゃんです。
新型コロナもはやく収まらないモノかね。
43: 2020/03/30(月)16:25 ID:SsupeAn8(2/2) AAS
それじゃ、おっちゃんもう寝る。
44: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/30(月)18:39 ID:zICzxEKY(1) AAS
おっちゃん、どうも、スレ主です。
同意です。おやすみなさい（＾＾；
45(6): 酒浸り 2020/03/30(月)21:51 ID:Y+NgZsAC(1) AAS
間違って踏んで仕舞った。未だに何故､ Surreal(1-0.999…)=0 & Game(1-0.999…)=ε≠0 に成るか
理由が分からない。Gameに順序性と演算規則性を補完してSurrealが構築されるならば
益々以て上記式のεはSurrealではないGameにしか成り得ない筈なのに、ε自体はSurrealだ！
分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-0.999…)=a≠0 ならば
此の a はRealではないHyperealにしか成り得ない｡
一体、どうなってしまうのか？
ガチンコ数学学園
46(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)00:02 ID:zp6RcyFj(1/6) AAS
>>45
酒浸りさん、どうも。スレ主です。
あなたが言われているのは、下記ですか？（＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
超現実数
(抜粋)
数学における超現実数（ちょうげんじつすう、英: surreal number）の体系は、全順序付けられた真のクラスとして実数のみならず（任意の正実数よりも絶対値が大きい）無限大および（任意の正実数よりも絶対値が小さい）無限小まで含む。
超現実数の体系は、四則演算（加減乗除）など実数が持つ多くの性質を共有しており、順序体を成す[注釈 1] 超現実数をフォンノイマン?ベルナイス?ゲーデル集合論（英語版） (NBG) において定式化するならば、超現実数体は（有理数体、実数体、有理函数体、レヴィ?チヴィタ体、準超実数体、超実数体などを含む）すべての順序体をその部分体として実現できるという意味で普遍的な順序体となる[1]。
超現実数は、すべての超限順序数も（その算術まで込めて）含む。あるいはまた、（NBGの中で構成した）超実体の極大クラスが超現実体の極大クラスに同型であることが示せる（大域選択公理（英語版）を持たない理論では必ずしもそうならないし、またそのような理論において超現実数体が普遍順序体になるとも限らないことに注意する）。
省24
47(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)00:28 ID:zp6RcyFj(2/6) AAS
>>45
＞間違って踏んで仕舞った。未だに何故､ Surreal(1-0.999…)=0 & Game(1-0.999…)=ε≠0 に成るか
＞分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-0.999…)=a≠0 ならば
下記1/3＝0.333・・・ で定義するならば
両辺に3を掛けて
左辺 1/3*3＝1
右辺 (0.333・・・)*3=0.999・・・
よって、1＝0.999・・・ 成立ですが
ところで、無限小超現実数としてのεを考える
「0.999・・*：＝0.999・・・−ε」という数を定義します
省15
48: 酒浸り 2020/03/31(火)01:11 ID:syVMD0lp(1/4) AAS
>>45一部で誤記振りホイホイしてしまったので当該箇所を訂正｡
×
分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-0.999…)=a≠0 ならば
此の a はRealではないHyperealにしか成り得ない｡
一体、どうなってしまうのか？
ガチンコ数学学園
○
分からない人に言うなら、これは実数と超実数｡ Real(1-a)=0 & Hypereal(1-a)=e≠0 ならば
此の e はRealではないHyperealにしか成り得ない｡
省3
49(2): 酒浸り 2020/03/31(火)03:17 ID:syVMD0lp(2/4) AAS
其う言えば当スレでは超現実数Wikipedia日本語版さえ貼ってなかったな、手間を掛けた｡
>>47
スター[star]か。其れはナンバー[Number]ではなくニンバー[Nimber]か？
Star (game theory) - Wikipedia
外部ﾘﾝｸ:en.wikipedia.org
Nimber - Wikipedia
外部ﾘﾝｸ:en.m.wikipedia.org
>>en.Wikipedia
Sorry, In Japanese, please! I can't read English!
省3
50: 酒浸り 2020/03/31(火)03:23 ID:syVMD0lp(3/4) AAS
むぅ、己れ。何年か前迄はYahoo!Geocitiesに素人向け解説とは言え説いている頁が在ったのだが
URLを保存していた機種を大破全損してしまい復元閲覧も至難だ。不覚…｡
51: 酒浸り 2020/03/31(火)04:12 ID:syVMD0lp(4/4) AAS
仕舞った。英単語の綴りも間違っていた、rは1つ切り綴りではなく2つ連ね綴りだった。
つまり超実数の英訳はhyperealではなくhyperrealだった、迷惑を掛ける｡
52: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)07:48 ID:zp6RcyFj(3/6) AAS
>>49
>俺の英語力は魁!!男塾の田沢並みである｡
＜翻訳機能 下記 ご参考まで＞
１．Google翻訳サイトがあるよ
外部ﾘﾝｸ:translate.google.com
２．ブラウザでChrome使うとウェブページを翻訳できる （なお、私は右クリックで、翻訳を出して使うことが多いす）
外部ﾘﾝｸ:support.google.com
Chrome の言語の変更とウェブページの翻訳
Chrome では、使用する言語を変更したり、ウェブページを翻訳したりすることができます。
３．Edgeでも、翻訳機能はあるみたい
省7
53: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)07:54 ID:zp6RcyFj(4/6) AAS
>>49
(引用開始)
>>47
スター[star]か。其れはナンバー[Number]ではなくニンバー[Nimber]か？
Star (game theory) - Wikipedia
外部ﾘﾝｸ:en.wikipedia.org
Nimber - Wikipedia
外部ﾘﾝｸ:en.m.wikipedia.org
(引用終り)
*を使ったとき、上記の”Star (game theory) - Wikipedia”は、全く知らなかったんだ（＾＾；
省1
54: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)10:46 ID:YIE+6BeO(1/6) AAS
>>46
>準超実数体、超実数体などを含む）すべての順序体をその部分体として実現できるという意味で普遍的な順序体となる[1]。
面白いね
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
抽象代数学における準超実数[要出典]（じゅんちょうじっすう、 英: super-real number）は実数を拡張する数のクラスで、Dales & Woodin (1996) によって超実数を一般化するものとして導入され、主に超準解析・モデル理論・バナッハ環論において興味がもたれる。準超実数全体の成す体は、それ自身が超現実数体の部分体を成す。
目次
1 厳密な定義
2 注
3 参考文献
省6
55: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)10:50 ID:YIE+6BeO(2/6) AAS
>>46
＞ 13.1.3 コンウェイの実現との対応
コンウェイは、下記か
コンウェイ群の発見 (1968)は有名
弟子、ボーチャーズは、ムーンシャインインでフィールズ賞だね
外部ﾘﾝｸ:ja.wikipedia.org
ジョン・ホートン・コンウェイ
ジョン・ホートン・コンウェイ（John Horton Conway, 1937年12月26日 - ）はイギリスの数学者。現プリンストン大学教授。
仕事
コンウェイ群の発見 (1968)、ライフゲームの考案 (1970)、超現実数の発明 (1970)、巨大数のコンウェイ記法の発明などで知られる。
省1
56(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)11:06 ID:YIE+6BeO(3/6) AAS
>>46 補足
面白いね
外部ﾘﾝｸ:ja.wikipedia.org
超現実数
(抜粋)
ω の冪
すなわち、任意の超現実数は
略
なる形に一意的に書くことができる。ここに、各 rα は非零実数で yα は超現実数の狭義単調減少列である。
しかし、この右辺の「和」は無限個の項（その長さは一般には任意の順序数となる）を持ち得る（もちろん 0 はこの係数列が空集合となる場合に相当し、最高次の冪を持たない唯一の超現実数である）。
省2
57(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)11:09 ID:YIE+6BeO(4/6) AAS
>>56 補足
＞これは超現実数をハーン級数として定式化するための基礎となる。
面白いね
外部ﾘﾝｸ:ja.wikipedia.org
超現実数
(抜粋)
ハーン級数
Alling (1987)(th. 6.55, p. 246) もまた超現実数体が実係数ハーン級数（英語版）体（各級数の和の値は超現実数として解釈する）に順序体として同型となることを証明した（この級数表現は、上述した超現実数の標準形に対応するものである）。これにより、超現実数をより従来的な順序体論的アプローチに結び付けることができる。
この同型により超現実数が写された先の体は、コンウェイ標準形における最高次項の冪指数の加法逆元を付値とする付値体である（例えば ν(ω) = ?1）。したがって、この体の付値環は有限超現実数（実数または実数に無限小成分を加えたもの）すべてからなる。
ここで付値として冪指数の符号を反転させるのは、コンウェイ標準形における冪指数が逆整列集合を成していることと、それに対しハーン級数が値群における（正順の）整列部分集合によって定式化されていることによるものである。
58(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)11:13 ID:YIE+6BeO(5/6) AAS
>>57
＞超現実数体が実係数ハーン級数（英語版）体（各級数の和の値は超現実数として解釈する）に順序体として同型となることを証明した
外部ﾘﾝｸ:en.wikipedia.org
Hahn series
(抜粋)
In mathematics, Hahn series (sometimes also known as Hahn?Mal'cev?Neumann series) are a type of formal infinite series.
They are a generalization of Puiseux series (themselves a generalization of formal power series) and were first introduced by Hans Hahn in 1907[1] (and then further generalized by Anatoly Maltsev and Bernhard Neumann to a non-commutative setting).
They allow for arbitrary exponents of the indeterminate so long as the set supporting them forms a well-ordered subset of the value group (typically {Q} or {R} ).
Hahn series were first introduced, as groups, in the course of the proof of the Hahn embedding theorem and then studied by him as fields in his approach to Hilbert's seventeenth problem.
Contents
省8
59: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/03/31(火)11:48 ID:YIE+6BeO(6/6) AAS
>>58 関連
英語のページが、実に充実しているね
外部ﾘﾝｸ:ja.wikipedia.org
形式的冪級数
外部ﾘﾝｸ:en.wikipedia.org
Formal power series
(抜粋)
Contents
1 Introduction
2 The ring of formal power series
省32
60(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)20:55 ID:zp6RcyFj(5/6) AAS
>>46
> 11 ゲーム
決定性公理が、”ゲーム”を使った定義になっていることに、長年不思議に思っていた
今回、下記コンウェイとか、超現実数のゲームとの関連を知って、なにか数学基礎論とゲームに繋がりがあることが、うっすらと理解できた気がするな（＾＾；
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
決定性公理
(抜粋)
決定性公理（けっていせいこうり、英: axiom of determinacy）とは、1962年にミシェルスキー（英語版）、ユゴー・スタインハウス（英語版）によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人完全情報ゲームについて（後述）、どちらかのプレイヤーは必ず必勝法を持つことを主張する。
決定性公理は公理的集合論の選択公理と矛盾する。決定性公理を仮定すると、実数の任意の部分集合について「ルベーグ可測である」「ベールの性質を持つ」「完全集合性（英語版）を持つ」ことが従う。とくに実数の任意の部分集合が完全集合性を持つことは「実数の部分で非可算なる集合は実数と同じ濃度を持つ」という弱い形の連続体仮説が成り立つことに換言される。
省10
61: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/31(火)20:56 ID:zp6RcyFj(6/6) AAS
>>60
つづき
歴史的なことを言えば、コンウェイは本項とは逆順に超現実数の理論を発展させたのであった。コンウェイは、囲碁の寄せを分析し、相互干渉しない小遊技の分析を繋ぎ合わせてそれらの選言和の分析とする何らかの方法があれば有用であるという実感を得ていた。
そうしたことからコンウェイはゲームの概念とそれらに対する加法演算を発明した。そこからさらに符号反転および大小比較の定義へと開発は動いて行き、ゲームからなるある種のクラスが興味深い性質を持つことをコンウェイは指摘している。
それが超現実数全体の成すクラスである。最終的に乗法演算を開発するに至って、超現実数の全体が実際にひとつの体を成すことおよびそれが実数の全体と順序数の全体をともに含む体系となることが証明された。
外部ﾘﾝｸ:ja.wikipedia.org
ゲーム理論
(抜粋)
ゲーム理論（ゲームりろん、英: game theory）とは、社会や自然界における複数主体が関わる意思決定の問題や行動の相互依存的状況を数学的なモデルを用いて研究する学問である[2][3][† 1]。数学者ジョン・フォン・ノイマンと経済学者オスカー・モルゲンシュテルンの共著書『ゲームの理論と経済行動』(1944年) によって誕生した[† 2] [† 3]。
外部ﾘﾝｸ:en.wikipedia.org
省6
62(2): 2020/04/01(水)04:24 ID:+nGXqagc(1/4) AAS
>>60
長年って具体的に何年？。
コピペ作業始めてから？。
63(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)07:26 ID:RqQA8SNl(1/9) AAS
>>62
良い質問ですね
ガロアスレ 1 2chｽﾚ:math 初代スレ
1 名前：名無しさん[] 投稿日：2012/01/31(火) 22:32:36.78 ID:LTM9xtnu [1/10]
ガロアスレ 83 2chｽﾚ:math 実質最後
因みに、ガロアスレ84の記録 下記の通り
Inter-universal geometry と ABC 予想 45
2chｽﾚ:math
498 名前：１３２人目の素数さん[sage] 投稿日：2020/03/28(土) 16:55:44.34 ID:MRwZqC/h [5/9]
>>496
省23
64: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)07:27 ID:RqQA8SNl(2/9) AAS
>>63 訂正
現代数学の系譜 工学物理雑談 古典ガロア理論も読む84 キャッシュ （スレ No.35 まであった）
↓
現代数学の系譜 工学物理雑談 古典ガロア理論も読む84 キャッシュ （レス No.35 まであった）
分かると思うが（＾＾；
65: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/01(水)11:37 ID:hrrhEvXG(1/3) AAS
>>62
>コピペ作業始めてから？。
ついでにいうと
数学では、”名無し”さんの発言は、自分に力が無いと、あんまり意味がないと思う
ヒントにはなるけどね
１．５ｃｈは、学会ではない
２．５ｃｈは、大学のゼミでもない
３．５ｃｈは、原則匿名の”名無し”で、相手のレベルが分からない
（だれかが書いていたが、大人だと思って相手をしていたら、小学生だったという事例があったとか）
４．そんなところで、根拠レスの議論をしても、無意味でしょ？
省3
66(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/01(水)16:35 ID:hrrhEvXG(2/3) AAS
転載
現代数学の系譜 カントル 超限集合論2
2chｽﾚ:math
外部ﾘﾝｸ:fujicategory.hatenadiary.org
数学基礎論の勉強ノート id:fujicategory 2011-07-21
レーヴェンハイム・スコーレムの定理！！
(抜粋)
第５章
まずは定理の引用から。（新井敏康「数学基礎論」より）
定理５.１.７（上方(Upward)Lowenheim-Skolem 定理）
省26
67: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/01(水)16:37 ID:hrrhEvXG(3/3) AAS
>>66
追加
これ、図解がすばらしいと思う
一例
画像ﾘﾝｸ[png]:www.cs-study.com
画像ﾘﾝｸ[png]:www.cs-study.com
省3
68(2): 2020/04/01(水)21:39 ID:+nGXqagc(2/4) AAS
長年っていうのは小学生の頃から疑問だったとかそういうのをいうんだよ。
工学化学で修士号も取れないのが純粋数学にクビ突っ込んだ気になって歯が全然立たないケースを言うのではない。
69(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)22:06 ID:RqQA8SNl(3/9) AAS
>>68
>工学化学で修士号も取れないのが純粋数学にクビ突っ込んだ気になって歯が全然立たないケースを言うのではない。
おまえ、数学ど素人だなｗｗ（＾＾
１）純粋数学と応用数学の厳密な区分はないよ！！ｗｗ（＾＾
上げればきりがないが、昔々群論は純粋数学だったかもしれないが、いまどきは工学でも常識
逆に、数学近接分野から純粋数学に取入れられ、フィールズ賞になったもの多数ある（例 下記 大栗博司のブログ）
（下記以外でも、古典的な例だが、ディラックのδ関数が発展して、シュワルツの超関数論になった。もっと遡れば、ニュートンやオイラー、ガウスの時代は、数学と物理の垣根は低かったよ）
２）同じ1つの数学分野でも、数学屋と工学屋では見方が違う。数学屋は論文ネタとして見る。工学屋は、自分の目の前の問題に使えるかどうかを見る
多分、物理屋や化学屋も同様で、工学屋に近いと思う。数学の論文が書けるかには、興味はない
３）なお、物理屋は、最新に数学に貪欲だと言われる
省10
70: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)22:07 ID:RqQA8SNl(4/9) AAS
>>69
つづき
今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。
場の量子論に数学的基礎を与えることは数理物理学の長年の課題ですが、２次元の共形場の理論では確実な進歩が起きています。前回の２００６年のICMでフィールズ賞を受賞されたウェンデリン・ウェルナーさんの業績も２次元の共形場の理論に関係するものでした。
もうひとりの受賞者のセドリック・ビラニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。
物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです。
(引用終り)
以上
71(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)22:10 ID:RqQA8SNl(5/9) AAS
>>69 タイポ訂正
３）なお、物理屋は、最新に数学に貪欲だと言われる
↓
３）なお、物理屋は、最新の数学に貪欲だと言われる
ついでに、追加
佐藤幹夫先生が研究された ソリトンの代数解析は
（可積分系の数学に発展した）
物理と数学の境界の問題だったよね
72: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)22:15 ID:RqQA8SNl(6/9) AAS
>>71 追加
外部ﾘﾝｸ:ja.wikipedia.org
佐藤幹夫 (数学者)
(抜粋)
ソリトンなど可積分系の研究、特に、ソリトン方程式のモジュライが無限次元グラスマン多様体になるという佐藤-佐藤の定理（夫人と共著）で有名。この定理は可積分微分方程式に対するガロア理論と見なすことができる。
講義録
佐藤幹夫述、野海正俊記「ソリトン方程式と普遍グラスマン多様体」上智大学数学講究録 No. 18（1984年）、上智大学数学教室
外部ﾘﾝｸ:ja.wikipedia.org
佐藤理論（さとうりろん）は、佐藤幹夫によるソリトン方程式と解に関する理論である[1]。(京都大学数理解析研究所講究録388 1980[2],; 414, 1981[3])
KP方程式 (en)をはじめとする完全可積分方程式のソリトン解の τ関数は普遍Grassmann多様体上の点で、双線形方程式はPlucker関係式である。
省6
73(1): 2020/04/01(水)22:28 ID:+nGXqagc(3/4) AAS
化け学が欲の皮は欲の皮でも相当歪んだ自己顕示欲の皮の包茎でコピペで威張っててもなぁ
74(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)23:05 ID:RqQA8SNl(7/9) AAS
>>69 補足
>下記「１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていた」（大栗）
４月の数理科学の記事に「作用素環と結び目 河東泰之」があって
”ジョーンズ多項式”について書かれている
１９９０年に、ジョーンズさん、ウィッテンさんとも、フィールズ賞受賞
数学と物理の境界でした仕事が評価されたものです （＾＾
（参考）
外部ﾘﾝｸ:www.saiensu.co.jp
数理科学 2020年4月号 Ｎｏ.682
(抜粋)
省17
75: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)23:06 ID:RqQA8SNl(8/9) AAS
>>74
つづき
組み紐の表現による定義
ジョーンズによるジョーンズ多項式のもともとの定式化は彼の作用素環の研究に由来する。ジョーンズ のアプローチにおいて、それはある代数(統計力学における Potts模型 のようなある種の模型に由来)への組み紐の表現のある種の "トレース" から生じた。
関連すること
チャーン・サイモンズ理論との関係
エドワード・ウィッテン が初めて示したように、与えられた結び目 γ の ジョーンズ多項式は、ゲージ群 を SU(2) とした三次元球面の チャーン・サイモンズ理論 を考えて、γ に付随したウィルソンループ WF(γ)（F は SU(2) の基本表現）の真空期待値を計算することで得られる。
量子不変量との関係
ジョーンズ多項式 V(K) の不定元 t に {\displaystyle e^{h}}{\displaystyle e^{h}} を代入して h で展開すると、各 hn の係数はヴァシリエフ(Vassiliev)不変量になる。マキシム・コンツェビッチはヴァシリエフ不変量を統一する結び目不変量コンツェビッチ積分を構成した。
このコンツェビッチ積分の値(ヤコビ図式と呼ばれる 1,3-価グラフの無限和)に sl2 ウェイトシステム（ドロール・バー-ナタン（英語版）(Dror Bar-Natan)）が理論的に整備した)を適用するとジョーンズ多項式が復元する。
省6
76: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/01(水)23:10 ID:RqQA8SNl(9/9) AAS
>>73
葦の髄から天井を覗く
葦の髄から数学を覗くｗｗ(゜ロ゜；
（参考）
外部ﾘﾝｸ:kotobank.jp
コトバンク
葦の髄から天井を覗く（読み）ヨシノズイカラテンジョウヲノゾク
葦(よし)の髄(ずい)から天井(てんじょう)を覗(のぞ)・く
デジタル大辞泉の解説
細い葦の茎の管を通して天井を見て、それで天井の全体を見たと思い込むこと。自分の狭い見識に基づいて、かってに判断することのたとえ。
省4
77(1): 2020/04/01(水)23:23 ID:+nGXqagc(4/4) AAS
ストローから甘い汁だけ啜ろうって遣り口はコピペというズルで理論武装した気になってる奴だろ。
78: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)07:30 ID:kD9YEDnI(1/8) AAS
>>77
数学ド素人ｗ
・多くの数学が、物理など現実に起きる数理現象から影響を受けている
・それは、数学の歴史を見れば分かること
・もともと、古代エジプトで、分数による計算とか、幾何の（3,4,5）の直角三角形とかは知られていたらしい
（それはピラミッドの建設にも役だったでしょうね）
・現代のフィールズ賞についも、物理ネタを使ったもの多数。>>69の「大栗博司のブログ」の通り
・数学は、数学だけで孤立したものにあらず！！ ｗｗ （＾＾
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省30
79: 2020/04/02(木)08:54 ID:evZ2Ok4z(1/2) AAS
やっぱプロの詐欺師とか
ネットの情報商材系コピペSEO業者なんだな。
要するに。
80: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/02(木)09:57 ID:XDgVHU54(1/6) AAS
必死の論点そらし
ご苦労さん
ネットの情報商材系コピペSEO業者？
なんだそれ？ｗ
おまえから、突っかかってきたんだろ？ｗｗ（＾＾
サッサと遁走しろよｗｗｗ
81(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/02(木)10:23 ID:XDgVHU54(2/6) AAS
>>68
>工学化学で修士号も取れないのが純粋数学にクビ突っ込んだ気になって歯が全然立たないケースを言うのではない。
・純粋数学の定義がない
→純粋数学と応用数学の明確な区別なし
→応用からの問題解決のために考えられ、純粋数学となった分野多数
・であれば、純粋数学と応用数学の明確な区別はないのだし、応用分野の人も 自分の課題に使える数学として、先端数学の知識はいるよね
・”問題解決のために考えられ 純粋数学となった分野多数”とすれば、数学側でも 数学（論文）ネタとして 関連＆隣接分野の課題は、知っているべき
・一例をあげれば、１億円懸賞問題 ミレニアム（下記）
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省6
82(1): 2020/04/02(木)13:25 ID:evZ2Ok4z(2/2) AAS
検索で出てくるとウザいコピペだけで作成されたページをご存じない？。
御存じないというより本業のプロだろうからなあ。
83(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/02(木)14:19 ID:XDgVHU54(3/6) AAS
>>82
さあ？
知らんけどなー
ただ、以前ガロアスレを立ち上げていたときに
google検索で、結構上位にガロアスレがヒットで上げられるので便利だった
自分で書いたのだが、「あれどうったかな？」と思ったときに
google検索で結構ヒットしたね
5chって、結構google検索のランク付けが上位だと思ったね
google検索 の仕組みの詳しいことは知らんけど
なお、稼ぎたいなら、５ｃｈなんかやめて
省9
84: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/02(木)14:25 ID:XDgVHU54(4/6) AAS
>>83 タイポ訂正
自分で書いたのだが、「あれどうったかな？」と思ったときに
↓
自分で書いたのだが、「あれどうだったかな？」と思ったときに
分かると思うが（＾＾；
85: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/02(木)15:23 ID:XDgVHU54(5/6) AAS
>>83
>google検索で、結構上位にガロアスレがヒットで上げられるので便利だった
そうそう
思い出したので書いておくと
５ｃｈのコピーサイトもあるんだわ
本来の５ｃｈとは別にね
それで、過去スレでも、５ｃｈのコピーサイトとかがヒットすることが結構あったな
いまもそうかどうか知らないが（多分ちょっと違法っぱいな）
いま専用ブラウザ使っているのだが、現在から過去スレを横断して検索する機能はないみたい
そういう機能があると便利だけれどね
省4
86: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/02(木)17:24 ID:XDgVHU54(6/6) AAS
>>81
（例補足）
数学隣接分野で、文系だけれど 経済学 があるよね
・ちょっと有名なのが 知る人ぞ知るで、hiroyukikojima氏。東大数学科から院試で失敗して、経済学へ行った人
URLがNGで略す hiroyukikojima’s blog
・三菱UFJ、（東大 亀澤宏規氏）数学科出身社長就任の衝撃… 文＝真壁昭夫／法政大学大学院教授 Business Journal 2020.02.11 なんてのもある（これは経営かもしらんが）
外部ﾘﾝｸ[html]:biz-journal.jp
・ブラック?ショールズ方程式は、伊藤先生の確率微分方程式論を経済の株価予測に適用して、ノーベル経済学賞（上記 亀澤宏規氏もこの仕事をしたらしい）
外部ﾘﾝｸ:ja.wikipedia.org
・ナッシュ均衡のナッシュさん、アメリカ人の数学者。ゲーム理論、微分幾何学、偏微分方程式で著名な業績を残す。
省9
87(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)22:27 ID:kD9YEDnI(2/8) AAS
>>31
追加
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
数理解析研究所講究録 1200 巻 2001 年 39-47
Weight-monodromy conjecture over positive
characteristic local fields
東大数理・修士課程 伊藤哲史 (Tetsushi Ito)
Graduate School of Mathematical Sciences, University of Tokyo
1. INTRODUCTION
本稿ではウェイト・ モノドロミー予想について, 筆者が修士論文 [It] で得た結果を紹
省21
88(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)22:28 ID:kD9YEDnI(3/8) AAS
>>87
つづき
したがって, ウェイト・モノドロミー予想は, $K$ が混標数の場合が残されたことに
なる. Langlands 対応などへの応用上は, 残された混標数の場合が重要であると考えら
れる. しかし, この場合は, 様々な部分的な結果はあるものの, 一般には未解決である
$([\mathrm{I}\mathrm{I}],[\mathrm{R}\mathrm{Z}],[\mathrm{S}\mathrm{G}\mathrm{A}7- \mathrm{I}])$.
なお, エタールコホモロジーの比較定理を用いることで, 系 13 から $\mathbb{C}$ 上の Hodge 理論
におけるウェイト・モノドロミー予想の対応物が得られる. すなわち, 複素単位円板上の
代数的な Hodge 構造の退化に対して, Schmid のフィルトレーション ([Sc]) と Steenbrink
のフィルトレーション ([St]) の一致を示すことができる. これはすでに Steenbrink, 斎藤
省4
89(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)22:32 ID:kD9YEDnI(4/8) AAS
>>87
追加
外部ﾘﾝｸ[cgi]:gakui.dl.itc.u-tokyo.ac.jp
学位論文要旨
伊藤,哲史
P進一意化を持つ多様体に対するウェイト・モノドロミー予想 2003.03.28
(抜粋)
ウェイト・モノドロミー予想(weight-monodromy conjecture)とは,Deligneにより1970年の国際数学者会議において提出された予想である([D1]).これは,完備離散付値体上の固有かつ滑らかな代数多様体のl進コホモロジーに定義されたモノドロミー・フィルトレーションの重み(weight)が純であるという予想として定式化されており,
"Deligneによるモノドロミー・フィルトレーションの純性予想"とも呼ばれている.本論文の主結果は,Drinfeld上半空間によるp進一意化を持つ代数多様体に対し,ウェイト・モノドロミー予想が成り立つ,ということである.
ウェイト・モノドロミー予想は,代数多様体が有限体上の曲線上の族から来ているときは,Deligne自身によってWeil予想の証明の中で解かれており([D2]),一般の正標数の場合はこれから従う.また,複素数体C上では,Hodge理論における対応物が単位円板上のHodge構造の退化の理論として研究され,Steenbrink,斎藤盛彦氏によって示されている([Sa]).
省2
90: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)22:34 ID:kD9YEDnI(5/8) AAS
>>89
つづく
まず,ウェイト・モノドロミー予想について簡単に復習しよう.混標数の場合が問題なので,Kをp進体Qpの有限次拡大体とし,Fqをその剰余体とする.
lをpと異なる素数とする.XをK上の固有かつ滑らかな代数多様体とすると,l進コホモロジー〓にはKの絶対Galois群〓が連続的に作用する.完全系列によって惰性群IKを定める.IKの副l部分は,によってZl(1)と同形である(πはKの素元,(1)はTate捻り).Grothendieckのモノドロミー定理により,IKのVへの作用は準巾単である.
これよりIKの開部分群J⊂IKと,モノドロミー作用素と呼ばれる巾零写像N:V(1)→Vが存在し,各σ∈Jに対してp(σ)=exp(tl(σ)N)となることが分かる.
NからVのモノドロミー・フィルトレーションM.が次の条件をみたす唯一のフィルトレーションとして定まる.M.は〓の作用で安定なVの増大フィルトレーションであり,十分大きなkに関してM-kV=0,MkV=V,全てのkに対してN(MkV(1))⊂Mk-2Vを満たし,さらに,これから誘導される写像Nk:GrMkV(k)→GrM-kVは同形である(GrMkV:=MkV/Mk-1V).〓の〓における像が〓となるとき,σを幾何学的Frobeniusの持ち上げという.
予想(ウェイト・モノドロミー予想).〓を幾何学的Frobeniusの持ち上げとすると,全てのkに対して,σのGrMkVへの作用の固有値は代数的整数であり,その全ての複素共役の複素絶対値はq(k+w)/2である.
外部ﾘﾝｸ[pdf]:gakui.dl.itc.u-tokyo.ac.jp
(引用終り)
以上
91: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)22:44 ID:kD9YEDnI(6/8) AAS
>>87
追加
外部ﾘﾝｸ[pdf]:www.math.okayama-u.ac.jp
第 50 回代数学シンポジウム・徳島大学，2005 年 8 月 2 日
GLn の大域・局所 Langlands 対応
吉田 輝義1
(京都大学大学院理学研究科 / Harvard University)
(抜粋)
3 類体論と Langlands 対応
P14
省12
92: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)22:54 ID:kD9YEDnI(7/8) AAS
>>87
追加
外部ﾘﾝｸ[pdf]:www4.math.sci.osaka-u.ac.jp
2009年サマースクール
保型表現とGalois表現
?初学者のために?
吉田輝義 （よしだ・てるよし／ケンブリッジ大学数学科）
目 次
1 表現論の諸相 (1) 1
2 Q 上の L 進指標の類体論（GL1/Q の Langlands 対応） 5
省11
93: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/02(木)23:01 ID:kD9YEDnI(8/8) AAS
以上、”ウェイト・モノドロミー予想”とは？ について、調べた むずいｗｗ（＾＾；
94(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/03(金)00:16 ID:DyKRdYgC(1/3) AAS
外部ﾘﾝｸ:en.wikipedia.org
Perfectoid space
(抜粋)
In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime p.
A perfectoid field is a complete topological field K whose topology is induced by a nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on K°/p where K° denotes the ring of power-bounded elements.
Perfectoid spaces may be used to (and were invented in order to) compare mixed characteristic situations with purely finite characteristic ones. Technical tools for making this precise are the tilting equivalence and the almost purity theorem. The notions were introduced in 2012 by Peter Scholze.[1]
Contents
1 Tilting equivalence
1.1 Almost purity theorem
2 See also
95(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/03(金)00:43 ID:DyKRdYgC(2/3) AAS
＜ウェイト・ モノドロミー予想＞
１．伊藤哲史先生>>87-88
「Langlands 対応などへの応用上は, 残された混標数の場合が重要であると考えら
れる. しかし, この場合は, 様々な部分的な結果はあるものの, 一般には未解決である」
２．Perfectoid space >>94
「In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic"」
で、"mixed characteristic"混標数の性質の良い空間を作って
そこで、ウェイト・ モノドロミー予想を部分解決したってことかな？（>>31）
３．「ウェイト・モノドロミー予想(weight-monodromy conjecture)とは,Deligneにより1970年の国際数学者会議において提出された予想である([D1]).」
「これは,完備離散付値体上の固有かつ滑らかな代数多様体のl進コホモロジーに定義されたモノドロミー・フィルトレーションの重み(weight)が純であるという予想として定式化されており,」
省11
96: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/03(金)00:43 ID:DyKRdYgC(3/3) AAS
>>95
つづき
This is the perfectoid analog of the fact that the absolute Galois group GK of a p-adic field K has autormorphisms which do not preserve the ring structure of K.
Now let me explain that the main theorem of [Sch12b] provides the perfectoid analog of anabelomorphy (in all dimensions).
Suppose that K is a complete perfectoid field of characteristic zero.
Let X/K be a perfectoid variety over K, which I assume to be reasonable, to avoid inane pathologies. Let π1(X/K) be its ´etale site. Let Xb/Kb be its tilt.
Then the main theorem of [Sch12b] asserts that
Theorem 26.1. The tilting functor provides an equivalence of categories π1(X/K) → π1(Xb/Kb).
If L is any untilt of Kb and Y/L is any perfectoid variety with tilt Yb/Lb =〜 Xb/Kb.
Then one has π1(X/K) =〜 π1(Y/L) and in particular X/K and Y/L are perfectoid anabelomorphs of each other.
省5
97: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/03(金)13:42 ID:eln2Kr6c(1) AAS
メモ貼る
外部ﾘﾝｸ[pdf]:imetrics.co.jp
iMetrics Academy Press
AI 時代の数学
(層・圏論・そしてトポスへの道のり) 2019 SPRING 2019. 6. 21
数学とは言語
Author: Sage Kusafusa 草房誠二郎
Production：iMetrics.co.jp (Japanese/ ENGLISH)
外部ﾘﾝｸ[pdf]:imetrics.co.jp
外部ﾘﾝｸ[pdf]:imetrics.co.jp
省4
98(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:06 ID:t13u2EPI(1/4) AAS
数学は暗記か
2chｽﾚ:math
（関連）
外部ﾘﾝｸ:todai-counseling.com
東大医学部生の相談室
東大理系数学2020の入試問題・解答解説・難易度 2020.02.26
(抜粋)
第一問
第一問は以下のような出題でした。
画像ﾘﾝｸ[png]:todai-counseling.com
省23
99: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:12 ID:t13u2EPI(2/4) AAS
>>98 訂正
ax^2+bx+c >0
bx^2+cx+a >0
cx^2+ax+b >0
↓
ax^2+bx+c > 0
bx^2+cx+a > 0
cx^2+ax+b > 0
不等号と数字の間にスペースを入れないと、リンクのアンダーラインが入ってしまうんだな（＾＾；
100(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:12 ID:t13u2EPI(3/4) AAS
>>98 参考
外部ﾘﾝｸ:www.zkai.co.jp
Ｚ会
「東大理系数学」2020年度東大入試分析
(抜粋)
大問別のポイント
第１問
2次不等式についての証明問題で、あまり見かけないタイプ。
小問に従って考えていけばよく、内容は難しくないが、答案が書きにくい問題といえる。
攻略のためのアドバイス
省10
101: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/04(土)23:14 ID:t13u2EPI(4/4) AAS
>>100 補足
>●要求１● 高度な思考力
>特別な知識は要求されないものの、高いレベルの思考力、発想力を試す問題が多く出題されている。他の大学では、一見しただけで典型問題だとわかる出題が多いが、東大では出題の仕方がかなり工夫されており、すぐには問題の解法が浮かびにくいものが多い。初見の問題に色々な面からアプローチして、解法を決める力が求められる。確率、整数の問題で主にこの力が問われる。
暗記数学を外してくるのが、東大の入試問題です
102(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/05(日)19:48 ID:cTzpxuVq(1) AAS
「大学への数学」2020年4月号に、服部哲弥（はっとり てつや）のインタビュー記事があったな
（これ前編で、後編は来月です）
面白かった
灘（中高）から、東大物理−数学−慶応経済教授という経歴ですね
へー（＾＾；
外部ﾘﾝｸ:ts-webstore.net
「大学への数学」2020年4月号
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
服部哲弥
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
省8
103: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/10(金)23:50 ID:ggDNa9JL(1) AAS
メモ貼る
外部ﾘﾝｸ:language-and-engineering.hatenablog.jp
主に言語とシステム開発に関して
数学の「ABC予想」の証明の原論文PDFと，わかりやすい解説資料。「宇宙際タイヒミュラー理論」2014/08/04
104: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/26(日)17:17 ID:7O7a3CML(1) AAS
>>102
「大学への数学」2020年5月号に、服部哲弥（はっとり てつや）のインタビュー記事があって
読んできた（＾＾；
（これ後編です）
外部ﾘﾝｸ:ts-webstore.net
「大学への数学」2020年5月号
発売日：2020/4/20
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
服部哲弥
外部ﾘﾝｸ[htm]:web.econ.keio.ac.jp
省8
105(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/29(水)12:54 ID:k6OCtbXM(1/2) AAS
メモ
外部ﾘﾝｸ:www.saiensu.co.jp
サイエンス社
数理科学 2017年9月号 Ｎｏ.651
数論と解析学
《女王》と関数が織りなす世界
ゼータ関数・L関数と解析学 鈴木正俊
これの詳しい話が下記です
外部ﾘﾝｸ[pdf]:www.math.titech.ac.jp
ゼータ関数と微分方程式
省19
106: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/04/29(水)12:54 ID:k6OCtbXM(2/2) AAS
>>105
つづき
参考文献
[La] Lagarias, J. C., Hilbert spaces of entire functions and Dirichlet L-functions, Frontiers in number theory, physics, and geometry. I, Springer, Berlin, (2006), 365?377.
[Su1] Suzuki, M., An inverse problem for a class of canonical systems and its applications to self-reciprocal polynomials, J. Anal. Math. 136, (2018), 273?340.
[Su2] Suzuki, M., Hamiltonians arising from L-functions in the Selberg class,
外部ﾘﾝｸ:arxiv.org
(引用終り)
以上
107(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/02(土)07:35 ID:qpZJrq8I(1/2) AAS
＜閑話休題＞数学と関係ないが、貼る
外部ﾘﾝｸ:headlines.yahoo.co.jp
外部ﾘﾝｸ:urbanlife.tokyo
urban life metro 知る！TOKYO
童謡「赤い靴」の真実 女の子は異人さんに連れて行かれはしなかった
合田一道（ノンフィクション作家）2020年5月1日
(抜粋)
子どもの頃、誰もが1度は口ずさんだことのある童謡「赤い靴」。そこに歌われた女の子の数奇な運命をご存じですか？ ノンフィクション作家の合田一道さんが、彼女の短い生涯をたどります。
赤い靴 はいてた 女の子 異人さんに つれられて 行っちゃった
横浜の 埠場（はとば) から 船に乗って 異人さんに つれられて 行っちゃった
省6
108: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/02(土)07:35 ID:qpZJrq8I(2/2) AAS
>>107
つづき
開墾（かいこん）を目指す志郎に求婚されたかよは、幼いきみを連れていくのは無理と断ります。そこへ別れたはずの佐野が現れ、東京にいるアメリカ人宣教師夫妻が養女を欲しがっていると伝え、きみを手放すよう勧めます。
かよは涙ながらにきみを宣教師夫妻に託したのでした。
雨情は、その女の子がいまはアメリカでどんな暮らしをしているのかと思い、後に東京に移ってから雑誌に発表したのです。「赤い靴」は大評判になり、誰もが口ずさむようになりました。
今、彼女がたたずむ麻布十番、横浜、留寿都
ところが「赤い靴」が発表されて半世紀も過ぎた1973 (昭和48）年初冬、北海道新聞の読者欄に、富良野市に住む女性から投書が寄せられたのです。
省8
109: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/05(火)23:49 ID:dnbV/fKk(1) AAS
メモ貼る
外部ﾘﾝｸ[html]:www.imojp.org
公益財団法人 数学オリンピック財団
JMO 本選成績（1990年?）
１９９１年 第１回日本数学オリンピック成績優秀者一覧
安田 正大 開成高等学校 高２
吉田 輝義 筑波大附属駒場中学校 中１
URL略 /hiroyukikojima.
hiroyukikojima’s blog
2011-04-04
省11
110: 2020/05/08(金)11:46 ID:WmDpVhCu(1) AAS
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ，
宿題が 3/10 = 30% でした！
宿題の勝率が低すぎると思うので、
省3
111: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:09 ID:Mxr6sv2r(1/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。
シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
直観的説明
上記の規則群は「論理規則」と「構造規則」に分けられる。論理規則は帰結関係 {\displaystyle \vdash }\vdash の右辺か左辺に新たな論理式を導入する。一方、構造規則はシークエントの構造を操作し、論理式の正確な形を無視する。例外として同一性の公理 (I) とカット規則 (Cut) がある。
これらの規則のほとんどは、どう証明すればよいかを示しているが、カット規則だけは異なる。カット規則 (Cut) は、論理式 A が帰結となり、同時に他の帰結の前提にもなる場合、A を除いて論理的帰結関係を結合することができることを示している。証明をボトムアップで行う場合、A を具体的に何にするかという問題が生じる（横棒の下に出現しないため）。この問題はカット除去定理で扱われる。
同一性の公理 (I) もある意味で特殊である。直観的には A ならば A であるという自明なことを意味しているにすぎない。
112(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:13 ID:Mxr6sv2r(2/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
カット除去定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
カット除去定理（カットじょきょていり、英: Cut-elimination theorem）は、シークエント計算の手法の重要性を示す、数理論理学の主要な結果のひとつである。
（数理論理学の）基本定理と呼ぶこともある。ゲルハルト・ゲンツェンが1934年に書いた記念碑的論文 "Investigations into Logical Deduction" で、古典論理と直観論理の体系をそれぞれ形式化したシークエント計算の形式的体系 LK 及び LJ において、最初に証明が与えられた。
カット除去定理は、シークエント計算の推論規則であるカット規則を用いて証明可能な式には、カット規則を用いない証明図もまた必ず存在することを示したものである。
目次
1 シークエント
省6
113: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:18 ID:Mxr6sv2r(3/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
タブローの方法(英 tableau[1] method)とは、真理の木(truth tree)あるいは意味論的タブロー(semantic tableau)または分析タブロー(analytic tableau)と呼ばれるものを用いて、論証の妥当性や、論理式が矛盾しているかやトートロジーであるかを機械的に調べる判定手続き(decision procedure)の一種である。
ヤーッコ・ヒンティッカらのモデル集合という考え方を応用して作られ、レイモンド・スマリヤンによって広められた。
目次
1 方法
2 信頼性
3 決定可能性
外部ﾘﾝｸ:en.wikipedia.org
In proof theory, the semantic tableau (/ta?blo?, ?tablo?/; plural: tableaux, also called 'truth tree') is a decision procedure for sentential and related logics, and a proof procedure for formulae of first-order logic.
省4
114: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:33 ID:Mxr6sv2r(4/5) AAS
メモ
外部ﾘﾝｸ:ja.wikipedia.org
レイモンド・メリル・スマリヤン（Raymond Merrill Smullyan、1919年5月25日 - 2017年2月6日）はアメリカ合衆国の数学者、ピアニスト、論理学者、老荘哲学者、奇術師。
ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。1955年にシカゴ大学から学士を得る。1959年にプリンストン大学から博士号を得る。アロンゾ・チャーチのもとで学んだ数多くの傑出した論理学者の一人。
経歴
スマリヤンは博士課程にいるときの1957年に“Journal of Symbolic Logic”に論文を発表し、ゲーデルの不完全性定理が1931年にゲーデルが発表した論文よりも初等的な形で形式系を考察できることを示した。
ゲーデルの不完全性定理に関する現代的な解釈はこの論文から始まっている。その後、スマリヤンはゲーデルの不完全性定理における魅力的な部分がタルスキの定理から必然的に導かれることを示した。
タルスキの定理は不完全性定理よりも容易に証明できて、哲学的に不完全性定理と同じような不安を与えるものである。
数理論理学において古典的な限界を与える定理に関してスマリヤンが終生寄与した成果は以下の文献で読むことができる：
・Smullyan, R M (2001) "Godel's Incompleteness Theorems" in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell (ISBN 0-631-20693-0).
省1
115: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/09(土)13:34 ID:Mxr6sv2r(5/5) AAS
メモ（PDFが落とせる）
外部ﾘﾝｸ:www.researchgate.net
Godel incompleteness theorems and the limits of their applicability. I
Article (PDF Available)?in?Russian Mathematical Surveys 65(5):857 ・ January 2011?with?346 Reads?
DOI: 10.1070/RM2010v065n05ABEH004703
Cite this publication
Lev Dmitrievich Beklemishev
25.68Russian Academy of Sciences
Abstract
This is a survey of results related to the Godel incompleteness theorems and the limits of their applicability.
省2
116(1): 2020/05/13(水)10:04 ID:YxiDM0Si(1/2) AAS
>>112
カットを除去するのは、証明の効率とか見やすさとは無関係
ざっくりいえば、
「カットのない証明ばかりなら理論は無矛盾」だから
「どんな証明もカットなしにできる」と云えれば
理論が無矛盾だといえる
ただし肝心のカット除去の手続きは元の理論の枠内でできない
（ペアノ算術のカット除去がε0の超限帰納法を必要とするのは有名だが
より弱い算術でもカット除去に必要な順序数の超限帰納法は
その理論で許される帰納法の範囲を超えている）
省2
117(1): 2020/05/13(水)10:10 ID:YxiDM0Si(2/2) AAS
唐突で恐縮だが
「巨大数論」ってM.C.Escherの作品みたいなものだと思う
双曲的タイリングも研究目的で考え出されたものだが
見た目が美しいから美術作品になった
巨大数（というか構成的順序数）も本来無矛盾性証明の目的で
考え出されたものがそれ自身の面白さから興味をもたれた
今後、純粋数学の成果が、こういう形で一般人の興味を
引くことがあれば、それはそれでいいことだと思う
118: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/13(水)11:25 ID:uMe8boWM(1) AAS
>>116-117
どうも
コメントありがとう（＾＾
119(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/14(木)13:19 ID:+/wwAOsh(1/3) AAS
メモ
外部ﾘﾝｸ:gendai.ismedia.jp
週刊現代 20190805
東大・京大・早慶では「中国人留学生」が圧倒的に優秀という現実
教育現場が実感する「日本の衰退」
数学五輪は世界1位
「ここ4〜5年、東大にいる中国人留学生が全体的に優秀になっている印象があります。かつては優秀な子もいれば、そうでない子もいて、玉石混交の状態でした。
ところが、最近は日本人の学生はもっと頑張らないと厳しいと思えるほど、優秀な中国人留学生が増えています」
そう語るのは、東京大学先端科学技術研究センター教授・西成活裕氏だ。
省4
120(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/14(木)13:19 ID:+/wwAOsh(2/3) AAS
>>119
つづき
西成氏が話す。
「日本人学生とはハングリーさが違います。私の講義後、質問にやってくるのは、きまって中国人留学生。彼らは自分が理解できなかった部分や疑問に感じたところを、その場で明らかにしたいという考えを持っているように感じる。
反対に日本人学生はなかなか質問に来ない。『まあ、いいや』と済ませてしまう人が多い傾向にあると思います」
省8
121(2): 2020/05/14(木)13:57 ID:yUsAr7Ai(1) AAS
>>119-120
世界全体に示す中国人の割合から考えると別におかしくはない
外部ﾘﾝｸ[html]:graphic-data.com
なお、10年以内にインドの人口が中国を抜くらしい
といっても最終的にはアフリカが勝つんですが
外部ﾘﾝｸ:drive.media
122: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/14(木)17:03 ID:+/wwAOsh(3/3) AAS
>>121
コメントありがとう
>といっても最終的にはアフリカが勝つんですが
ああ、そうかも（＾＾
123(1): 2020/05/15(金)03:26 ID:aC/GWFBf(1) AAS
>>121
そういう反論「しか」しない、そういう反論で「済ます」、
という日本人がいかに多いかという話だと私はとらえました。
124: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/15(金)07:19 ID:Jy/2KfWb(1) AAS
>>123
コメントありがとう
なるほどね（＾＾；
125: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/17(日)18:15 ID:9UHEbX30(1/3) AAS
圏論の大家 William Lawvere 氏の古典的名著
集合論を圏論で書けるぞという話です。
（参考）
外部ﾘﾝｸ[html]:www.tac.mta.ca
Theory and Applications of Categories
外部ﾘﾝｸ:www.tac.mta.ca
Reprints in Theory and Applications of Categories
外部ﾘﾝｸ[pdf]:www.tac.mta.ca
An elementary theory of the category of sets (long version) with commentary
F. William Lawvere 1964
省4
126: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/05/17(日)19:42 ID:9UHEbX30(2/3) AAS
有限単純群の分類
外部ﾘﾝｸ:www.ams.org
Authors: Michael Aschbacher and Stephen D. Smith
Title: The classification of quasithin groups I, II
Additional book information: Vol. 111, Mathematical Surveys and Monographs, vols. 111--112, American Mathematical Society,
Providence, RI, 2004, 1221 pp.
外部ﾘﾝｸ[pdf]:www.ams.org
BULLETIN (New Series) OF THE
AMERICAN MATHEMATICAL SOCIETY
Volume 43, Number 1, Pages 115?121
省9
上下前次1-新書関写板覧索設栞歴
あと 876 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s