[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
101(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/23(土)06:56:00.99 ID:iKDSmfWl(3/31) AAS
>>100
つづき
外部ﾘﾝｸ:math-note.xyz
数学ノート
2018.06.20
バナッハ空間とヒルベルト空間の完備でない部分空間の例
(抜粋)
完備なノルム空間をBanach(バナッハ)空間といい，完備な内積空間をHilbert(ヒルベルト)空間という．
Banach空間(Hilbert空間)はもとより線型空間なので，線型空間としての部分空間を考えることができる．この部分空間に元の空間と同じノルム(内積)を与えたものはノルム空間(内積空間)となるが，完備性を持つとは限らない．
すなわち，Banach空間の部分空間が同じノルムでBanach空間になるとは限らないし，Hilbert空間の部分空間が同じ内積でHilbert空間になるとは限らない．
省3
160(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/25(月)21:17:20.99 ID:1A25DpO+(6/9) AAS
>>157
>外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
>Explicit estimates in inter-universal Teichm¨uller theory
>(in progress)
当時（1年前）IUTスレで、南出新氏、定量評価出来たら良いなという夢を語っているだけ
みたいな評価だったが
いよいよ論文発表ですかね
>>158
>Ivan Fesenko 氏（University of Nottingham）
>「Two 2d adelic structures on elliptic surfaces and the BSD conjecture」
省8
179(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/26(火)23:07:42.99 ID:oYs7jyeH(10/12) AAS
>>178
つづき
Arakelov theory was used by Paul Vojta (1991) to give a new proof of the Mordell conjecture, and by Gerd Faltings (1991) in his proof of Serge Lang's generalization of the Mordell conjecture.
Pierre Deligne (1987) developed a more general framework to define the intersection pairing defined on an arithmetic surface over the spectrum of a ring of integers by Arakelov.
Arakelov's theory was generalized by Henri Gillet and Christophe Soule to higher dimensions. That is, Gillet and Soule defined an intersection pairing on an arithmetic variety.
One of the main results of Gillet and Soule is the arithmetic Riemann?Roch theorem of Gillet & Soule (1992), an extension of the Grothendieck?Riemann?Roch theorem to arithmetic varieties.
For this one defines arithmetic Chow groups CHp(X) of an arithmetic variety X, and defines Chern classes for Hermitian vector bundles over X taking values in the arithmetic Chow groups.
省4
216: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/11/30(土)23:10:51.99 ID:4Ujjq2jv(1/3) AAS
Inter-universal geometry と ABC予想 42
2chｽﾚ:math
534 名前：１３２人目の素数さん[sage] 投稿日：2019/11/29(金) 23:37:45.11 ID:SJwiXU4F [4/5]
(抜粋)
>要するに、圏、トポス、グロタンディーク宇宙で充満多重同型＋ラベルを使えばsimulate a∈a、loops of mutationsが可能となり、
>ディオファントス幾何の難問に取り組むことができると考えたのでしょう
>以前、「充満多重同型を認めて初めてラベルの問題になる」と書いたことがありますが、
>おそらく着想から言えば逆で、「ラベルを前提にして充満多重同型を必要・有意味なものにする」と言う方が正しいのでしょうね
(引用終り)
難しすぎて、さっぱり分かりませんが
省9
426: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/12/15(日)12:47:15.99 ID:BvQtIPz4(10/25) AAS
>>423
まあ、望月新一先生の言い分は
「ＳＳは、全然分かってない」ということらしい
503(3): 2019/12/21(土)17:03:14.99 ID:tz17Etk6(5/10) AAS
>>501-502
アスキーアートご苦労さん。
ところで、お前さんは勝手に他人に対して病名を判断しているが、医師免許でも持っているのか？
900(1): 2020/01/03(金)08:23:36.99 ID:glmNLmg1(1/13) AAS
>>899
＞量子化の順
正しくは限量子（∀と∃）の順だな
量子力学の量子だと思った奴は例外なく馬鹿
904(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/03(金)09:03:01.99 ID:ivt0JCXh(10/37) AAS
>>900
>＞量子化の順
>正しくは限量子（∀と∃）の順だな
しったか、乙
”量子化”という用語もあるみたいだな（下記）
もとの本にどう書いてあるか、正確には知らないが、”量子化”もありうると思うし、それが間違いとも思わないぜ（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
三段論法
(抜粋)
命題の4つの型
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.237s*