現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517ﾚｽ)
上下前次 1-新

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

478(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)13:58 ID:co7dEEx8(23/45) AAS
>>476 関連

外部ﾘﾝｸ[html]:www.math.tohoku.ac.jp
黒木玄のウェブサイト:

外部ﾘﾝｸ:ja.wikipedia.org
黒木玄（くろきげん）は、日本の数学者。東北大学理学部数学科助教。インターネット上の掲示板の創成期に「黒木ルール」を発案し、「黒木のなんでも掲示板」によって実践した。
(抜粋)
来歴
秋田県出身。秋田県立本荘高等学校を経て、東北大学理学部数学科卒業。東北大学大学院理学研究科数学専攻修士課程修了。名古屋大学で博士（数理学）を取得。数理物理学への表現論の応用、共形場理論と量子可積分系などを研究している。

479: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)14:03 ID:co7dEEx8(24/45) AAS
>>477 追加引用

[問題(***)] まず、X という空間上の層達の間に層の意味で何らかの関係があ
る状況を考えよ。(例えば、(19)のような層の short exact sequence がある
とせよ。層は局所的な情報も含んでいるので、層としての関係は局所的なもの
だと考える。) 層の関係から、大域的切断の空間Ｆ(X) の間にどのような関
係が得られるか？大域的な切断の空間Ｆ(X) のみを考えると、層Ｆ自身の
情報は失われるであろう。それを補完するものは何か？

これの一つの答が、H^0(X,Ｆ) = Ｆ(X) から始まる H^1, H^2, ... という層
のコホモロジーの理論なのです。

まあ、いろいろな見方があると思いますが、これは次のようにもっと一般化で
省22

481(2): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)14:43 ID:co7dEEx8(25/45) AAS
>>478 関連（関連しているのは、”4.2.1 連接層”）

「超弦理論に出てくる数学」いいわ。関西ふうはちゃめちゃ感がいいね（＾＾
外部ﾘﾝｸ:kansaimath.tenasaku.com
第8回　スケジュール | 関西すうがく徒のつどい: 201603
外部ﾘﾝｸ[pdf]:kansaimath.tenasaku.com
「超弦理論に出てくる数学」関西すうがく徒のつどい (セシル☆ 2016(3月21日)
(抜粋)
注意：この講義ノートは「関西すうがく徒のつどい」60 分講演のためにつ
くられたものに多少の加筆修正を加えたものである.
1 アブストラクト
省19

483: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)15:54 ID:co7dEEx8(27/45) AAS
>>481 関連

外部ﾘﾝｸ:phasetr.com
層とコホモロジーと Riemann 面: 黒木さんツイートまとめ | 相転移プロダクション: 2016 11.23
(抜粋)
黒木玄 Gen Kuroki
#数楽私が大学数学科2?3年生に「層とかコホモロジーとかを勉強したいのですが？」と聞かれたとき、最も易しい教育的な参考文献として紹介するのは
Gunning R. Lectures on Riemann surfaces (Princeton, 1966)
2016年8月8日 23:57

層とかコホモロジーの類は、何の役に立つのか何も理解せず、わけもわからず勉強するのは効率が悪く、Gunningさんのリーマン面の教科書のような易しい応用から入った方が得だと思う。一度勘所がつかめて怖くなくなればそこから先は普通のお勉強。
2016年8月9日 00:16
省5

484: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)16:05 ID:co7dEEx8(28/45) AAS
>>481 関連

連接層＝(coherent sheaf)
外部ﾘﾝｸ:ja.wikipedia.org
連接層
(抜粋)
数学では、特に代数幾何学や複素多様体やスキームの理論では、連接層(coherent sheaf)とは、底空間の幾何学的性質に密接に関連する、扱いやすい性質をもった特別な層である。

連接層は有限ランクのベクトルバンドルや局所自由層の一般化とみなすことができる。ベクトルバンドルとは違い、連接層のなす圏は、核（英語版）や余核や有限の直和といった操作で閉じている｢素晴らしい｣圏である。準連接層(quasi-coherent sheaf)は連接層における有限性の仮定をはずしたもので、ランク無限の局所自由層を含んでいる。

代数幾何学や複素解析の多くの結果や性質が、連接層、準連接層やそれらのコホモロジーのことばで定式化される。

岡の連接定理は、複素多様体上の正則函数の層が環の連接層であるという定理である[3] 。

486(1): 2017/01/14(土)18:34 ID:i3nytKZe(1) AAS
>>474
お久しぶりです。おっちゃんです。
>そして、ハーツホーンの本を、２００７年内に読破するぞ！
ハーツホーンには演習問題の中に重要な結果が含まれていて、
難しい問題が多いことなどからして、多分年内読破はムリだったろうな。
じゃ、寝る。

487: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)19:04 ID:co7dEEx8(29/45) AAS
AIと数学
外部ﾘﾝｸ[html]:www.j-cast.com
プロ棋士はもはや囲碁AIに勝てない　進化型アルファ碁「Master」の衝撃 : J-CASTニュース: 2017/1/ 6
(抜粋)
「囲碁AI（人工知能）はプロ棋士の能力を遥かに超えてしまった。さらに進化が進み追いつくことはできないだろう」。囲碁AIにくわしいプロ棋士の大橋拓文六段はJ-CASTニュースのインタビューにそう語った。

「Master」と名乗るアカウントがインターネット囲碁サイト「東洋囲碁」で確認されたのは2016年12月29日。
あまりの強さから大人気マンガ「ヒカルの碁」の登場人物・サイ(藤原佐為)ではないのか、などと取り沙汰されたが、グーグルは日本時間の17年1月5日、自社が開発した囲碁AIだと公表した。既に世界のトッププロ相手に60連勝していて、かなう棋士はもういないのだという。

16年末にネットに忽然と現れる

グーグルが囲碁AIに関する論文を公表していたことから、それを参考に「アルファ碁」に追いつこうと、新たな囲碁AI開発ラッシュが始まった。囲碁対戦サイトでは現在、中国の「刑天」など複数の囲碁AIが対戦をしていて、勝率は9割というものも出ている。

そして、16年末に忽然と現れたのが「Master」だった。17年1月1日からは中国発の囲碁サイト「野狐囲碁」に出没し、誰も敵わず勝率は100％だった。
省1

488: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)19:04 ID:co7dEEx8(30/45) AAS
つづき

トッププロ相手に60戦60勝

トッププロとの対戦で「Master」は勝ち続け、16年大晦日までに「東洋囲碁」で30連勝、17年1月5日までに「野狐囲碁」で30連勝、合わせて60連勝と勝率は100％となった。

ネット上ではあまりの強さに「ヒカルの碁」のサイだと持てはやされた。囲碁の強い人でも最高勝率はだいたい6割で、いくら強い人でもミスが出て100％の勝率は不可能。勝ち方からもAIだと推測された。

「Masterが10勝した時点では、誰かが破るだろう、という雰囲気でしたが、30勝を超えると、全世界がMasterの強さに気づきました。50勝でもうお手上げ、という感じでしたね」
省4

489: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)19:05 ID:co7dEEx8(31/45) AAS
つづき

人間では理解できない手が30手以内に出てくる

人間ならば、構想を立て、流れを読みながら勝利を引き寄せる。しかし、「Master」にはそれがない。常に局面ごとの最適解を探索し、勝利を求める。囲碁はおよそ200手で決まるものだが、大橋六段は、

「人間では理解できない手が30手以内に出てくる。しかし、後にそれが良い場所になってくる不思議、マジックのようだった」

と説明し、30手までに「これはおかしい」と不安になり、50手で「ヤバイ」、100手で「大差で負ける」。最後は「お稽古してもらっている」気分になった、という。
省6

493: 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)20:12 ID:co7dEEx8(35/45) AAS
>>486
おっちゃん、どうも。スレ主です。
レスありがとう

もう、時枝擁護派のTさんは、あっち28へ行ったから、引っかき回してもらう必要はなくなった
だから、その程度の軽いカキコで頼む

たまには、あっち28にも書いてやってくれ
さびれているから、歓迎されるとおもうぜ

494(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)20:31 ID:co7dEEx8(36/45) AAS
あまり引用されていないかも、ベイラー大学 Department of Philosophy、Bulletin of the Polish Academy of Sciences - Mathematics 61 (2013)

外部ﾘﾝｸ[3187]:arxiv.org
　"On the Law of Large Numbers for Nonmeasurable Identically Distributed Random Variables"

著者
外部ﾘﾝｸ[html]:alexanderpruss.com
(抜粋)
Curriculum Vitae
Alexander R. Pruss September, 2016 Department of Philosophy Baylor University

Publications in Mathematics and Related Fields
Peer-reviewed articles
省8

495(2): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)21:35 ID:co7dEEx8(37/45) AAS
>>468
>「ゲルファント・シロフの定理」というのは、1940年くらいの定理だ。

下記のP53辺りにある。なお、下記２つのうち、スキャナーの質は上が良好で読みやすい。下は出典を示す表紙が１枚ついているのが値打ちだ。

外部ﾘﾝｸ[pdf]:www.ams.org
6.1MB rings of real-valued continuous functions. i - American Mathematical Society E Hewitt 著 - ?1948

外部ﾘﾝｸ[pdf]:www-math.bgsu.edu
1.6MB [PDF]Rings of Real-Valued Continuous Functions. I E HEWITT 著 - ?1948 Transactions a/the American Mathematical Society

496(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)21:46 ID:co7dEEx8(38/45) AAS
>>495
(抜粋)
Part I. General properties of function rings.

5. Definition of βX. A cardinal property of rings E*(X, R) is the fact that for every completely regular space, there exists a unique bicompact Hausdorff space, commonly denoted as βX, having the properties that XEβX, X~ = βX, and S*(X, R) is algebraically isomorphic to &*(βX, R).
The existence and uniquene β of βX were first proved by Stone (see [26, Theorems 78, 79, 88]), by methods dependent upon the theory of representation of topological spaces as maps in Boolean spaces. A second, simpler, proof was given by Cech [7].
A third construction of β, valid for normal spaces only, was obtained by Wallman [31 ], and A. Weil has presented a construction based on the theory of uniform structures [32]. A simplified version of Stone's original construction was given in 1941 by Gelfand and Shilov (see [13]).

Kakutani has given a construction of β based on Banach lattices [18].

Finally, Alexandroff, using a modification of Wallman's construction, has produced a construction of β and of yet more general bicompact TV spaces in which arbitrary regular spaces can be imbedded as dense subsets. (See [l ].)
Spaces βX thus appear as truly protean entities, arising in the most diverse manner from apparently unrelated constructions.
It is not our purpose at the present time to elaborate on the inner connections which obtain among the various constructions of β, or to present any eβential variants thereof.
省3

497(1): 現代数学の系譜11 ガロア理論を読む 2017/01/14(土)21:46 ID:co7dEEx8(39/45) AAS
つづき

18. Shizuo Kakutani, Concrete representations of abstract (M)-spaces, Ann. of Math. vol.42 (1941) pp. 994-1024.
(引用終り)

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

あと 20 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙｱﾎﾞﾝOFF

ぬこの手ぬこTOP 0.012s