現代数学の系譜11 ガロア理論を読む14

1 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2015/06/20(土) 07:34:10.52 ID:w8s6oXPV.net] 旧スレが500KBオーバーに近づいたので、新スレ立てる このスレはガロア原論文を読むためおよび関連する話題を楽しむスレです （最近は、スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。ガロア関連のアーカイブの役も期待して。） 過去スレ 現代数学の系譜11 ガロア理論を読む13 wc2014.2ch.net/test/read.cgi/math/1428205549/ 現代数学の系譜11 ガロア理論を読む12 wc2014.2ch.net/test/read.cgi/math/1423957563/ 現代数学の系譜11 ガロア理論を読む11 wc2014.2ch.net/test/read.cgi/math/1420001500/ 現代数学の系譜11 ガロア理論を読む10 wc2014.2ch.net/test/read.cgi/math/1411454303/ 現代数学の系譜11 ガロア理論を読む9 wc2014.2ch.net/test/read.cgi/math/1408235017/ 現代数学の系譜11 ガロア理論を読む8 wc2014.2ch.net/test/read.cgi/math/1364681707/ 現代数学の系譜11 ガロア理論を読む7 uni.2ch.net/test/read.cgi/math/1349469460/ 現代数学の系譜11 ガロア理論を読む6 uni.2ch.net/test/read.cgi/math/1342356874/ 現代数学の系譜11 ガロア理論を読む5 uni.2ch.net/test/read.cgi/math/1338016432/ 現代数学の系譜11 ガロア理論を読む(4) uni.2ch.net/test/read.cgi/math/1335598642/ 現代数学の系譜11 ガロア理論を読む3 uni.2ch.net/test/read.cgi/math/1334319436/ 現代数学の系譜11 ガロア理論を読む2 uni.2ch.net/test/read.cgi/math/1331903075/ 現代数学の系譜11 ガロア理論を読む uni.2ch.net/test/read.cgi/math/1328016756/ （古いものは、そのままクリックで過去ログが読める。また、ネットで検索すると、無料の過去ログ倉庫やキャッシュがヒットして過去ログ結構読めます。） 61 名前：現代数学の系譜11 ガロア理論を読む [2015/06/27(土) 21:08:13.91 ID:OGuofPc2.net] >>30 マスロフ https://en.wikipedia.org/wiki/Victor_Pavlovich_Maslov Victor Pavlovich Maslov From Wikipedia, the free encyclopedia This name uses Eastern Slavic naming customs; the patronymic is Pavlovich and the family name is Maslov. Viktor Pavlovich Maslov (Russian: Виктор Павлович Маслов; born 15 June 1930, Moscow) is a Russian physicist and mathematician. He is member of the Russian Academy of Sciences. He obtained his doctorate in physico-mathematical sciences in 1967. His main fields of interest are quantum theory, idempotent analysis, non-commutative analysis, superfluidity, superconductivity, and phase transitions. He is editor-in-chief of Mathematical Notes and Russian Journal of Mathematical Physics. The Maslov index is named after him. Selected books Karasev, M. V.; Maslov, V. P.: Nonlinear Poisson brackets. Geometry and quantization. Translated from the Russian by A. Sossinsky [A. B. Sosinski?] and M. Shishkova. Translations of Mathematical Monographs, 119. American Mathematical Society, Providence, RI, 1993. Kolokoltsov, Vassili N.; Maslov, Victor P.: Idempotent analysis and its applications. Translation of Idempotent analysis and its application in optimal control (Russian), "Nauka" Moscow, 1994. Translated by V. E. Nazaikinskii. With an appendix by Pierre Del Moral. Mathematics and its Applications, 401. Kluwer Academic Publishers Group, Dordrecht, 1997. Maslov, V. P.; Fedoriuk, M. V.: Semiclassical approximation in quantum mechanics. Translated from the Russian by J. Niederle and J. Tolar. Mathematical Physics and Applied Mathematics, 7. Contemporary Mathematics, 5. D. Reidel Publishing Co., Dordrecht-Boston, Mass., 1981. This book was cited over 700 times at Google Scholar in 2011. Maslov, V. P. Operational methods. Translated from the Russian by V. Golo, N. Kulman and G. Voropaeva. Mir Publishers, Moscow, 1976. 62 名前：現代数学の系譜11 ガロア理論を読む [2015/06/27(土) 21:37:05.84 ID:OGuofPc2.net] Maslov index https://en.wikipedia.org/wiki/Lagrangian_Grassmannian#Maslov_index 抜粋 In mathematics, the Lagrangian Grassmannian is the smooth manifold of Lagrangian subspaces of a real symplectic vector space V. Maslov index A path of symplectomorphisms of a symplectic vector space may be assigned a Maslov index, named after V. P. Maslov; it will be an integer if the path is a loop, and a half-integer in general. If this path arises from trivializing the symplectic vector bundle over a periodic orbit of a Hamiltonian vector field on a symplectic manifold or the Reeb vector field on a contact manifold, it is known as the Conley-Zehnder index. It computes the spectral flow of the Cauchy-Riemann-type operators that arise in Floer homology[citation needed]. It appeared originally in the study of the WKB approximation and appears frequently in the study of quantization and in symplectic geometry and topology. It can be described as above in terms of a Maslov index for linear Lagrangian submanifolds. 63 名前：現代数学の系譜11 ガロア理論を読む [2015/06/27(土) 21:45:49.53 ID:OGuofPc2.net] Maslovで不思議なものがヒットした・・ www.ku 64 名前：rims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1541-08.pdf 数理解析研究所講究録 第1541 巻2007 年102-123 ダイマーと藻類 大阪大学大学院理学研究科植田一石(Kazushi Ueda) ダイマー(dimer) は化学における二量体を指す. ダイマーや極性のある分子の統計力学的な模 型として2 色グラフとその上のダイマー配置が長年にわたって研究され、様々な対象と関わりの ある興味深い問題であることが知られている. 詳しくは本講究録の高崎金久氏の解説や[14] を参 照されたい. 近年、ダイマー模型と超弦理論との関わりが見い出され、一部の理論物理学者の興 味を引いている. その中で注目すべきなのはOkounkov らによる Gromov-Witten/Donaldson- Thomas 対応、およびHanany らによる AdS/CFT 対応の文脈での簸ゲージ理論(quiver gauge theory) の研究であろう. 一方、藻類(alga) は理論物理学者のFeng, He, Kennaway および Vafa によって[4] で導入された概念であり、Gelfand, Kapranov およびZelevinsky によって[5] で導入されたアメーバ(amoeba) と密接に関係している. また、同じものがPassare やTsikh らによってコアメーバ(coamoeba) と呼ばれ、Feng ら以前から研究されていたようである. 今 回はこれらの話題およびそれに関連した東京大学大学院理学研究科の山崎雅人氏と筆者の共同 研究 [12, 13] について解説したい. ・・・・・・・・・・・・・・・・・ ・・・半環Ｒ+の「古典極限」としてトロピカル半環を得ることができ る. これをMaslov の脱量子化(dequantization) と言う. ・・・・・・・・・・・・・・・・・ [] [ここ壊れてます] 65 名前：現代数学の系譜11 ガロア理論を読む [2015/06/27(土) 21:54:38.49 ID:OGuofPc2.net] 植田一石先生は過去ログにありましたね uni.2ch.net/test/read.cgi/math/1338016432/45 現代数学の系譜11 ガロア理論を読む5 45 返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2012/05/27 ttp://www.math.sci.osaka-u.ac.jp/~kazushi/proceedings.html 植田一石大阪大学大学院理学研究科 Conference Proceedings / Reports 3. Coamoeba and equivariant mirror symmetry (joint work with Masahito Yamazaki, in Japanese), MSJ meeting, September 2007, pdf file. www.math.sci.osaka-u.ac.jp/~kazushi/proceedings/msj2007_9.pdf コアメーバとトーラス同変なホモロジー的ミラー対称性 1.弦理論私見 弦理論はもともと双対共鳴模型と呼ばれ、ハドロン（すなわち陽子や中性子、 中間子などの強い相互作用をする素粒子）を記述するための現象論として誕生 したが、Yang Mills理論が強い相互作用の正しい理論としての地位を確立すると ともに、Kelvin 卿の渦原子模型のように科学史の脚注として忘れ去られる運命に あるかと思われた． しかし、弦理論は滅びなかった．失敗した現象論として始まったこの理論は、 自然科学（すなわち、実験によって検証できる科学）としてはいまだかつて一度 も成功したことがないにもかかわらず、その美しい数理的構造によって多くの理 論家を引き付けてきた．弦理論の（場の量子論と比較した）特徴は整合性を壊さ ずに理論を弄ることの難しさにあり、また、理論の致命的な矛盾が見つかっては 奇想天外な解決策によって不死鳥のように蘇るという紆余曲折に富んだ歴史を持 つ．例えば、ボゾン的弦理論の共形アノマリーと呼ばれる深刻な困難は時空の次 元を26次元 にすることで回避できる．この26という数字はLeech 格子の次元 24 に2を足したものであり、この事実はBorcherdsによるmoonshine 予想の解決 にとって本質的である． 弦理論における最大の謎は果たしてこの理論が本当に存在するか（つまり、内 部に矛盾を持たないか）である．無矛盾性のために必要な条件は非常に強いので、 それらが全て満たされるためには「奇跡」が沢山起こる必要がある．しかし、知 られている限りで必要な奇跡は全て実際に起こり、弦理論の存在に対する強力な 証拠の一つになっている．（以下略） 66 名前：現代数学の系譜11 ガロア理論を読む [2015/06/27(土) 22:24:16.34 ID:OGuofPc2.net] リー群についても過去ログにあるが、取りあえず下記でも https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E7%BE%A4 抜粋 リー群（リーぐん、英語: Lie group）は群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。 ソフス・リーの無限小変換と連続群の研究に端を発するためこの名がある。 定義 G を台集合とする実リー群とは、G には実数体上有限次元で（多くの場合無限回微分可能という意味で）可微分な実多様体の構造が定められていて、G はまた群の構造を持ち、 さらにその群の演算である乗法および逆元を取る操作が多様体としての G 上の写像として可微分であるもののことである （群演算が可微分写像となっていることを「群演算が可微分多様体の構造と両立する（可換である、あるいはうまくいっている）」といい表す）。 このような構造が入っているという前提の下で、通常は「G はリー群である」というように台を表す記号を使ってリー群を表す。また、実数（実多様体）を複素数（複素多様体）にとりかえて複素リー群の概念が定まる。 一般化として、台となる多様体が無限次元であることを許すことにより無限次元リー群が同様の方法で定義される。 また、類似物として係数の属する体を p-進数体にとりかえて p-進リー群が定義される。 あるいは係数体を有限体に取り替えれば、リー群の有限な類似物としてリー型の群が豊富に得られるが、これらは有限単純群の多くの部分を占めるものである。 また、可微分多様体を用いる代わりに解析多様体や位相多様体を台にすることもできるが、それによって新たなものが得られるというわけではない。 事実、アンドリュー・グリーソン、ディーン・モントゴメリ、レオ・ジッピンらは1950年代に次のことを証明している。 すなわち、G が位相多様体であって、連続な群演算をもつ群でもあるならば、G 上の解析的構造が唯一つ存在して、G をリー群にすることができる（ヒルベルトの第５問題あるいはヒルベルト-スミス予想）。 67 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 07:01:14.56 ID:pEaR/2gu.net] >>45 >要するに、日本語の記事の結論間違っているみたい こういうのを見ると、日本語の情報だけでは不足だということが良く分かる 日本のwikipediaを見たときに、左のEnglishの 68 名前：リンクも開いて見ておくの良いですね [] [ここ壊れてます] 69 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 18:38:02.47 ID:pEaR/2gu.net] >>48 関連 https://ja.wikipedia.org/wiki/%E3%83%88%E3%83%9D%E3%82%B9_%28%E6%95%B0%E5%AD%A6%29 数学におけるトポス（topos）とは、位相空間上の層のなす圏を一般化した概念である アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。 数理論理学との関わり Kripke-Joyalの意味論とよばれる手続きによって集合論的論理式をトポスの対象と射についての言明として解釈することができる。トポス Sets における解釈が通常の記号論的な集合とその元に関する論理式解釈となる。 群、可換群、環などの数学的（特に代数的）構造の公理を論理式によって表現したとき、景 (C, J) 上のグロタンディーク・トポスにおいてその論理式を満たすような対象が (C, J) 上の群、可換群、環などの層になる。 局所環の層などについての局所的な条件も、全称量化子を用いた論理式によって自然に表現される。 一方、適切な景 (P, J) をポール・コーエンによる強制法 (forcing) の議論をなぞって構成し、その上の層の圏として連続体仮説が成立しないような集合論のモデルを得ることができる。 同様にして選択公理が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには排中律が成り立たないような数学的直観主義的モデルも自然に現れる。 歴史 グロタンディークはスキームとトポスとを同じ年に見いだしたと『収穫とまいた種と』で回想している。実際にグロタンディーク・トポスの一般論が整備されたのはSGA IVでの彼自身による発表の中でだった その後ウィリアム・ローヴェアが集合論のモデルとしての可能性を見いだし、強制法との関連、ドリーニュの定理のとらえ直しなど記号論的な認識が深められたが、 グロタンディークの隠遁後に彼に近い学者がトポスの理論に貢献しなかったことは彼と他の数学者たちとの間の確執の一因になった またリジッド幾何やSynthetic Differential Geometryなど「位相構造」より繊細な「微分構造」をトポスを通じて考える幾何学も得られている。 70 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 18:44:10.08 ID:pEaR/2gu.net] https://sites.google.com/site/kota3takeuchi/announcement/category_seminar_3/sato 3日目　「トポスとは何か：圏論的視点での強制法」：佐藤桂 アブストラクト 　全事象Aのうち、性質Sを満たすもの、命題Sが「真」となるもの、とは集合論的にはただ単に集合Aの部分集合Sを規定することになります。 この部分集合たちは通常の“∩”・“∪”によって古典束（ブール代数）を成しますが、実はこの代数構造が２点集合Ω＝｛真、偽｝という非常に単純なものによって統制されているのです。 そこで、（月並みな言い方をすれば）このΩをそれとは似て非なるものにしようとしたものが直観論理、ひいては直観束（ヘイティング代数）になるわけです。 直観論理にも、“かつ”や“または”が存在し、分配則などを満たす点で古典論理と似ていますが、二重否定が元に戻らないという点が非なるところです。 そして古典論理と集合論との対応に相当するものが、直観論理とトポス理論になるわけです（ちなみに直観は特別な場合として古典、トポスは特別な場合として集合論を含みます）。 　例えば、ある圏Cから集合の圏Setへの（反変）関手圏C＾は（関数環が値域の構造を反映するのと同じく）集合の圏の構造（これは古典論理）を反映しつつも似て非なるトポス（これ直観論理）となります。 ところで、この圏を位相空間Xの開集合系のなす圏O(X)とすれば、この関手圏はその位相空間X上の前層の圏O(X)＾になりますが、幾何学ではこの圏を“絞り込んだ”圏である層の圏Sh（X）を使います。 ちょっと不思議なのは、この絞り込んだ圏Sh(X)にもトポスの構造が入るところです。 「じゃあ、一般の圏にも位相入れたら、層の圏Sh(C)的なの作れて、トポスになんじゃね？」 というわけで圏Cにグロタンディーク位相なるものを入れて作ったトポスがグロタンディーク・トポスです！！ こんなアナロジーがとれてしまうのは驚きですが、これが何の役に立つんでしょうか。 つづく 71 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 18:44:57.86 ID:pEaR/2gu.net] つづき 強制法で連続体仮説の成り立たない反例を作るには、そもそもそのモデルがZFC公理系を満たしていなければ意味がありません。 ところが、ZFC公理系は当然ながら古典論理の範疇にあるので、先の集合の圏への関手圏は集合の圏に似てはいても、そのままでは直観論理状態で使い物になりません。 ところがところが、この直観論理状態のトポスには「二重否定が元に戻らない」ことを利用して“二重否定位相”なるものを作ることができて、これを使って圏を“絞り込む”（層の圏を切り出す）と なんと、古典論理状態のトポス（しかも集合の圏とは違うもの、コーエン・トポス）になります！！ これでめでたくZFC公理系を満たす新しいモデルが作れ、しかもこのモデルが連続体仮説をダメにすることがわかるのです。 本講義では、いちばん面白いと思われる、この層への絞り込み（特に二重否定位相を使った絞り込み）を詳しめに紹介したいと思っています。 他の技術的に煩雑な部分に関しては時間的なこともあり、細かい証明までは立ち入らない予定です。。 引用おわり 72 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 19:12:44.09 ID:pEaR/2gu.net] これは何かと言えば https://sites.google.com/site/kota3takeuchi/announcement Kota Takeuchi 参加予定の研究会や興味のあるセミナーなどを載せています。 https://sites.google.com/site/kota3takeuchi/announcement/category_seminar_3 ・圏論への招待　第三回（集合、圏、代数）　2012年6月1-3日（金-日） 筑波大学 主旨： 圏論の考え方を理解したいと思いませんか？ それはあなたに新しい数学的見方を教えてくれるかもしれません。 第三回 『圏論�V?代数・論理・圏〜』 講演者：(オムニバス形式)　 佐藤　桂　（京都大学大学院理学研究科卒） 清水　健一 （名古屋大学） 石田　和　（京都大学数理解析研究所） 竹内　耕太 （筑波大学数理物質科学研究科） 日時：6月1（金）-3日（日）　1日：17時ごろ開始予定　2，3日：14時ごろ開始予定 初日は3‐4時間、2,3日目は3時間×2部を予定しています。 73 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 19:21:10.69 ID:pEaR/2gu.net] 強制法 https://ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95 抜粋 数学の集合論における強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された、無矛盾性や独立性を証明するための手法である。 強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。 強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。 目次 1 直観的意味合い 2 強制半順序 3 可算推移モデルとジェネリックフィルター 4 強制 5 コーエン強制 6 可算鎖条件 直観的意味合い 直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている。 この大きい宇宙では、拡大する前の宇宙には無 74 名前：かった ω = {0,1,2,…} の新しい部分集合をたくさん要素に持っている。 そしてそれにより連続体仮説を否定することができる。が、このような議論は表面上不可能である。 強制法はこのアイデアを洗練したもので、新しい集合の存在を認めて利用するというより、拡大された宇宙の性質を元の宇宙からよりよく操作することを許したものである。 コーエンの元々のテクニックは今ではramified forcingと呼ばれるもので、強制法の説明によく使われるunramified forcingとは少々異なる。 可算推移モデルとジェネリックフィルター 強制法の鍵となるステップはZFCの宇宙 V に対して、V の要素でない適切な G を見つけることである。 結果としては G によるP-名前の解釈全てによるクラスが元々の V の拡大になるZFCのモデルになるようにする。 V で作業する代わりに、可算推移モデル M と (P,?,1) ∈ Mを考える。 ここで言うモデルというのはZFCの十分多くの有限個の公理を満たすものを言う。 推移性というのは x ∈ y ∈ M ならば x ∈ Mとなることである。 [] [ここ壊れてます] 75 名前：現代数学の系譜11 ガロア理論を読む [2015/06/28(日) 19:23:52.06 ID:pEaR/2gu.net] Forcing (mathematics) https://en.wikipedia.org/wiki/Forcing_%28mathematics%29 In the mathematical discipline of set theory, forcing is a technique discovered by Paul Cohen for proving consistency and independence results. It was first used, in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo?Fraenkel set theory. Forcing was considerably reworked and simplified in the following years, and has since served as a powerful technique both in set theory and in areas of mathematical logic such as recursion theory. Descriptive set theory uses the notion of forcing from both recursion theory and set theory. Forcing has also been used in model theory but it is common in model theory to define genericity directly without mention of forcing. Contents 1 Intuitions 2 Forcing posets 2.1 P-names 2.2 Interpretation 2.3 Example 3 Countable transitive models and generic filters 4 Forcing 5 Consistency 6 Cohen forcing 7 The countable chain condition 8 Easton forcing 9 Random reals 10 Boolean-valued models 11 Meta-mathematical explanation 12 Logical explanation 13 See also 14 References 15 External links 76 名前：１３２人目の素数さん [2015/07/01(水) 20:55:46.63 ID:EKaMOMe9.net] ガロア理論はどこがどのように難しいですか？ 77 名前：１３２人目の素数さん mailto:sage [2015/07/01(水) 21:19:30.36 ID:sfhb+oUL.net] わからないワードを検索してきたりコピペしたりするのが難しい 78 名前：現代数学の系譜11 ガロア理論を読む [2015/07/04(土) 06:07:50.26 ID:UNrp5ytb.net] どうも。スレ主です。 Q.ガロア理論はどこがどのように難しいですか？ A. １．答えは、大きくは個人によると思うが。あと、読む本。難しくないという意見の人もいるかもしれない ２．その上で、高校数学とはギャップが大きいということはあるだろう ３．ガロア理論は、数学史の上では一種の革命なんだ。ガロア理論が理解されるにつれ、その影響を受けて、数学が変わっていった ４．ガロア理論（方程式の）は、ｎ次方程式の代数的解法を、１）対称式の理論をベースに、２）体の拡大ととらえて、３）それを体の自己同型群で解明する、という三つの要素がある ５．この三つの要素は、高校数学ではあまりやってないから 79 名前：現代数学の系譜11 ガロア理論を読む [2015/07/04(土) 06:13:27.23 ID:UNrp5ytb.net] 余談だが、アルティン本を礼賛する人がいる が、アルティン本は記載が� 80 名前：ﾈ潔すぎて、初学者には難しい気がする [] [ここ壊れてます] 81 名前：現代数学の系譜11 ガロア理論を読む [2015/07/04(土) 08:07:09.94 ID:UNrp5ytb.net] >>28 電子情報通信学会知識ベースのこれが良く纏まっている気がする www.ieice-hbkb.org/portal/ 電子情報通信学会知識ベース ｜トップページ www.ieice-hbkb.org/portal/doc_165.html 12群　電子情報通信基礎 本群では，電子情報通信の基礎となる数学や物理学について記述している． www.ieice-hbkb.org/portal/doc_518.html 12群1編　解析学・代数学 7章 超関数論 吉野邦生（東京都市大）概要 7-1 シュワルツ超関数（Distribution） 7-2 佐藤超関数（Hyperfunction） 7-3 リップマン・シュインガー（Lippmann - Schwinger）の公式 7-4 超関数のフーリエ変換 7-5 超関数のラプラス変換とフーリエ変換の関係 7-6 超関数の偏微分方程式への応用 7-7 超関数の標本化定理への応用 7-8 超関数のヒルベルト変換と正則関数の境界値 7-9 超関数と熱伝導方程式 7-10 超局所解析（超関数の波面集合） 82 名前：１３２人目の素数さん mailto:sage [2015/07/04(土) 09:22:43.35 ID:cmHoS3UR.net] スレ主さんは数学科卒なの？院はいった？ 83 名前：１３２人目の素数さん mailto:sage [2015/07/04(土) 14:42:18.84 ID:oA72BiF7.net] >>69 おっちゃんです。>>28の >やはり、理屈では超越数になるが、不可解な部分があるから、まだ超越性の真偽は未定にしておく。 について。やっと不可解な部分が瓦解した。今まで恥ずかしい間違いをしていた。 不可解だった部分と間違えていた部分について、改めて紙で計算してみた。 手に負えない部分が生じたかと思ったが、何とか克服出来そうな見通しではある。 不可解だった部分の瓦解の結果、代わりに幾つかの結果が得られた。意味があるかどうかは知らん。 紙に書いて確認して精査せずに主張することは危険なので、超越性云々とかもまだ未定にしておく。 いや〜、面倒な計算や解析は紙に書いて確認することが大事だね。一瞬完全に崩れたかと思った。 話は変わり、マスロフ理論は量子力学と密接な関係があって、摂動法や漸近法とか用いて 量子力学や物理の微分方程式の近似解を求めることなどが理論の発端だったんです。 元はむしろ物理数学の一種だったんです。その後、幾何的な方法も取り入れて 線形偏微分方程式を扱う理論として発展したんです。シュレーディンガー方程式や ハミルトンの関数の固有値の分布などに応用出来るんです。今では幾何にも応用されているかな。 ちなみに、シュワルツの超関数は、ディラック関数などの特殊なグラフになる 関数を扱うために開発され、分布といわれていたんです。distributionはその英語。 84 名前：１３２人目の素数さん mailto:sage [2015/07/04(土) 15:23:26.80 ID:oA72BiF7.net] >>69 >>71の訂正：ディラック関数→デルタ関数 ディラック関数とはいわないな。 85 名前：現代数学の系譜11 ガロア理論を読む [2015/07/04(土) 19:44:53.65 ID:UNrp5ytb.net] >>70 どうも。スレ主です。 過去ログにもあるけど、工学系ですよ でも、ヘビサイドの階段関数とか演算子法は、工学系から出たんだ グリーン関数も、正規の数学ではなく、実際的な観点から考えられたという https://ja.wikipedia.org/wiki/%E3%83%98%E3%83%B4%E3%82%A3%E3%82%B5%E3%82%A4%E3%83%89%E3%81%AE%E9%9A%8E%E6%AE%B5%E9%96%A2%E6%95%B0 ヘヴィサイドの階段関数 https://ja.wikipedia.org/wiki/%E6%BC%94%E7%AE%97%E5%AD%90%E6%B3%95 演算子法（えんざんしほう）とは、解析学の問題、特に微分方程式を、代数的問題（普通は多項式方程式）に変換して解く方法。オリヴァー・ヘヴィサイドの貢献が特に大きいので「ヘヴィサイドの演算子法」とも呼ばれるが、厳密な理論化はその後の数学者たちにより行われた。 https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AA%E3%83%BC%E3%83%B3%E9%96%A2%E6%95%B0 グリーン関数 (Green's function) とは、微分方程式や偏微分方程式の解法の一つであるグリーン関数法に現れる関数である。グリーン関数法は、英国の数学者ジョージ・グリーンによって考案された。 https://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A7%E3%83%BC%E3%82%B8%E3%83%BB%E3%82%B0%E3%83%AA%E3%83%BC%E3%83%B3 ジョージ・グリーン パン屋の息子として生まれ、正規の教育をほとんど受けずに粉挽きの仕事をしながら独学でポテンシャル理論の論文を書いたという経歴の持ち主である。 1833年、40歳でケンブリッジ大学ゴンヴィル・アンド・キーズ・カレッジに入学。 4年後には数学の優等者試験で4位の成績をとる。光学、音響学、水力学について6本の論文を書き、1839年にはフェローとなるが、健康を崩して翌年に故郷へ戻る。 86 名前：現代数学の系譜11 ガロア理論を読む [2015/07/04(土) 19:46:01.48 ID:UNrp5ytb.net] >>71-72 おっちゃん、ありがとう！ 87 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 07:30:46.17 ID:viMYoeuU.net] >>71 おっちゃん、どうも。スレ主です。 distributionは、下記が参考になるだろう https://ir.lib.osaka-kyoiku.ac.jp/dspace/bitstream/123456789/26889/1/dainicyokyokusyo2012.pdf 第2超局所解析の基本 森岡, 達史 2000 88 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 08:45:14.62 ID:viMYoeuU.net] 下記ご参考 www.st.sophia.ac.jp/lecture/no09.php 理工ミニレクチャー第9回　超関数の理論、熱方程式、ディジタル信号処理の数学的基礎付け 2012年以前 吉野邦生（よしの くにお）上智大学理工学部助教授 専門は解析汎関数の理論と応用 どんな本を読んでいたのですか？ “分散公式の証明、場の量子論における解析性、楔の刃の定理”などの題名を見ているだけでワクワクしてました。 寺沢寛一先生の“自然科学者のための数学概論(上、下)“、犬井鉄郎先生の”特殊関数“や”応用偏微分方程式”など読んで“ラプラス方程式の解の特異性は虚の方向に伝播する“なんていう文章に感動してました。 勿論、証明はないんですけど、直感的に言い切る所がすごいと思いました。数学的には今では、”超局所解析学“という理論でキチンと証明されてます。 量子力学の講義がないのは非常に不思議です。行列の積が非可換だというのも量子力学をやって初めて意味が分かった気がします。 もっともこういうのも授業で習うと途端につまらなくなるんですよね。 修士論文で目指した定理も（あとで判ったのですが）レッジェ極理論（複素角運動量の理論）や量子統計力学（松原グリーン関数）で使われています。 最近、Bose―Einstein凝縮の事を調べていたら、昔、自分が計算していた積分が出ていて、リーマンゼータ関数やアッペル関数が出ているのを見てなんだか懐かしかったですね。 最近はどのような研究をしているのでしょうか？ 韓国や、セルビア、ベルギーの研究者たちと表題にある熱方程式の理論や調和振動子の波動関数による超関数の理論と調和解析への応用について研究しています。 これは、５、６年前から始めた研究なんですが、はじめのうちは、なんだか、さっぱり分からなくて、当時指導していた大学院の学生と頭を抱え込んでいました。杉田玄白や前 89 名前：野良沢の心境でした。 セルビアの研究者達の論文が解読できてから、いろいろ自分でも論文が書けるようになりました。２００４年のセルビアでの研究会ではじめてセルビアの研究グループの人たちと会いました。 自分が読んでいた論文の著者が女性数学者達だとは知りませんでした。指導していた大学院生はこのテーマで理学博士になり、今は研究者として活躍しています。 [] [ここ壊れてます] 90 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 08:54:35.95 ID:viMYoeuU.net] これも www.kanenko.com/~kanenko/KOUGI/ カーネンコの講義録 平成１６年度(2004)の担当講義 www.kanenko.com/~kanenko/KOUGI/Cho/cho.html 情報科学科３４年『情報科学特別講義 II』のページ 本講義は, 僕の専門である超函数と偏微分方程式の超局所解析の解説を行うものです. ここでこんな講義をやるとは全く予期していなかったのですが, 好奇心旺盛な 今年の卒研生が, 僕がどんな研究をしているのか知りたいというので, どこま で続くか分かりませんが, やってみることにしました. 毎回の講義の概要 第１回(１０月６日)：超函数とは？ 超函数の歴史的背景を説明し, 超函数の３通りの捉え方をデルタ函数を例に取 り説明しました. 第２回(１０月１３日)：超函数と積分 シュワルツ流の超函数と佐藤流の超函数に付いて, 定積分の定義を検討しまし た. 第３回(１０月２０日)：超函数と微分 超函数のシュワルツ式微分の定義の準備のため, 局所凸位相線型空間とその双 対空間の話をしました. （略） 第７回(１２月１日)：緩増加超函数のフーリエ変換 シュワルツ空間の定義をし, 緩増加超函数のフーリエ変換を導入しました. １２月８日　河村先生のご本の校正をみんなでやったため休講 第８回(１２月１５日)：フーリエ超函数 佐藤流のフーリエ変換論の紹介をし, １のフーリエ変換と, ポアソンの和公式 の証明をしました. １２月２２日　応用数学合同シンポジウムに参加のため休講 第９回(１月１２日)：リュービルの定理 緩増加超函数の偏微分方程式論への応用を述べ, 佐藤超函数の場合との 違いを解説しました. 第１０回(１月１９日)：Fourier 超函数の構造定理 佐藤の超函数が大域的に連続函数の無限階微分で表されることの証明を途中ま でやりました. 第１１回(２月２日)：Paley-Wiener の定理と実解析解の延長 定数係数線型偏微分作用素に対する Ehrenpreis の基本原理を解説し, 小生の 修士論文の内容である, 凸コンパクト集合への実解析解の延長定理を証明の粗 筋とともに紹介しました. これで全日程終了です. 今まで絶対無理だと思っていましたが, 小生の主要業 績を学部生に対して半年で解説しようと思えばできるんですねえ. (*^^*) 91 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 09:03:53.38 ID:NF+6yVEz.net] スレ主ちんこでかそう 92 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 09:20:07.02 ID:viMYoeuU.net] この程度のことは、どこにでも書いてありますが まあ、情報集約ということで、アップしておきます https://ja.wikipedia.org/wiki/%E8%B6%85%E5%87%BD%E6%95%B0#.E8.B6.85.E5.B1.80.E6.89.80.E8.A7.A3.E6.9E.90 超函数論に重要な影響を与えたのは、偏微分方程式論や群の表現論などからの技術的な要請であった。 先駆的な研究 19世紀の数学には、例えばグリーン函数の定義やラプラス変換、あるいは（可積分函数のフーリエ級数には必要でない部分の）リーマンの三角級数論などが、超函数論の片鱗として垣間見える。 これらは当時、解析学の一部とは扱われていなかったものである。 工学におけるラプラス変換の重用は、経験則に基づく記号的操作としての演算子法を生み出した。 演算子法の正当化は発散級数を用いて与えられたため、純粋数学の観点からは悪い風評をうけることとなるが、これらは後の超函数法の典型的な応用先である。 1899年に出版されたヘヴィサイドの本 Electromagnetic Theory（『電磁気論』）は演算子法の定番の教科書となった。 ルベーグ積分が導入されると、超函数は初めて数学の中心に踊り出ることとなった。ルベーグ積分論では、殆ど至る所一致する可積分函数はすべて同値であると看做される。 これはルベーグ積分論において函数の個々の点における値というのは函数の重要な特徴ではないということを意味する。 可積分函数の本質的な特徴は、函数解析学における明確な定式化（つまり、他の函数の集合上で定義される線型汎函数として定義する方法）のもとで与えられた。こうして、弱微分の概念が定義されるようになる。 1920年代後半から1930年代に掛けて、その後の研究の基となる更なる展開がなされる。 ディラックのデルタ函数はポール・ディラックが（彼の科学的形式主義の一部として）大胆に定義したもので、これは測度を（素性のよい函数を成す電荷密度のような）密度として考えるという扱い方をしている。 ソボレフは、偏微分方程式論の研究において偏微分方程式の弱解をきちんと扱うために、数学の観点からも十分正当な超函数論を初めて定義した。 同じ頃、関連するほかの理論がボホナーやフリードリヒらによっても提案されている。ソボレフの業績は後にシュワルツによってさらに拡張され発展することとなる。 93 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 09:21:59.76 ID:viMYoeuU.net] >>78 どうも。スレ主です。 ID:NF+6yVEzくんか 君はどうもそれに拘っているようだが 数学ができないで悩んでいるのか？ 94 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 09:38:51.07 ID:viMYoeuU.net] >>75 第2超局所解析の第2の意味が分からなかったが、下記で委員会？ https://kaken.nii.ac.jp/d/p/15540185.en.html 特異的なフーリエ積分作用素・超局所双曲性・第2超局所解析 戸瀬 信之 慶應義塾大学・経済学部・教授 Abstract(Latest Report) 1(特異約なフーリ工積分作用素)線形双曲型偏微分方程式の解の(超局所)特異性の伝播の研究においては、解の特異性の分岐、conical refractionなど様々な現象が解析されてきた。 特に、結晶光学に現れるconical rehactionの現象は、自然界に現れる自然なものとして多くの視点から研究が進められてきた。 1985年ころから、conical refractionの研究に、余接束をその包合的な多様体に沿って爆裂して解析を行なう第2超局所解析(second microlization)を用いて分析を行なうことが試みられ、P. Laubin(LIEGE大)や私の研究により一定の結果を得る事ができた。 第2超局所解析は、包合的な多様体上の超局所特異性を、余接束をその包合的な特性多様体にそって爆裂した空間上で解析を行なうものであるが、上で述べた研究で中途半端になっているものがある。 超局所解析では、量子化接触変換、フーリ工積分作用素によつて、擬微分方程式が単純特性的な点において簡単な標準形にうつることが示されているが、第2超局所解析ではこの方向の研究が不十分である。 すなわち、変換理論自体はあるのであるが、マイクロ函数の第2超局所特異性を分解した層を部分層として含む第2マイクロ函数の層の枠組みで構成されたものである。 この研究では、解の構成に変換理論が使えるように、マイクロ函数の第2超局所特異性を分解した層の枠組みで変換理論を構成するための様々な準備を行なつた。 2(第2超局所特異性の基礎的な研究)第2超局所解析で自然に現れる第2超函数の層は、正則包合的な多様体上に制限した佐藤のマイクロ函数の層を含む。この第2超函数の層を退化した偏微分方程式の境界値問題に応用した。 95 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 09:56:18.66 ID:NF+6yVEz.net] >>80 そうだよ 数学ができないからちんこのことしか考えられない 96 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 11:40:17.31 ID:viMYoeuU.net] >>82 どうも。スレ主です。 正直 97 名前：だね では、君にはこの言葉を贈ろう http://proverbes.kitakama-france.com/index.php?%E8%AB%BAIAK フランス語のことわざI-1 Au royaume des aveugles, les borgnes sont rois. 【逐語訳】「めくらの国ではめっかちが王様だ」 いわゆる「差別用語」を使わない訳にするなら、「盲人の国では片目の者が王様だ」。 上であえて使用した「めっかち」とは、「片目しか見えない人」のことで、差別用語扱いされたためか死語となってしまいましたが、 しかし「片目しか見えない人」のことを一語で表す日本語がないのは不自由なので、田邊 (1959), p.112 ; 田辺 (1976), p.207 でも使われているこの訳語を採用しました。 こうすることで、原文に含まれる ro という音の反復による語調のよさを「め」で始まる二つの単語で再現できる気もします。 【諺の意味】「たいしたことのない人々の間では、多少ましな人はもてはやされる」、「まったく無知な人々の間では、乏しい知識しか持たない人でも天才扱いされる」。 【図版】この諺を題材にした19世紀の挿絵があります。 【日本の諺】「鳥なき里の蝙蝠（こうもり）」 「すぐれた者がいないところでは、つまらない者がわが者顔をしていばること」（『故事・俗信ことわざ大辞典　第二版』 p.986） [] [ここ壊れてます] 98 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 11:44:29.98 ID:viMYoeuU.net] おっと間違った こっちだ detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1122364926 2009/1/1921:27:26 「鶏口となるも牛後となるなかれ」…とは、どういう意味ですか？また、読み方も教えてください。鶏口…けいこう？ 牛後…ぎゅうこう？ ベストアンサーに選ばれた回答 happytea0801さん 2009/1/1921:47:43 鶏口牛後という四字熟語としても使います。けいこうぎゅうご と読みます。 昔の中国、秦が強大な力を持っていた時、諸国は連携して秦を叩くか、秦に降伏して秦の国の一部になるかを選ばなければならない状況になりました。 諸国の中には韓（かん）という国があり、韓の国主は大いに悩みますが、家来の蘇秦（そしん）という人が一言、「鶏口となるも牛後となるなかれ」。 秦という国の属国となるよりも（韓の王は秦王の家臣になるので）、小国の王のほうでいてください、韓は未だ強大で王も健在ならば、秦に屈するのは天下の笑いものですよとお願いしたわけです。 蘇秦はその後６カ国をまとめ上げて秦と対抗し、１５年間もの間、平和な世を作りました（最終的には秦が中国を統一しますが）。 表現として適切ではありませんが、今風に言えば、大企業の一員（歯車）となるよりも、どんなに小さい会社でも社長のほうがいい、という意味でしょう。 99 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 11:46:28.13 ID:viMYoeuU.net] 数学ができない・・ といっても所詮相対的なものだ 自分の能力が生かせる、めくらの国・・・じゃなかった、鶏口となれる場所があると思うんだよね それを考えなよ 100 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 11:51:05.31 ID:NF+6yVEz.net] >>85 ちんこの国へいけと？ 101 名前：岡村隆史「嫌なら見るな」 [2015/07/05(日) 12:34:21.14 ID:22uD/UkX.net] 新聞購読を止めて、月3000〜4000円、年間36000〜48000円の節約 新聞にそのような金を払う価値はない ただでさえ要らない なぜなら新聞は国民の方を向いておらず、広告主のための報道しかしないからだ それに金を払って購読することは自らの首を絞める自殺行為に等しい 102 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 12:35:36.25 ID:viMYoeuU.net] >>83 めくらも・・、差別用語だと、言葉狩りか blogs.yahoo.co.jp/mohkorigori/56429088.html 言葉狩り：めくらなどを差別用語と決めつけて変換ソフトから除外する業者 2014/7/11(金) 　最近、三島由紀夫著「金閣寺」を読み、その感想をブログに2度に分けて書いた。多分３度目を書いて完結すると思う。 そこで辞書検索などしていて、以前から不満に思っていたことを思い出した。それは、めくらと入力しても盲の字が出てこないし、かたわと入力しても片端がでてこないのである。 しかしつんぼと入力すれば聾が出てくる。 めくらの方が「盲蛇を怖じず」などでよく使うことから、どうやらめくらが差別用語であり聾は差別用語でないという線引きが何処かでなされているのだろう。 そして業者が一部の無知なる狂信者（左翼と呼ばれる人に多い）の批判を恐れて、変換候補から除外したのだろう。 　言葉は文化である。文化が変化してゆき、めくらがほとんど使われなくなった時に、盲という字が漢字変換で出てこなくなるのが自然な姿である。 何故、そのような一部の無知蒙昧の輩の批判を恐れて下らない自主規制をするのか？ 　それは恐らく、日本国はサイレントマジョリティーの国だからである。つまり、どのような会社でも機関でも、声高に反対を叫ぶ人に遠慮して、多数意見をどうしても軽視してしまうのである。 　日本が、ものを言う多数派の国になることを強く希望する。 103 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 12:38:23.63 ID:viMYoeuU.net] >>86 どうも。スレ主です。 まあ、それは君の判断に任せるよ 104 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 12:57:08.10 ID:4Jc9ox8u.net] >>89 キミはチンコの国が似合いそうだね 105 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 13:37:40.08 ID:viMYoeuU.net] >>81 第2超局所解析は、戸瀬 信之先生の造語？ www.sciencedirect.com/science/book/9780124004658#srch=refraction Algebraic Analysis: Papers Dedicated to Professor Mikio Sato on the Occasion of his Sixtieth Birthday, Contents of Volume II, Pages xi-xiii PDF (321 K) Second Microlocalization and Conical Refraction (II) Nobuyuki Tose P867 Algebraic analysis - Google Books books.google.com ? Mathematics ? Algebra ? General - （検索でP867の部分） 106 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 13:41:20.79 ID:viMYoeuU.net] >>90 どうも。スレ主です。 君も数学ができないで悩んでいるのか？ ここは、スレ主が作った国なんだ もし、君が片目の者と証明できれば、君が王様だよ いかが？ 107 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 14:49:39.96 ID:nFNHtEO5.net] >>91 ＞第2超局所解析は、戸瀬 信之先生の造語？ 君、それは冗談で言ってるのかね？ｗ 108 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 15:13:26.07 ID:viMYoeuU.net] >>93 レスありがとう いや、単純な話で、全く知らないんだ が、第2超局所解析の日本語検索で戸瀬 信之、Second Microlocalizationの英語検索で、Toseがヒットするのでね そう思ったんだ ところで、"Microlocal"は、佐藤スクールの命名と思っているんだが、当たっているかい？ その流れで、第2超局所解析が戸瀬 信之先生の造語かと。なかなか良いセンスだと思ったが・・ 109 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 15:35:11.22 ID:nFNHtEO5.net] 中身を少し勉強すれば最初が戸瀬じゃないってことくらいすぐわかるんだがね・・・ 創始者があっさりやめたあと戸瀬が拾っただだけ Microlocalって用語がいつ生れたかは知らない 超局所解析というもの自体はかなり前からあるけど、言葉として 使われ始めたのは最初の論文から15年以上は後 中身は知ってるけど、誰が最初かって歴史物語には興味がないんでね まあ、がんばってぐぐって貼ってください 110 名前：現代数学の系譜11 ガロア理論を読む [2015/07/05(日) 19:24:31.73 ID:viMYoeuU.net] >>95 どうも。スレ主です。 >中身を少し勉強すれば最初が戸瀬じゃないってことくらいすぐわかるんだがね・・・ おお、この国ではあんたが王だな 私は、戸瀬は勉強しても分からん >創始者があっさりやめたあと戸瀬が拾っただだけ 戸瀬 信之先生は、>>81で「P. Laubin(LIEGE大)や私の研究」と書いている。なので、P. Laubin(LIEGE大)が創始者だね ただ、問題は理論の創始者ではなく、だれのネーミングかなんだよね >Microlocalって用語がいつ生れたかは知らない 佐藤幹夫がなにかに書いていたけど、日本のRIMS（京都）で国際会議があって、吉田耕作から「なにか講演しろ」と言われて、Microlocal（層C）を新幹線の中で計算したとか えーと正確には、「佐藤幹夫の数学」（2014）P16かな 「マイクロ関数」という名前か 新幹線の中は、P16にはないね 「マイクロ関数」から、Microlocal（層C）になったように理解しているんだが・・ 111 名前：１３２人目の素数さん mailto:sage [2015/07/05(日) 22:51:54.30 ID:rk0eH08u.net] 余接空間がマイクロローカルな感じなの感じ取れないと。 112 名前：１３２人目の素数さん [2015/07/06(月) 00:42:00.82 ID:Rc5hK5a3.net] 4次元ちんこ 113 名前：現代数学の系譜11 ガロア理論を読む [2015/07/10(金) 22:15:09.39 ID:ym/cJ7xn.net] どうも。スレ主です。 余接空間がマイクロローカルな感じ？ あんたも王の資格があるね 114 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 09:16:53.64 ID:FKo26YYw.net] 読み返してみると、>>35で https://ja.wikipedia.org/wiki/%E8%B6%85%E5%B1%80%E6%89%80%E8%A7%A3%E6%9E%90 超局所解析 「超局所」（microlocal）という語は、空間内の位置についての局所化のみならず、ある与えられた点の余接空間方向についての局所化を意味する。 （引用おわり） なんて、書かれてあったりする。 まとまりなく、ランダムに書かせて貰うと 「超局所」（microlocal）がちょっとおかしい micro＝微 でしょ、普通 超＝hyper, super or ultra だ 佐藤超関数＝hyperfuction マイクロ関数＝Microfunction （hyperfuctionをより細かくした）だったのでは？ https://en.wikipedia.org/wiki/Hyperfunction In mathematics, hyperfunctions are generalizations of functions, as a 'jump' from one holomorphic function to another at a boundary, and can be thought of informally as distributions of infinite order. Hyperfunctions were introduced by Mikio Sato in 1958, building upon earlier work by Grothendieck and others. In Japan, they are usually called the Sato's hyperfunctions. math.stackexchange.com/questions/547292/applications-of-microfunctions Applications of Microfunctions asked Oct 31 '13 at 20:14 Can anyone suggest good (a) uses/applications or (b) construction of micro-functions (introduced by Mikio Sato in 1971) in analysis? I am trying to understand the subject better. Suggestions of literature are very welcome, but also, how would one present the basic concept as conc 115 名前：isely as possible if one had to? [] [ここ壊れてます] 116 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 09:37:01.33 ID:FKo26YYw.net] これ分かり易いね wikまとめ.com/wiki/%E8%B6%85%E5%B1%80%E6%89%80%E8%A7%A3%E6%9E%90 超局所解析 - ウィキまとめ [英microlocalanalysis仏analysemicrolocale独mikrolokaleAnalysis] マイクロローカルアナリシス． 1変数の佐藤超関数f(x)が，xOの近傍でf(x)＝F(x＋i0)と表わすことができるとき，fは(xO，−idx∞)でマイクロ解析的であるといい，f(x)＝F(x−i0)と表わせるときfは(xO，idx∞)でマイクロ解析的であるという. (xO，−idx∞)および(xO，idx∞)でマイクロ解析的な佐藤超関数は，xOで実解析的である． δ関数は，(0，−idx∞)でも(0，idx∞)でもマイクロ解析的でない． このように，実解析性と特異性の間にマイクロ解析性という概念を設けることにより，佐藤超関数の特異性を詳しく調べることができる． 多変数の場合のマイクロ解析性は，余接球面束(cotangentspherebundle)の言葉で表現することができる． 佐藤超関数がマイクロ解析的でない余接球面束の部分集合を，特異スペクトル(singularspectrum)という． 特異スペクトルなどを用いて余接球面束の上で偏微分方程式を解析することを超局所解析といい，偏微分方程式の解の特異性の伝播やファインマン積分の解析性の研究に有効な数学の手法である． 佐藤超関数が，(シュワルツの意味の)超関数の場合，特異スペクトルは，波面集合(wavefrontset)ともいう． 117 名前：１３２人目の素数さん mailto:sage [2015/07/11(土) 09:40:08.32 ID:JOnsWxz2.net] スレ主さんちんこでかそう 118 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 09:50:40.37 ID:FKo26YYw.net] 関連 http://ウィキまとめ.com/wiki/%E3%83%AF%E3%82%A4%E3%83%88%E3%83%9E%E3%83%B3%E9%96%A2%E6%95%B0 ワイトマン関数 - ウィキまとめ [Wightmanfunction] ハイゼンベルク表示の場の演算子φ(x)(x＝(r，t))の積の真空期待値〈Ω，φ(x1)…φ(x?)Ω〉として定まるx1，…，x?の関数(n＝1,2，…)]] Ωは系のハミルトニアンの最低固有値に属する規格化された固有ベクトルで，真空の状態ベクトルに当る]]ワイトマン関数は実際は関数ではなく超関数であると考えられている]] 1つの場の量子論において，これが与えられると，S行列が計算できる(→LSZ形式)フォック空間で作用する場の演算子を用いて摂動論など具体的な計算を進める形の場の量子論が発散の困難に阻まれるのを見て， ワイトマン，A.S]]は1956年，場の量子論に期待される一般的な性質をワイトマン関数系の言葉で表わす研究を始めた]] 実際，超関数W?(x1，…，x?)の系が正値性など一連の性質をもてば，GNS構成法により適当なヒルベルト空間Hとその上の演算子φ(x)を構成してW?をワイトマン関数の形に表わすことができて(再構成定理)， W?の性質がHとφ(x)のつくる場の量子論に遺伝するのである(Hはフォック空間とは限らない]] →ハーグの定理) ワイトマン関数のもつ性質(したがってW?に要求される性質)は超関数であることのほか， 正値性，エルミート性など再構成定理の条件をなすもの，さらに場の演算子の相対論的変換性，局所可換性，状態Ωが最低固有値に属し相対論的不変でかつ一意であることなど，理論に望まれる物理的内容からくるものなどがあり，ワイトマンの公理系とよばれる (→公理論的な場の量子論) その公理系からワイトマン関数が相対座標xk+1−xkの超関数で，ある解析関数の境界値になっていることが導かれる]] これによってワイトマン関数を相対時間について虚軸まで解析接続したものはシュウィンガー関数(Schwingerfunction)とよばれ，ユークリッド場の理論で中心的な役をする]] 119 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 09:52:07.09 ID:FKo26YYw.net] >>102 客観的にはそうでもないと思うが、君よりはな・・・HaHaHa! 120 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 10:37:34.23 ID:FKo26YYw.net] >>96 関連 phasetr.com/2013/02/06/%E6%9B%B8%E8%A9%95%EF%BC%9A%E4%BD%90%E8%97%A4%E5%B9%B9%E5%A4%AB%E3%81%AE%E6%95%B0%E5%AD%A6/ 書評：佐藤幹夫の数学: 2013-02-01 佐藤超関数の文脈で超関数の積分があるが, これは超関数微分方程式を考えて, その解を不定積分と呼んでいる. 興味がある向きは Theory of Hyperfunctions, I の P148 を見てほしい. repository.dl.itc.u-tokyo.ac.jp/dspace/handle/2261/6027 タイトル: Theory of Hyperfunctions, I. 著者: Sato, Mikio 発行日: 1959年3月28日 121 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 10:47:34.58 ID:FKo26YYw.net] >>105 「佐藤幹夫の数学」P264が「佐藤超関数と特異スペクトルとマイクロ関数」だ ここに、マイクロ関数の佐藤幹夫流の直感的説明がある・・・ 122 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 10:57:00.05 ID:FKo26YYw.net] >>106 「佐藤幹夫の数学」P273が「超局所計算法（miclolocal calculus）」だ "あるとき、「概均質ベクトル空間のフーリエ変換の話はきれいだけれども、実際の計算は全然できなくて、あれは抽象論だ」と新谷（卓郎）君から批判された"という話から始まる 柏原を説得して、論文にしてもらったと ”僕だったら１年も１０年も放っといたと思うんだけれども、彼がやってくれたんでアッというまにできちゃったわけだよ”と 123 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 11:17:12.60 ID:FKo26YYw.net] >>107 「佐藤幹夫の数学」P17 柏原先生の話がある ”彼はブルバキやグロタンディークなんかを１８歳か１９歳のときに読んでいました。それらを自分ひとりで、先生もいなくて、彼がまだ４年生であったときに勉強していたのです。 ええ、彼はものすごい天才です。今まで会った中で最高の若者です”と 124 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 11:28:10.01 ID:FKo26YYw.net] >>97 余接空間の話は、>>35-39に書いたけど 実は、まだよく見えない そこで、もう少し書くことに １．まず接空間（英語：tangent space） https://ja.wikipedia.org/wiki/%E6%8E%A5%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93 多様体上の接ベクトル空間（英語：tangent vector space）あるいは 接空間（英語：tangent space）とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。 接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。 概要 接ベクトル空間は、多様体上の点ごとに定義されるベクトル空間である。 接ベクトル空間の元を接ベクトルという。全ての点で接ベクトルが定まっているとベクトル場というものが定義できる。ベクトル場は多様体の形を調べたり、多様体上の粒子の運動を調べたりするのに非常に役立つ概念である。 物理学でいえば電磁場や重力場などを記述でき、そのベクトル場の中に置かれた粒子はその点での接ベクトルの向いている方向に沿って移動していく。 本項目で扱うのは、そのベクトル場の基礎となるある 1 点の上の接ベクトル空間である。 局所座標系に依存しない速度ベクトルのようなものを探し求めた結果 微分作用素の一次結合（接ベクトル）を用いることで解決できる事が分かる。この接ベクトルの全体を接ベクトル空間という。 作用素をベクトルと呼ぶために、少し抽象的でわかりにくい話になるが、そういう場合は関数 f に具体的な形をいくつか与えてみて多様体の形を感じ取るのがよい。 定義 方向微分と接ベクトルについての定義を与える。接ベクトルは方向微分であるが、 方向微分が接ベクトルとは限らない。 滑らかな多様体の場合にのみ両者は一致するので、滑らかな多様体の話に限るのであれば方向微分の定義は接ベクトルの定義でもある。 （引用おわり） まあ、物理でいうところの「場の理論」を抽象化したものでしょうか？ 125 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 11:37:32.48 ID:FKo26YYw.net] ２．微分と余接 https://ja.wikipedia.org/wiki/%E6%8E%A5%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93 関数の微分 m 次元 C^r 級多様体 M とその上の点 p を考える。 p における 接ベクトル v は、 p の近傍で定義された C^r 級関数 f を実数 v(f 126 名前：) に対応させる関数である。 v(f) は接ベクトル v と関数 f の組であり、 v を固定して、 f に対して値が定まると考えてきた。逆に f を固定して dfp : v → v(f) という関数も考えることができる。この dfp を f の p における 微分 (differential) という。 接ベクトルのなす空間 Tp(M) は R 上の線型空間であることから、 Tp(M) から R への線型写像のなす双対ベクトル空間 Tp*(M) = HomR( Tp(M) , R) が定まるが、 微分 dfp はこの Tp*(M) の元である。 Tp*(M) のことを M の p における余接ベクトル空間 (cotangent vector space) という。 特に p を含む座標近傍 (U;x1,…,xm) があるとき、関数 f として 局所座標系の成分の一つである xk を選べば、その p における微分は (dxk)p となり(略) ここに現れた dxk という記号は、微分形式として積分 ∫ f(x) dx に現れる dx と、しばしば同一視される。 通常の積分では∫と dx は、一組の記号でありそれぞれを別個の物として扱うことはできないが、各点で余接ベクトルとみなせば、 dx という記号に意味を持たせることができる。 各点に余接ベクトルを与えたものであるので、正確には余接ベクトル場を考えることになる。 [] [ここ壊れてます] 127 名前：１３２人目の素数さん mailto:sage [2015/07/11(土) 13:48:44.12 ID:EkTPLFeM.net] >彼はブルバキやグロタンディークなんかを１８歳か１９歳のときに読んでいました。 >それらを自分ひとりで、先生もいなくて、彼がまだ４年生であったときに勉強していたのです。 この手の話、真に受けない方がいい。原理的には可能だが、ブルバキを読むのはすごく大変だよ。 読んで中身を理解する訳だろ。少しフランス語の素養が必要で、全部で30〜40冊近くあるんだろ。 中にはいい本もあるが、初期に書かれた本は読むの大変。 グロタンディークは厳密なスタイルでないらしいが、本文については知らん。 128 名前：１３２人目の素数さん mailto:sage [2015/07/11(土) 14:13:49.78 ID:EkTPLFeM.net] >>109 接空間は、2次元平面上に描いた尖っていない滑らかな曲線の グラフの接線を高次元化して一般化したモノなんです。 例えば、球コロの表面に下敷きを置いたらそれが球と下敷き の接点の接ベクトルになる。紙に滑らかな曲線のグラフの接線 を引いても同様。直観的には大体こんな感じ。 129 名前：１３２人目の素数さん mailto:sage [2015/07/11(土) 14:21:18.25 ID:5aahM9mN.net] >余接空間の話は、>>35-39に書いたけど >実は、まだよく見えない >そこで、もう少し書くことに スレ主が「書いた」のは >>35-39 (なし) >>109-110 >まあ、物理でいうところの「場の理論」を抽象化したものでしょうか？ 130 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 15:35:07.98 ID:FKo26YYw.net] >>111-112 どうも。スレ主です。 おっちゃんかな？ レスありがとう >この手の話、真に受けない方がいい。原理的には可能だが、ブルバキを読むのはすごく大変だよ。 >読んで中身を理解する訳だろ。少しフランス語の素養が必要で、全部で30〜40冊近くあるんだろ。 柏原の時代には訳本なかったっけ？ えーと、下記だ一番早いので1968年か。だからまだ無かったか・・ https://ja.wikipedia.org/wiki/%E3%83%8B%E3%82%B3%E3%83%A9%E3%83%BB%E3%83%96%E3%83%AB%E3%83%90%E3%82%AD 邦訳された著作 『位相 第1』 森毅・清水達雄訳、東京図書〈ブルバキ数学原論 第12〉、1968年。 ブルバキの業績 ブルバキの主な業績は、7000ページ以上に及ぶ『数学原論』(Elements de mathematique) の執筆である。 元は微分積分学の現代的な教科書を書くのが彼らの目的だったが、作業が中途で肥大化し、その目的は捨て去られた。 最終的には集合論の上に現代数学を厳密かつ公理的に打ち立てることにその目標は向けられる。 彼らはそこで、代数構造・順序構造・位相構造という三つの構造概念、フィルターなどいくつかの新しい概念や術語を導入し、現代数学に大きな影響を与えた。 その完璧な厳密性と一般性を求める叙述はブルバキスタイルと呼ばれるようになる。 ブルバキの影響は年と共に次第に低下していった。 その理由の一つは、彼らの抽象化はそれだけではあまり有用でなかったためである。 今ひとつには、ブルバキの影響を受けた本が他にも出版されるようになり、ブルバキの本の独自色が失われつつあった。 またひとつには、重要と考えられるようになった別の抽象化、例えば圏論などをカバーしていないためでもある。 ブルバキのメンバーの一人アイレンベルグは圏論の創始者であり、グロタンディークも圏論を積極的に論じた。 だが圏論を導入するには、それまでに発表されてきたブルバキの著作に根本的な修正を与えなければならなかった。 そのため圏論についてのブルバキの著作は準備されていたものの、結局は書かれなかった。 （引用おわり） つづく 131 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 15:43:39.49 ID:FKo26YYw.net] >>114 つづき >グロタンディークは厳密なスタイルでないらしいが、本文については知らん。 グロタンディークを読んでいるというのはあったかも 柏原は東大だから、図書には本があったろう 一つは、教養の第二外国語で仏語やれば、辞書くらい引ける 一つは、フランス留学も考えていたか、あるいは自分が学者としてやっていくには仏語は必要だと。だから、仏語の勉強も兼ねて読んだというのはありかも 実際に佐藤スクールで役に立つのは、グロタンディーク系の層理論だと思うけど ブルバキの中身は知らないが、目次見るとそう思うよ 132 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 15:45:07.74 ID:FKo26YYw.net] >>113 どうも。スレ主です。 レスありがとう まあ、ここはおいらのメモ帳なんで、メモ（備忘録）を書いたんだよ 133 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 15:46:50.13 ID:FKo26YYw.net] >>110 つづき ３．双対ベクトル空間 https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93 数学におけるベクトル空間の双対ベクトル空間（そうついベクトルくうかん、英: dual vector space）あるいは単に双対空間（そうついくうかん、英: dual space）は、そのベクトル空間上の線型汎函数（一次形式）全体の成す空間として定義される。 有限次元ベクトル空間の双対空間はテンソルの研究に利用することができる。 函数の成す（典型的には無限次元の）ベクトル空間に対する双対空間は、測度や超函数、あるいはヒルベルト空間のような概念の定義や研究に用いられ、結果として双対空間は函数解析学の研究における重要な観念となっている。 一般に双対空間には、代数的双対と連続的双対の二種類が用いられており、代数的双対は任意のベクトル空間に対して定義することができるが、 位相線型空間を扱うときは代数的双対よりもその部分線型空間として、連続線型汎函数全体の成す連続的双対空間を考えるのが自然である。 双対空間 体 F 上の任意のベクトル空間 V の（代数的）双対空間 V^? は V 上の線型写像 φ: V → F（すなわち線型汎函数）全体の成す集合として定義される。 集合としての V^? には、次の加法とスカラー乗法 φ + ψ(x) = φ(x) + ψ(x) (a φ)(x) = a (φ(x)) (φ,ψ∈ V^*, x∈ V, a∈ F) を定義することができて、それ自身 F 上のベクトル空間となる。この代数的双対空間 V^? の元を、余ベクトル（共変ベクトル）あるいは一形式と呼ぶこともある。 双対空間 V^? の元である汎函数 φ と V の元との対をしばしば括弧を用いて φ(x) = [φ,x][1] あるいは φ(x) = ?φ,x?[2]で表す。 この対の記法は非退化な双線型形式[3] [・,・]: V^? × V → F を定める。このとき、[,] は V^? とV との間に双対性を定める、V^? と V を双対にする、あるいは V と V^? の双対性を表す内積 (duality pairing) であると言う。 134 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 15:54:54.55 ID:FKo26YYw.net] >>117 つづき ４．有限次元の場合 https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93 有限次元の場合 V が有限次元ならば、V? は V と同じ次元を持つ。V の基底 {e1, ..., en} から双対基底と呼ばれる特別な V? の基底を定義することができる。それは V 上の線型汎函数の集合 {e1, ..., en} で、係数 ci ∈ F の選び方に依らず e^i(c_1 e_1+・・・+c_n e_n) = c_i (i=1,・・・,n) を満たすものとして定義される（上付きの添字が冪を意味するものではないことに注意せよ）。特に、一つの係数を 1, 残りをすべて 0 とすることにより、関係式は e^i （e_j) = δ_ij に帰着される。ここに δij はクロネッカーのデルタである。 例えば V が座標平面 R2 でその標準基底 {e1 = (1, 0), e2 = (0, 1)} に選べば、e1, e2 は e1(e1) = 1, e1(e2) = 0, e2(e1) = 0, e2(e2) = 1 を満たす線型形式である。 特に Rn を実数を成分とする n-項「列」ベクトル全体の成す空間と見做すとき、その双対空間は典型的には実数を成分とする n-項「行」ベクトル全体の成す空間として書かれ、その Rn への作用が通常の行列の積によって与えられるものと見做すことができる。 V が平面上の幾何学的なベクトル（有向線分）からなる空間であるとき、V? の元の等位曲線は V の平行線の族からなる。 故に V? の元は直観的には平面を被覆する特定の平行線族と見做すことができる。 このとき、与えられたベクトルにおける汎函数の値を計算するには、そのベクトルが平行線族のどの線上にあるかを知るだけでよい。 イメージとしては、そのベクトルが何本の平行線と交わるかを数えればよいことになる。 より一般に、V を任意有限次元のベクトル空間とするとき、V? に属する線型汎函数の等位集合は V の平行超平面族であり、汎函数の各ベクトルにおける値はこれら超平面を用いて理解することができる[4]。 135 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 18:12:46.14 ID:FKo26YYw.net] >>118 つづき ５．無限次元の場合 https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93 無限次元の場合 ベクトル空間 V が有限次元でない場合にも適当な無限集合 A で添字付けられる基底 eα は持つ[5]から、有限次元の場合と同様の構成によって、双対空間の線型独立な元の族 eα (α ∈ A) を作ることはできるが、これは必ずしも基底とならない。 例えば、有限個の例外を除く全ての成分が 0 であるような実数列全体の成す空間 R∞ を考えると、これは自然数全体の成す集合 N で添字付けられる標準基底、すなわち各 i ∈ N に対して ei は第 i-項が 1 で他はすべて 0 となるようなものを持つ。 R∞ の双対空間は全ての実数列からなる空間 RN である。数列 (an) の (xn) ∈ R∞ への作用は �蚤nxn で与えられる（これは xn の非零項が有限個しかないことから有限和である）。R∞ の次元は可算無限だが、RN の次元は非可算である。 このような考察は任意の体 F 上の任意の[5]無限次元ベクトル空間に対して一般化できる。 基底 {eα : α ∈ A} を一つとって V を fα = f(α) は有限個の例外を除く全ての α ∈ A に対して 0 となるような写像 f: A → F 全体の成す空間 (FA)0 と同一視すれば、写像 f は V のベクトル �倍α ∈ A} f_α e_α と同一視される（f の仮定からこれは有限和だから意味を持ち、また基底の定義により任意の v ∈ V 箱の形に書ける）。 そして V の双対空間は A から F への写像全体の成す空間 FA に同一視される。実際、V 上の線型汎函数 T は V の基底におけるその値 θα = T(eα) によって一意に決定され、また任意の写像 θ: A → F ( θ(α) = θα) は （数式がややこしいので略） は加群の直積と直和に関する一般の場合の結果の特別の場合である。 従って無限次元のとき、代数的双対は必ずもとの空間よりも大きな次元を持つ。これは連続的双対の場合には無限次元の場合でももとの空間と同型となる場合があることと対照的である。 136 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 18:18:27.18 ID:FKo26YYw.net] >>119 つづき あとは、面白そうだが、佐藤と関係なさそうなので省略 https://ja.wikipedia.org/wiki/%E5%8F%8C%E5%AF%BE%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E7%A9%BA%E9%96%93 双線型な乗法と双対空間 二重双対空間への単射 線型写像の転置写像 商空間と零化域 関連項目 双対性 逆格子: 結晶学における双対基底 ベクトルの共変性と反変性 参考文献 Bourbaki, Nicolas (1989), Elements of mathematics, Algebra I, Springer-Verlag, ISBN 3-540-64243-9 Halmos, Paul (1974), Finite-dimensional Vector Spaces, Springer, ISBN 0-387-900 137 名前：93-4 Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR:1878556 MacLane, Saunders; Birkhoff, Garrett (1999), Algebra (3rd ed.), AMS Chelsea Publishing, ISBN 0-8218-1646-2. Misner, Charles W.; Thorne, Kip S.; Wheeler, John A. (1973), Gravitation, W. H. Freeman, ISBN 0-7167-0344-0 Rudin, Walter (1991). Functional analysis. McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. edit [] [ここ壊れてます] 138 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 18:29:42.68 ID:FKo26YYw.net] >>117 関連 あとは、面白そうだが、佐藤と関係なさそうなので省略 https://ja.wikipedia.org/wiki/%E3%83%86%E3%83%B3%E3%82%BD%E3%83%AB テンソル（英: tensor, 独: Tensor）とは、線形的な量または線形的な幾何概念を一般化したもので、基底を選べば、多次元の配列として表現できるようなものである。 しかし、テンソル自身は、特定の表示系によらないで定まる対象である。個々のテンソルについて、対応する量を記述するのに必要な配列の添字の組の数は、そのテンソルの階数とよばれる。 例えば、質量や温度などのスカラー量は階数0のテンソルだと理解される。同様にして力や運動量などのベクトル的な量は階数1のテンソルであり、力や加速度ベクトルの間の異方的な関係などをあらわす線型変換は階数2のテンソルで表される。 物理学や工学においてしばしば「テンソル」と呼ばれているものは、実際には位置や時刻を引数としテンソル量を返す関数である「テンソル場」であることに注意しなければならない。 いずれにせよテンソル場の理解のためにはテンソルそのものの概念の理解が不可欠である。 テンソルの応用と重要性 テンソルは、物理学や工学において重要な位置を占めている。例えば、拡散テンソル画像では、さまざまな方向への臓器の水に対する微分透過率を表すテンソル量を用いて、脳の走査像が構成される。 おそらく工学でテンソルが最も活用されているのは応力テンソルとひずみテンソルだろう。これらは2階のテンソルで、4階のテンソルである弾性テンソルによって一般の線型的な素材に関連づけられている。 とくに3次元の物体中の応力を表す2階のテンソルは3次の正方行列によって成分を表示することができる。 物体の中の立方体状の無限小体積要素について3方向の面それぞれ（向かい合う面どうしは十分近いので同一視される）に一定の力がかかっていて、力は3つの方向の要素を持っている。 したがって3×3、つまり9個の成分によってこの立方体状無限小体積要素（最終的には点と見なされる）における応力が記述される。物体の境界内にはこの応力が（場所によって異なった値をとりながら）分布しており2階のテンソル（場）が考えられることになる。 抽象的なテンソルの理論は今では多重線型代数と呼ばれる線型代数の一分野になっている。 つづく 139 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 18:34:42.80 ID:FKo26YYw.net] >>121 つづき 訂正：”あとは、面白そうだが、佐藤と関係なさそうなので省略”は、消し忘れです https://ja.wikipedia.org/wiki/%E3%83%86%E3%83%B3%E3%82%BD%E3%83%AB 歴史 テンソルという言葉は、1846年にウィリアム・ローワン・ハミルトンによって特定の種類の代数系(やがてクリフォード代数として知られるようになる)におけるノルム操作を記述するために導入された。 現在の意味で使われるようになったのは1899年のヴォルデマール・フォークトからである。 テンソルの記法は1890年ごろにグレゴリオ・リッチ＝カルバストロによって絶対微分という名の下に発展させられ、トゥーリオ・レヴィ＝チヴィタによる1900年の古典的な同名の著作によって多くの数学者たちに知られるようになった。 20世紀に入ってからはこの分野はテンソル解析として知られるようになり、1915年頃のアルベルト・アインシュタインによる一般相対性理論の導入によって広く知られるようになった。 一般相対性理論は完全にテンソルの言葉を用いて定式化される。アインシュタインは苦労の末にマルセル・グロスマンから[1] （あるいはレヴィ＝チビタ自身から） テンソルの理論を学んだとされている。 テンソルは連続体力学など他の分野でも使われている。 つづく 140 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 18:38:23.30 ID:FKo26YYw.net] >>122 つづき https://ja.wikipedia.org/wiki/%E3%83%86%E3%83%B3%E3%82%BD%E3%83%AB いくつかのアプローチ 古典的な方法ではテンソルは多次元の配列で、階数0のスカラーや階数1のベクトル、階数2の行列などの階数nへの一般化を与えているものと見なされる。 テンソルの「成分」は配列の要素の値によって与えられることになる。この考えはテンソル場として一般化され、テンソルの成分として関数やその微分が取り扱われるようになる。 物理学における通常のテンソルの定義の仕方は、特定の規則に従って成分が変換されるような対象という言い方を用いるもので、共変変換（英語版）と反変変換（英語版）の概念がもちいられる。 現代的な（成分を使わない）アプローチではテンソルはまず抽象的に多重線形性（英語版）の概念にもとづく数学的対象として定義される。 よく知られているような諸性質が線型写像としての（あるいはもっと一般的な部分についての）定義から導かれる。テンソルの操作規則は線形代数から多重線形代数への拡張の中で自然に現れる。 数学における普通のやり方では、ある種のベクトル空間を用いて、必要なときに基底を考えるまでは特に座標系を指定しないようにされる。 例えば共変ベクトルは一次微分形式として説明できるし、あるいは反変ベクトル空間の双対空間の元として説明することもできる。 現代流の成分によらないベクトルの概念によって、成分表示にもとづく伝統的な（しかし、初学者にベクトルの概念がどんなものかを教えるには有効な）取り扱いが置き換えられるように、 この取り扱いは成分にもとづく取り扱いをより高度な考え方によって置き換えることを目的としている。 「テンソルはテンソル空間の元のことなのだ」という標語を掲げることもできるだろうが、高階のテンソルに対して幾何的な解釈をどう与えるかという難しさもあって、成分表示によらないアプローチが支配的になったというわけではない。 物理学者や技術者たちはベクトルやテンソルが（勝手に選べてしまうような）座標系に左右されない概念としての重要性を認識した。 同様に、数学者たちは座標表示することで簡単に導けるようなテンソルの関係があることを見いだしている。 つづく 141 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 18:43:27.06 ID:FKo26YYw.net] >>123 つづき https://ja.wikipedia.org/wiki/%E3%83%86%E3%83%B3%E3%82%BD%E3%83%AB 例 テンソルは添字の組に対して対応する成分の値を与えるような関数によって表されていると考えることができる。それぞれの添字について何通りの自由度があるかという数は次元とよばれることがある。 例えば階数3で次元2、5、7のテンソルを考えることにすると、添字の組は<1, 1, 1> から <2, 5, 7>まで動き、70通りの添字の組があることになる。 テンソル場は多様体の各点にテンソルを与えたものである。従って次元が <2, 5, 7> のベクトル場を考えるときは、上の例のようにして単に70個の値を考える代わりに空間内のそれぞれの点が70個の値を付与されることになる。 言い方を変えれば、問題にしている空間を定義域としてテンソルに値を持つ関数を考えることになる。 線形でないような関係もあるが、たいていの関係は微分可能性を満たしており、局所的には多重線形写像を足しあわせたもので近似できる。従って物体の解析に際してたいていの量はテンソルとして表示すると取り扱いが便利になる。 工学では剛体� 142 名前：笳ｬ体内の応力がテンソルによって説明される。実際のところ「テンソル」という言葉はラテン語の「延びる物」、つまり応力を発生するもの、という意味の言葉からきている。 物体内の特定の面要素に特に注目して考えれば、面の一方の側にある物質が反対側に対して力をおよぼしていると考えられる。 幾何におけるテンソルでは二次形式や曲率テンソルが有名である。 実際のところテンソルの概念はとても一般的なものであり、上の例全てに当てはまっている。つまり、スカラーやベクトルはテンソルの特別なものと見なすことができる。 [] [ここ壊れてます] 143 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 19:02:36.71 ID:FKo26YYw.net] >>109 つづき 大分脱線しましたが、お待たせしました余接束 https://ja.wikipedia.org/wiki/%E4%BD%99%E6%8E%A5%E6%9D%9F 数学、特に微分幾何学において、滑らかな多様体の余接束 (cotangent bundle) は多様体のすべての点におけるすべての余接空間からなるベクトル束である。 それはまた接束の双対束として記述することもできる。 目次 1 余接層 1.1 余接層の定義 1.2 多様体における反変性 2 相空間としての余接束 2.1 自然 1-形式 2.2 斜交形式 2.3 相空間 3 関連項目 4 参考文献 余接層 余接束の滑らかな断面は微分 1-形式である。 余接層の定義 M を滑らかな多様体とし M × M を M の自身とのカルテジアン積とする。 対角写像 Δ は M の点 p を M × M の点 (p, p) に送る。Δ の像は対角線 (diagonal) と呼ばれる。Ｉ を対角線上消える M × M 上の滑らかな関数の芽の層とする。 このとき商層 Ｉ/Ｉ^2 はより高次の項を法として対角線上消える関数の同値類からなる。余接層はこの層の M への引き戻し（英語版）である。 Γ T^*M=Δ^*(Ｉ/Ｉ^2). テイラーの定理によって、これは M の滑らかな関数の芽の層に関して加群の局所自由層である。したがってそれは M 上のベクトル束、余接束 (cotangent bundle) を定義する。 多様体における反変性 多様体の滑らかな射 φ： M → N は M 上の引き戻し層（英語版） φ^*T^*N を誘導する。ベクトル束の誘導される写像（英語版） φ^*(T^*N) → T^*M が存在する。 つづく 144 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 19:09:55.44 ID:FKo26YYw.net] >>125 つづき https://ja.wikipedia.org/wiki/%E4%BD%99%E6%8E%A5%E6%9D%9F 余接束は自然 1-形式 (tautological one-form) θ（Poincare 1-形式あるいは Liouville 1-形式とも呼ばれる）をもっている。 ）これが意味するのは、T*M をそれ自身多様体と見たときに、T*M 上のベクトル束 T*(T*M) の断面が存在するということである。 この断面はいくつかの方法で構成することができる。最も初等的な手法は局所座標 (local coordinates) を使うことである。 xi を基礎多様体 (base manifold) M 上の局所座標系とする。これらの基礎座標系の言葉で言うと、ファイバー座標系 pi が存在する： T*M の特定の点における 1-形式は（アインシュタインの縮約記法を使って）pidxi の形をしている。 なので多様体 T*M はそれ自身局所座標 (xi, pi) をもっている、ただし x は基礎上の座標で p はファイバーにおける座標である。自然 1-形式はこれらの座標系において 略 によって与えられる。本質的には、T*M の各固定された点での自然 1-形式の値は引き戻し（英語版）として与えられる。具体的には、π: T*M → M を束の射影 (projection) としよう。 Tx*M の点を取ることは M の点 x と x における 1-形式 ω を選ぶことと同じであり、 略 つまり、余接束の接束におけるベクトル v に対して、自然 1-形式 θ の (x, ω) における v への適用は v を dπ: TT*M → TM を使って x における接束に射影し ω をこの射影に適用することで計算される。 自然 1-形式は基礎 M 上の 1-形式の引き戻しではないことに注意する。 相空間 多様体 M が力学系における可能な位置の集合を表していれば、余接束 T*M を可能な位置と運動量の集合と考えることができる。例えば、これは振り子の相空間を記述する方法である。 振り子の状態は、その位置（角度）と、その運動量（あるいは同じことだが、その速度、なぜならばその質量は変わらないから）によって決定される。全状態空間はシリンダーのように見える。 シリンダーは円の余接束である。上の� 145 名前：Vンプレクティックな構成は、適切なエネルギー関数と一緒に、系の物理の完全な決定を与える。 より多くの情報はハミルトン力学を、動きのハミルトニアン方程式の明示的な構成は en:geodesic flow の記事を参照。 [] [ここ壊れてます] 146 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 19:28:13.50 ID:FKo26YYw.net] 補足 ・束：代数では、Lattice（格子）なんだが、幾何ではbundle（たばの束）。余接たば、とは言えないだろうね ・”T*M をそれ自身多様体と見たときに、T*M 上のベクトル束 T*(T*M) の断面が存在する” 　Ｍ：manifold 【機械】 (内燃機関の吸排気をする)マニホールド，多岐管. 　T：【形容詞】接する，接線の; 〔…に〕接して 〔to〕. 【名詞】【可算名詞】【数学】接線，接面. タンジェント，正接 《略 tan》. 　co-： 1 「共働で」「共に」‖co-operate. 2 「同程度に」「等しく」‖coextensive. 3 「相棒」「パートナー」‖coauthor. 4 「代理」「補助」‖copilot. 5 《数学》《天文》「余」「補」‖cosine. dictionary.goo.ne.jp/leaf/ej3/16833/m0u/CO/ 辞書 英和辞書 goo 147 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 20:54:18.74 ID:FKo26YYw.net] >>127 補足 co- 《数学》《天文》「余」「補」‖cosine. なのだが dual-双対ベクトル空間的見方もありか ああ、「断面」だったね https://ja.wikipedia.org/wiki/%E6%96%AD%E9%9D%A2_%28%E4%BD%8D%E7%9B%B8%E5%B9%BE%E4%BD%95%E5%AD%A6%29 断面 (位相幾何学) （断面 (ファイバー束)から転送） 位相幾何学の分野におけるファイバー束の断面（だんめん）あるいは切断（せつだん、英: section）若しくは横断面 (cross-section) とは、底空間をファイバー束の中に実現する写像或いはその像をいう。 目次 1 導入 2 局所切断と切断の層 3 大域切断と特性類 4 滑らかな切断 5 関連項目 6 参考文献 7 外部リンク 導入 切断というのは函数のグラフのある種の一般化である。函数 g: B → Y のグラフは、B と Y の直積 E = B × Y に値を持つ写像 s ： B → E; x → s(x) = (x,g(x)) ∈ E に同一視することができることに注意しよう。ここで π: E → B を直積の第一成分への射影、つまり π(x,y) = x を満たすものとすれば、「グラフ」は π(s(x)) = x を満たす写像 s の総称と捉えることができる。 位相空間 B を底空間とするファイバー束 π: E → B について、その切断とは連続写像 s: B → E であって、B の各点 x において必ず π(s(x)) = x を満たすものをいう。 これは「切断とはすべてのファイバーの各々について点をひとつずつ選ぶことによって定まる写像のことである」といっても同じである（条件 π(s(x)) = x は単に底空間 B の各点 x に対して対応する点 s(x) は x 上のファイバーからとるという意味になることに注意）。 例えば E がベクトル束のとき、E の切断とは B の各点 x で x をそれに付随するベクトル空間 Ex の元に対応させるものである。 特に、可微分多様体 M 上のベクトル場というのは M の各点にその点における接ベクトルを選んで対応付けるものであるから、ベクトル場とは M の接束の切断のことであると言うことができる。同様に M 上の一次微分形式 (1-form) は余接束の切断と言い換えられる。 つづく 148 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:00:26.67 ID:FKo26YYw.net] >>128 つづき https://ja.wikipedia.org/wiki/%E6%96%AD%E9%9D%A2_%28%E4%BD%8D%E7%9B%B8%E5%B9%BE%E4%BD%95%E5%AD%A6%29 局所切断と切断の層 ファイバー束はその底空間全域で定義される切断（大域切断、global section）を一般には持たないが、それゆえ局所的にのみ定義される切断というものを考えることも重要である。 ファイバー束 (E, π, B) の（連続な）局所切断 (local section) とは、U を底空間 B の開集合とするときの連続写像 s: U → E であって、束射影 π について U のすべての元 x に対して π(s(x)) = x をみたすようなものを言う。 (U, φ) が E の局所自明化（つまり F をファイバー� 149 名前：ﾆして φ が π?1(U) から U × F への同相写像を与えるもの）とするとき、U 上の局所切断は常に存在して、それは U から F への連続写像と一対一に対応する。 このような局所切断の（U を任意に動かすときの）全体は底空間 B 上の層を成し、ファイバー束 E の切断の層 (sheaf of sections) と呼ばれる。 ファイバー束 E の開集合 U 上の連続（局所）切断全体の成す空間はときに C(U,E) とも表され、また E の大域切断全体の成す空間はしばしば Γ(E) や Γ(B,E) と表される。 大域切断と特性類 切断はホモトピー論や代数的位相幾何学で扱われるが、そこでは大域切断が存在するか否か、存在するとすればどのくらい存在するかといったことが主要な研究目的の一つであり、層係数コホモロジーや特性類の理論が展開される。 例えば、主束が大域切断を持つ必要十分条件はそれが自明束となることである。 また例えば任意のベクトル束は必ず零切断と呼ばれる大域切断を持つが、至る所消えないような切断を持つのはそのオイラー類が零である場合に限られる。 滑らかな切断 （特に主束やベクトル束の）切断は微分幾何学においても非常に重要な道具である。 この場合は底空間 B が滑らかな多様体 M で、全空間 E が M 上の滑らかなファイバー束（つまり、E は滑らかな多様体で束射影 π: E → M は滑らかな写像）であるものと仮定するのが普通である。 このような設定のもとでは、開集合 U 上の E の滑らかな切断全体の成す空間 C∞(U,E) を考えることができる。 関連項目 ファイバー付け (Fibration) つづく [] [ここ壊れてます] 150 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:02:19.47 ID:FKo26YYw.net] >>129 つづき 図がある https://ja.wikipedia.org/wiki/%E6%96%AD%E9%9D%A2_%28%E4%BD%8D%E7%9B%B8%E5%B9%BE%E4%BD%95%E5%AD%A6%29 図：束 p: E → B の切断 s は底空間 B と E の部分空間 s(B) とを同一視する方法を与える。 図：R2 におけるベクトル場の例。接ベクトル束の切断とは、実はベクトル場のことである。 おわり 151 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:10:23.18 ID:FKo26YYw.net] >>130 つづき ファイバー束 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%90%E3%83%BC%E6%9D%9F ファイバー束（ファイバーそく、fiber bundle、 fibre bundle）とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である。 目次 1 概要 2 定義 2.1 束（バンドル） 2.2 座標束 2.3 ファイバー束 3 切断 4 ファイバー束の例 4.1 自明束 4.2 メビウスの輪 4.3 クラインの壺 4.4 被覆写像 4.5 ベクトル束と主束 4.6 球面バンドル 4.7 写像トーラス 4.8 商空間 5 関連項目 6 参考文献 概要 単位円 S1 と線分 I = [0, 1] の直積 S1 × I は円柱の側面になる。 円柱の側面と似たような図形にメビウスの輪がある。局所的には S1 の一部と線分 I = [0, 1] の直積に見えるが、全体的には円柱と異なる図形になっている。このような局所的に直積として書けるという性質（局所自明性）を持った図形を扱うのがファイバー束の概念である。 この場合の S1 を底空間といい、線分 I をファイバー（繊維）という。ファイバーを底空間に沿って束ねたとき、上の例の円柱のように全体としても直積になっていれば、その全体を自明束（じめいそく）という。 自明束は基本的なファイバー束ではあるが、むしろ、メビウスの輪のように自明でないファイバー束の構造がどのようになっているのかといったことが重要である。 ファイバーはただ束ねられるだけではなく、構造群と呼ばれる位相変換群に従って張り合わされる。 底空間の開被覆 {U}a∈A があり、その 2つの元の共通部分 Ua ∩ Ub が空でないとき、その共通部分に立っているファイバーはどのように張り合わされるべきか？という事、すなわち、直積 Ua × F と Ub × F の重なり方を記述するのが構造群である。 ファイバー束の概念は、ホイットニーに始まる。 ホイットニーは多様体上のベクトル場から接ベクトル空間をファイバーに持つ接ベクトル束を構成し、その一般化としてファイバー束に到達した。 152 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:13:59.42 ID:FKo26YYw.net] >>109 >実は、まだよく見えない >そこで、もう少し書くことに まだ、もやっとしているんだが 一気に分かるところまで行かない まあ、気長にやりましょう！ 153 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:25:03.51 ID:FKo26YYw.net] >>111 14歳でのドリーニュ伝説がある https://ja.wikipedia.org/wiki/%E3%83%94%E3%82%A8%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%AB%E3%83%8D%E3%83%BB%E3%83%89%E3%83%AA%E3%83%BC%E3%83%8B%E3%83%A5 ピエール・ドリーニュ（Pierre Deligne、1944年10月3日 - ）はベルギーの数学者。 14歳でニコラ・ブルバキの数学原論を読みこなしていたドリーニュは、ブリュッセル自由大学──大学に入るころは既に大学の数学をすべて終えていたとのこと。──と高等師範学校で数学を学び、23歳でIHESの客員教授、26歳でIHES教授、34歳のときフィールズ賞を受賞。 そのドリーニュが師事したのが、アレクサンドル・グロタンディークである。 彼はグロタンディークが数学をしていた間はグロタンディークに忠実であったが、グロタンディークが数学をやめた後は、グロタンディークのプログラムよりヴェイユ予想の早期の解決に向かい、1974年ヴェイユ予想を解決した。 自らのプログラムが放棄(埋葬)されたことに激怒したグロタンディークはドリーニュを激しく非難した。現在ドリーニュは1988年にグロタンディーク還暦記念論文集を刊行するなど和解に向けて努力している。 2013年にアーベル賞を受賞。 業績 Weil予想の解決。 ラマヌジャン予想の解決。 ヒルベルトの第21問題（Riemann-Hilbert問題）の解決。[疑問点 ? ノート] デヴィッド・マンフォードとの共同研究でモジュライ空間のコンパクト化。 ジョージ・ルスティックとの共同研究で幾何学的な既約表現の構成、既約表現の分類。 Hodge関係の仕事 Hodge分解の代数的証明。 Deligneのホッジ理論。 "重さ"の哲学。 ザリスキ予想の解決。 Deligne-Griffiths-Morgan-Sullivanでのケーラー多様体の仕事 。 ふたつの変形量子化の間の相対コホモロジーの導入。 Beilinson-Deligne、ほか。 受賞歴 1978年 - 国際数学者会議フィールズ賞 1988年 - スウェーデン王立アカデミークラフォード賞 2004年 - バルザン財団バルザン賞：数学における様々重要な分野（代数幾何学、代数的および解析的整数論、群論、トポロジー、グロタンディークのモチーフ）での貢献。新しい強力な道具によって有限体上のリーマン仮説（ヴェイユ予想）を証明。 2013年 - アーベル賞 154 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:39:00.32 ID:FKo26YYw.net] >>111 柏原伝説 phasetr.com/2013/08/08/%E3%80%8E%E5%A4%A9%E6%89%8D%E6%95%B0%E5%AD%A6%E8%80%85%E3%81%8C%E3%81%A9%E3%81%86%E3%81%AE%E3%80%8F%E3%81%A8%E3%81%8B%E3%81%84%E3%81%86%E5%9C%B0%E7%8D%84%E3%81%AE%E3%82%88%E3%81%86%E3%81%AA%E8%A8%98/ 『天才数学者がどうの』とかいう地獄のような記事を見た数学者の反応を記録する 抜粋 @ken_m123 タオでなくても、堀川穎二さんの「俺は日本で一番頭がいいと思ったら上がいた。柏原正樹だ」程度のネタで十分だと思います。 が、堀川さん早く亡くなられましたからね。#今回は実名にする 柏原先生, 小平先生と飯高先生とか何かその辺の対談みたいなやつで, 「レポートで何か凄まじいの出してきた学生がいたが, その学生が柏原君だった. 」, 「あまりに凄いから柏原君に優を出すのは当然として, その他の学生を優にするわけにはいかないから他の学生の成績下げちゃった」みたいな話があったように記憶している. 柏原先生, その他にも修論がいまだに引用されるとか何とかで本当にやばい. 155 名前：現代数学の系譜11 ガロア理論を読む [2015/07/11(土) 21:56:05.28 ID:FKo26YYw.net] >>134 >柏原先生, その他にも修論がいまだに引用される その話、「佐藤幹夫の数学」P17 柏原先生の話で Ｄ加群についての論文で、鉛筆で書かれた手書きのやつだとか それを、わざわざ英訳して出版した人がいるという 検索すると下記がヒット 引用元 199 archive.numdam.org/ARCHIVE/MSMF/MSMF_1995_2_63_/MSMF_1995_2_63__R1_0/MSMF_1995_2_63__R1_0.pdf MASAKI KASHIWARA Algebraic study of systems of partial differential equations. (Master’s thesis, Tokyo University, December 1970. Translated by Andrea D’Agnolo and Pierre Schneiders. With a foreword by Pierre Schapira) Memoires de la S. M. F. 2eserie, tome 63 (1995), p.-XIV+1-72. <www.numdam.org/item?id=MSMF_1995_2_63__R1_0> 156 名前：現代数学の系譜11 ガロア理論を読む [2015/07/12(日) 05:38:43.15 ID:si4MyG9v.net] >>95 がんばってぐぐったよ archive.is/Sg83 archive.is Saved from www.iis.it-hiroshima.ac.jp/~ohkawa/math/hyperfunction.htm （リンク切れ 広島大の大川さん？） An Invitation to the Theory of Hyperfunctions: （現在作成途中, Last Update 2011/08/17) (抜粋) distribution の知識は，もちろんあったほうが良いが，余り前提としないで書く。なお，　「超函数」は，岩村聯（いわむら　つらね）が作った訳語。 (実)解析函数の層が A で表されている。 hyperfunction の層 B の導入の約 10 年後，佐藤は microfunction の層 C を導入した。 そして「佐藤の基本定理」を示した。 これには柏原の深い寄与があると言われるが，柏原はきわめて独創的な秀才中の秀才だから，そんな事にはこだわらない。 佐藤は。ほぼ同時に，河合，柏原との共同研究で，micro-local analysis の理論を創始した。 （現在では， microlocal analysis と言われる。 又，佐藤-Bernstein polynomial b(x) 等具体的計算を含む物は， microlocal calculus と言われる。） 文献（佐藤-河合-柏原 : Microfunction and Pseudo-differential Eqations, Lecture Note in Mathematics, No.287, Springer, 1973, pp 265-529）参照。この基本的文献は略して SKK と呼ばれる。 東大にあったその書物は，多くの人がコピーしたので，（僅かの期間内に）既にバラバラになっていた。 初期値問題は導来圏の概念を使って極めて一般的な形に定式化され，又，解の特異性とその伝播については，量子化接触変換（又は量子化シンプレクティック変換）によって，より調べやすい形になった。 つづく 👀 Rock54: Caution(BBR-MD5:1322b9cf791dd10729e510ca36a73322) 157 名前：現代数学の系譜11 ガロア理論を読む [2015/07/12(日) 05:44:14.85 ID:si4MyG9v.net] >>136 つづき ”Rock54: Caution(BBR-MD5:1322b9cf791dd10729e510ca36a73322”？ 物理的解釈とも関係が深く，偏微分方程式の解の接続に関する Holmgren の定理は，方程式とは無関係な，より一般な形で， hyperfunction の台と singular spectrum の関係に関する一定理と言う形に一般化された。 これは microlocal 因果律と解釈されている。 microfunction は勿論佐藤の造語で，適当な日本語訳がない。 なお，層 C は，　S*M 上でと T*M （といってもこれらは普通の位相と違って， Hausdorff でない。 特に後者は，可換環論や代数幾何で現れる Spec(R) が，最低限の公理である T0 分離公理を満たすのに対して，この場合， T0 ですらない。凸錐を考えると便利だからである。） 上で考える場合と 2 通りあるが，前者は flabby sheaf となるが，後者はそうでない (これが因果律の所以である)。 T*M 上で考える場合は， C ^ と書くこともある。環層 E ∞ , E R , も両者で定義でき，この場合，考えている底空間は， M は複素解析的多様体でよい。 これらの環層は芽の環がネーター環でもなく，更に E R （の芽の環）は零因子も含む複雑な環層なので，O X のような単純な代数的議論は難しい。 E は当然 D の次に来る物として記号が与えられた。 symbol が一つの手がかりである。 ※ micro-local なる言葉を最初に発案したのは河合らしい。後述の holonomic system と言う言葉は佐藤が作った。 最初は maximally overdetermined system, 極大過剰決定系（どちらも佐藤による。）だった。 158 名前：１３２人目の素数さん mailto:sage [2015/07/12(日) 05:58:57.82 ID:RltdaVf0.net] >>114-115 まあ、書いたのはおっちゃんですよ。そもそも、微分積分には出発点となる デデキントの公理や平均値の定理とか、幾つかの同値な命題が理論展開の中で 出て来るようになっていて、微分積分の現代的なテキストを書く構想が無謀だったと。 その途中で集合論を基礎にして代数とかが厳密化されて行ったと。そういうこと。 位相の部分を見るとよく分かる。ここでフィルターとかは出て来る。 >>133について、ドリーニュは、語学的弊害が少なく幼いときからフランス語でブルバキを読める 環境にあって、当時はまだ全巻出版されてなく、不可能ではないでしょう。 ただ、14歳で「読みこなしていた」だと「全部読んで理解していた」ことになるが、 本当かはどうかまでは分からない。何しろブルバキは抽象論が主体なのでね。 >>134-135は本当。 論文は、言語は日本語、ノートに鉛筆でもよい訳ね。 まあ、当時は主なボールペンのインクは水性だったようだし、そりゃそうでしょう。 普通、ボールペンや万年筆は、「鉛筆」ではなく「ペン」というでしょう。　 鉛筆でダメだとすると、戦時中の人は何で論文書いたのか？　という問いが生じる。 論文は言語は日本語、ノートに鉛筆、これ書き易い。複雑な式や図はフリーハンドに尽きる。 昔は日本語のジャーナルもあった。私もそうしようとは思っているのだが、 ただ、書いたノートを誰に送ればいいのかが分からない。 159 名前：現代数学の系譜11 ガロア理論を読む [2015/07/12(日) 06:04:31.21 ID:si4MyG9v.net] ついで blog.livedoor.jp/ryou42_shibahama/archives/2014-06-14.html きまぐれ日記 2014年06月14日10:09 加群/D加群関連の資料 加群/D加群関連の資料。備忘録。 D-加群代数の Picard-Vessiot 理論　www.math.tsukuba.ac.jp/~amano/dvi-pdf 160 名前：/D-module_algebras.pdf 2004年度 応用数学緒論2、応用数学特論2 講義ノート　http://siva.cc.hirosaki-u.ac.jp/usr/mnishi/note/note20042.pdf 佐藤超関数論と代数解析への招待　http://ohkawa.cc.it-hiroshima.ac.jp/math/hyperfunction.htm Serre と Hazewinkel による局所類体論についての注意　http://www.math.sci.osaka-u.ac.jp/~ochiai/ss2009proceeding/SS2009_Suzuki_emb.pdf 代数　http://research.kek.jp/people/hkodama/Math/algebra.pdf 代数学の参考書リスト　http://www.geocities.co.jp/CollegeLife-Lounge/1030/math/algref.html 簡素にして不可解　http://blogs.yahoo.co.jp/yhakrymd/64580605.html 加群について　http://www.wakayama-u.ac.jp/~morisugi/lecture/topology/kagun.pdf 戸田格子とD加群について　http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0694-01.pdf 量子旗多様体上の D 加群　http://www2.kobe-u.ac.jp/~mhsaito/agsymkobe07/proceedings/tanisaki.pdf D加群の表現論への応用　https://www.jstage.jst.go.jp/article/emath1996/1998/Autumn-Meeting1/1998_Autumn-Meeting1_61/_pdf 加群　http://www.math.titech.ac.jp/~kawachi/maths/2005/Algebra/module.pdf 準ツイスターD加群の研究　日本学士院　http://www.japan-acad.go.jp/pdf/youshi/101/mochizuki.pdf こちら　http://www.iwanami.co.jp/moreinfo/0056510/img/0056510.pdf 望月拓郎氏講演その２　http://www.ostec.or.jp/pln/pri/kagaku/mochizuki.pdf [] [ここ壊れてます] 161 名前：現代数学の系譜11 ガロア理論を読む [2015/07/12(日) 06:09:09.23 ID:si4MyG9v.net] >>138 どうも。スレ主です。 やはり、おっちゃんですね レスありがとう また書いてね

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef