12/07/31 07:29:44.93
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
158:現代数学の系譜11 ガロア理論を読む
12/07/31 07:40:34.07
スペクトルの辞書的意味
URLﾘﾝｸ(ja.wikipedia.org)
スペクトル（英: spectrum[1]）とは、複雑な情報や信号をその成分に分解し、成分ごとの大小に従って配列したもののことである。
2次元以上で図示されることが多く、その図自体のことをスペクトルと呼ぶこともある。
様々な領域で用いられる用語で、様々な意味を持つ。
現代的な意味のスペクトルは、分光スペクトルか、それから派生した意味のものが多い。
語源
日本語の「スペクトル」は、フランス語の spectre から来ており、英語の spectrum［スペクトラム］同様、ラテン語の spectrum［スペクトルム］を語源としている。
この語は「見る」を意味する動詞 specere の派生語で「像」を意味する（原義は 「見えるもの」「現れるもの」）[2]。
「幻姿」を意味する英語の specter［スペクター］ とは同語源。
159:現代数学の系譜11 ガロア理論を読む
12/07/31 07:41:06.07
>>156
うん、ありがとう
160:現代数学の系譜11 ガロア理論を読む
12/08/02 06:32:54.89
いままで用語解説で引用したサイト
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
Pantodon Web Site
ここは玉木研究室のweb siteです。 ここでは以下の情報を閲覧することができます。
このweb siteについて
代数的トポロジーについて
研究集会やセミナー
講義
学生のセミナー
数式を含んだ文書をwebで公開する
Last updated on Tue Aug 02 10:02:36
（引用おわり）
ここから下記へ。”Algebraic Topology: A guide to literature ”が充実している
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
代数的トポロジーについてのページです。
信州トポロジーセミナー
ファイバー束とホモトピー (ファイバー束とファイブレーショ ンに関する講義ノート)
関手の微積分について (Goodwillie流の「関手の微積分」についての講義ノート)
Algebraic Topology: A guide to literature
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
161:現代数学の系譜11 ガロア理論を読む
12/08/02 06:37:37.37
>>160
つづき
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)<)
約 329 件ヒット
おもしろそうなところ
圏と関手
pantodon.shinshu-u.ac.jp/topology/.../category_theory.html - キャッシュ
圏 (category) と 関 手 (functor) は 数 学 のための 言語 である 。 その 言 葉 を 用 ... 特
異 ホモロジ ー は Eilenberg と Steenrod に より 公 理 化 されたが , 圏 と 関 手 の 言
葉 を 用 いると ホモロジ ー の 公 理 がかな り 簡 素 化 される 。 そして ホモロジ ー 代 ...
ホモトピー圏
pantodon.shinshu-u.ac.jp/topology/.../homotopy_category.html - キャッシュ
位 相 空 間 の 圏 で ホモトピ ー 論 を 行 なう 際 には 、 二 つの object の 間 の
ホモトピ ー 集 合 [ X,Y ] が 基 本 的 な 研究 対 象 である 。 X から Y への morphism
の 集 合 を [ X,Y ] とする と 圏 ができるが 、 それを 位 相 空 間 の 圏 の ホモトピ ー 圏
という 。
導来圏
pantodon.shinshu-u.ac.jp/topology/.../derived_category.html - キャッシュ - 類似ページ
導来圏. Gillespie の [ Gil ] の Introduction によると , Cartan-Eilenberg 流 の derived
functor の 構 成 がうまくいかない 場 合 に ホモロジ ー 代 数 を 行 なうために
Grothendieck が 考 え 出 したのが 導 来 圏 (derived category) らしい 。 Abelian
category ...
つづく
162:現代数学の系譜11 ガロア理論を読む
12/08/02 06:39:38.18
>>161
つづき
圏と関手の基本
pantodon.shinshu-u.ac.jp/topology/literature/category.html - キャッシュ - 類似ページ
圏 と 関 手 については , 最 も 有名 なのは Mac Lane の 本 [ ML98 ] である 。 この 本
は 読 む 本 ではなく 辞 書 として 使 うものだと 思 うが 。 他 にも , 色 々 な 本 の 最 初
に 準 備 として 圏 と 関 手 のことがまとめてある 。 特 に ホモロジ ー 代 数 の 本 など 。
小圏と位相圏
pantodon.shinshu-u.ac.jp/topology/literature/small_category.html - キャッシュ
しかしながら , morphism 全体 が 集 合 になるような 圏 にも 重 要 な 用 途 がある 。
そのような 圏 は 小 圏 (small category) と 呼 ばれ , 代 数 的 トポロジ ー で 重 要 な 役
割 を 果 している 。 もちろん , 他 の 分 野 でも 有用 で ある 。 小 圏 を 扱 う 際 には ...
Abel 圏でのホモロジー代数
pantodon.shinshu-u.ac.jp/topology/.../abelian_category.html - キャッシュ - 類似ページ
Abel 圏 については Freyd の 本 [ Fre64 ] がある 。 Theorey ... そこで 元 を 取 るのが
難 しい 圏 においても ホモロジ ー 代 数 を 行 なうために Abel 圏 の 概 念 が 導入 され
た 。 ... Abel 圏 の 必 要 性 を 理 解 するためにはいくつか 例 を 知 っ ているとよい 。
高次の圏
pantodon.shinshu-u.ac.jp/topology/.../higher_category.html - キャッシュ
高次の圏. Topological quantum ?eld theory などのおかげで , 高 次 の 圏 もかなり
一 般 的 にな っ てきたようである 。 The String Coffee Table から 派 生 して The n -
Category Cafe とい う group blog ができている 。 また nLab という Wiki もできていて ...
計算機科学のための圏論
pantodon.shinshu-u.ac.jp/.../category_for_computer_science.html - キャッシュ - 類似ページ
圏 より 基 本 的 な 構 造 として quiver やその 向 きを 忘 れた graph がある 。 フ ロ ー
チ ャ ー ト を decorated quiver として 考 ... λ -calculus の 一 般 化 を 考 える 際 にも
圏 論 的 な 構 造 が 使 われている 。 Voevodsky は “homotopy λ -calculus” という 概 ...
つづく
163:現代数学の系譜11 ガロア理論を読む
12/08/02 06:42:23.99
>>162
つづき
安定ホモトピー圏の性質
pantodon.shinshu-u.ac.jp/.../stable_homotopy_category.html - キャッシュ
安 定 ホモトピ ー 圏 について , 初 期 の 重 要 な 論 文 として Freyd の [ Fre66 ] がある
。 この 中 で ... スペクトラム の 圏 の ホモトピ ー 圏 は triangulated category になり ,
Abelian category の derived category などと 一 緒 に 統 一 して 扱 うことができる 。
群の圏への作用
pantodon.shinshu-u.ac.jp/topology/.../groups_on_category.html - キャッシュ
では , X が 圏 の 圏 での object だ っ たらどうだろうか 。 もちろん 上 の strict な 作 用
の 定 義 は 使 えるが , 普 通 はも っ と 弱 い 意 味 の 作 用 が 必 要 になる 。 つま り
up to isomorphism で 作 用 にな っ ているものである 。 圏 の 二 つの object が ...
圏の局所化
pantodon.shinshu-u.ac.jp/topology/.../localization_of_category.html - キャッシュ - 類似ページ
圏 ?? において 、 morphism の 集 合 (class) S に 含 まれる morphism の 形 式 的 な
逆 を 付 け 加 え , 圏 ?? [ S - 1 ] を 作 りたいということはよくある 。 例 えば 次 のような
場 合 で ある 。 モデル 圏 の ホモトピ ー 圏 の 構 成; Abelian category の derived ...
位相空間の圏のモデル構造
pantodon.shinshu-u.ac.jp/.../model_category_of_spaces.html - キャッシュ
Quillen の モデル 圏 は , 位 相 空 間 の ホモトピ ー 論 の 枠 組 みを 他 の 圏 でも 用
いるための 概 念 である 。 モデル 圏 を 理 解 するためには , まずは 位 相 空 間 の
モデル 圏 を 理 解 すべき , と 言 いたいところであるが , 位 相 空 間 の 圏 の モデル 構
造 ...
圏の一般化や変種
pantodon.shinshu-u.ac.jp/topology/.../generalized_category.html - キャッシュ
Day と Street [ DS04 ] によると , object の 集 合 が S である 小 圏 とは , 頂点 集 合 が
S で ある quiver の 成 す monoidal category での monoid object ... よ っ て monoid
の 定 義 の 条 件 を 弱 めたりすることにより , 圏 の 概 念 の 一 般 化 が 得 られる 。
164:現代数学の系譜11 ガロア理論を読む
12/08/02 06:45:22.75
>>163
つづき
構造を持っ たモデル圏
pantodon.shinshu-u.ac.jp/.../structured_model_category.html - キャッシュ
構造を持っ たモデル圏. 具 体 的 な モデル 圏 を 扱 う 際 には , モデル 圏 の 定 義 だけ
では , もちろん 不 十 分 である 。 いくつかの 似 たような モデル 圏 を 「 ある 構 造 」 を
持 っ た モデル 圏 として 統 一 的 に 扱 いた くなる 。 例 えば , 位 相 空 間 の 圏 など ...
数理物理における圏論の応用
pantodon.shinshu-u.ac.jp/topology/.../category_in_physics.html - キャッシュ - 類似ページ
圏 と 関 手 の 言 葉 は , どんどんその 適 用 範 囲 を 広 げている 。 数 理 物 ... n -
Category Cafe の この post では , 高 次 の 圏 が 物 理 で 使 われるようにな っ た 過
程 に ついての Baez と Lauda の preprint が 公 開 され , それについて 議 論 されて
いる 。
モデル圏に関する基本的な定義
pantodon.shinshu-u.ac.jp/.../model_category_definitions.html - キャッシュ
ある 圏 が モデル 圏 であるとは , 大 雑 把 に 言 えば , ?bration, co?bration, 弱 同 値
の 三種 類 の morphism の class (subcategory) が 指 定 されていて , それらが 位 相
空 間 や simplicial set における ?bration , co?bration , 弱 同 値 と 同 様 の 性 質 を ...
圏論的構成とその応用
pantodon.shinshu-u.ac.jp/topology/.../categorical_structure.html - キャッシュ
圏 と 関 手 の 基 本 は , 代 数 的 トポロジ ー を 学 ぶ 上 では 必 須 である 。 最 近 では
, それより 高 度 な 圏 論 的 概 念 が 必 要 になることも 多 い 。 代 数 的 トポロジ ー 以
外 の 分 野 に もよく 登 場 するようにな っ た 。 例 えば , 物 理 での 応 用 については ...
代数的トポロジーを行なうのに便利な圏
pantodon.shinshu-u.ac.jp/topology/.../convenient_category.html - キャッシュ
代数的トポロジーを行なうのに便利な圏. Steenrod [ Ste67 ] は , 代 数 的 トポロジ ー を
行 なうのに 便 利 な 圏 (convenient category) として コンパクト 生成 空 間 の 圏 を 考
えた 。 コンパクト 生成 空 間. “convenient cateogry” というのは 数 学 用 語 として ...
165:現代数学の系譜11 ガロア理論を読む
12/08/02 06:48:09.99
>>164
つづき
モデル圏について思うこと
pantodon.shinshu-u.ac.jp/.../model_category_problems.html - キャッシュ
ホモトピ ー 論 と ホモロジ ー 代 数 を 統 一 する 概 念 として 一 般 的 になった モデル
圏 である が 、 まだ ホモトピ ー 論 に 現 われる 概 念 を 全 て カバ ー するものにはなっ
ていない 、 ように 思 う 。 例 えば 、 自 然 な 疑 問 として 以下 のものがある 。
モデル圏の間の関手
pantodon.shinshu-u.ac.jp/.../model_category_functors.html - キャッシュ
モデル圏の間の関手. 二 つの モデル 圏 の 間 の functor としては 、 その ホモトピ ー 圏
の 間 の functor を 誘 導 す るものを 考 えるべきだろう 。 よ っ て 弱 同 値 を 保 つもの
、 つまり homotopy functor を 考 えるのが 普 通 である 。 これは Goodwillie 流 の ...
モデル圏の視点から見た ?bration
pantodon.shinshu-u.ac.jp/.../fibrations_in_model_category.html - キャッシュ
Quillen による モデル 圏 の 概 念 の 導入 により 、 ファイブレ ー ション の 概 念 は 、
コファイ ブレ ー ション や 弱 同 値 と 共 に 、 モデル 圏 を 構 成 する 一 つの デ ー タ と
みなされることも 多 い 。 位 相 空 間 の 圏 での ファイブレ ー ション の 性 質 を モデル ...
Chain complex の圏のモデル構造
pantodon.shinshu-u.ac.jp/.../model_category_of_chain_complexes.html - キャッシュ
Abelian category の chain complex (differentialgraded module) の 圏 は , モデル
圏 の 基 本 的 な 例 の 一 つである 。 まずは , Hovey の 本 [ Hov99 ] で 二 種 類 の
モデル 構 造 を 理 解 しておくべきだ ろう 。 projective model structure; injective
model ...
モデル圏の基本
pantodon.shinshu-u.ac.jp/topology/.../model_category_basics.html - キャッシュ
2012年6月8日 ... モデル圏の基本. モデル 圏 を 勉 強 するのは 大 変 である 。 かつては , Quillen の 書
いたもの [ Qui67 , Qui69 ] しかなか っ たが , 90 年 代 にな っ て 良 い 解 説 がいくつも
書 かれるように な っ たので , それでもかなり 楽 にな っ た 。
166:現代数学の系譜11 ガロア理論を読む
12/08/02 06:51:43.38
>>165
Limit と colimit
pantodon.shinshu-u.ac.jp/topology/literature/limits.html - キャッシュ - 類似ページ
圏 と 関 手 の 言 葉 を 用 いると , 様 々 な 概 念 が 統 一 的 に 扱 えるようになる 。
その 良 い 例 が limit と colimit ... Dwyer と Spalinski の モデル 圏 の 解 説 [ DS95 ]
には 、 分 かりやすい (co)limit の 解 説 も 含 まれて いる 。 直 積 (product) の 定 義;
引 き ...
モデル圏の一般化
pantodon.shinshu-u.ac.jp/.../generalized_model_category.html - キャッシュ
Waldhausen 流 に 圏 の algebraic K -theory を 定 義 するためには , その 圏 が
co?bration と weak equivalence を 持 てばよい 。 一 方 , K.S. Brown は [ Bro74 ] で “
category of ?brant objects” という weak equivalence と ?bration しか 持 たない 構
造 を ...
高次の圏での monoidal structure
pantodon.shinshu-u.ac.jp/.../monoidal_higher_category.html - キャッシュ
2012年1月28日 ... 高次の圏での monoidal structure. 高 次 の 圏 での monoidal 構 造 は 非 常 に 複 雑
である 。 Kapranov と Voevodsky の [ KV94 ] に monoidal 2-category の 定 義 が
あるが , その 定 義 だけで 12 ペ ー ジ を 使 っ てい る 。 その 後 , Day ...
様々 な圏の圏の model structure
pantodon.shinshu-u.ac.jp/.../model_category_of_categories.html - キャッシュ
もちろん , これらの 圏 の 間 には 様 々 な 関 係 があり , モデル 構 造 も 関 係 している
。 例 え ば , Brown と Glasinski の crossed complex の category の model structure
と strict ω -category の Lafont らによる model structure の 関 係 は , Ara と ...
安定ホモトピー圏での双対性
pantodon.shinshu-u.ac.jp/.../duality_in_stable_homotopy_theory.html - キャッシュ
2011年6月26日 ... 安定ホモトピー圏での双対性. 安 定 ホモトピ ー 圏 を 用 いると , ( コ ) ホモロジ ー
レベル の 現 象 を “ 空 間 ” レベル に 持 ち 上 げることができる 。 もちろん , 正 確 には
空 間 ではなく spectrum であるが 。 例 えば , Alexander duality を 実 現 ...
167:現代数学の系譜11 ガロア理論を読む
12/08/02 06:53:25.74
>>165
つづき
局所化と完備化
pantodon.shinshu-u.ac.jp/topology/literature/localization.html - キャッシュ
ところが , CW 複 体 の 局 所 化 や モデル 圏 の ホモトピ ー 圏 の 構 成 は , モデル 圏
の 局 所 化 として 統 一 して 扱 うことができる 。 モデル 圏 の 局 所 化. 一 般 の 場 合
については Hirschhorn の 本 [ Hir03 ] に 詳 しい 。 各 空 間 の 局 所 化 や 完 備 化 ...
C*環のホモトピー論
pantodon.shinshu-u.ac.jp/topology/.../Cstar_and_homotopy.html - キャッシュ
このことから , C * -algebra の ホモトピ ー 論 , つまり C * -algebra の 圏 ( を 拡 張 した
圏 ) に モデル 圏 の 構 造 を 定 義 するという 問 題 が 考 えられる ... 可 換 な C * 環 の
圏 を 拡 張 した 圏 で , 位 相 空 間 全体 の 圏 と 同 値 になるものはど んなものか ?
(余) 単体的対象についての基本
pantodon.shinshu-u.ac.jp/topology/.../simplicial_basics.html - キャッシュ
Finite totally ordered set ( の 同 型 類 ) の 圏 Δ; 圏 ?? における 単 体 的 対 象 とは 関
手. op Δ -→ ??. のこと. 圏 ?? における 余 単 体 的 対 象 とは 関 手 ... モデル 圏
における simplicial object が モデル 圏 になるというのは 有名 な 事実 [ Hir03 ] である
。
関手の微積分ができるための条件
pantodon.shinshu-u.ac.jp/.../calculus_of_functor_condition.html - キャッシュ
大 雑 把 に 言 えば , homotopy (co)limit を 持 つ モデル 圏 であれば 大 丈 夫 である
が , 定 義 域 では ?bration は 必 要 ない 。 Waldhausen ... モデル 圏 でなら ,
homotopy (co)limit が 存 在 するための 条 件 は 何 人 かが 考 察 して いる 。 C として
は , 位 ...
束
pantodon.shinshu-u.ac.jp/topology/literature/lattice_poset.html - キャッシュ
Complete lattice の 圏 の morphism を join を 保 つものに 制 限 した 圏 を sup-
lattice の 圏 という 。 sup-lattice. Sup-lattice の 圏 では , Abel 群 の tensor product
を 真 似 て tensor product が 定 義 で き , monoidal category になる 。 sup-lattice の
圏 は ...
168:現代数学の系譜11 ガロア理論を読む
12/08/02 06:55:38.50
>>167
つづき
抽象的なホモロジー代数
pantodon.shinshu-u.ac.jp/topology/.../homological_algebra.html - キャッシュ - 類似ページ
抽象的なホモロジー代数. 代 数 的 トポロジ ー の 初 歩 を 勉 強 していくと , chain
complex に 慣 れ 親 しむ 過 程 で , 自 然 に 環 R 上 の module の 圏 の ホモロジ ー
代 数 が 身 に 付 くはずで ある 。 ホモロジ ー 代 数 の 基 礎. そして , category と
functor の ...
空間の図式
pantodon.shinshu-u.ac.jp/topology/.../diagram_of_spaces.html - キャッシュ
ある 圏 C における 図 式 とは , ある small category D から C への functor で ある 。 様
々 な 場 面 で 図 式 を 図 ... のが 普 通 である 。 ( 離 散 ) 群 G を , object が 一 つで
morphism の 集 合 が G であるような 圏 とみ なすと , G の 作 用 する 空 間 とは 関 手 ...
一般 (コ) ホモロジー
pantodon.shinshu-u.ac.jp/topology/.../generalized_homology.html - キャッシュ - 類似ページ
古 典的 には 、 CW 複 体 の 圏 から 次 数 付 き ア ー ベル 群 ( またはある 次 数 付 き
環 上 の 加 群 ) の 圏 への 関 手 として 定 義 されたが 、 現在 では モデル 圏 を 定 義
域 として 考 えるのが 自 然 である 。 とはいうものの 、 モデル 圏 に 慣 れ 親 しむまで ...
グラフの基本
pantodon.shinshu-u.ac.jp/topology/literature/graph_basics.html - キャッシュ
グラフ の 間 の “ 写 像 ' ' を 考 え , graph の 圏 を 考 えることもできる 。 例 えば Igusa
と Klein と Williams ... グラフ の 圏 では 被覆 空 間 も 定 義 でき , 位 相 空 間 の 被覆
空 間 の 理論 と 同 様 のこ とが 成 り 立 つようである 。 Deick と Pask と Raeburn の ...
新しいモデル構造の作り方
pantodon.shinshu-u.ac.jp/.../generating_model_structure.html - キャッシュ
ある 圏 の 上 に model structure を 定 義 するのは 大 変 である 。 よく 使 われる 方法
とし て , co?brantly generated であることを 示 す , というのがある 。 少数 の 基 準 と
なる co?bration と co?bration かつ weak equivalence になる morphism を 決 めて ...
169:現代数学の系譜11 ガロア理論を読む
12/08/02 06:57:18.77
>>168
つづき
群論
pantodon.shinshu-u.ac.jp/topology/literature/group_theory.html - キャッシュ - 類似ページ
群 は , もちろん , 変 換 群 , つまりあるものの 対 称性 を 表 わすものとしての 役 割 が
本来 のものである 。 つまり , 群 の 作 用 である 。 ベクトル 空 間 に 線 型 に 作 用 する
場 合 は 群 の 表 現 と 言 っ たりする 。 最 近 では , 群 の 圏 への 作 用 も 重 要 にな ...
（引用おわり）
とまあ紹介はほんの一部だが
圏論では非常に充実している
分からない言葉があれば、このサイトを検索するのが一番かな
170:現代数学の系譜11 ガロア理論を読む
12/08/02 07:07:44.30
>>169
補足 これ以前紹介したかも知れないが、充実している。リンクも豊富
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp) Updated on: Jun 26 2011
（抜粋）
圏と関手
圏 (category) と 関 手 (functor) は 数 学 のための 言語 である 。 その 言 葉 を 用 いること により 主 張 が 簡 潔 になり , また 明 確 になる 。
特 異 ホモロジ ー は Eilenberg と Steenrod に より 公 理 化 されたが , 圏 と 関 手 の 言 葉 を 用 いると ホモロジ ー の 公 理 がかな り 簡 素 化 される 。
そして ホモロジ ー 代 数 は 圏 と 関 手 の 言 葉 と 同 時 に 発 展 し た 。
現在 では , より 一 般 に ホモトピ ー 代 数 として 扱 うべきであるが , そのた めには 圏 と 関 手 の 言 葉 を 自 由 に 扱 うことができるようになることが 必 要 で ある 。
他 にも 局 所 係 数 も 圏 と 関 手 の 言 葉 を 用 いて 定 義 した 方 が 分 りやすい 。
そのような 「 言語 としての 圏 」 だけでなく 「 代 数 的 構 造 としての 圏 」 も 重 要 である 。
例 えば , 群 を small category とみなすと , 自 然 に groupoid という 一 般 化 が 得 られ , また その 分 類 空 間 の 構 成 も 見 通 しが 良 くなる 。
様 々 な 空 間 を 小 圏 (small category) や 位 相 圏 (topological category) の 分 類 空 間 とし て 構 成 することができるし , またそうした 方 が 見 通 しがよくなる 場 合 も 多 いので , 「 幾 何 学 的 対 象 としての 圏 」 も 重 要 である 。
圏 については Theory and Applications of Categories と 言 う 雑誌 があり , その site で 過 去 に 出 版 された 圏 論 に 関 する 文 献 の reprint も 公 開 されている 。
最 近 は , category theory については nLab という Wiki が 有用 である 。 新 しい 話 題 についても 解 説 されて いるので 助 かる 。
Morita equivalence
圏 の 局 所 化
表 現 可 能 関 手
小 圏 と 位 相 圏
群 の 圏 への 作 用
圏 の 一 般 化 や 変 種
高 次 の 圏
ホモトピ ー 代 数
計 算 機 科 学 のための 圏 論
数 理 物 理 における 圏 論 の 応 用
Grothendieck の アイデア から 発 展 した 分 野
171:１３２人目の素数さん
12/08/02 19:32:07.93
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
172:１３２人目の素数さん
12/08/02 22:02:43.72
pantodon は亞呆
173:現代数学の系譜11 ガロア理論を読む
12/08/03 05:05:27.90
pantodon 悪くないとおもうけどね
174:現代数学の系譜11 ガロア理論を読む
12/08/03 07:06:19.50
neverendingbooks
URLﾘﾝｸ(www.neverendingbooks.org)
Facts : In Monsters & Moonshine 48 posts are collected on finite (mostly simple) groups, moonshine, dessins d’enfants and the subgroups of the modular group.
URLﾘﾝｸ(matrix.cmi.ua.ac.be)
175:現代数学の系譜11 ガロア理論を読む
12/08/04 07:29:53.15
>>161
ねんのため
>具体的には、googleで下記で検索
>圏 site:URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)<) をgoogle窓に放り込むってことだよ
site:URLﾘﾝｸ(pantodon.shinshu-u.ac.jp) がこのサイト内に限定した検索を指示するコードだ
表示数は100件にしておく方がいいだろう
176:１３２人目の素数さん
12/08/04 08:51:38.33
＞pantodon は亞呆
代数的トポロジーを知らん奴にはそう見えるだろうなｗ
177:現代数学の系譜11 ガロア理論を読む
12/08/04 08:56:13.18
突然ですが、森田 紀一
URLﾘﾝｸ(en.wikipedia.org)
Kiiti Morita (森田 紀一 Morita Kiichi?, February 11, 1915, Hamamatsu ? August 4, 1995, Tokyo) was a Japanese mathematician working in algebra and topology.
He received his Ph.D. from the University of Osaka in 1950 and was professor at the University of Tsukuba.
He introduced the concepts now known as Morita equivalence and Morita duality which were given wide circulation in the 1960s by Hyman Bass in a series of lectures. The Morita conjectures on normal topological spaces are also named after him.
[edit] References
Arhangelskii, A.V.; Goodearl, K.R.; Huisgen-Zimmermann, B. (June/July 1997), "Kiiti Morita 1915-1995" (PDF), Notices of the American Mathematical Society (Providence, RI: American Mathematical Society) 44 (6): 680?684
URLﾘﾝｸ(www.ams.org)
[edit] External links
New York Times obituary
URLﾘﾝｸ(www.nytimes.com)
Memorial address by John Ewing
URLﾘﾝｸ(www.ams.org)
178:現代数学の系譜11 ガロア理論を読む
12/08/04 09:06:52.73
>>176
>代数的トポロジーを知らん奴にはそう見えるだろうなｗ
乙です
ああ、そうなんすか。西洋のことわざ”豚に真珠”（日本だと猫になんとかだが、この板では猫は別の意味を連想するのでさけた）
URLﾘﾝｸ(www.ymknu200719.com)
pantodonの用語解説は、玉木先生も書いているかも知れないが、勉強を兼ねて院生とかが書いているような気もする
そこが数学辞典やwikipediaとちょっと違うように思うが、いま勉強中という雰囲気の用語が結構あるように思う
でも、使い方次第だと思うんだよね。一つの情報源として活用すればいい
179:現代数学の系譜11 ガロア理論を読む
12/08/04 09:11:05.63
>>177
つづき
森田 紀一は、pantodonの用語解説で見つけたんだ
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
Morita equivalence
Morita 同 値 という 概 念 はどんどんその 適 用 範 囲 を 広 げている 。
元 々 は , 森 田 紀 一 氏 によ っ て [ Mor58 ] で 導入 された 環 の 間 の 同 値 関 係 であるが , 今 や operad や groupoid など 他 の 代 数 的 構 造 や 圏 論 的 構 造 にも Morita 同 値 の 概 念 が 拡 張 さ れ , 盛 んに 使 われている 。
最 も 基 本 的 な , 二 つの 環 の 間 の Morita 同 値 については , 例 えば , Weibel の [ Wei94 ] に 定 義 と 基 本 的 な 性 質 がある 。
Derived category の 同 値 など , より 一 般 的 な Morita 同 値 も 含 めた survey としては Schwede の [ Sch04 ] がある 。 Morita 同 値 も 含 めた , 森 田 紀 一 氏 については AMS の Notices の 記 事 [ AGHZ97 ] が 参 考 に なる 。
?二 つの 環 の module の 圏 が Abelian category として 同 値 になるための 条 件
Morita 同 値 ならばその module の 圏 の 同 値 は bimodule を tensor することにより 得 られるわけであるが ,
より 一 般 に 二 つの module の 圏 の 間 の functor が bimodule を tensor することにより 与 えられるための 条 件 を 調 べたのが , Eilenberg [ Eil60 ] と Watts [ Wat60 ] である 。
（略）
180:１３２人目の素数さん
12/08/04 09:14:12.59
>>178
圏論のジェネラル・ナンセンスぶりに引かれる人もいるのだろうが、
もともと、圏もホモロジーもトポロジーで考えられたのだから、
トポロジーでどう使われてるか知らなきゃ、有難味がわからない。
181:現代数学の系譜11 ガロア理論を読む
12/08/04 09:17:14.51
>>177
New York Times obituary
URLﾘﾝｸ(www.nytimes.com)
Kiiti Morita, Mathematician, 80 Published: October 05, 1995 Sign In to E-Mail Print
Kiiti Morita, a mathematician who made fundamental contributions in algebra and geometry, died of heart failure at the Sakakibara Heart Institute in Tokyo on Aug. 4. He was 80 years old.
His death was disclosed recently in the United States by a mathematician familiar with his work.
Dr. Morita was professor emeritus of Tsukuba University and former professor of Sophia University in Tokyo.
He was known for the theorems he devised in 1958, together called Morita theory, in a branch of algebra called ring and module theory.
The work helped to simplify many mathematical problems and is considered a set of basic concepts in algebra.
In topology, a branch of geometry concerned with the general properties of shapes and spaces, he published "Normal Families and Dimension Theory for Metric Spaces" in 1954.
He was born on Feb. 11, 1914, in Hamamatsu, Japan, and graduated from Tokyo Higher Normal School, now Tsukuba University, in 1936. He studied and taught at the university until 1978. He then taught at Sophia University.
（引用おわり）
obituary＝死亡記事、 Sophia Universityは上智でしょう
New York Timesに死亡記事が出る日本人は少ないだろう
182:現代数学の系譜11 ガロア理論を読む
12/08/04 09:22:41.58
>>180
乙す
>圏論のジェネラル・ナンセンスぶりに引かれる人もいるのだろうが、
>もともと、圏もホモロジーもトポロジーで考えられたのだから、
>トポロジーでどう使われてるか知らなきゃ、有難味がわからない。
そういう見方も否定はしないが、こう考えたらどうだろうか
・圏論は言語だと。例えば英語だ。英語で書かれた論文がある。論文の内容に価値があるのか、英語に勝ちあるのかと言えば内容だろう
・英語は英国で考えられた。だから英語が英国でどう使われているかを知らなければならないと。だが、英語を使う地域は英国を超えて広がった。だから、発祥の地英国にこだわらなくても良いという考えも
183:現代数学の系譜11 ガロア理論を読む
12/08/04 09:23:37.95
>>182
訂正
英語に勝ちあるのかと言えば内容だろう
↓
英語に価値あるのかと言えば内容だろう
184:現代数学の系譜11 ガロア理論を読む
12/08/04 09:38:43.09
>>177
写真がある
by John Ewing In Memory of Kiiti Morita August 4, 1998 抜粋
URLﾘﾝｸ(www.ams.org)
We are here today to honor a respected and eminent mathematician, Kiiti Morita, who passed away exactly three years ago, on August 4, 1995.
I'd like to welcome our guests today, Professor Morita's widow, Tomiko; his son, Yasuhiro; his wife, Hiroko; and their son, Shiego.
It is a strange feeling for me to be here today, saying these words. Before coming to the AMS, my field as a mathematician was Algebraic Topology.
Professor Morita was a world class mathematician, who combined profound work in topology with brilliant insights into algebra. I grew up as a mathematician learning the phrase "Morita equivalence", a term that is everywhere in algebraic topology;
I learned the concept long before I ever associated it to a person, the man who invented the idea in 1958. I learned of his other work in topology in a series of lectures while I was still a graduate student,
but I never knew anything about the man behind those ideas. And having read more about the man, I wish I had known him, and not just his ideas.
It is particularly fitting that the American Mathematical Society recognize Professor Morita and his accomplishments.
Our recent Chairman of the Board, Hy Bass, was the one who made Morita equivalence and the related ideas famous in the 1960's.
He circulated notes from a series of lectures he gave afterwards, circulating in the United States, in Europe, and eventually in Japan as well.
I know that if Hy were able to be here today, he would very much enjoy the opportunity to meet the Morita family, and thank them on behalf of the entire mathematics community.
In his memory, the family of Professor Morita has made a gift to the American Mathematical Society. The Board of Trustees has passed the following resolution in recognition of that gift・・
185:現代数学の系譜11 ガロア理論を読む
12/08/04 10:46:37.53
>>179
[Mor58]
Kiiti Morita. Duality for modules and its applications to the theory of rings with minimum condition. Sci. Rep. Tokyo Kyoiku Daigaku Sect. A , 6:83?142, 1958.
いわゆる大学紀要というやつだが、こういう記念碑的論文はパブリックドメインとして筑波が公開しアクセス可能にすべきだろう
186:現代数学の系譜11 ガロア理論を読む
12/08/04 10:58:59.71
>>154
そういう物理学者風の勉強方ではなかったかと思う
↓
そういう物理学者風の勉強法ではなかったかと思う
187:１３２人目の素数さん
12/08/04 17:35:04.12
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
188:現代数学の系譜11 ガロア理論を読む
12/08/04 19:33:25.43
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
ホモロジー (数学)
脚注 [編集]
4^ Bourbaki and Algebraic Topology by John McCleary (PDF) に時代考証がある（フランス語の原版から英語への翻訳）。
URLﾘﾝｸ(math.vassar.edu) （おそらくリンク切れ）
このリンクが切れているようで、Bourbaki and Algebraic Topology John McCleary で検索し直した結果下記がヒット
URLﾘﾝｸ(edu.mmcs.rsu.ru)
[PDF]
Bourbaki and Algebraic Topology by John McCleary It ... - EDU-MMCS
edu.mmcs.rsu.ru/.../Bourbaki/McCleary2004.pdf - このページを訳す
ファイルタイプ: PDF/Adobe Acrobat - クイック ビュー
J McCleary 著 - 関連記事
Bourbaki and Algebraic Topology by John McCleary. The principal aim of the Bourbaki group (L'Association des Collaborateurs de Nicolas. Bourbaki) is to provide a solid foundation for the whole body of modern mathematics. The method of ...
189:現代数学の系譜11 ガロア理論を読む
12/08/04 19:48:21.76
>>188
和訳がある
URLﾘﾝｸ(slashdot.jp)
taro-nishinoの日記 | スラッシュドット・ジャパン
taro-nishinoの日記： ブルバキと代数トポロジー
日記 by taro-nishino2012年02月26日 23時38分
さて、随分本題とは関係のない話を書きましたが、ブルバキで私が取上げてほしかったトピックの一つに代数トポロジーがあります。
ブルバキには多くの重要なトピックが抜けていますが、代数トポロジーについてはメンバー全員が精通していると言っても過言じゃなかったのに何故書かれなかったのか長年不思議に思っていました。
その疑問の答えを最近見つけました。それがJohn McCleary氏の"Bourbaki and Algebraic Topology"(PDF)です。
以下に、その私訳を載せておきますが、文中に一般ストークスの定理を述べるところがあるのですが、積分記号を入力出来ませんので(積分記号)∂X ω = (積分記号)X dωで代用しました。分かる人は分かると思います。
ブルバキと代数トポロジー
2004年12月10日 John McCleary マディソンウィスコンシン大学での講演
ここマディソンで、特にこの特別な日に講演する機会に感謝する。パリのサン・ミッシェル63通りにある喫茶店A. Capouladeで"解析教程草稿委員会"の創始者達が会合したのは、まさしく70年前の今日だった。
この会合には、(最近百歳になった)アンリ・カルタン(1904? )、クロード・シュヴァレー(1909?1984)、ジャン・デルサルト(1903?1968)、ジャン・デュドネ(1906?1992)、ルネ・ド・ポッセル(1905?1974)、アンドレ・ヴェイユ(1906?1998)がいた。
このプロジェクトの定めは、ブルバキ又はたぶんElements de mathematique(現代数学の基礎概念の影響力のある解説書のシリーズ)の著者である登場人物ニコラ・ブルバキの物語だろう。
（略）
190:現代数学の系譜11 ガロア理論を読む
12/08/04 19:52:09.03
>>189
>積分記号を入力出来ませんので(積分記号)∂X ω = (積分記号)X dωで代用しました。
積分記号は、他スレでこんなの（下記）を書いている人がいた
感心した
ｽﾚﾘﾝｸ(math板:650番)
分からない問題はここに書いてね373
650 名前：１３２人目の素数さん[sage] 投稿日：2012/08/04(土) 18:31:08.10
∫0~π/4（∫0~a secθ f(r,θ)dr)dθ
この積分順序を交換するという問題なのですが、図を書くやり方だとできませんよね？
いまいちわかりません
よろしくお願いします
191:現代数学の系譜11 ガロア理論を読む
12/08/04 19:59:03.07
>>189
taro-nishinoの日記は、スレその４で紹介している（下記）
URLﾘﾝｸ(logsoku.com)
154 ： 現代数学の系譜11 ガロア理論を読む： 2012/05/06(日) 07:21:40.18 >>152
補足
taro-nishinoの日記
URLﾘﾝｸ(slashdot.jp)
taro-nishinoの日記： 書評 グロタンディークとセールの文通書簡 日記 by taro-nishino2012年03月25日 23時37分
155 ： 現代数学の系譜11 ガロア理論を読む： 2012/05/06(日) 08:20:45.94 >>154
>taro-nishinoの日記： 数学教育について 日記 by taro-nishino2011年04月05日 19時23分
ここ面白い
URLﾘﾝｸ(slashdot.jp)
taro-nishinoの日記： 数学教育について 日記 by taro-nishino2011年04月05日 19時23分
192:現代数学の系譜11 ガロア理論を読む
12/08/04 20:52:32.42
>>191
ひょっとして以前紹介したかも知れないが下記
私が見てきた小平邦彦をいまじっくり読んで感慨を深くした・・
URLﾘﾝｸ(slashdot.jp)
taro-nishinoの日記： 私が見てきた小平邦彦
日記 by taro-nishino2011年01月14日 22時16分
抜粋
私の親族の高校生(母親が私の従姉妹)が数学に多少の興味を持っていて、他の記事も読みたいと聞きました。
勿論、彼は小平博士のことは一切合切知りませんし、増して彌永博士と小平博士が義理の兄弟であることも知りません。
既にそういう時代になっているのです。戦時下での研究が如何に困難であるかも聞いていないだろうし、何よりも研究の前に食糧難があったはずですが、何でも食べられる飽食の時代に育った人が多勢を占める時代なのです。
ですから、こういう時こそ伝記的回想録も必要だと考え、意欲ある高校生のためにも、私訳を以下に載せて置きます。
私が見てきた小平邦彦
彌永 昌吉
小平邦彦(1915-1997)の人生と業績に興味がある人にとって、彼が自伝[1]を、全集[2]と共に残していることは幸いである。
全集は、1950年代初期小平のプリンストン大学での学生の一人である、シカゴ大学のW. L. Baily, Jr教授による素晴らしい序文と共に、その内容の完全で注意深い説明がある。
更に小平は、いろいろな数学分野の教科書と数学と関係のないテーマの随筆を含む、多くの日本語の刊行物を残している。数学と関係のないテーマの随筆は、彼の本[3]に集められている。だから、私達は彼について直接の資料を事欠かない。
私が以下に述べるとことに沿って数えると、1935年に知り合って、60年間より以上生活を共にし、身近に彼に接して来た。
上記の資料に大いに依存するけれども、彼について個人的な回顧を含んでいる、この記事が読者に興味を持たせるならば、私は幸いである。
（略）
193:現代数学の系譜11 ガロア理論を読む
12/08/04 20:59:58.85
彌永 昌吉先生、下記
長男の彌永健一先生の方が早くなくなった
老衰のため満100歳にて死去ですか
URLﾘﾝｸ(ja.wikipedia.org)
彌永 昌吉（いやなが しょうきち、1906年4月2日 - 2006年6月1日）は、日本の数学者。俗字で「弥永」と表記される場合もある。
後進の育成では、主な弟子に、義弟でもあるフィールズ賞受賞者の小平邦彦、岩澤理論の岩澤健吉、佐藤の超関数で知られる佐藤幹夫などがいる。幾何や解析など、自分の専門外の分野でも優れた弟子を数多く育てた。
11ヶ国語前後の言語をマスターしていた。
2006年6月1日、老衰のため満100歳にて死去。最晩年に至るまで、著書や論文を著した。
他に代表的な業績として、小平らとともに東京書籍発行の算数・数学教科書の作成に関わったことも挙げられる（彌永が担当したのは1970年代後半まで）。
長男はセールの「数論講義」等を翻訳した彌永健一。
194:現代数学の系譜11 ガロア理論を読む
12/08/05 10:22:57.72
余談ですが、Flash Player Runtime error R6025 で最新版がインストールできなかった（半年以上）
今日、ネット検索で 「Flash Player 11.3.300.257 (IE) 64-bit」（下記）というのがあるのを知って、windows7 64bit版を使っているので、デフォルトの32bit版と合わないのではと
で、 「Flash Player 11.3.300.257 (IE) 64-bit」で解決しました。windows7 64bit版の方へ
URLﾘﾝｸ(www.filehippo.com)
195:現代数学の系譜11 ガロア理論を読む
12/08/05 11:13:29.60
>>192
>taro-nishinoの日記
taro-nishinoさん、どういう人かと検索してみると、情報はほとんどないけど
下記ヒット
URLﾘﾝｸ(slashdot.jp)
taro-nishinoの日記： 「構造化プログラミングに関する覚え書き」へと導いたもの
日記 by taro-nishino2010年01月01日 9時05分
（抜粋）
明けましておめでとうございます。
さて、私の周辺では、先日に書いた"Gotoは有用である"について、折角のMatt S. Trout氏の本文よりも、何故か不幸にも私の書いた訳注の方が話題になっています。
Linus氏はgoto有用論の他にも、C++をボロクソに貶したり、本当に愉快な人だと私は思います。ただ、C++を貶された時の反応として、海外は置いとくとして、日本の一部の人が余りにも井の中の蛙的な反応をしたように記憶しています。
代表的な例は「Linusはオブジェクト指向が分からないからだ」というのがあります。私は思わず笑いました。Linus氏ほどの頭脳で分からないことが、極東の日本の貴方がたは分かっていると言わんばかりじゃないですか。
一部にせよ、だから日本は駄目だと思いました。つまり、自己を客観視せず、実質的実力は無いのに一流家気取りなんですね。もっとはっきり言えば何様のつもりなんだと。どうしたらこんな自惚れ屋になれるのかと思いました。
では、何故Linus氏はgoto有用論を打上げたり、オブジェクト指向を貶すのは何故か？
後で根拠を示しますが、Linus氏はプラットフォームに依存しないアセンブリ言語を求めているのであって、それが現状ではC言語なんです。Linuxカーネルのような究極の領域に、goto有害論やOO指向等甘ちゃん一般プログラマの常識なんて邪魔以外の何物でもないのです。
究極のパフォーマンスを追い求めて日夜苦労している時に、何ら解決にもならないOO指向やC++なんて話を持込まれたら、Linus氏でなくとも怒りたくなるのは当り前だと思います。
196:現代数学の系譜11 ガロア理論を読む
12/08/05 11:36:29.16
あと
>>189
URLﾘﾝｸ(slashdot.jp)
taro-nishinoの日記 | スラッシュドット・ジャパン
taro-nishinoの日記： ブルバキと代数トポロジー
日記 by taro-nishino2012年02月26日 23時38分
では何故、私のみならず多くの人が原書を重視するかと言いますと、翻訳はどうしてもミスプリントやマイナーエラーが混入される可能性があるからです。
エッセイや読み物なら別にどうってことはないでしょうが、数学専門書ですから出来る限りエラーの無いものを選ぶべきなんです。勿論原書にもエラーがあるかも知れませんが、それはもう仕方がないことです。
私は原書しか読まないのですが、翻訳のいい加減さを実感した実例があります。
私は学生時代、函数論を故小平邦彦博士の名著"複素解析"を読んで勉強しました(この場合、原書が日本語ですから問題ありません)。
ずっと後に、今から約5年ほど前、この本が英訳版"Complex Analysis"としてケンブリッジ大学出版から刊行されましたが、当時ケンブリッジにいた知人がこの本を購入して読んだのですが、
どうも変だと感じ、私が日本語原書で勉強したことを知っている知人はわざわざ立派なハードカバーの英訳本を私に送り、原書と比べてくれないかと言って来ました。そして英訳本を読んで私はショックを受けました。
数学論文や専門書に書かれる文章は何語であろうが言い回しが殆ど決まっていますから、英文自体に特に問題は無くて、説明文や証明の中にある数式や記号に非常に間違いが多かったのです。
例えば、極限を取る際の0と∞の混同、τとtの混同、不等号における等号成立の混同、不等号の向きの混同、2とzの混同、曲線の記号と複素数体の記号の混同、その他もろもろ多数。
一見して単純ミスと分かる場合はいいですが、そのまま意味が通じる時もあります。これでは海外の初心者は安心して読めないし、
（引用おわり）
この書きぶりからすると、東京の大学の数学科で勉強して、職業はプログラマーあるいはプログラム系の仕事と思います
197:現代数学の系譜11 ガロア理論を読む
12/08/05 12:04:35.21
>>195
常識だと思うが、プログラム系の用語が分からない人のために
URLﾘﾝｸ(ja.wikipedia.org)
C++（シープラスプラス、日本では略してシープラプラ、シープラ、あるいはシータスタスなどとも）は、汎用プログラミング言語の一つである。高度な機能を使用してもプログラムの実行性能が低下しすぎないように、言語仕様・ライブラリに様々な工夫が施されている。
1990年代以降、C++は、最もよく利用される商用のプログラミング言語の1つとなっている。
C++という名称
この名称はRick Mascittiの功績で、最初に使用されたのは1983年の12月である。初期の研究期間では、開発中の言語は「C with Classes」と呼ばれていた。最終名は、変数の値を1つ加算する、C言語の「++」演算子からの派生である。
URLﾘﾝｸ(ja.wikipedia.org)
C言語（Cげんご）は、1972年にAT&Tベル研究所のデニス・リッチー (Dennis M. Ritchie) が主体となって作ったプログラミング言語である。英語圏では単に C と呼称されており、日本でも文書や文脈によっては同様に C と呼称される。
URLﾘﾝｸ(ja.wikipedia.org)
C言語、C++、Java、JavaScriptなどでは、インクリメント演算子「++」が用意されている。
198:１３２人目の素数さん
12/08/05 12:31:31.32
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
199:現代数学の系譜11 ガロア理論を読む
12/08/05 12:53:11.38
>>197
つづき
OO指向
URLﾘﾝｸ(ja.wikipedia.org)
オブジェクト指向プログラミング (OOP、英: object-oriented programming) とは相互にメッセージ (message) を送りあうオブジェクト (object) の集まりとしてプログラムを構成する技法である。
この技法をサポートするプログラミング言語はオブジェクト指向プログラミング言語 (object-oriented programming language, OOPL) と呼ばれる。
プログラムを構成するコードとデータのうちコードについては手続きや関数といった仕組みを基礎に整理され、
その構成単位をブラックボックス とすることで再利用性を向上し、部品化を推進する仕組みが提唱され
構造化プログラミング (structured programming) として1967年にエドガー・ダイクストラ (Edsger Wybe Dijkstra) らによってまとめあげられた（プログラミング言語の例としてはPascal 1971年）。
C++の提示した現実解と、Smalltalk的理想論を融合するものとして、文法面ではシンプル化しながらも強くC++の影響を受けつつ、一方で用語や思想面でSmalltalk色を濃くしたJava（1991年）が作られた。
バランス感覚に長けたJavaの登場によってオブジェクト指向開発に必要な要素が全てそろい、1990年代後半からオブジェクト指向は広く普及するようになった。
200:現代数学の系譜11 ガロア理論を読む
12/08/05 12:57:42.89
>>199
つづき
goto有害論
URLﾘﾝｸ(ja.wikipedia.org)
構造化プログラミング(こうぞうかプログラミング)とは、命令的プログラムの文脈において、階層的に抽象化されたプログラムの組み合わせとしてプログラムを記述する手法である。1967年、エドガー・ダイクストラらによって提唱された。
歴史
コンピュータが実用化され、その有用性が認められるようになるにつれ、その上で動作するプログラムは次第に大規模なものとなっていった。大規模なプログラムを矛盾なく正当に動作するように記述することは一般にとても困難である。
1960年代ではプログラムはフローチャートによる設計が広く採用されており、goto文も広く使われていた[2]。その一方でgoto文の多用はプログラムの質を下げるという性質や、多くのプログラムはgotoを使わずに記述できるという性質が経験則として知られていた。
例えば1959年にはハインツ・ツェマネクはgoto文に関する疑問を抱いており、後のダイクストラの考えに影響を与えた[3]。
また1960年からD. V. Schorreはgoto文を使わず、フローチャートではなくインデントで構造を表したアウトラインテキストでプログラムを記述していた[2]。
そして1966年コラド・ベームとジュゼッペ・ヤコピーニによって、任意のフローチャートは基本フローチャートの組み合わせによる等価なフローチャートに変換できるという定理が示された[4]。この定理は後に構造化定理と呼ばれるようになった[誰によって?]。
ヤコピーニは3種の基本構造(順次・反復・分岐)に分解する手法と2種(順次・反復)に分解する手法を示したが、今日単に構造化定理と言った場合前者を指す。
そのような背景の元、1968年にダイクストラは“Go To Statement Considered Harmful”[3]という記事を発表し、大きな反響を呼んだ[5]。この記事が構造化プログラミングの提唱であるとする場合も多い[誰によって?]。
「構造化プログラミング(Structured Programming)」という語は1969年に開催されたカンファレンス“Software Engineering Techniques”においてダイクストラが提唱した[1][注釈 2]。
201:現代数学の系譜11 ガロア理論を読む
12/08/05 13:04:04.89
>>200
つづき
goto有用論
URLﾘﾝｸ(ja.wikipedia.org)
goto論争
goto派
一方、goto文を使わずに3つの基本構造による代替を行うと、理論上は同値であっても実際にはプログラムの実行速度や記憶容量の点で性能が劣化する場合がある[2]。また、特殊な場合にはgotoを使った方がプログラムを見通しやすくなると考える人もいる。
例えばドナルド・クヌースも、著書「文芸的プログラミング」の中でそのような例をいくつかあげている。
こうした理由から、goto文を撲滅するのではなく上手に使い分けるべきだと考える人もいる[誰?]。
goto文論争が不毛なのは、「構造化プログラミングの観点からgoto文を使うのは望ましくない」という結論は真だが、「goto文を使わなければ構造化プログラミングになる」というわけではない点である。
構造化プログラミングの本質は、状態遷移の適切な表現方法とタイミングを見極めることであり[要出典]、これはプログラムの良し悪しを決める永遠の命題であるといっていい[要出典]。
現在C言語を除く主流派の言語では、そのままのgoto文はほとんど見られなくなった。替わりにbreak文、continue文、もしくは例外処理のような特殊脱出(去勢されたgotoとも呼ばれる[要出典])をサポートし、単純な構造化制御だけでは弱いと考えられる部分を補っている。
また、Scheme等でサポートされている継続は「引数付きgoto」と呼ばれることもある[誰によって?]。
またクロージャやコードブロック、継続のような強力な制御機構を持つ言語ではそもそも抽象度の低いgoto文を使う必要性は低い。例えばHaskellにおいてはモナドを利用して例外や非決定性計算などの様々な制御構造を表現できる[要出典]。
またSmalltalkやIoにおいても制御構造はブロックを扱うメソッドとして表現している[要出典]。
一方で、例えば1999年から設計されたD言語はgoto文を含んでいる[8]。また、PHPも2009年にリリースされた5.3において制限された形ではあるがgoto文が追加された[9]。これはgoto文を支持する者[誰?]が少なからず存在する事実を示す例である。
202:１３２人目の素数さん
12/08/05 17:26:44.64
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
203:現代数学の系譜11 ガロア理論を読む
12/08/05 23:01:54.79
こんなのが
URLﾘﾝｸ(sookibizviz.blog81.fc2.com)
現代数学の難しさ－その３ | サラリーマンのすらすらＩＴ日記 2011/10/02
抜粋
今回は代数トポロジーの難しさについて書いてみます。
トポロジーを専攻していただけあって、さすがに大学時代に代数トポロジーの難しさは克服したのですが、初めは非常に難しかった。
難しい理由の一つは、トポロジーの議論が進むにつれて、あまりにも整備された理論での議論になってきて、なぜそういう議論になるのかがわからない点です。
ポアンカレが19世紀から20世紀にかけて導入したホモロジー群の考えは、
多様体（図形）を「単体」という図形の基本となる三角形に分割して、面とその境界である辺、さらに辺の境界である点に分けて（さらに高次元の単体も含む）それらの関係を考察したもので、今の代数トポロジーの基盤になりました。
ところが今の代数トポロジーの本を読むと、初めは単体分割の議論から始まりますが、突然チェイン複体の議論になり、そこから完全系列が導き出されて、その完全系列を使ってホモロジー群を計算するという議論に移ってしまいます。
チェイン複体以降の議論は幾何学的な様相はほとんどなく、もっぱら代数的な議論に変わってしまいます（そういった代数的な議論は、後にホモロジー代数という分野として発展していきます）。
この、いつのまにか幾何学から代数学に移ってしまう議論に、初めは戸惑ってしまいますし、また、ポアンカレが探求してきた根源的（プリミティブ）な議論はどこへやらという感じです。
ポアンカレ以降の数学者が整備して、今のホモロジー論になったわけですが、大学の講義では整備された議論だけを扱います。
まあプリミティブな部分は自習してくださいということでしょうか。
さらに問題なのは、大学3年次の初めに習うこのホモロジー群を使った議論が、同じ3年次に代数学の講義で習う群論と同時進行かあるいはそれより先にあることです。
これは聞いた話ですが、ある大学院ではコホモロジーに関する講義を行う時間が取れないため、コホモロジー論は自習してもらって、既知のこととしてその先の講義があるとのこと。これはまずいのではないでしょうか。
204:現代数学の系譜11 ガロア理論を読む
12/08/10 20:47:07.37
突然ですが、２次方程式がなぜQuadraticか？
１次方程式 Linear equation （線）
URLﾘﾝｸ(en.wikipedia.org)
２次方程式 Quadratic equation：The term "quadratic" comes from quadratus, which is the Latin word for "square". （四角）
URLﾘﾝｸ(en.wikipedia.org)
３次方程式 Cubic function （立方）
URLﾘﾝｸ(en.wikipedia.org)
４次方程式 Quartic function （類語 quartet カルテット 4重唱［奏］団）
URLﾘﾝｸ(en.wikipedia.org)
５次方程式 Quintic function （類語 quintetto クインテット (イタリア)）
URLﾘﾝｸ(en.wikipedia.org)
205:現代数学の系譜11 ガロア理論を読む
12/08/10 20:57:31.59
>>204
クアッドコアは、四つのコアだから。２だとデュアルコア
URLﾘﾝｸ(dic.yahoo.co.jp)
クアッドコア‐プロセッサー【quad-core processor】大辞泉
四つのコア（演算回路の中核部分）を集積したマイクロプロセッサー。
異なる処理を独立して同時に実行できるため、総合的な実行効率が上がる。クアッドコアCPU。→デュアルコアプロセッサー →マルチコアプロセッサー
（引用おわり）
しかし、歴史的に、２次式が四角形の面積を求める式で、歴史的命名で"quadratic"："square". （四角）ということのようです。
ちょっと調べてみました
206:１３２人目の素数さん
12/08/10 21:02:21.76
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
207:現代数学の系譜11 ガロア理論を読む
12/08/10 21:03:31.43
そういえば、英語の序数（first, second・・・ ）や、数字の11、12・・・など不規則でしたね
仏語はもっとややこしいと聞いたことがあり
その類かな
208:１３２人目の素数さん
12/08/10 21:04:59.02
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
209:現代数学の系譜11 ガロア理論を読む
12/08/10 21:27:17.42
調べの途中で面白ものが落ちていました
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
位相的弦理論の分配関数と数え上げ 菅野浩明 名古屋大 2006 SSS2006LecC
2006 年度原子核三者若手夏の学校素粒子論パート講義C 講義録
講義録作成：東大本郷（木村圭助, 栗山実, 齋藤遼, 柴正太郎, 白井智, 初田泰之, 林博貴, 八木太, 山崎雅人, 横山修一）
0 Why topological string?
（司会）講義の方に移りたいと思います. 講師は名古屋大学の菅野さんで, 「位相的弦理論の分配関数と数え
上げ」というタイトルでお話し頂きます. ではよろしくお願いします.
どうもありがとうございます. 名古屋大学の菅野です. 今日と明日, 午前の時間を使って, 位相的弦理論につ
いての入門的講義をします.
最初にこの講義を引き受けたときは, もうちょっと最近の話題をと思ったんですけれども, 夏の学校と言う
わけで, 特にM1, M2 の方が多いでしょうから, ある程度入門的なところからやろうかと思います. 最終的に
どの辺までいけるのか, ちょっと時間の関係で分かりませんけれども, いけるところまでということでやって
いきます.
それから, string theory といってますが, 多分string がほとんど出てこないんじゃないかと恐れています.
だからstring theory を知らない人には, これのどこがstring theory なんだと言われるかもしれませんが, 場
の理論的な計算なども多く出て来るので, string theory を全く知らない人でも, 多少分かっていただけるので
はないかと思います.
最初に, どうして位相的弦理論を考えたいのか, どこが面白いのか, どういうふうに使われているのかという
ことからお伝えしていくことにしたいと思います.
2 Toy model
それで, どうして位相的弦理論かって言うことで, まず一つめは, 最近というか, 1990 年代以降に, 様々な
string のduality とか, 或いはゲージ理論においても強結合のdynamics などに興味がもたれている訳ですけ
れども, それらに関する一つのtoy model としての役割があります.
例えばstring duality として知られているものとしてどういうものがあるかというと, 一番有名なのは例
えばミラー対称性. 或いはT-duality. それから, electro-magnetic duality（S-duality）. 或いは, 最近特に
注目を
210:１３２人目の素数さん
12/08/10 21:34:30.53
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
211:現代数学の系譜11 ガロア理論を読む
12/08/11 08:39:21.52
>>209
つづき
Quintic関連検索で
場の理論と弦理論 基礎物理学研究所2009 年度前期研究会 京都大学 YITPworkshophoukoku
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
[PDF]
場の理論と弦理論
www2.yukawa.kyoto-u.ac.jp/~qft/2009/YITPworkshophoukoku.pdf
ファイルタイプ: PDF/Adobe Acrobat - クイック ビュー
方程式の非斉次項を、Quintic（CP4 の中の 5 次超曲面）の場合に求めることで、弦の tree レベル. の instanton 効果（disk 不変量の母関数）の計算に成功した。
その後 [2] では、離散的 open moduli. は”仮想的”な連続の open moduli の臨界点として実現され ...
212:現代数学の系譜11 ガロア理論を読む
12/08/11 08:41:16.25
>>211
つづき
同じく
類数が 5 で割り切れる二次体について 東北大・理佐藤篤 仙台数論及び組合せ論小研究集会2006 sato
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
[PDF]
類数が 5 で割り切れる二次体について?
www.math.is.tohoku.ac.jp/~taya/sendaiNC/2006/report/sato.pdf
ファイルタイプ: PDF/Adobe Acrobat - クイック ビュー
[2] K. Hashimoto, Generic families of quintic polynomials with dihedral Galois group of degree. 5, 第 45 回代数学シンポジウム報告集, 2000, pp. 15?23. [3] T. Honda, Isogenies, rational points and section points of group varieties, Japan J. Math.
213:１３２人目の素数さん
12/08/11 08:48:37.39
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
214:現代数学の系譜11 ガロア理論を読む
12/08/11 08:55:30.41
>>212
つづき
5次 Quintic 方程式の話題 （その1）群論入門とＪ言語 中野嘉弘（札幌市南区・８５才）2008
URLﾘﾝｸ(homepage3.nifty.com)
[PDF]
5次 Quintic 方程式の話題 （その1）
homepage3.nifty.com/asagaya_avenue/apl/.../nakano_jan2008.pdf
ファイルタイプ: PDF/Adobe Acrobat - クイック ビュー
2007年12月8日 ? 5次方程式(Quintic Equation) の突っ込んだ話は、名だたる検索エンジンでも、. これと云う説明は、案外少ないようだ。 J言語で対応した私の最近の知見を書き残し. たい。
久保広司氏の「徒然数学： アーベル多項式」を材料とする。 0． は し が ...
215:１３２人目の素数さん
12/08/11 08:56:20.57
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
216:現代数学の系譜11 ガロア理論を読む
12/08/11 09:29:23.68
>>214
補足 ＡＰＬ／Ｊ
「微分方程式」をＡＰＬ／Ｊ思考から理解する －「微分方程式」は４次元を３次元に映す鏡である－ 西川利男 Ｊ研究会資料 2006
URLﾘﾝｸ(homepage3.nifty.com)
「微分方程式」なる数学手法があるが、およそ役立たずの代表である数学にあって、私に言
わせれば、例外的に現代人にとって最も有用な技術であり、考え方であると思う。 と
ころが一般の人にはこれほどアカデミックな難物として敬遠されているものもない。「微分」
「積分」まで修めた者にのみ許される究極の秘術（？）として、「微分方程式」は世に崇め奉
られている。しかし、そんなことは決してない。
「微分方程式」を解析的に解いたり、その理論うんぬんは数学の専門家にまかせたらよい。
しかし、「微分方程式」で考えたり、その結果をグラフなどで眺めることは、誰にでもできる
し、現代人に必要な素養である。世の中の現実のデータは数学の関数ではない。銀行の勘定
項目やら、機器の測定値などさまざまなところから数値の羅列として、さらに具体的には
EXCELのファイルデータとして与えられることが日常である。
現代のコンピュータ時代に合った「微分方程式」の理解のしかたがあるはずである。そし
てこれはAPL、Jの考え方によって最もよく理解されると私は考える。
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E)
Jはプログラミング言語の一種で、正式名称はアルファベット1文字の「J」だがC言語と同様、「J言語」と一般には呼ばれている。
概要
Jは1989年、APLの提案者でもあるケネス・アイバーソンによりAPLの後継として提案された。
APLは数式の表記、特に配列の処理に優れており、多くの計算式を極めて単純に表記できる利点を持っていたが、・・・
JはAPLの反省をふまえて、APLと同様の計算を通常のASCIIコードのみで使用できるようにした、またこの言語独自の機能である「演算子の合成」という機能が追加された。
これらの機能によりAPLのような表記の問題は解消されたが可読性はAPLよりもさらに下回ったという批判もある。
217:現代数学の系譜11 ガロア理論を読む
12/08/11 09:49:26.21
>>214
つづき
非アーベル的相互法則 1 はじめに 2 高次相互法則 斎藤正顕 平松豊一 法政大学
URLﾘﾝｸ(www.media.hosei.ac.jp)
情報メディア教育研究センター／論文リスト2006
URLﾘﾝｸ(www.media.hosei.ac.jp)
218:現代数学の系譜11 ガロア理論を読む
12/08/11 10:03:51.58
>>217
つづき
高次合成則入門 谷口隆 神戸大 2011
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
(In Japanese) [pdf] Introduction to higher composition laws (survey article), RIMS Kokyuroku Bessatsu B25(2011), 211-254.
URLﾘﾝｸ(www.math.kobe-u.ac.jp)
219:１３２人目の素数さん
12/08/11 10:18:47.54
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
220:現代数学の系譜11 ガロア理論を読む
12/08/11 10:33:58.45
>>218
つづき
「超弦理論における非BPS状態」(pdf-file) 修士論文 高柳匡 2000
第10章
この最後の章では今まで見てきたことを総括し、分かるようになったことや問題点について述べ
ながら今後の課題について自分の考えを述べる。
本論文では、超弦理論における安定な非 状態に関する最近の研究の進展を様々な角度から
見てきた。大きく分けて次のような２通りの流れがあることが分かった。すなわち、による
記述を用いる方法と、
による幾何学的記述を用いる方法である。
URLﾘﾝｸ(home.catv.ne.jp)
Tadashi Takayanagi's Home Page 京都大学基礎物理学研究所 教授
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
221:１３２人目の素数さん
12/08/11 12:49:44.94
__ﾉ)-'´￣￣`ｰ- ､_
, '´ _. -‐'''"二ニﾆ=-`ヽ、
／ ／:::::; -‐''" `ｰノ
/ ／:::::／ ＼
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ﾊ .| ,ﾊ|
| |/ / / /| ,ﾊﾉ| /|ﾉﾚ,ﾆ|ﾙ'
| | | / / ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/ 私は只の数ヲタなんかとは付き合わないわ。
. | ＼ ∠イ ,ｲイ| ,`-' | 頭が良くて数学が出来てかっこいい人。それが必要条件よ。
| l＾,人| ` `-' ゝ | さらに Ann.of Math に論文書けば十分条件にもなるわよ。
| ` -'＼ ｰ' 人 一番嫌いなのは論文数を増やすためにくだらない論文を書いて
| /(l ＿＿／ ヽ、 良い論文の出版を遅らせるお馬鹿な人。
| （:::::`‐-､__ |::::`､ ﾋﾆﾆヽ、 あなたの論文が Ann of Math に accept される確率は?
| ／ `‐-､::::::::::`‐-､::::＼ /,ﾆﾆ､＼ それとも最近は Inv. Math. の方が上かしら？
| |::::::::::::::::::|` -､:::::::,ﾍ￣|'､ ﾋﾆ二、 ＼
. | /::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ | '､ ＼
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ ヽ、 |
| |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ /:＼__/‐､
| |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::| く:::::::::::::￣|
| /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
| |／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/
222:現代数学の系譜11 ガロア理論を読む
12/08/11 22:13:45.98
Symplecticの由来
URLﾘﾝｸ(en.wikipedia.org)
Symplectic geometry is a branch of differential geometry and differential topology which studies symplectic manifolds;
that is, differentiable manifolds equipped with a closed, nondegenerate 2-form.
Symplectic geometry has its origins in the Hamiltonian formulation of classical mechanics where the phase space of certain classical systems takes on the structure of a symplectic manifold.
Symplectic geometry has a number of similarities and differences with Riemannian geometry,
which is the study of differentiable manifolds equipped with nondegenerate, symmetric 2-tensors (called metric tensors).
Unlike in the Riemannian case, symplectic manifolds have no local invariants such as curvature.
This is a consequence of Darboux's theorem which states that a neighborhood of any point of a 2n-dimensional symplectic manifold is isomorphic to the standard symplectic structure on an open set of R2n.
Another difference with Riemannian geometry is that not every differentiable manifold need admit a symplectic form; there are certain topological restrictions. For example, every symplectic manifold is even-dimensional and orientable.
つづく
223:現代数学の系譜11 ガロア理論を読む
12/08/11 22:18:20.57
>>222
つづき
Name
The name "complex group" formerly advocated by me in allusion to line complexes, as these are defined by the vanishing of antisymmetric bilinear forms,
has become more and more embarrassing through collision with the word "complex" in the connotation of complex number.
I therefore propose to replace it by the corresponding Greek adjective "symplectic." Dickson calls the group the "Abelian linear group" in homage to Abel who first studied it.
Weyl (1939, p. 165)
Symplectic geometry is also called symplectic topology although the latter is really a subfield concerned with important global questions in symplectic geometry.
The term "symplectic" is a calque of "complex", introduced by Weyl (1939, footnote, p.165); previously, the "symplectic group" had been called the "line complex group".
Complex comes from the Latin com-plexus, meaning "braided together" (co- + plexus),
while symplectic comes from the corresponding Greek sym-plektikos (συμπλεκτικ??); in both cases the suffix comes from the Indo-European root *plek-.[1]
This naming reflects the deep connections between complex and symplectic structures.
Weyl, Hermann (1939), The Classical Groups. Their Invariants and Representations, Princeton University Press, ISBN 978-0-691-05756-9, MR 0000255, URLﾘﾝｸ(books.google.com)
URLﾘﾝｸ(en.wikipedia.org)
224:１３２人目の素数さん
12/08/11 22:45:33.21
PLトポロジーについては最近は何も進展無いの？
225:現代数学の系譜11 ガロア理論を読む
12/08/11 23:07:15.99
>>223
つづき
英単語 yahoo! eプログレッシブ英和中辞典より
URLﾘﾝｸ(dic.yahoo.co.jp)
formerly：[副]昔は，もとは，以前は
advocat:提唱する
in allusion to ...：暗に…をさして.
embarrass：困惑［当惑］させる，まごつかせる
connotation：含意
adjective：形容詞
homage：敬意 in homage to Abel：アーベルへの敬意で
calque：[名]言語学翻訳借用（語句）(loan translation)
plexus：解剖（神経・血管の）叢(そう)、網状になった部分
braid：より合わせる、〈なわなどを〉編む
reflect：…を反映する
226:現代数学の系譜11 ガロア理論を読む
12/08/11 23:50:04.01
>>224
PLトポロジーね
そういえば、最近聞かない
もっとも、あまり詳しくないのだが・・
227:現代数学の系譜11 ガロア理論を読む
12/08/12 00:00:35.30
>>223>>225
補足
Weyl (1939, p. 165)で、Weyl先生は
１．以前は"complex group" を提唱していた
２． line complexesを意味するように
３．しかし、complex numberと混乱するようになった
４．そこで、ギリシャ語の"symplectic"を提案した
５．"symplectic"は、 "complex"の翻訳借用だ
６．complex と symplectic structures とは深い関係がある （URLﾘﾝｸ(en.wikipedia)）
とこんな趣旨でしょう
228:１３２人目の素数さん
12/08/12 06:02:40.86
あげ
229:現代数学の系譜11 ガロア理論を読む
12/08/12 07:16:57.51
あげ、ありがとう
230:現代数学の系譜11 ガロア理論を読む
12/08/12 07:54:09.83
>>225
>plexus：解剖（神経・血管の）叢(そう)、網状になった部分
URLﾘﾝｸ(dictionary.goo.ne.jp)
そう【叢】［漢字項目］の意味 - 国語辞書 - goo辞書
そう【×叢】 ［人名用漢字］ ［音］ソウ（漢） ［訓］くさむら むら むらがる
１ 草が群がり生える。くさむら。「叢生／淵叢(えんそう)」
２ 群がり集まる。多くのものの集まり。「叢雲・叢書／論叢」
231:現代数学の系譜11 ガロア理論を読む
12/08/12 08:14:31.91
>>223
補足
line complexes、"line complex group"について
lineは、おそらく力学における軌道を意味すると思う（個人的見解で出典なし）
軌道とトポロジーの関係は下記アトラクターをご参照
URLﾘﾝｸ(ja.wikipedia.org)
（抜粋）
アトラクターに含まれる軌道は、そのアトラクターの内部にとどまり続けること以外に制限はなく、周期的であったり、カオス的であったりする。
そのような典型的な振る舞いに対応している力学系からなる位相空間の一部分はattracting section または attractee と呼ばれる。
アトラクターは力学系の位相空間の部分集合である。1960年代頃の教科書によると、それまではアトラクターは位相空間の「幾何学的な」部分集合（点、直線、曲面、体積領域）であると考えられていた。
232:現代数学の系譜11 ガロア理論を読む
12/08/12 08:24:32.61
>>230-231
補足
line＝軌道が、plexus：神経・血管の叢(そう、網状になった部分）にたとえて、その位相空間をline complexes または "line complex group"と初期に呼んだ
現代の用語では、アトラクターのイメージだろう
だが、complexはcomplex number（複素数）との混乱が目立ってきた
それで、Weyl (1939, p. 165)で、ギリシャ語から同じ意味の言葉を借りて、"symplectic"を提唱した
以上あまり出典の裏付けなしの私見ですがご参考まで
233:現代数学の系譜11 ガロア理論を読む
12/08/12 09:16:52.69
>>232
トポロジーを実質的に創始したポアンカレ
それは、三（多）体問題が解析的に解けないというポアンカレ自身の証明にその動機があるといわれている
三（多）体問題が解析的に解けないが、そのまま放置するわけにはいかない
地球を含む太陽系の天体運動は多体問題だし、二体問題しか解けないのは大問題だと、ポアンカレはおそらく思ったのだろう
で、解析解を離れていろいろ考えてトポロジーへ（下記）
URLﾘﾝｸ(ja.wikipedia.org)
微分位相幾何学もしくは微分トポロジー（英語：differential topology）は、多様体の微分可能構造に注目する幾何学の一分野。
歴史
微分幾何学はカール・フリードリヒ・ガウスやベルンハルト・リーマン等による曲率の研究に、位相幾何学（トポロジー）はゴットフリート・ライプニッツやレオンハルト・オイラー等による位置の解析に端を発するが、
微分幾何学と位相幾何学の初期の学際はアンリ・ポアンカレによる三（多）体問題の解析がある。
三（多）体問題とは天体力学から派出したもので静かな空間に3つ（もしくはそれ以上）の物体が浮かんでいるときその物体はどのような運動をするかという力学系（従って解析学）の問題である。
ポアンカレはこの力学系を定める微分方程式のベクトル場がある多様体を作ることに注目して、その多様体にトポロジー的知見から迫ることでニュートンの時代からある難問を解いた。
ポアンカレはカオス的な振る舞いをする力学系を初めて発見した解析学者であり、トポロジーを1つの学問として定式化したトポロジストでもある。
純粋な多様体の問題に関する初期の例には前述のポアンカレやドイツの数学者フェリックス・クラインとその弟子パウル・ケーベ等による2次元多様体（曲面）の幾何構造による分類がある。
幾何構造は曲率から生まれた概念でしたがって微分幾何学に関係する。彼等は全ての2次元多様体にそれと同相で（位相的に等しく）自然な幾何構造をもつものがあることを証明した。
後にジョン・ナッシュはこれを発展させたナッシュのリーマン多様体埋め込み定理を証明した。これらは2次元の微分幾何学における最も大きな成果である。
（下記）
234:現代数学の系譜11 ガロア理論を読む
12/08/12 09:19:18.68
>>233
つづき
URLﾘﾝｸ(ja.wikipedia.org)
1950年代にはアーエイチ・ビングとエドウィン・モイーズによってそれぞれ独立に全ての3次元多様体が三角形分割できることが証明される。
多様体が三角形分割できるということは微分可能な多様体に同相変換可能だということ、つまり3次元トポロジーの研究に微分幾何学を応用できるということを示す。
この発見を皮切りに3次元の位相幾何学と微分幾何学の関係の研究が急速に発展することになった。
同じ頃1956年、ジョン・ミルナーがフランスのトポロジストでカタストロフィー理論の創始者としても有名なルネ・トムの功績に基づき7次元球面には本質的に異なる28種の微分可能構造が存在することを示した。
このトム、ミルナーに始まった高次元多様体の研究こそ現在、微分位相幾何学といわれているものの始まりである。
1960年にはスティーブン・スメールがトムの創始したコボルディズム理論を用いてトポロジーの基本問題であるポアンカレ予想を5次元以上について証明し、
1981年にはマイケル・フリードマンによって4次元について、
そして最後に残っていた3次元についてはリチャード・ハミルトンが導入した微分方程式リッチフローを使ってグリゴリー・ペレルマンにより2003年証明された。
ポアンカレ予想というトポロジーの非常に基本的な問題が微分位相幾何学や微分幾何学を用いて解かれたという事実は多くのトポロジストを驚かせた。
（引用おわり）
235:現代数学の系譜11 ガロア理論を読む
12/08/12 09:50:42.10
>>223
Weyl補足
URLﾘﾝｸ(ja.wikipedia.org)
ヘルマン・クラウス・フーゴー・ワイル（1885年11月9日 - 1955年12月8日）は、ドイツの数学者。ドイツ語の発音に従ってヴァイルとも表記される。
数論を含む純粋数学と理論物理学の双方の分野で顕著な業績を残した。20世紀において最も影響力のある数学者であるとともに、初期のプリンストン高等研究所の重要なメンバーであった。
彼は一般相対性理論と電磁気学を結び付けようとした最初の人物の一人であり、アンリ・ポアンカレやヒルベルトの唱えた'普遍主義'について、同時代の誰よりも深く理解していた。
特にマイケル・アティヤは、数学上の問題に取り組む際、常にワイルが先行する研究を行っていたと述懐している[1]。
1918年に、彼はゲージの概念を導入し、現在ゲージ理論として知られている最初の例を与えた。
後の研究に大きな影響を与えた彼の著書『古典群』(The Classical Groups) では、不変式論について再考し、対称群、一般線型群、直交群、斜交群と、その不変式、群表現について考察した。
（『古典群 不変式と表現』 蟹江幸博訳、シュプリンガー・フェアラーク東京〈シュプリンガー数学クラシックス 第15巻〉、2004年12月。ISBN 4-431-71125-2。）
語録
ワイルの以下のコメントは、幾分冗談を交えたものであるが、彼の人柄をよく表している。
私の仕事は、常に真実を美と統一しようとするものであった。しかし、どちらか一方を選ばざるを得ない時には、美を選んだ。
数学の究極の基礎、究極の意味についての問題は、未だに解決されていない。どの方向に進めば最終的な答えが見つかるのか、あるいは最終的な解が存在するかどうかすら分かっていない。
「数学化」は、言語や音楽と同様に、人間の高度に独創的な創造的活動の一つに過ぎず、その歴史的決定を完全に客観的に合理化するのは不可能なのかもしれない。?Gesammelte Abhandlungen より
数学の問題は、それ自身で孤立して存在するものではない……
（非述語的定義の）循環論法は、通常の集合や関数の概念の曖昧な性質に基づいた解析学に浸透し、容易に修正できない誤りとなっている。
最近では、トポロジーの天使と抽象代数学の悪魔との葛藤が、すべての数学の研究で起きている。