[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
19(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/11/16(土) 08:31:43.10 ID:hz0vD8O+(1/13) AAS
メモ
”層は、関数の圏論化である”か
そうかｗ
そうだったんだ（＾＾；
https://abductionri.jimdo.com/%E7%A0%94%E7%A9%B6%E4%BC%9A%E5%90%88-1/
(抜粋)
第118回アブダクション研究会開催のご案内 18.02.17 福永 征夫
118th180217.pdf PDFファイル 3.1 MB ダウンロード
https://abductionri.jimdo.com/app/download/11180429091/118th180217.pdf?t=1571098599
（以下PDFのキャッシュから）
https://webcache.googleusercontent.com/search?q=cache:rsf6cigo_sQJ:https://abductionri.jimdo.com/app/download/11180429091/118th180217.pdf%3Ft%3D1535840720+&cd=2&hl=ja&ct=clnk&gl=jp
(抜粋)
（１）第１１７回アブダクション研究会のご報告をします。
■２０１７年１１月２６日（日）に開催しました第１１７回アブダクション研究会は、
『「数学の大統一に挑む」／エドワード・フレンケル著＝201５文藝春秋／を輪読研究して壮大な数学プロジェクトの意義を学ぶ』という重要なテーマで、
大河原敏男氏と世話人の福永征夫が解説発表を分担し合うとともに、
北村晃男氏の積極的な参画を得て、異なる数学の領域に架け橋をかける「ラングランズ・プログラム」の概要とその本質に関する基本的な理解につながる貴重な研鑽の機会を得ることができました。
「数学の大統一に挑む」の章立ては次の通りです。
第十四章「層」という考え方（PDFのP95）
数からベクトルへ
【163】層とは何かを説明するために、数について話をしよう
【169】集合から圏へのパラダイム・シフトは、現代数学の駆動力のひとつになっている。
その動きのことを「圏論化」と言う。
それはいわば、新しい世界を作ろうとしているようなものだ。
その世界においては、慣れ親しんだ概念が、より高いレベルのものに高められる。
例えば、数はベクトル空間に置き換えられる。
すると当然ながら、次なる疑問が浮かび上がる。
その新しい世界では、関数は何になるのだろうか？
つづく
20(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/11/16(土) 08:32:02.52 ID:hz0vD8O+(2/13) AAS
>>19
つづき
【172】さて、多様体Sの各点に割り当てるものを、数からベクトル空間に変えてみよう。
そうすると、多様体S内の各点sに数を割り当てるルール（関数）の代わりに、ベクトル空間を割り当てるルールが必要になる。
そのような規則のことを、「層」と呼ぶ。層をFで表すと、点sに割り振られたベクトル空間は、F(s)となる。
【173】つまり、関数と層との違いは、多様体Sの各点に割り当てるものの違いなのだ。
関数の場合には、数を割り当てるのに対し、層の場合には、ベクトル空間を割り当てる。
与えられた層に対して、各点sごとに割り当てられるベクトル空間の次元は、それぞれ異なっていてもよい。
例えば、次の図（図14?１）では、ほとんどのベクトル空間は平面（二次元ベクトル空間）だが、
ひとつは直線（一次元ベクトル空間）になっている。
ベクトル空間が、数の圏論化であるように、層は、関数の圏論化である。
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s