14/07/05 05:01:30.83
>>602
ども
>最近リンクばかりはってるけど理解はできてないやつなんなの？
１．最近ではなく、ずっと前からだよ
２．それから、”理解”について、こう思うんだ。（参考 URLﾘﾝｸ(ja.wikipedia.org) ）
「アメリカを理解する」ということを考えてみる
ネット検索をするといろいろ情報が得られる。例えば URLﾘﾝｸ(ja.wikipedia.org)
でもね、これ読んで「アメリカを理解した」と言えるかどうか
こんな程度では不足だと、実際に現地に行ってみる。しかし、行ってみても、限りがある
３．だから、人は自分に必要だと思う範囲で「理解した」ということで、日常的には成り立っている。それで良いと思うんだよね
「おれの方が深くアメリカを理解している。おれは１０年アメリカに住んでいる」と、他人のアメリカの理解を批判しても、日常的にはあまり意味ない
その他人にしてみれば、「この程度の理解で当面用は足りる。１０年アメリカに住めば理解は深まるだろうが、非現実的だ」と
４．つまりは、数学にしても、「この程度の理解で当面用は足りる。１０年この分野を研究している人の理解には及ばないだろうが」と。そういうスタンスです
要は、こっちは数学でメシ食っているわけじゃないし、ある程度の知識があって、生活や仕事に困らない程度の理解で間に合う。必要なら掘り下げる
604:１３２人目の素数さん
14/07/05 05:36:57.41
>>603 補足
>最近リンクばかりはってるけど理解はできてないやつなんなの？
１．数学板では、基本的に数学記号不可。ほぼ日常言葉しか使えない
２．そういう環境の掲示板に来て、”最近リンクばかりはってるけど”という批判が意味不明
３．昔、Kummer氏というコテの人が居て、数学の証明を苦労して数学板で書いていた。例えば下記
ｽﾚﾘﾝｸ(math板) 【Kummer's】代数的整数論024【Mathematical Note】
４．で、おれはあるとき、批判したんだよね。発言は過去スレにあるが、確か「数学記号不可の掲示板で、本格的な証明書くのが無理じゃない？」というような
５．２CHと対照的なのが、MathOverflow URLﾘﾝｸ(en.wikipedia.org) こちらは、LaTeXをサポートしているし、Terence Taoが出没している。
６．専門的にやりたいなら、MathOverflow へどうぞ
７．結局、戻るけど、数学記号不可の環境で、リンク貼りは数学的に価値ある情報を伝える大切な手段
８．TeX使えないほぼ日常言葉の板に来て、リンクばかりはってると批判するけど、主張に矛盾を感じるのはおれだけ？
繰り返すが、そういう人は”MathOverflow へどうぞ”と思うよ
605:１３２人目の素数さん
14/07/05 05:41:04.90
>>603
長年アメリカに住んでいる人のほうが
偏見が酷いかもしれない。
バランスは必要だよね。
606:１３２人目の素数さん
14/07/05 07:43:58.46
>>603 補足
>最近リンクばかりはってるけど理解はできてないやつなんなの？
理解について補足
URLﾘﾝｸ(blog.livedoor.jp)
学校では教えてくれない数学 2010年09月04日 ガロア理論を理解していないと思った瞬間（抜粋）
理解していると思い込んでいた私が、実はそうではなかったと思える瞬間がありました。
それは、以下の問題の解答がすぐに出てこなかったときです。
問題
有限次代数拡大Ｌ／Ｋ と Ｇ＝Ａｕｔ（Ｌ／Ｋ）に関して、以下の条件は同値であることを示せ。
（１）Ｌ／Ｋ は 正規拡大 かつ 分離拡大
（２）Ｌ^Ｇ＝Ｋ
（３）[Ｌ：Ｋ]＝｜Ｇ｜
（４）拡大体Ｌ／Ｋ は多項式環Ｋ[Ｘ]内のある分離的多項式の最小分解体
これって基本的ながら重要なポイントを含んでいると思い、ガロア理論を分析しながら見直して、ついてはガロア理論ミニマムの体論部分の抽出へとつながったのでした。
これが見えてくると、いろんなガロア理論の本を読んで、
・この本は分離拡大の記述（分析）がうすいなー
・あの本は、正規拡大の特徴づけの記述が偏っているなー
という比較検討ができて面白く読めるようになってきました。
と同時に、シュタイニッツ、アルチンの偉大さとガロアの思想を今世紀の数学者の多くが伝えきれていないことを痛感させられたのでした。
「（代数系を専門にしている）数学者にだって、ガロア理論の記述・説明は簡単ではない！」
（ガロアが啼いている！）
私が理解していないと思ったとき、何回も読み返しながら理解していった本が次の本です。
足立恒雄 ガロア理論講義[増補版] 日本評論社
607:１３２人目の素数さん
14/07/05 07:50:58.54
>>605
どもです。同意です。
加えて、なんのために知りたい、あるいは理解したいのか
なにか疑問に思ったからでも良いけど
で、さらに加えると、人の知と寿命は有限だから、へんに完璧を目指した理解をしようと努力しても、「アメリカを理解する」を例にしたように実用的ではないとなる場合が多い
608:１３２人目の素数さん
14/07/05 07:54:33.15
>>606
理解について補足の追加
URLﾘﾝｸ(commutative.world.coocan.jp)
ガロア理論のシナリオ あやたろう (2013年10月28日 06:49)
大学時代、将棋部に所属していて、そこにはなぜか数学科の人が多く、何かと付き合うことになった。
そこで聞いた話としては、宮野悟氏のような卓越した人はともかくとして、
平均的な数学科の学生にとって、ガロア理論や、それを応用した、５次以上の代数方程式が、一般的には代数的には解けないということの証明などを理解することが１つの目標で、しかもそれはなかなか困難だということだった。
URLﾘﾝｸ(d.hatena.ne.jp)
hiroyukikojimaの日記 2008-03-27 ガロアの定理をわかりたいならば
数学書の読みやすさとは、人によって違うと思う。
それは、「わかるツボ」というのが人によって違うからだ。幾何的なイメージなしには進むことができない人もいれば、むしろ逆に、非常に形式化されてがちがちに論理的な進み方をしないとわかったような気がしない、という人もいると思う。
だから、何か数学的な知識の必要があった場合、何冊にもチャレンジして自分に合った教科書を探すのがベストだと思う。
ぼくは、数学科のときは代数を専攻したので、ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。
おおざっぱには捉えることはできたんだけど、機微が掴めておらず、少なくとも「アタリマエ」になるほどには理解していなかったのである。（ そんなだから数学の道に挫折することになったのだけどね)。
609:１３２人目の素数さん
14/07/05 08:04:24.43
>>606
宮野 悟、小島 寛之氏について補足
URLﾘﾝｸ(ja.wikipedia.org)
宮野 悟（みやの さとる、1954年12月5日 - ）は、日本の遺伝学者[2]、情報科学者。専門は、システム生物学、バイオインフォマティクス。遺伝子ネットワーク探索研究の先駆者として知られる。
1977年九州大学理学部数学科卒、1979年同大学大学院理学研究科修士課程数学専攻修了、1979年同大学理学部助手、1985年同大博士号(理学)取得、Ph.D。「Hierarchy theorems in automata theory(オートマトン理論における階層定理)」[3]
1987年九州大学理学部附属基礎情報研究施設助教授、1993年同研究施設教授を経て[2]、1996年より東京大学医科学研究所ヒトゲノム解析センター教授、東京大学大学院情報理工学系研究科教授。
2000年から2005年にかけて(2003年3月からの1年を除く)、東京大学医科学研究所 副所長。
2013年7月、日本人として初めて ISCB Fellow に選出。[4]
URLﾘﾝｸ(ja.wikipedia.org)
小島 寛之（こじま ひろゆき、1958年 - ）は、日本の経済学者（東京大学博士（経済学））、数学エッセイスト。専門は、数理経済学。帝京大学教授。
東京都生まれ。東京大学理学部数学科卒業。中学生のときから数学者になることを夢見ていたが、大学院入試に3度落第し挫折。
東大を卒業後、塾講師となり中学生に数学を教える。
市民講座で宇沢弘文の講演を聴き（弘文の息子達とは東大数学科の同期生）、経済学と出会う。東京大学大学院経済学研究科へ進学。同大学博士課程満期退学。
2000年帝京大学経済学部専任講師、2004年帝京大学経済学部助教授/准教授、2010年帝京大学経済学部教授。
610:１３２人目の素数さん
14/07/05 08:16:49.57
>>608-609
宮野 悟、小島 寛之氏について補足して、何が言いたいのか？ それは下記
１．どちらも数学科出身だけど、数学以外の分野で活躍している
２．小島 寛之氏の方は、”ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。”という
３．宮野悟氏は、ガロア理論を理解する卓越した人だと
４．でも、どっとの行き方もありじゃない？ そのとき、自分が必要と思うだけ勉強して、チャレンジして自分なりに深いところまで理解したと思ったら。
５．戻ると、「おまえリンク貼っているけど理解できてないだろ」>>602と言いたいんだろうけど、「べつにー」「それがどうしたー」と。
６．この分野で論文書くつもりもなく、シャーロックホームズの代わりに読んでいるんで、「これで良いのだー！」と。どっかで、仕事に使えるかもしれんしね
611:１３２人目の素数さん
14/07/05 09:55:56.55
>>610
訂正
４．でも、どっとの行き方もありじゃない？
↓
４．でも、どっちの行き方もありじゃない？
612:１３２人目の素数さん
14/07/05 16:15:39.61
>>610 補足
理解について、普通二つの方策があると思う
一つは、一歩ずつきちんと理解してから次の一歩へ
一つは、分からなくとも先へ進む。先へ進むことで、「あのときのあれは、こういう意味だったんだ」と分かることも多い
普通、この二つを使い分ける
でもね、大学以上、特に社会人になったら、後者のやり方が増える。それで良いと思う。
一つ論文を読む。分からないところがある。別の論文を読む。それで分かる場合も多い。それを繰り返す。
でもあるとき、もう少ししっかり基礎固めをしようと、きちんと自分の理解を一歩一歩固める。
この二つをうまく使い分けることが大事じゃないか
613:１３２人目の素数さん
14/07/05 17:11:59.74
>>601 関連
URLﾘﾝｸ(www.alainconnes.org)
NONCOMMUTATIVE GEOMETRY AND THE RIEMANN ZETA FUNCTION Alain Connesの
P12 ”The C algebra closure of HC is Morita equivalent (cf. M. Laca) to the crossed product C algebra,”
Morita？ 検索すると下記。あまり知られていないが、森田紀一さんすごいね
URLﾘﾝｸ(en.wikipedia.org)
Morita equivalence
In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(www.ams.org)
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ﾘﾝｸ(ja.wikipedia.org)
森田紀一
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
Morita equivalence
Morita 同 値 という 概 念 はどんどんその 適 用 範 囲 を 広 げている 。
元 々 は , 森 田 紀 一 氏 によ っ て [ Mor58 ] で 導入 された 環 の 間 の 同 値 関 係 であるが , 今 や operad や groupoid など 他 の 代 数 的 構 造 や 圏 論 的 構 造 にも Morita 同 値 の 概 念 が 拡 張 さ れ , 盛 んに 使 われている 。