17/08/26 09:47:42.72 rK9paIyp.net
>>19 つづき
（睡眠はしっかり8 時間とった）。それでも田舎では十分で、成績が上位になった。それで、小学生の頃から科学や科学者に興味があった私は、東京大学に進学することにした。
だから、3 年生になったら、生まれて初めて受験勉強をした。夏休みには、東京の大手予備校の夏期講習も受講した（でも、なぜか、総武線沿いの駅前でパチンコをしていた記憶もある…父上母上ごめんなさい）。
なお、東京の人たちには、「なんで真夏に信州からこのくそ暑い東京に出てくるんだ？」と笑われたが、実は真夏の善光寺平は江戸よりも最高気温が高く、それゆえに美味しい桃
が採れるのである。
過去の入試問題を解いてみると、京都大学の入試の数学の問題が、力ずくで解くようなものでなくアイデア次第で簡単かつ綺麗に解けるようになっているのが気に入って、「自分は京大向きなのでは？」と思いはじめ、一度は京都大学に行こうと決心した。
ところが、仲の良い友人が東大の方が良いと固く信じていて、さかんに東大を薦めてきた。
田舎者ゆえに、私はそれを鵜呑みにして東大に進学したのだった。いい加減なものである。
もちろん、自分にとって京大に行った方がよかったのかどうかは永遠の謎であるが、次節に述べるようなことを考えると、その方がよかったかもしれないと思うこともある。
なお、心配したとおり、入試の数学では、変な立体の体積を力ずくで計算するという、京大ではありえない問題が出て、数学の結果は綺麗な数になるはずだと信じていた私は、その問題が解けなかったことを告白しておく。
（正解は汚らしい数だった。そんなもん解けるか！）
つづく
22:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:48:11.15 rK9paIyp.net
>>19 つづき
4. 物理学科へ
私はその２年生の秋に、どこに進学するか、大いに迷った。物理学だけでなく、応用物理学も、電子工学も、ロケット工学も興味があったからだ。
たしか、物理学科ではない学科を書いた志望届を提出しようと教務課に向かう途中で級友に会い、「え！嘘だろ、おまえは物理学科だろ？」と言われ（当時は物理学科の人気が高かった）、やっぱり自分は物理学科なのかなと思い直して物理学科に進学したのだった。
いい加減なものである。
物理学科の講義は、はっきり言って期待はずれだった。
講義の準備をほとんどしてこない先生も少なくなかったし、講義内容そのものも、上質なものは数えるほどしかなかったからだ。
それに何よりも、私が一番好きなのは、基礎的・原理的な問題である（と後年わかった）のに、当時の東大理学部物理学科は、そういう研究はしてはいけないし、考えてもいけない、という雰囲気が満ちあふれていたからだ。
たとえば、量子測定理論やベルの不等式について全く無知な「偉い先生」が、そういうものがいかにくだらないかを講義で力説していた。
何も知らないのに批判するというのは、今思えばお粗末きわまりないことなのだが、学生時代は影響されてしまった。統計力学の基礎的問題も考えてはいけないと、別の偉い先生が講義で言っていた。
また、今の学生さんには信じられないと思うが、量子論を重力を含むように拡張する研究も、当時の東大理学部物理学科では誰もやってはおらず、御法度ようなものだったのだ。
このように、雰囲気や講義には失望したのだが、嬉しかったのは、級友達がすこぶる優秀だったことである。級友達から学んだことは実に多かった。
そんなわけで、自分が興味を持てる研究分野を見つけることができないまま、私は4 年生になった。
愚かにも、東大物理学科だけを見て、物理とはこんなものだと思ってしまったのである（馬鹿でごめんなさい）
つづく
23:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:48:36.30 rK9paIyp.net
>>20 つづき
それで（デモシカですみません）、修士課程ぐらいは出ないといけないと思い、大学院に進学した。
もとより、やりたいことが決まっているわけでもなかったので、固体物理の講義で、私の質問をとても喜んで下さった、植村泰忠先生の、物性理論の研究室に行くことにした。
ちなみに、その質問のやりとりというのは、熱伝導のところで、「先生の説明だと、熱が流れたら電流も流れてしまいませんか？」と私が訝しんで質問したら「それこそゼーベック効果です」と、とても嬉しそうに答えてくださったのだ。
後で、非平衡統計力学を学んだときに、このように異なる種類の非平衡流が「クロスする」ことが一般に起こることを不思議なことだと習ったが、野蛮人には、上記のようにただちに直感できる自明なことに感じられた?2）。
植村先生は、まさしく本物の学者で、とても尊敬できる方だった。一緒に研究室活動をしていた上村洸先生を始め、植村・上村研究室のメンバーも皆紳士的な方々で、その点ではとてもよかったと思っている。
しかしながら、もともと当時の東大物理学科の研究の中に自分の興味がある分野を見いだせなかった私にとっては、研究に身が入らない状況が続いた。
それでも、層状物質の超伝導やランダム系を研究した。
そして、博士論文のテーマとして、当時の自分が想定しうる範囲内では一番面白いと思った、今風に言えば強相関3次元ランダム系（当時は、そんなもの全く流行ってはいなかったが）を
実空間繰り込みで調べるというテーマをひねり出し、なんとか博士号を取得できた。
幸いこの仕事は、当時の指導教官の上村先生（植村先生は私がＤ１のときに定年退官された）も、当時助手だった青木秀夫さんも、植村先生も褒めてくださり、一応、物理の大学院を出ただけのことはしたと、一安心した。
つづく
24:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:51:09.33 rK9paIyp.net
>>21 訂正 >>19 つづき→>>20 つづき
>>22 訂正 >>20 つづき→>>21 つづき
>>22 つづき
5. 民間企業へ
物理の研究に対する情熱を十分にはもつに至らなかった私は、Ｄ３の初夏ぐらいまでには、キヤノン（株）への就職を決めていた。
純粋物理ではないが、私が興味が持てるような何か基礎的な研究ができるのではないかと期待してのことだ。
私がそのように短絡的に考えているのをごらんになって、上村先生はとても心配してくださった。
それでなんと、とてもお忙しいのに、わざわざキヤノン中央研究所まで出向いてくださり、所長（後に社長になったあと急逝された御手洗肇氏）と、私が所属する予定の部の部長に面談をしてくださった。
それで、面談が終わった帰り道に、私に「あの所長さんなら大丈夫だ」と言ってくださった。
上村先生は、そういう暖かいお人柄の、頼りがいのある方である。
私がキヤノンに入社してまもなく、ある大学の助手に誘っていただいて迷いが生じたとき、上村先生にご相談したら「ここではこういう仕事をしましたと胸を張れる仕事を成し遂げる
までは、勤め先は変わってはいけない」と仰り、目が覚めたこともある。
このお言葉は、研究者を目指す全ての若者に、上村先生にかわって贈りたい。
入社してみると、（今はどうか知らないが）キヤノンは楽しい会社だった。
もちろん、どんな組織でも嫌な面は少なからずあるのだが、私が嬉しかったのは、（今はどうか知らないが）明るく前向きな雰囲気である。
「明るい」というのは、納涼祭の写真を見ていただけば一目瞭然だろう。
「前向き」というのは、たとえば研究テーマが採択されるかどうかの判断材料は、本人がどれくらい熱心かが大きなウェイトを占めていたのだ。
これは技術的な判断ができる上司が少なかったということもある。
しかし、もしも知識と経験がある上司達がよってたかって技術的な判断をしたとすると、どの企業も似たような研究テーマをやることになりがちだ（これは、大企業の研究テーマが
金太郎飴になっていることを見れば一目瞭然）。
だから、本人のやる気に重きを置いた当時のキヤノン中央研究所のやり方は、案外優れたやり方だったのかもしれない。
つづく
25:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:51:45.31 rK9paIyp.net
>>23 つづき
6. 研究テーマ
次に、低次元系の非線形光学応答の研究を始めた。
普通は、教科書に載っている非線形応答係数の計算公式は認めてしまって、それを具体的なモデルで計算するところから始めるのだろうが、私は原理的なところを理解しないと気が済まない質なので、非線形非平衡統計力学の勉強から始めた。
そして、教科書に載っている公式が、限られた状況でしか成り立たないことがわかり、愕然とした。
そこで、とりあえず、その限られた状況での低次元系の非線形光学応答を調べることにした。
そうして得られた予測も、若い優秀な実験家が実験してくれることになり、ほぼ予想通りの結果が得られた。
ただし、定量的には、広いエネルギー範囲の寄与を計算することの困難から、十分には解明できない点も残った。
つづく
26:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:53:08.23 rK9paIyp.net
>>24 つづき
7. 興味がある研究対象の発見
学部生のときに「量子測定理論なんてくだらない」と習ったのに、実際には正反対で、精度が高い実験の結果は、量子測定理論なくしては理解不可能だったのだ！
そのことを骨の髄まで味わったのは、実際にこの方向の研究を始めてからだった。
ある日私は、野蛮人の直感で、メゾスコピック電子干渉計をうまく構成すれば、光子数の量子非破壊測定ができそうだと思いついた。
ところが、それを理論計算で実証しようとして愕然とした。どうやって計算して良いのか私にはさっぱり分からなかったのだ。
しかし、全ての物理系が量子論で記述できるのであれば、測定器だって物理系だから、測定の反作用や測定誤差も、原理的には量子論で計算できないとおかしい。
それなのにどうやって計算していいか分からないというのは、私の量子論の理解に大きな穴があったということを意味する。
私はそれまで、まわりの物理学者と比べて、量子論の理解において自分が劣っていると感じたことは一度もなかったのに、「おまえは実はわかっていない」という事実を初めて突きつけられたのだ！
それまでの私は、「普通の」物理の問題（ハバードモデルとか超伝導とか電気伝導とか励起子）しか扱ってこなかったので、その事実に気づか�
27:ﾈかっただけだったのだ。 そこで、量子測定理論を含めて、量子論を一から勉強し直した。 後に量子論の教科書を書いたときに、（拙著「新版量子論の基礎」7.4 節などに）量子論の根本原理に関して様々な立場を俯瞰して書くことができたのは、このときの修練が役立っている。 つづく
28:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:53:35.78 rK9paIyp.net
>>25 つづき
さて、この測定器の測定誤差の物理的な由来はなんだろうと分析してみると、非平衡状態における、量子干渉電流の揺らぎであることが分かった。
そしてそれが、この測定器に限らない、一般の量子干渉デバイスの原理的な性能限界を決めることに気づいた。
ちょうど熱力学が熱機関の原理的な性能限界を決めるように、量子論が量子干渉デバイスの普遍的な性能限界を決めるのだ。
そしてこれは、非平衡状態における揺らぎが関与するので?4）、非平衡統計力学の基本的問題にも関わっていた。
この、応用から基礎物理学の広い範囲にわたる壮大な繋がりが見えたとき、私はようやく、自分が興味を持てる研究対象を発見したと感じた。
私が興味があるのは、物理学のどの分野なのかとか、純粋物理のテーマなのか応用物理かというような、社会的な（？）ことを一切無�
29:汲ｵて、原理的・基礎的なことを研究することにあったのだ。 それがわかるまでに、ずいぶんと遠回りをしたものである（馬鹿ですみません）。 つづく
30:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 09:54:05.21 rK9paIyp.net
>>26 つづき
8. 大学へ
こうして自分が興味を持てる研究対象を発見してしまったら、民間企業は居づらくなってきた。
（本当はそんなに単純な話ではないのだが、もはや与えられた紙数を超過してしまったので、ばっさり省略させていただく。）
(引用終わり)
以上
31:１３２人目の素数さん
17/08/26 10:02:26.88 VdMBsVBO.net
「箱入り無数目」まとめ
注）箱の中身は簡単のため１～６の６種類とする
数列 ○○･･･○○●●●・・・
○ 決定番号より前（予測不能）
● 決定番号以降 （予測可能）
数列の中身がｉ、代表列の項の中身がｊ、
の確率をＰｉｊとする
○ 数列と代表列が相違の場合
（注：決定番号の直前の箱を除く）
(P11 P12 P13 P14 P15 P16)
(P21 P22 P23 P24 P25 P26)
(P31 P32 P33 P34 P35 P36)
(P41 P42 P43 P44 P45 P46)
(P51 P52 P53 P54 P55 P56)
(P61 P62 P63 P64 P65 P66)
=
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
対角線成分の和 1/6
（続く）
32:１３２人目の素数さん
17/08/26 10:03:10.43 VdMBsVBO.net
>>28の続き
● 数列と代表列が一致の場合
(P11 P12 P13 P14 P15 P16)
(P21 P22 P23 P24 P25 P26)
(P31 P32 P33 P34 P35 P36)
(P41 P42 P43 P44 P45 P46)
(P51 P52 P53 P54 P55 P56)
(P61 P62 P63 P64 P65 P66)
=
(1/6,0,0,0,0,0)
(0,1/6,0,0,0,0)
(0,0,1/6,0,0,0)
(0,0,0,1/6,0,0)
(0,0,0,0,1/6,0)
(0,0,0,0,0,1/6)
対角線成分の和 1
「箱入り無数目」記事によれば
数列(n-1)個分の決定番号の最大値 d_max としたとき、
その後にとった数列の決定番号dについて
d>d_max
となる確率は1/n
つまり数列のd_max番目の箱について確率Pijは
i=jのとき (1/6)*((n-1)/n+(1/6n))
not(i=j)のとき (1/6)*(1/6n)
対角線成分の和 (n-1)/n+(1/6n)
33:１３２人目の素数さん
17/08/26 12:04:20.67 Si9BZBnQ.net
何スルーしてんだよ？
自分に都合の悪いレスをスルーするくらいならスレ立てんなよカス
スレ主に質問
・Nには最大値が無い
・Nの有限部分集合には最大値がある
ここまで同意？
では
{0},{0,1},{0,1,2},・・・{0,1,..,n},・・・
と元を一つずつ増やしていって最終的に N に達するなら、n がいくつの時に最大値が無くなるのですか？
具体的な自然数で答えて下さい。
34:１３２人目の素数さん
17/08/26 13:44:52.17 Si9BZBnQ.net
ほれ、とっとと削除依頼出してこいカス
35:１３２人目の素数さん
17/08/26 15:42:38.04 VdMBsVBO.net
URLﾘﾝｸ(rio2016.2ch.net)
URLﾘﾝｸ(rio2016.2ch.net)
の主張は、”有限個”云々の無駄な手間を省けば
「数列のほぼ全ての項が
決定番号以前（つまり>>28-29の○の箇所）」
ということだが、肝心の証拠がない
そもそも数列の同値関係および決定番号定義によれば、
数列の項は有限個を除いて決定番号以降（>>28-29の●）
であるし、「箱入り無数目」の方法によれば
選んだ項が●である確率は(n-1)/nとなるが
この点について何も反論できてない時点で
＜ステップ５＞は全く無意味な戯言である
36:１３２人目の素数さん
17/08/26 16:22:51.82 zCWlZGMH.net
運営乙
37:１３２人目の素数さん
17/08/26 18:26:19.44 VdMBsVBO.net
このスレッドは別名「idiotの墓」
「おにいちゃん、なんで>>1すぐ間違ってしまうん…」
38:１３２人目の素数さん
17/08/26 18:33:40.19 Si9BZBnQ.net
/::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::＼
/:::::::::::::::::::ノ￣ﾍ::::::;―､::::::::::::::::::::::::ﾍ
/:::::::::::;-'￣ ￣ ￣ヘーｧ:::::::::i
i:::::::::彡 ﾐ:::::::::::ﾍ
|:::::::ﾒ ........ ......, ヾ:::::::::::|
|:::ノ / ヽ ／ ヽ ミ::::::::::|
|::| / ＿ ＿ ヾ::::::l
|::| イ(:::)ヽ イ(:::)メ |::::::|
|ﾉ i `ｰ'ノ i ヽ` ~ ｲ::イ
| j } ~~ ﾉ; い
ゝ:.:.{: . : . γ ,､ ）､ i丿
厶:.:.ヾ : . ` ''` ~ ヽ ﾉつ
／i:.:.:.:. : . ,＿ i /
／ ﾍ:.:.:. : . i ﾊﾆエ!-!‐ヽ | ,ｲゝ､＿_
／| ﾍ:.: . │〈.:.:.:.:.:.:.:.:.:.:ﾉ ﾉ / ＼:;:- ､ _
／:;:;:;:;ヽ ヽ ! ヾｴｴEｧ´ / i:;:;:;:;:;:;:;＼
／:;:;:;:;:;:;:;:;:;:ヽ ＼ ゝ､::::::::::: ' ノ |:;:;:;:;:;:;:;:;:;:;ﾍ
／:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;ヽ ＼ ／ /:;:;:;:;:;:;:;:;:;:;:;:;:;i
:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:ヽ ` ー--― ' /:;:;:;:;:;:;:;;:;:;:;:;:;:;:;:;ヽ
:;:;:;:;:;:;:;:;::;:;:;:;:;:;:;:;:;:;:;:;:;:;:;＼ /:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;;|
:;:;:;:;:;::;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;＼ /:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;|
削除♪削除♪♪
さっさと削除～♪♪しばくぞｯｯ♪♪♪♪
39:１３２人目の素数さん
17/08/26 19:45:34.93 QOeCKACc.net
まぁ、頑張りなさいねェ～
40:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 20:28:53.43 rK9paIyp.net
ゴミレスは流します（＾＾
URLﾘﾝｸ(reuler.blog108.fc2.com)
og-entry-2486.html
新数学人集団(SSS)の時代 ノート40 数学のアイデアとフォックス・テリア
2017-02-06 新数学人集団（SSS）の時代 コメント
ヴェイユは座談会の間にさかんにお菓子をつまみ、サンドイッチも食べたりしたのですが、まだ食べ足りないというので、座談会の終了後、みなで出かけました。座談会そのものは共同研究をめぐる論議で終了したのでしょう。意見はかみあわず、もっぱらヴェイユの大演説を拝聴する集まりになったという印象があります。
本郷の喫茶店はどれもせますぎました。それでぞろぞろとお茶の水まで歩き、あるレストランに落ち着いて、ビールを飲みながら話を続けました。
SSS
あなたは物理学に興味をもっているか。
ヴェイユ
全然もっていない。私には物理学は理解できない。
SSS
フランスの応用数学が不振なのは？
ヴェイユ
それはフランスの教育制度の欠陥のためだ。昔はフーリエをはじめすぐれた応用数学者がいたが、現在の制度では応用数学が発展することは望めない。もし制度が変ればまた発展するだろう。
SSS
数学には芸術と似たところがあると思わないか。私は絵に興味をもっているのだが。
ヴェイユ
似たところがあるどころではない。数学もひとつの芸術なのだ。
SSS
絵画におけるアブストラクトと数学のアブストラクトは関係があると思う。
ヴェイユ
名前が同じという以外に共通なものは何もない。私は両方について話すことは好きだが、いっしょにはできない。
SSS
あなたはさかんにアイデアというが、アイデアとはいったい何だ。
つづく
41:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 20:29:40.05 rK9paIyp.net
>>37 つづき
ヴェイユ
アイデアを定義することはできない。ちょうどフォックス・テリアにねずみは何かと聞くようなもので、彼はねずみを定義することはできないが、においをかげばわかる。アイデアも、論文の中から嗅ぎ出すことができるものなのだ。人によって上手、下手はあるが。
SSS
他人の仕事をフォローした論文の中にもアイデアはあるのか。あなたは以前、小平（邦彦）はホッジの仕事をフォローしていたと言ったそうだが。
ヴェイユ
これはフォックス・テリアの問題で、場合により違う。たとえばガロアの研究の萌芽はラグランジュやその他の人の中に見られ、彼はそれをフォローしたとも言えるのだが、どんな貧弱なフォックス・テリアでも彼の論文の中に非常にすぐれたアイデアを嗅ぎ分けることができる。
一方、小平の調和積分についての最初の大きな論文はホッジの研究をフォローしたものだが、そこにあるのは巧妙なテクニックだけで、自分はその中にどんなアイデアも嗅ぐことはできない。
アイデアとは何かと問われて、ヴェイユは「フォックス・テリアにねずみは何かと聞くようなものだ」とおもしろいたとえを持ち出して応じました。答えているとは言えませんが、答えることのできない問いでもあり、数学は論理や言葉を超越した場所から生れてくると言いたいのでしょう。
SSS
アイデアはどんな人に浮かぶのか。
ヴェイユ
アイデアに値する人にだ。それに値する人とは、アイデアなしに長い間研究を続けることに耐える秘訣を心得た人だ。
アイデアはインスピレーションのように浮かんでくるものではない。ボレルがよい例で、彼は若いころ天才だと思われていたので、アイデアがインスピレーションのように浮んでくるものと思ってあまり努力せずにそれを待っていたので、結局たいしたことはできなかった。
だから才能だけではだめで、持ちこたえ、努力を続けていくことのできる性格の力も必�
42:vなのだ。また環境も重要だろう。 以上
43:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 20:49:05.51 rK9paIyp.net
ゴミレスは流します（＾＾
URLﾘﾝｸ(reuler.blog108.fc2.com)
新数学人集団(SSS)の時代 ノート41 谷山さんの「ヴェイユの印象」より 2017-02-11 新数学人集団（SSS）の時代
アイデアを定義することはできませんが、アイデアはアイデアに値する人にのみ浮かぶとか、「才能だけではだめで、持ちこたえ、努力を続けていくことのできる性格の力も必要なのだ」とか、ヴェイユの言葉はいかにも力強く耳に響きます。
SSSとヴェイユとの会話はまだ続きますが、だんだん四方山話のようになっていきました。レストランが閉まる時間になるまで話を続け、それからA、S、Tの3人がホテルまでヴェイユを送っていくことになりました。
その途中でも話し続け、ホテルに着くと、今度はホテルのバーの一隅でまた話を続けて深夜12時ころに及びました。最後にお別れしてホテルを出ると、3人ともくたくたに疲れ切り、冷たい夜風が心地よかったということです。ヴェイユは10月25日の火曜日に、午後9時半の飛行機で羽田を発ちました。
SSSは来日した外国人数学者と積極的に語り合おうとして、さかんに集会を重ねました。9月5日はまだ開会式も行われていないにもかかわらず、セールを囲んで座談会を開きました。
東大学士会館で5時から7時まで。41名の出席がありました。9月15日にはラマナタンを囲んで座談会。場所は東京工業大学の一室。4時から5時まで。出席者は50名。9月22日にはドイリングを囲む座談会。場所は東京新橋の蔵前工業会館。5時から7時まで。出席者数の記録はありません。
9月23日はブラウワーとネロンを囲む座談会というよりも交歓会。午後5時から東京第二丸ビル地下のレストラン「ポールスター（pole star）」でビアパーティを開き、そこに招待するという恰好でした。シュバレーも招待したのですが、シュバレーは病気になったようで、早々に帰国したため参加できませんでした。
38名の出席者がありました。9月28日はアルティンを囲む座談会。アルティンを招いて遠足を計画したのですが、雨のため中止とオイラーなり、座談会に切り替えました。場所は東大教養学部の職員集会所。18名の出席者がありました。
つづく
44:１３２人目の素数さん
17/08/26 20:49:38.98 Si9BZBnQ.net
/::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::＼
/:::::::::::::::::::ノ￣ﾍ::::::;―､::::::::::::::::::::::::ﾍ
/:::::::::::;-'￣ ￣ ￣ヘーｧ:::::::::i
i:::::::::彡 ﾐ:::::::::::ﾍ
|:::::::ﾒ ........ ......, ヾ:::::::::::|
|:::ノ / ヽ ／ ヽ ミ::::::::::|
|::| / ＿ ＿ ヾ::::::l
|::| イ(:::)ヽ イ(:::)メ |::::::|
|ﾉ i `ｰ'ノ i ヽ` ~ ｲ::イ
| j } ~~ ﾉ; い
ゝ:.:.{: . : . γ ,､ ）､ i丿
厶:.:.ヾ : . ` ''` ~ ヽ ﾉつ
／i:.:.:.:. : . ,＿ i /
／ ﾍ:.:.:. : . i ﾊﾆエ!-!‐ヽ | ,ｲゝ､＿_
／| ﾍ:.: . │〈.:.:.:.:.:.:.:.:.:.:ﾉ ﾉ / ＼:;:- ､ _
／:;:;:;:;ヽ ヽ ! ヾｴｴEｧ´ / i:;:;:;:;:;:;:;＼
／:;:;:;:;:;:;:;:;:;:ヽ ＼ ゝ､::::::::::: ' ノ |:;:;:;:;:;:;:;:;:;:;ﾍ
／:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;ヽ ＼ ／ /:;:;:;:;:;:;:;:;:;:;:;:;:;i
:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:ヽ ` ー--― ' /:;:;:;:;:;:;:;;:;:;:;:;:;:;:;:;ヽ
:;:;:;:;:;:;:;:;::;:;:;:;:;:;:;:;:;:;:;:;:;:;:;＼ /:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;;|
:;:;:;:;:;::;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;＼ /:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;|
削除♪削除♪♪
さっさと削除～♪♪しばくぞｯｯ♪♪♪♪
45:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 20:50:26.23 rK9paIyp.net
sage
46:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 20:50:34.02 rK9paIyp.net
>>39 つづき
これらの座談会や交歓会の記録は『月報』に記載されていますが、ヴェイユ以外の人たちとの座談会は雑談の域を出ず、どうもおもしろみに欠けています。というよりもヴェイユだけがやはり特別の人物で、SSSに及ぼした衝撃ということを考えてもあまりにも巨大でした。
日本数学会の機関誌『数学』の第7巻、第4号に谷山さんのエッセイ「A.Weilの印象」が掲載されています。書き出しの数行は次のとおりです。
≪冷い風と雨の吹き付ける夜の羽田からWeilの乗った日航機が飛立つたとき、これで遂にサヨナラだと思つた。実際、彼が日本にいると考えただけで、僕等は何となく落着けなくなるのだった。彼の与えた印象は、余りにも強過ぎたのである。≫
以下、摘記してみます。
・ヴェイユの数学上の活動は多方面にわたっているが、その方法も多様である。埋もれた多くのアイデアの発掘、新しい概念の構成による時の大問題への挑戦（もちろん常に成功とはいえないが）、多くの実験による新しい事実の発見ないしそれ自身の法則性をもつ関数の育成など。ひとくちに理論家といっても、その幅はきわめて広い。
・だが、ヴェイユの才とエネルギーをもってしても、数学全般に、あるいは芸術全般に精通することは不可能であろう。彼の理論がときとしてきわめて常識的、皮相的になるとしてもやむをえない。
・そもそも彼は豊富な常識の持ち主なのだ。≪この‘特異なる性格’、‘我儘で附合いにくい天才’が、人の及ばぬ高みに、深く澄んだ自由の空気を呼吸しながら掴つている氷河から離れて、忽ちにして常識円満な社会人となるのを、僕は何度か見た。≫
ヴェイユの衝撃に耐えながらヴェイユを語り続ける谷山さんの言葉が続きます。
以上
47:１３２人目の素数さん
17/08/26 21:05:58.44 zCWlZGMH.net
コピペ馬鹿の運営乙
48:１３２人目の素数さん
17/08/26 21:06:51.49 zCWlZGMH.net
奴隷根性のパクり野郎乙
49:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/26 21:36:35.77 rK9paIyp.net
ご苦労さん
自分が運営だろ？
数学的に無意味なカキコだ
50:１３２人目の素数さん
17/08/26 22:18:35.34 Si9BZBnQ.net
一番無意味なのはお前だよ だから削除依頼出して来い
51:１３２人目の素数さん
17/08/26 22:49:29.49 5+gzDeWi.net
>>13
そもそも(有限個から無限個に増やすのではなくても)帰納法を使うなら後者関数をsuc(a)とすれば
{n+1番目のサイコロの出目} = suc(n番目のサイコロの出目)と予測できることになるから矛盾している
サイコロの出目がランダム = n回の出目からn+1回目の出目が予測できない = サイコロの出目の後者関数が存在しない
52:１３２人目の素数さん
17/08/27 00:59:48.46 aAvVJeay.net
自然数をわからないidiotに時枝は無理ゲー
53:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:00:13.42 iIK8Y/8u.net
＜ヴェイユ＞
過去スレ39 ｽﾚﾘﾝｸ(math板:117番)
> 指導者がいないとSSSが訴えかけると、自分も若いころはそうだったとヴェイユが応じました。指導者がいなければひとりでやればいいではないかと言わんばかりの発言で、このあたりのSSSの心情は伝わらなかったのでしょう。
> SSSはヴェイユとの座談会を企画していて、 それに先立って、日本数学界の特殊事情を多少知っておいてもらうほうがよいと対策委員会が判断し、ヴェイユに宛てて一通の手紙を書くことになりました。
のつづき
手紙の要旨を摘記します。
・日本では経済的理由と、研究者としても地位が非常に少ないことのために、研究を続けることのできる人は非常に少ない。一方、研究を志す人の数は、それに比べると相対的に非常に多い。従って、幸いにチャンスを得た若干の人たちを除くと、大部分は失業するか、あるいは研究を断念して別の職につくことになる。
・チャンスを与える権利を握っている教授層は古い固定観念にとりつかれた、高度に保守的な人びとの集まりである。この古い観念が少数精鋭主義と呼ばれるものである。これは多くのよくない傾向と結果を生んできた。
ヴェイユを相手に日本における数学研究の状況を訴えかけるSSSの言葉が続きます。
(引用終り)
つづく
54:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:01:59.54 iIK8Y/8u.net
>>49 つづき
URLﾘﾝｸ(reuler.blog108.fc2.com)
日々のつれづれ オイラー研究所の所長 高瀬正仁
新数学人集団(SSS)の時代 ノート36 池の端の散歩 2017-02-02
SSSがヴェイユに宛てた手紙の主旨は日本の数学界の現状を伝えることですが、全体になんだか愚痴をこぼしたような印象もあり、どのような効果をねらっていたのか、よくわかりません。
10月22日はSSSとヴェイユの座談会が行われる日でした。この日、ヴェイユは東大の数学教室で午後3時半から1時間、個人的な�
55:fィスカッションを行ったということです。 どのようなディスカッションだったのか、詳しいことは不明ですが、SSSのメンバーのSさんとTさんもディスカッションに加わったようで、終了後、3人で上野の不忍池の端を散歩しました。 座談会が始まる前のことで、この散歩は50分ほど続きました。おりしも夕闇のせまりつつあるころで、晩秋の池の端には一種の詩情がただよっていたそうですが、ヴェイユはそんなものには目もくれず、SさんとTさんを相手にして滔々とお説教を続けました。 そのお説教は英語でした。二人とも英語を聴き取ろうとするだけで精一杯で、ほとんど口をはさむこともありませんでした。 以下、ヴェイユのお説教を再現します。 ヴェイユ 今日出席する人の中にボロボロはどのくらいいるか。 SSS 少なくとも半分以上はいると思う。 ヴェイユ 今の教育がよくないという実例があるのか。 SSS 例えばある学生は正規のゼミナリーでは全然伸びなかったが、独立に別の部門をやるようになってからはじめて才能を伸ばすことができた。これはほんの一例だ。 つづく
56:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:03:31.51 iIK8Y/8u.net
>>50 つづき
ヴェイユ
それは制度の問題か。雰囲気の問題か。
SSS
これは雰囲気の問題だ。しかし制度のよくない例もある。
ヴェイユ
どんな制度にもよくないところはある。そしてある制度のために直接被害を受けた人はその制度を悪くいうもので、その気持ちは一般的に理解されうるものだ。しかし同じ程度に被害をこうむっても、その原因はさまざまであることがある。たとえばある人がナチの収容所に放り込まれて・・・（この例は日本人にはよく理解できないと考えたのか、まもなく別の例に変る。）
たとえばある人が何の罪もないのに裁判にかかり、判事の誤判のため2年間禁固されたとする。また、他の人は病気のためそれだけの期間安静を強いられるかもしれないし、また別の人は医者の誤診のためそうするかもしれない。
どの場合でも2年間動けなかったのいう事実は同じだが、その受け取り方はあ場合場合で異なり、しかもなぜ異なるかをわれわれは理解することができる。
だれも細菌の悪口は言わないが、まちがえた判事や医師のことは非常に悪く考えるだろう。
しかもその場合でも、医師と判事とでは、悪く感じ方が違う。
それは、そもそも判事は誤判しないことを期待されて、またそうできると考えられているからだ。
ヴェイユの長広舌がえんえんと続きます。
(引用終り)
57:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:14:07.30 iIK8Y/8u.net
>>49
「・日本では経済的理由と、研究者としても地位が非常に少ないことのために、研究を続けることのできる人は非常に少ない。一方、研究を志す人の数は、それに比べると相対的に非常に多い。従って、幸いにチャンスを得た若干の人たちを除くと、大部分は失業するか、あるいは研究を断念して別の職につくことになる。
・チャンスを与える権利を握っている教授層は古い固定観念にとりつかれた、高度に保守的な人びとの集まりである。この古い観念が少数精鋭主義と呼ばれるものである。これは多くのよくない傾向と結果を生んできた。」
これ、1955年当時のことですが、62年後の現在でも当てはまりそうです（＾＾
58:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:16:40.34 iIK8Y/8u.net
>>50
"ヴェイユ
今日出席する人の中にボロボロはどのくらいいるか。
SSS
少なくとも半分以上はいると思う。"
「数学板にボロボロはどのくらいいるか。
少なくとも半分以上はいると思う。」（＾＾
59:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:24:22.33 iIK8Y/8u.net
>>51
”たとえばある人が何の罪もないのに裁判にかかり、判事の誤判のため2年間禁固されたとする。また、他の人は病気のためそれだけの期間安静を強いられるかもしれないし、また別の人は医者の誤診のためそうするかもしれない。
どの場合でも2年間動けなかったのいう事実は同じだが、その受け取り方はあ場合場合で異なり、しかもなぜ異なるかをわれわれは理解することができる。
だれも細菌の悪口は言わないが、まちがえた判事や医師のことは非常に悪く考えるだろう。
しかもその場合でも、医師と判事とでは、悪く感じ方が違う。
それは、そもそも判事は誤判しないことを期待されて、またそうできると考えられているからだ。”
「しかもその場合でも、医師と判事とでは、悪く感じ方が違う。
それは、そもそも判事は誤判しないことを期待されて、またそうできると考えられているからだ。」
なんで、”医師と判事とでは、悪く感じ方が違う”？
ああ、続きがありましたね
URLﾘﾝｸ(reuler.blog108.fc2.com)
新数学人集団(SSS)の時代 ノート37 池の端の散歩の続き 2017-02-04
ヴェイユの話を続けます。
つづく
60:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:27:02.06 iIK8Y/8u.net
>>54 つづき
ヴェイユ（続）
裁判制度はどうしても必要な制度だが、それがある限りある程度の誤判は避けられない。一般に、ある制度の欠陥を完全になくそうとすると非常に多くの努力が必要になり、得られるべきその成果に釣り合わない。しかし制度が非常に悪くなって、弊害が続出するようになったら改革が必要になる。どの場合にも弊害と努力とを秤にかけて考えなければならない。
たとえばフランスの一般教育制度は非常に悪くて、私はすぐにも改革に手をつけるべきだと考えているのだが、いろいろな理由によって、そのような改革は実際には決して行われないだろうと感じている。
こんなこともある。一般に入学者を選抜しなければならばならない以上、入学試験により選抜することはわりあいよい方法なのだが、やはり不公平が起る。
フランスの試験官はその点非常に神経質で、カルタンなど、採点に不公平のないようにするため非常に多くの時間をそれに費やすが、私はつねづね、それはディオファントス間の浪費だと忠告しているのだ。
なぜなら試験を不公平にする要素はいろいろあって、ある学生は当日風邪をひいて頭が痛いかもしれず、他の学生は前日けんかしてむしゃくしゃしているかもしれない、等々。カルタンがどんなにがんばっても試験場の学生の風邪をなおすことはできない。・・・
どの試験にもつきものの、試験問題を偶然よく知っていたか否かによる重大な不公平の要素は抜きにして考えてもそうだ。だから、採点だけにある程度以上の公平さを求めて、あまりにも多くの時間を使うのは時間の浪費というものだ。
ヴェイユのいろいろな例をひいって大演説を繰り広げましたが、数学の場での、「ガウスのようにはじめよ」とか、「まずリーマンを読むべきだ」というようなはっとさせらる言葉の数々とは違って、全体に凡庸な印象の発言が続きました。
略
総じて、数学に心を寄せる者はだれでも数学に打ち込めるような制度であってほしいというのが、SSSの人たちの率直な心情だったのではないかと思います。
大学院なども、少数精鋭などといわずに門戸を広くしてほしいと望んでいたのであろうと思われますが、現実にはそのようになっていませんでした。略
(引用終り)
以上
61:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 06:50:20.78 iIK8Y/8u.net
時枝問題は、実質前スレ39で終わりました
>>13 ご参照
62:￥氏
17/08/27 07:24:06.00 1CP0LksB.net
そのWeil先生の仰られる事は良く判るし、またフランスの数学を立ち上げられて、そして世界
最高水準に導かれたE.Cartan先生のお考えも非常に重たいですよ。あのCartier氏は私に、
「現代フランスの優秀な数学者は、その全てがCartan門下である」と言ってましたが、ソレ位
にあの大Cartanの見識が高かったという事かと。でもフランス人の気質は日本人のそれとは
『全く違う』（ほぼ真逆であり、その中間がアメリカ人と思う：ココはConnes氏と私は同意見）で
あり、そして：
★★★『現状の日本の大失敗の原因は、「気質の違いを無視してアメリカの制度を
そのままコピーして真似た」という文科省役人の誤った判断に拠る悪い制度』★★★
だと私は思います。だからこれからどうするべきかは（外国の制度の真似とか外国の大物の
言い分を鵜呑みにする、ではなくて）『自力で問題点を分析する事』でしかない筈です。
なので参考にすべきは（私がかつて芳雄を論理分析した、みたいに）：
１．虚偽申請騒動、引用６騒動など。何故こうなるのか？
２．現状の（レベル低下した）数学科大学院にはどういう問題点があるのか？
３．STAP騒動とか、また昨今の「捏造論便で昇進」とか。
４．森友・加計問題が生じる、その「背後にアル構造」を論理分析する。
みたいな事をきちんと論理的に理解し、そして『何処をどうスルべきか』を真面目に考えるしか
ないでしょうね。どっちにしろ、自分達で納得した方向にしか改革なんて出来ない筈だしね。
そうしないと、この国はもう二度と立ち上がらないよ。
￥
追加：私はネット越しに見てますので。
63:￥氏
17/08/27 07:39:29.57 1CP0LksB.net
訂正：
捏造論便 ⇒ 捏造論文
￥
追加：捏造修論とか捏造博論なんかもありそうで、笑えませんね。低能修論とか低能博論な
らナンボでもありますが。（コレが駅弁でだけならば、放置しとけばいいんだけどサ…）
64:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 08:31:49.65 iIK8Y/8u.net
>>57-58
￥さん、どうも。スレ主です。
「でもフランス人の気質は日本人のそれとは
『全く違う』（ほぼ真逆であり、その中間がアメリカ人と思う：ココはConnes氏と私は同意見）で
あり、そして：
★★★『現状の日本の大失敗の原因は、「気質の違いを無視してアメリカの制度を
そのままコピーして真似た」という文科省役人の誤った判断に拠る悪い制度』★★★
だと私は思います。」
ここ、
ヴェイユ先生の(>>55)
"一般に、ある制度の欠陥を完全になくそうとすると非常に多くの努力が必要になり、得られるべきその成果に釣り合わない。しかし制度が非常に悪くなって、弊害が続出するようになったら改革が必要になる。どの場合にも弊害と努力とを秤にかけて考えなければならない。
たとえばフランスの一般教育制度は非常に悪くて、私はすぐにも改革に手をつけるべきだと考えているのだが、いろいろな理由によって、そのような改革は実際には決して行われないだろうと感じている。"
と類似ですね。
”いろいろな理由によって、そのような改革は実際には決して行われないだろう”と（＾＾
「だからこれからどうするべきかは（外国の制度の真似とか外国の大物の
言い分を鵜呑みにする、ではなくて）『自力で問題点を分析する事』でしかない筈です。」
同意です。医者が、患者を診断してから、薬を処方するがごとし。診断なくして、薬を処方しても、良くなる可能性は低い
工学も同じ発想です。きちんと、（数学の）現場・現物を見て、対策を考えるべし
ですが、ヴェイユが仰っている通りで、改革の実行はなかなかです
行政を動かすには、いろんなところで、議論する必要がありますから
一つは民主主義であり、もう一つは役人は「焼け太り」指向で、なにかあると「権限拡大」指向ですからね
が、なにもしないより、ましでしょう
65:１３２人目の素数さん
17/08/27 09:09:18.72 dV3FQJg2.net
あ
66:１３２人目の素数さん
17/08/27 09:10:19.25 dV3FQJg2.net
あ
67:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 09:10:33.21 iIK8Y/8u.net
>>13 補足
「無限公理」の話は、１年前の過去スレ23辺りから何度も繰り返している話だよ（下記ご参照）
過去スレ23
ｽﾚﾘﾝｸ(math板:174番)
174現代数学の系譜11 ガロア理論を読む2016/09/23(金) 23:42:40.64ID:GIjvvAs5
以前にも紹介したが、渕野昌先生の下記でも読んでたもれ
URLﾘﾝｸ(fuchino.ddo.jp)
（元のこちらはリンク切れ URLﾘﾝｸ(math.cs.kitami-it.ac.jp) ）
数学と無限? 無限のパラドックス 2007 年7 月11 日 渕野昌
(抜粋)
「無限」を扱かう数学は大きな成功を収めている．その一方で，
有限のアナロジー（類推）で無限を考えてゆくと，ひどく奇妙な
現象があらわれることがある．それらが何を意味しているのかに
ついて考察する．
ｽﾚﾘﾝｸ(math板:215番)
215現代数学の系譜11 ガロア理論を読む2016/09/24(土) 12:49:52.40ID:3dsOB3y4
>>205
おっちゃん、どうも。スレ主です
理論展開「順」の話であれば、ZFCで、まず空集合があって、空集合の集合から{0}が定義され、１が定義される。１の後者として２が定義され、ｎが定義される。任意のｎに後者がある。繰り返すことと無限公理により、自然数全体の集合、つまり加算無限集合が構成される
”繰り返す”ことと”無限公理”の部分が、数学的には極限、つまり「lim n→∞」ってことじゃないのか？
つまりは、極限操作があって、自然数全体の集合が構成できるわけだよ。その後有理数が構成され、実数が構成される
よって、時枝問題を考えるときも、「箱が可算無限個ある」>>190と言われたら、その瞬間に最初に極限操作が浮かぶべし。ZFCをベースにする限りは
最初に、極限操作と加算無限集合ありきと思うがね
>>120で言いたいことはそういうこと
極限操作と加算無限集合ありきは、ごくごく初期だよ。ZFCによる数学構築の
68:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 09:16:31.71 iIK8Y/8u.net
>>62 補足
<無限公理>
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
坪井明人 University of Tsukuba
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
学部（数学類）関連
URLﾘﾝｸ(www.math.tsukuba.ac.jp)
数理論理学II
つづく
69:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 09:17:28.07 iIK8Y/8u.net
>>63 つづき
URLﾘﾝｸ(ja.wikipedia.org)
無限公理
無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。
定義[編集]
ZF公理系における公式な定義は次の通りである。
空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：
∃A(Φ∈A ∧ ∀x∈A(x∪{x}∈A))
解釈と帰結[編集]
上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。
まず定義中の集合 A は以下の性質を満たすことを確認できる。
略
各手続きで得られた集合を要素とする集合を B:={Φ ,{Φ},{Φ ,{Φ}},・・・}} とおくと、 B は A の部分集合である。
この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、 B は有限集合であり、 A not ＝ B である。
なぜならば定義により B ∪ {B} ∈ A であるが、 B ∪ {B}not∈ B となるからである。
一方 A が有限集合であれば、この手続きを繰り返すことで B が A よりも多くの要素をもつことができてしまう。 従って A は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。
上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）
(引用終り)
つづく
70:１３２人目の素数さん
17/08/27 09:18:14.35 aBlHRpuo.net
おっちゃんです。
ここは物理や工学の雑談のスレになったんだろう。
殆ど代数オタクといっていいようなヴェイユを取り上げるのはやめた方がいい。
あと、\は気質でしか日本人やフランス人などの民族や国家を比較してなく、
日仏の気候や環境などの色々な要素を比較して民族の気質や国家を結論付ける話は
見たことがないから、\の民族や国家社会の考察は当てにならない。
日本で地震が起こる回数がフランスの地震の回数よりずっと多いことを見落としている。
地震が起こり易い環境だと、一人では不安で共同体を作って生活したり
よい国家を形成してもまた地震でダメになるという刹那的になったりする気質になり易い。
日本人は他民族に比べて怯え易い民族のようである。これも地震回数が多いことが影響している。
江戸時代のような建築の構造では、比較的弱い地震でもすぐダメになって壊れたであろう。
強い地震はいつ起こるか分からない。そのため、仲間が集まったり共同体を作り易い傾向が昔からあった。
このような環境では、フランス人のような個人主義の考え方など日本で根付き易い訳がない。それは遥か昔からだ。
このように、地震回数が日本人の気質や国家社会に与えて来た影響はかなり大きい。
そういう肝心なところを見落としている。
71:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 09:18:17.38 iIK8Y/8u.net
>>64 つづき
英語版の方が分かり易いね
URLﾘﾝｸ(en.wikipedia.org) Axiom of infinity
以上
72:１３２人目の素数さん
17/08/27 09:25:16.75 /LpAPMnz.net
「箱入り無数目」まとめ
注）箱の中身は簡単のため１～６の６種類とする
数列 ○○･･･○○●●●・・・
○ 決定番号より前（予測不能）
● 決定番号以降 （予測可能）
数列の中身がｉ、代表列の項の中身がｊ、
の確率をＰｉｊとする
○ 数列と代表列が相違の場合
（注：決定番号の直前の箱を除く）
(P11 P12 P13 P14 P15 P16)
(P21 P22 P23 P24 P25 P26)
(P31 P32 P33 P34 P35 P36)
(P41 P42 P43 P44 P45 P46)
(P51 P52 P53 P54 P55 P56)
(P61 P62 P63 P64 P65 P66)
=
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
(1/36,1/36,1/36,1/36,1/36,1/36)
対角線成分の和 1/6
（続く）
73:１３２人目の素数さん
17/08/27 09:25:45.39 v4iR2tcg.net
工学バカ一代 数学板道場破り記 第2幕「韜晦」
74:１３２人目の素数さん
17/08/27 09:25:59.67 /LpAPMnz.net
>>67の続き
● 数列と代表列が一致の場合
(P11 P12 P13 P14 P15 P16)
(P21 P22 P23 P24 P25 P26)
(P31 P32 P33 P34 P35 P36)
(P41 P42 P43 P44 P45 P46)
(P51 P52 P53 P54 P55 P56)
(P61 P62 P63 P64 P65 P66)
=
(1/6,0,0,0,0,0)
(0,1/6,0,0,0,0)
(0,0,1/6,0,0,0)
(0,0,0,1/6,0,0)
(0,0,0,0,1/6,0)
(0,0,0,0,0,1/6)
対角線成分の和 1
「箱入り無数目」記事によれば
数列(n-1)個分の決定番号の最大値 d_max としたとき、
その後にとった数列の決定番号dについて
d>d_max
となる確率は1/n
つまり数列のd_max番目の箱について確率Pijは
i=jのとき (1/6)*((n-1)/n+(1/6n))
not(i=j)のとき (1/6)*(1/6n)
対角線成分の和 (n-1)/n+(1/6n)
75:１３２人目の素数さん
17/08/27 09:28:22.05 /LpAPMnz.net
>>68
>>1の頭の中で鳴ってる曲
URLﾘﾝｸ(www.youtube.com)
76:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 09:36:33.64 iIK8Y/8u.net
>>65
おっちゃん、どうも、スレ主です。
>ここは物理や工学の雑談のスレになったんだろう。
雑談のスレは、前からそうなんだが、スレタイとテンプレではっきりさせたんだ（＾＾
>殆ど代数オタクといっていいようなヴェイユを取り上げるのはやめた方がいい。
ヴェイユの数学的教養は、（1955）当時の数学全般に渡っていたとおもうけどね
>日本で地震が起こる回数がフランスの地震の回数よりずっと多いことを見落としている。
>地震が起こり易い環境だと、一人では不安で共同体を作って生活したり
それはそうかも知れないね
また、地震だけでなく、台風もくるし、昨今のような大水害もあるしね
>よい国家を形成してもまた地震でダメになるという刹那的になったりする気質になり易い。
日本に国家の概念が明確に芽生えたのは、いつからかって話になるが・・、飛鳥時代くらいかな？
URLﾘﾝｸ(ja.wikipedia.org)
日本の歴史
2 概説
2.1 旧石器時代
2.2 縄文時代
2.3 弥生時代
2.4 古墳時代
2.5 飛鳥時代
2.6 奈良時代
2.7 平安時代
77:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 09:38:56.16 iIK8Y/8u.net
>>69
虫々
78:１３２人目の素数さん
17/08/27 09:41:51.74 /LpAPMnz.net
>>62
＞ZFCで、まず空集合があって、
＞空集合の集合から{0}が定義され、１が定義される。
＞１の後者として２が定義され、ｎが定義される。
＞任意のｎに後者がある。繰り返すことと無限公理により、
＞自然数全体の集合、つまり可算無限集合が構成される
＞”繰り返す”ことと”無限公理”の部分が、
＞数学的には極限、つまり「lim n→∞」ってことじゃないのか？
0={}、1={{}}、2={{},{{}}}、・・・の極限は
ω＝{0,1,2,・・・｝
だよ
よく1={1}、2={1,2}、・・・、の極限で
ω＝{1,2,・・・ω｝
とかいう奴がいるけど全然違うから
79:１３２人目の素数さん
17/08/27 09:45:07.71 /LpAPMnz.net
>>72
>>1 反論不能で悶死
￡
／￣￣＼
～＆ ∥ １ ∥
∥ の ∥
∥ 墓 ∥
|∬ ∬|
|ii≦≧ii|
_|旦|==|旦|_
Ｗ-|二二二二二二|-ff
80:￥氏
17/08/27 09:47:17.79 1CP0LksB.net
薬でも制度でも学問でもモノの考え方でも、何でもそうですが：
★★★『病気Aに効く薬と病気Bに効く薬は同じ「ではない」です：
コーチゾンはアトピーには効きますが、水虫には逆効果です』★★★
だからフランス人には有効な考え方が日本人には毒になったりします。（例えばフランス人に
仕事を与えるのは罰になるが、それは日本人には褒美になる。）
そしてもうひとつ。フランスと日本では（民主主義というか）議論に対する考え方が違います：
１．フランスでは議論とは『論理的に行うモノ、ソレを通して論理を厳密化する』という考え方な
ので、勝ち負けよりも、その導出過程とか結論の精密さが目標となる。なので参加する各
人は『その為の材料』でしかない。（コレこそが議論というモノの本来の姿。）
２．日本では導出過程とかその厳密性なんかはどうでも良く、それに関与する各人の『勝ち負
けだけが問題』となる。なので勝つ為であれば何でもするし、そして結論なんて最初から見
えており、それもどうでもいい。問題となるのは「数の多い方を勝ちとする」とする取り決め。
だからコレは犬の喧嘩とか、或いはヤクザの恐喝と同列ですわね。
ソレでアメリカは「丁度この中間」ですね。つまり：
★★★『理屈はどうでも良く、そして人数も重要じゃない。「勝てる論理」を持ち出して、
そのやり方で相手を言い負かした者を強者とし、その武器の所有者が尊敬される』★★★
という仕組みであり、これをディベートと言います。だからコレは（論理的な厳密性、ではなくて）
『相手が怯むモノの言い方』（まあ誤謬の事かと）を意図的にスル、という技術。
この「勝てる道具」がカネであったり強い弁護士、また核兵器であったりします。そして正義と
か道義は「その勝者が用いる論理」で決まります。
￥
追加：民主主義の実践の仕方も、その国それぞれという事か。
81:￥氏
17/08/27 10:00:19.97 1CP0LksB.net
URLﾘﾝｸ(en.wikipedia.org)
日本語は説明不足であり、そしてフランス語は参考にはなりません。それは恐らく：
１．アメリカではこういう強弁は（技術とか手段として）重宝されている。
２．間違った論理の運びはフランスでは、単に軽蔑されるだけ。
３．日本ではコレは「やってはいけない事」です。でもこういう詐欺が横行してるのが現実。
￥
82:１３２人目の素数さん
17/08/27 10:11:59.76 aBlHRpuo.net
>>71
＞>殆ど代数オタクといっていいようなヴェイユを取り上げるのはやめた方がいい。
＞
＞ヴェイユの数学的教養は、（1955）当時の数学全般に渡っていたとおもうけどね
古典的数学ならそうだけど、1955年当時の物理や工学では代数は余り使われていなかっただろう。
数論なんか現代のように工学には応用されていなく、非線形偏微分方程式の研究も殆ど手付かずの時代で、
ガウスの「数論は数学の女王」という言葉が強く根付いていたであろう。
ガウスの円分多項式の研究はオイラーが示した複素解析のオイラーの定理が発端といわれている。
83:１３２人目の素数さん
17/08/27 10:21:15.34 aBlHRpuo.net
>>71
ヴェイユについて少し調べればわかると思うが、ヴェイユの研究は解析でも幾何でもなく殆ど代数。
他は少し表現論がある位。1955年は代数なんか物理や工学に殆ど応用されていなかったであろうから、
物理や工学の雑談にヴェイユは相応しくないだろう。
84:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 10:24:05.63 iIK8Y/8u.net
>>73-74
早めに、ゼルプスト殿下(藤田博司先生)を召還しておきました（＾＾
疑問があれば、下記ゼルプスト殿下が説明してれま～す（＾＾
過去スレ36 ｽﾚﾘﾝｸ(math板:652番)
(抜粋)
652 現代数学の系譜 古典ガロア理論を読む 2017/07/31(月)
藤田博司先生関連
URLﾘﾝｸ(kansaimath.tenasaku.com)
「第8回関西すうがく徒
85:のつどい」@大阪大学は、2016年3月20/21日 http://kansaimath.tenasaku.com/?page_id=1276 D307(小教室) 「超限順序数と無限玉入れ勝敗判定」(ゼルプスト殿下 @tenapyon) [abstract] [講義資料] http://tenasaku.com/academia/notes/kansaimath8-tenapyon-abstract.pdf 超限順序数と無限玉入れの勝敗 ゼルプスト殿下 (@tenapyon) 第 8 回関西すうがく徒のつどい (抜粋) P116 順序型と順序数(3) より 0, 2, 4, ・ ・ ・ , 2n, ・ ・ ・ | 1, 3, 5, ・ ・ ・ 2n+1, ・ ・ ・ の順序型は順序数ω + ω またはω * 2 0, 3, 6, ・ ・ ・ , 3n, ・ ・ ・ | 1, 4, 7, ・ ・ ・ , 3n+1, ・ ・ ・ | 2, 5, 8, ・ ・ ・ , 3n+2, ・ ・ ・ の順序型は順序数ω + ω + ω またはω * 3 これらはすべてカゴに入った可算無限個の玉をひとつずつ順に取り出す順序づけに対応している(可算順序数) (引用終り)
86:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 10:51:41.94 iIK8Y/8u.net
>>75
￥さん、どうも。スレ主です。
>（例えばフランス人に
>仕事を与えるのは罰になるが、それは日本人には褒美になる。）
そうそう。その通りですね
インド人は、牛は食べない。牛は神様の使いだから
イスラムは、豚は食べない。ブタは不浄だから
日本人は、牛も豚も食べる
>フランスでは議論とは『論理的に行うモノ、ソレを通して論理を厳密化する』という考え方な
> ので、勝ち負けよりも、その導出過程とか結論の精密さが目標となる。
これ数学的論理そのものですね。
例えば、時枝記事が成立するかしないか。
本来、それ（数学の真理）は議論の前に決まっているもの
>日本では導出過程とかその厳密性なんかはどうでも良く、それに関与する各人の『勝ち負
> けだけが問題』となる。・・だからコレは犬の喧嘩とか、或いはヤクザの恐喝と同列ですわね。
まあ、そうですな。
が、私は、ヤクザの喧嘩でも、論理でも、その両方で負けるつもりはない。
”ディスり”合戦で、私は、ヒデじいほど”紳士ではないよ～”と（＾＾
URLﾘﾝｸ(textream.yahoo.co.jp) （ここでのあだ名は、不遇な「一石」）表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets
つづく
87:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 10:53:30.64 iIK8Y/8u.net
>>80 つづき
「ソレでアメリカは「丁度この中間」ですね。つまり：
★★★『理屈はどうでも良く、そして人数も重要じゃない。「勝てる論理」を持ち出して、
そのやり方で相手を言い負かした者を強者とし、その武器の所有者が尊敬される』★★★
という仕組みであり、これをディベートと言います。だからコレは（論理的な厳密性、ではなくて）
『相手が怯むモノの言い方』（まあ誤謬の事かと）を意図的にスル、という技術。」
このアメリカ人好みのディベートなるものは、アメリカ裁判の陪審員制度と関連していると見ます
つまり、アメリカ裁判の陪審員を説得する技術として、ディベートがあると
ディベートの審判員＝アメリカ裁判の陪審員
真実がどこにあるかより、審判員＝陪審員を如何に説得して、こちらに票を入れさせるか？
その基準は、日本では”お涙頂戴”の情に訴える手法が可能ですが、
米基準ではそれ（”お涙頂戴”）はない。ある程度の（数学ほど厳密ではない）論理性と客観性です（＾＾
以上です
88:１３２人目の素数さん
17/08/27 11:11:58.05 aAvVJeay.net
>>62
＞つまりは、極限操作があって、自然数全体の集合が構成できるわけだよ。
これは酷い バカ丸出し
89:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 11:23:17.23 iIK8Y/8u.net
>>77-78
おっちゃん、どうも、スレ主です。
私は、ヴェイユを取り上げるのに、なんの違和感もないよ
ヴェイユ先生を知ったのは、いつだったか、昔から知っているのでね
>古典的数学ならそうだけど、1955年当時の物理や工学では代数は余り使われていなかっただろう。
群論程度は、普通だし。環論はあまり縁が無かったけど（＾＾
まあ、なにを代数というかだけどね。あんまり線引きしても無意味だろう
>非線形偏微分方程式の研究も殆ど手付かずの時代で、
非線形偏微分方程式を立てるのは、簡単でしょ。ソリトンの最初の論文は、1895年だった
厳密解ではなく、数値解法で解けるし
URLﾘﾝｸ(ja.wikipedia.org)
ソリトンは、おおまかにいって非線形方程式に従う孤立波で、次の条件を満たす安定したパルス状の波動のことである。
(抜粋)
この呼び名の由来は、1965年米国の N. Zabus
90:ky と M. Kruskal が、KdV方程式 (KdV: Korteweg-de Vries) の数値解析から、上の2条件を満たす孤立波を発見し、粒子性をあらわす接尾語-onを使ってそれをソリトンと名付けたことによる。 https://en.wikipedia.org/wiki/Soliton (抜粋) History In 1895 Diederik Korteweg and Gustav de Vries provided what is now known as the Korteweg?de Vries equation, including solitary wave and periodic cnoidal wave solutions. In 1965 Norman Zabusky of Bell Labs and Martin Kruskal of Princeton University first demonstrated soliton behavior in media subject to the Korteweg?de Vries equation (KdV equation) in a computational investigation using a finite difference approach. They also showed how this behavior explained the puzzling earlier work of Fermi, Pasta, Ulam, and Tsingou.[5]
91:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 11:25:16.79 iIK8Y/8u.net
>>83 つづき
>ガウスの「数論は数学の女王」という言葉が強く根付いていたであろう。
それは、いわゆる我田引水ですな。数論屋が声高にいうことと、日本は高木先生の伝統で数論で成果を上げてきた歴史がある
>ガウスの円分多項式の研究はオイラーが示した複素解析のオイラーの定理が発端といわれている。
明らかに、円周等分多項式で、「コンパスと定規を使って」ということですよ。ギリシャの昔からある話で
オイラーの定理が使えるというのは、その通りだけれども
URLﾘﾝｸ(kotobank.jp)
円周等分多項式 日本大百科全書(ニッポニカ)の解説 コトバンク
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
コンパスと定規を使って円周を１２等分する takotakoagare1さん yahoo 2013/1/3
以上です
92:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 11:26:34.96 iIK8Y/8u.net
>>78
おっちゃん、どうも、スレ主です。
>ヴェイユについて少し調べればわかると思うが、ヴェイユの研究は解析でも幾何でもなく殆ど代数。
>他は少し表現論がある位。1955年は代数なんか物理や工学に殆ど応用されていなかったであろうから、
>物理や工学の雑談にヴェイユは相応しくないだろう。
いいんだよ
雑談なんだからさ（＾＾
93:１３２人目の素数さん
17/08/27 11:40:58.95 aAvVJeay.net
>>62
＞”繰り返す”ことと”無限公理”の部分が、数学的には極限、つまり「lim n→∞」ってことじゃないのか？
＞つまりは、極限操作があって、自然数全体の集合が構成できるわけだよ。その後有理数が構成され、実数が構成される
n∈N なら N の定義と極限の定義が相互参照エラーなんだが？？？
つまり n∈/N と言いたいの？ じゃあ n って何？ お前のオレ様極限の定義教えてよ
94:１３２人目の素数さん
17/08/27 11:49:08.58 aBlHRpuo.net
>>83
＞>非線形偏微分方程式の研究も殆ど手付かずの時代で、
＞
＞非線形偏微分方程式を立てるのは、簡単でしょ。ソリトンの最初の論文は、1895年だった
＞厳密解ではなく、数値解法で解けるし
数値解法っていうけど、1955年当時のコンピュータでは余り頼りにならなかったであろう。
数値解法を行うときは、数値解の精度の問題とかも生じて来る。
偏微分方程式でも、非線形方程式だと線形方程式に比べて
厳密解の存在性を示したりそれを求めたりすることも格段に難しくなるしな。
95:１３２人目の素数さん
17/08/27 11:56:53.58 aBlHRpuo.net
>>84
＞>ガウスの円分多項式の研究はオイラーが示した複素解析のオイラーの定理が発端といわれている。
＞
＞明らかに、円周等分多項式で、「コンパスと定規を使って」ということですよ。
複素解析のオイラーの定理って、オイラーの公式のことだよ。
オイラー自身はオイラーの等式は示していなく、オイラーの公式の方を示した。
そして、オイラーは、厳密ではないが代数学の基本定理を示したりもしている。
これもガウスの代数学の基本定理の研究に影響を与えた。
96:１３２人目の素数さん
17/08/27 11:59:29.91 aBlHRpuo.net
>>84
あっ、何ということか「sage」を書くの忘れてageてしまった。
97:１３２人目の素数さん
17/08/27 12:07:55.78 aBlHRpuo.net
>>83
ちなみに、物理や工学だと、線形偏微分方程式で表される現象より
非線形偏微分方程式で表される現象の方がかなり多いと思う。
だから、流体のようにそこらにある物理現象を微分方程式で表してみれば、
すぐ非線形の方程式が得られるだろう。
98:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 12:13:03.63 iIK8Y/8u.net
>>82
まあ、そうだな。
「極限操作があって、自然数全体の集合が構成できるわけだよ。」は
99:、数学的に正確な記述ではないな～（＾＾ 哀れな素人さんが、喜びそうな話題だが、まあ下記でもどうぞ http://www24.atpages.jp/venvenkazuya/math3/limit1.php 「極限のイメージ：アキレスと亀？？」 数学３[極限] 東大生が教えるビジュアル数学｜受験のための中学高校数学の解説 (抜粋) 「極限とは何か？」という話から始めたいと思います。極限について、おおよそ分かっている人はこのページは読み飛ばして構いません。 極限のイメージを持って頂くために次のアキレスと亀というストーリーを読んで下さい。またストーリーの中に出てくるアキレスは伝説に残るような俊足の持ち主です。 この話は有名なパラドックスとしてよく引き合いに出されます。上のストーリーではアキレスは絶対に追いつけない、などという結論になっていますが常識的に考えて、こんなことありえませんよね？ なぜ、上の記述だけをみると永遠に追いつけないかのように思えるのでしょうか？ここで極限の考え方が生きてくるのです。 延々と繰り返す、というと一見無限に遠いように感じますが、実はそうではありません。要するに上の足し算を行うと幾つになるのか？という話です。 このように一見無限に足し続けるような操作というのは無限に大きくなる、という先入観があるかもしれませんが、このような場合に限り数値がピタリと求まることがあるのです。 このような計算を極限といい、以降の章で詳しく説明することになります。 (引用終り) つづく
100:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 12:13:53.47 iIK8Y/8u.net
>>91 つづき
URLﾘﾝｸ(ja.wikipedia.org)
極限
(抜粋)
数列の極限
実数の数列が収束する (converge) あるいは有限の極限を持つ若しくは極限が有限確定であるとは、番号が進むにつれてその数列の項がある1つの値に限りなく近づいていくことをいう。
このとき確定する値をその数列の極限値という。収束しない数列は発散する(diverge)といい、それらはさらに極限を持つものと持たないものに分かれる。
発散する数列のうち極限を持つものには、正の無限大に発散するものと負の無限大に発散するものがあり、極限が確定しないものは振動する(oscillate)という。
(引用終り)
以上
101:１３２人目の素数さん
17/08/27 12:50:01.93 aAvVJeay.net
正確じゃないと言うなら正確な記述をさっさと書け
コピペで誤魔化すな
102:１３２人目の素数さん
17/08/27 13:17:42.20 /LpAPMnz.net
>>79
＞0, 2, 4, ・ ・ ・ , 2n, ・ ・ ・ | 1, 3, 5, ・ ・ ・ 2n+1, ・ ・ ・
＞の順序型は順序数ω + ω またはω * 2
＞0, 3, 6, ・ ・ ・ , 3n, ・ ・ ・ | 1, 4, 7, ・ ・ ・ , 3n+1, ・ ・ ・ | 2, 5, 8, ・ ・ ・ , 3n+2, ・ ・ ・
＞の順序型は順序数ω + ω + ω またはω * 3
R^NのNの順序型はωであってω＊２でもω＊３でもないが
ウソだと思うなら、ゼルプストに直接メールで聞いてみたら？
103:１３２人目の素数さん
17/08/27 13:25:12.72 /LpAPMnz.net
自然数の定義に従う限り、
どう逆立ちしたって、無限数列R^Nで
数列 ○○○……○○●
○ 決定番号より前（予測不能）
● 決定番号以降 （予測可能）
とはできないよ
自然数の定義を否定して「不自然数」でも定義してみる？ｗ
104:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 13:44:33.82 iIK8Y/8u.net
>>90
おっちゃん、どうも、スレ主です。
>非線形偏微分方程式で表される現象の方がかなり多いと思う。
下記だな
URLﾘﾝｸ(ja.wikipedia.org)
偏微分方程式
(抜粋)
非線型偏微分方程式[編集]
以上の例はすべて、 与えられた線形作用素 A と既知関数 f によって、Aψ = f という形に表されるという意味で線型である。 重要な非線型方程式には、
流体を記述するナビエ-ストークス方程式
一般相対性理論におけるアインシュタインの場の方程式
非線形波動を記述するKdV方程式
クレローの方程式
非線形シュレディンガー方程式
などがある。
解法[編集]
線型偏微分方程式は基底関数の集合で未知関数を展開することにより一般的に解かれる事が多い（たとえば正弦波関数を使ったフーリエ級数展開）。展開した個々の解の線型結合がもとの方程式の解である。変数分離法はいくつかの重要な特別の応用をもつ。
非線型な微分方程式には一般に通用する解法というものは存在せず、実際に多くの微分方程式がまったく解析的には解くことが出来ない。しかしながら、いくつかのタイプの方程式には使える方法というのがある。たとえば、ホモトピー原理は過少決定性の方程式系を解くための非常に強力な方法である。
ある場合には、偏微分方程式は解が、解の知られているある方程式の修正であると考えることで摂動解析によって解くことが出来る。別な方法として、単純な有限差分スキームから複雑なマルチグリッド法や有限要素法に至るまでの数値解析の手法が挙げられる。
科学や工学における多くの興味深い問題は高性能のスーパーコンピュータを用いてこのような方法で解かれる。
fill in: ディリクレ-ノイマン境界、双曲的/放物的/楕円的変数分離、フーリエ解析、グリーン関数
(引用終り)
105:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 13:56:03.71 iIK8Y/8u.net
>>55 関連
共同研究重視のSSS（日本）と、共同研究否定のヴェイユ（仏）
URLﾘﾝｸ(reuler.blog108.fc2.com)
新数学人集団(SSS)の時代 ノート39 アイデア個人からのみ生れる 2017-02-05
日本には数学の伝統がないから共同研究が必要だというSSSの主張に対し、ヴェイユはガウスやヤコビの例を挙げて応じました。共同研究の意義を一蹴し、数学はひとりでやるものだと言っているかのような発言でした。
伝統の問題に続いて、国際会議の招待者の問題が話題にのぼりましたが、これは盛り上がりを見せませんでした。共同研究をめぐる議論ではSSSとヴェイユの考えは正反対でした。
SSS
20世紀数学の特殊性はいろいろあるが、そのひとつは、数学が細かく専門に分れたため、そのすべてを知ることが不可能になり、共同研究が不可避的になったことであると思う。
話の糸口として持ち出されただけのことで、だれもがそれはそうだと言いそうな発言ですが、ヴェイユは言下に否定しました。
ヴェイユ
そんなことはない。今でもシュヴァレーやデュドンネは数学全般に通じている。
SSS
しかしそれは彼らが全体にわたって指導性を持っているか否かとは別だろう。
ヴェイユ
もちろんそれは別問題だ。だが、20世紀数学も、19世紀またはそれ以前の数学と本質的には変ってはいないことはきわめてたしかだ。アポロニウスのころの本を読んでみれば、その当時の学生も現在と同じく、数学は相互に関連のない多くの部門に分れていて、そのすべてに通じることは不可能だと思ったに違いないことがわかる。
SSS
だが、われわれは共同研究が必要だと思っている。そこでブルバキの例を聞きたい。
つづく
106:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 13:57:11.05 iIK8Y/8u.net
>>97 つづき
ヴェイユ
第一に注意することは、ブルバキの目的はブルバキ（教科書）を書くことで、だから本を書かなければ辞めてもらうことになっている。共同研究が目的なのではない。
次にアイデアは個人の中からしか生れない。ブルバキの集りで、共同で何かのアイデアが生れることがあり、そのときはみな興奮するが、あとになってみると非常に小さいアイデアでしかない。それさえも共同で生れることは非常にまれなことなのだ。
だがアイデアは孤立しているとなくなってしまう恐れがある。そんなとき、みなに話していれば、その雰囲気の中で自然に育っていく。
SSS
それも協力の成果ではないか。
ヴェイユ
そうではない。アイデアが人に話せるくらいにまで成熟するためには、場合により違うが、普通、数箇月から数年の間、個人の中で育まれていかなければならないものだ。これはまったくその人だけの問題だ。
SSS
我々はその後の発展をも共同研究の成果と呼びたい。
ヴェイユ
非常に明らかなことは、よいアイデアとか、新しい事実の発見とかは個人からしか生れないということだ。もし共同でそのようなことができたら至急電報で知らせてほしい。そんな驚くべきニュースに対しては電報代など安いものだ。
SSS
さっきブルバキは本を書くための団体だと言ったが、ブルバキに入っていればいろいろ目にみえない利益があるのではないか。
つづく
107:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 13:57:57.97 iIK8Y/8u.net
>>98 つづき
ヴェイユ
もちろんそうだ。たとえば最初は数学全体に通じていたのは私とシュバレーだけだったが、今では全員、たいていのものに通じるようになった。その他、有益なことがいろいろある。
君たちは共同研究に非常に熱意をもっているように見えるから注意しておくが、共同で何かやるときは一種のテクニックが必要だ。ブルバキは共同で本を書くテクニックを発見したので、それ以後はそれに従ってうまくやっている。ただひとつ、共同でアイデアを生むテクニックだけは存在しない。
最後に共同研究に対する忠告をひとつ。
まずover organaizeしすぎないこと。
次に、つねに、あらゆる種類の失望に対し備えていなければならないこと。失望は共同研究の一部分であると考えるべきである。
第三にアイデアは集団から生れるのではなく個人から生れるということだ。
このようなことに注意すれば、共同の成果はすばらしいものになるだろう。
ヴェイユは、数学のアイデアは個人から生れると主張してとうとうゆずりませんでした。共同研究にこだわるのはSSSの当初からの際立った傾向だったのですが、何か深い理由がありそうでもありますし、し、注視していきたいと思います。
(引用終り)
以上
108:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:04:48.72 iIK8Y/8u.net
>>99 関連
ヴェイユの衝撃
URLﾘﾝｸ(reuler.blog108.fc2.com)
新数学人集団(SSS)の時代 ノート41 谷山さんの「ヴェイユの印象」より 2017-02-11
アイデアを定義することはできませんが、アイデアはアイデアに値する人にのみ浮かぶとか、「才能だけではだめで、持ちこたえ、努力を続けていくことのできる性格の力も必要なのだ」とか、ヴェイユの言葉はいかにも力強く耳に響きます。
SSSとヴェイユとの会話はまだ続きますが、だんだん四方山話のようになっていきました。レストランが閉まる時間になるまで話を続け、それからA、S、Tの3人がホテルまでヴェイユを送っていくことになりました。
その途中でも話し続け、ホテルに着くと、今度はホテルのバーの一隅でまた話を続けて深夜12時ころに及びました。最後にお別れしてホテルを出ると、3人ともくたくたに疲れ切り、冷たい夜風が心地よかったということです。
ヴェイユは10月25日の火曜日に、午後9時半の飛行機で羽田を発ちました。
SSSは来日した外国人数学者と積極的に語り合おうとして、さかんに集会を重ねました。9月5日はまだ開会式も行われていないにもかかわらず、セールを囲んで座談会を開きました。
東大学士会館で5時から7時まで。41名の出席がありました。9月15日にはラマナタンを囲んで座談会。場所は東京工業大学の一室。4時から5時まで。出席者は50名。9月22日にはドイリングを囲む座談会。
場所は東京新橋の蔵前工業会館。5時から7時まで。出席者数の記録はありません。9月23日はブラウワーとネロンを囲む座談会
109:というよりも交歓会。午後5時から東京第二丸ビル地下のレストラン「ポールスター（pole star）」でビアパーティを開き、そこに招待するという恰好でした。 シュバレーも招待したのですが、シュバレーは病気になったようで、早々に帰国したため参加できませんでした。 38名の出席者がありました。9月28日はアルティンを囲む座談会。アルティンを招いて遠足を計画したのですが、雨のため中止となり、座談会に切り替えました。場所は東大教養学部の職員集会所。18名の出席者がありました。 つづく
110:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:05:27.45 iIK8Y/8u.net
>>100 つづき
これらの座談会や交歓会の記録は『月報』に記載されていますが、ヴェイユ以外の人たちとの座談会は雑談の域を出ず、どうもおもしろみに欠けています。というよりもヴェイユだけがやはり特別の人物で、SSSに及ぼした衝撃ということを考えてもあまりにも巨大でした。
日本数学会の機関誌『数学』の第7巻、第4号に谷山さんのエッセイ「A.Weilの印象」が掲載されています。書き出しの数行は次のとおりです。
≪冷い風と雨の吹き付ける夜の羽田からWeilの乗った日航機が飛立つたとき、これで遂にサヨナラだと思つた。実際、彼が日本にいると考えただけで、僕等は何となく落着けなくなるのだった。彼の与えた印象は、余りにも強過ぎたのである。≫
以下、摘記してみます。
・ヴェイユの数学上の活動は多方面にわたっているが、その方法も多様である。埋もれた多くのアイデアの発掘、新しい概念の構成による時の大問題への挑戦（もちろん常に成功とはいえないが）、多くの実験による新しい事実の発見ないしそれ自身の法則性をもつ関数の育成など。ひとくちに理論家といっても、その幅はきわめて広い。
・だが、ヴェイユの才とエネルギーをもってしても、数学全般に、あるいは芸術全般に精通することは不可能であろう。彼の理論がときとしてきわめて常識的、皮相的になるとしてもやむをえない。
・そもそも彼は豊富な常識の持ち主なのだ。≪この‘特異なる性格’、‘我儘で附合いにくい天才’が、人の及ばぬ高みに、深く澄んだ自由の空気を呼吸しながら掴つている氷河から離れて、忽ちにして常識円満な社会人となるのを、僕は何度か見た。≫
ヴェイユの衝撃に耐えながらヴェイユを語り続ける谷山さんの言葉が続きます。
(引用終り)
以上
111:￥氏
17/08/27 14:08:41.42 1CP0LksB.net
￥
112:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:10:05.10 iIK8Y/8u.net
>>101 関連
ヴェイユは「人生は数学ではない。常に妥協が必要だ」という
URLﾘﾝｸ(reuler.blog108.fc2.com)
新数学人集団(SSS)の時代 ノート42 「ヴェイユの印象」の続き 2017-02-14
ヴェイユは「人生は数学ではない。常に妥協が必要だ」という考えの人で、常識のある社会人だというのが谷山さんの所見です。
常識というのは、「現実を現実として認め、そのまま受け入れる妥協の精神」ですが、ヴェイユは妥協するときに黙っていることはないため、その叫びが誤解を招くのであろうというのでした。
SSSとの対話の際のヴェイユの発言などを見ると、谷山さんの言うとおりなのだろうと思います。
数学については、「ガウスのように始めよ」というアドバイスや、アイデアとは何かと問われて、フォックステリアの比喩を持ち出して応じる様子などを見ると、「もとの問題」への道をさえぎる「理論」の壁をやすやすと超越しているような印象があります。
この問題はSSSを悩ましていたことで、これを克服するために共同研究が提唱されたほどですから、ヴェイユの言葉は大きな衝撃をもって受けとめられたことと思われます。
ヴェイユから学んだこととして、アイデアを明確に提出し（正確に定式化する
113:ことではない）、それを具体的に根拠づけるという討論形式を谷山さんは挙げています。 アイデアの根拠づけというのは何を指してそう言っているのか、これだけではよくわかりませんが、ヴェイユのやり方を見ると、ヴェイユの言うアイデアの根拠づけというのは１９世紀の数学者たち（正確には第一次大戦前と言うべきでしょうか）の思索から出発するということのような印象があります。 ヴェイユはそんなふうに数学をやってきた人でした。というよりも、むしろヴェイユはそのようにして今日の数学を新たに創造しようとしたというほうが正確なのかもしれませんし、さらに考えていくと、そのように思えるのは、第一次大戦以前に成立した数学が戦争の影響を大きく受けて崩壊したように見えることも関係がありそうです。 つづく
114:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:10:56.23 iIK8Y/8u.net
>>103 つづき
谷山さんの言葉を続けると、谷山さんは、
≪アイデアは時として、目に見えるなんらの根拠もなしに、「無から」生ずることもある。そのようなものは、遂に彼の網にはかからぬのであろうか。≫
と、注目に値する所見を表明しています。数学のアイデアが無から生じることは確かにあります。何もない場所からアイデアを取り出した人を回想すると、ガウスがそうでしたし、アーベルもそうでした。
稀有の出来事ではありますが、いろいろな事例があれこれと念頭に浮かびます。
谷山さんの目には、そのような「無から生じるアイデア」はヴェイユの網にはかからないであろうと映じたようですが、思えば恐るべき指摘ですし、数学者としての谷山さんを考えていくうえで何かしら重要なことが示唆されているように思います。
(引用終り)
以上
115:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:11:56.37 iIK8Y/8u.net
>>102
￥さん、どうも。スレ主です。
安否確認の狼煙、ありがとうございます（＾＾
116:￥氏
17/08/27 14:17:22.34 1CP0LksB.net
Weil先生のお言葉は何時も重たいですわな。私の大好きな数学者ですわ。
￥
117:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:18:28.12 iIK8Y/8u.net
>>104 関連
協同研究のことなど
URLﾘﾝｸ(reuler.blog108.fc2.com)
新数学人集団(SSS)の時代 ノート43 協同研究のことなど 2017-02-26
国際数学者会議の全容を見たいと思い、『月報』に掲載された関連する記事を読んでいるところですが、
ここまでのところを回想すると、SSSの特徴というか、めざしていたもののいくつかが明らかになってきたように思います。たとえば、「数学とは何か」というふうな根源的な問いに関心を寄せていた様子ははっきりと感じられます。
数学を学ぶというと「理論」を勉強するほかはありませんが、何をやっているのかわからなくなるという疑問を率直に表明したエッセイがありました。「理論」を学んでも何のためなのかわからない。
それで困惑して、どうしたらよいのだろうかという主旨でしたが、実はこの問いに対する答の所在は明白で、「理論」を生み出すもとになった「問題」というのが存在するというのでした。
原点に帰って「問題」を把握し、「問題」から「理論」へといたる道筋を理解するというふうに歩を進めていけば、何をやっているのかわからないという疑問はおのずと解消します。
というよりも、「理論」の意味はその泉となった「問題」に宿っているのですから、そもそも疑問が生じる余地はありません。
もし諸理論のもとになった一群の問題群のすべてを把握するというようなことができたなら、数学とを全体としてひとつの学問として受け止めることが可能になりそうですが、『月報』のエッセイでは、そのようなことを体現した人物としてヒルベルトの名が挙げられていました。
これに対しSSSが打ち出したのは「協同研究」の構想でした。たとえ未熟なものであっても思いついたことをみなに伝えて共有し、理解を深めていくことはできるのではないか、そうすることにより「理論」の壁をこえて数学の源泉にせまることができるのではないかという考えです。
つづく
118:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:19:44.82 iIK8Y/8u.net
>>107 つづき
SSSの仲間が語り合って到達した有力な構想だったのですが、ヴェイユはこれを一蹴し、数学のアイデアというものは個人にしか訪れないと主張して共同研究というものを真っ向から否定しました。この�
119:ﾎ立はSSSとヴェイユについて考えていくうえで実に興味深いテーマです。 少数精鋭主義と「ボロボロ」ということもSSSが絶えず問題にしていたテーマでした。SSSのメンバーの中にも少数精鋭に該当する人はいたのですが、「ボロボロ」を自認する人も多かった模様です。この問題は具体的には大学院問題として顕在化することもありました。 少数精鋭主義を主張する人もいて、SSSはそれに抵抗する姿勢を示したのですが、このあたりの消息はもう少し観察していく必要があります。 整数論シンポジウムの報告にもどることにして、『月報』第3巻、第2号に掲載された記事「国際数学者会議に出席して」を一瞥してみたいと思います。著者は「久賀、郡司」と記されていますが、「久賀」は久賀道郎先生、「郡司」は郡司宏という人と思います。シンポジウムの概要をつかむことを目指して、諸事実を採取してみます。 前に紹介したもうひとつの記事「整数論シンポジウムをめぐって」と重なり合うものもあります。 ９月９日は金曜日で、この日から研究発表と討論が始まりました。開会式は前日の９月８日。日本側の公式発表は５３人。会場は第一生命保険相互会社６階の会議室。椅子ｙテーブルの配置図が示されていますが、それを見ると、黒板の前に演壇が設置されています。 黒板と演壇の近くに議長席。その後方に記録係の席があり、テープレコーダーが２台備えつけられました。 演壇に向って、最前列に外国人数学者９人の席があります。９人というのはドイリング、ラマナタン、ヴェイユ、セール、岩澤、ネロン、アルティン、ブラウワー、シュヴァレーのことです。 外国人数学者にはもうひとり、ゼリンスキーがいるはずですが、ゼリンスキーは招待されたのではなく、一年ほど日本に滞在する予定だったところにちょうどシンポジウムが開催されることになったというので出席することになったのだそうです。 どのテーブルにもマイクロフォンが置いてありましました。会議室の一番うしろに長机が一列に配置され、１０席あまりの傍聴席が設けられました。 会議は９時３０分に始まりました。シュヴァレーが議長です。 (引用終り)
120:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:24:06.07 iIK8Y/8u.net
>>106
￥さん、どうも。スレ主です。
>Weil先生のお言葉は何時も重たいですわな。私の大好きな数学者ですわ。
Weil先生ならではという重みがありますよね
私ら、数学の研究者じゃないので、よく分らないところが多いですが
121:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:36:10.81 iIK8Y/8u.net
>>109 補足
オリジンは、数学では原点です。
オリジナルは、”オリジンになる”。
つまり、数学研究で、「原点になる」。
オリジナルと呼ばれる仕事が原点になって、そこから新しい数学が発展して行く状態を言います（＾＾
URLﾘﾝｸ(dic.nic)
ovideo.jp/a/%E3%82%AA%E3%83%AA%E3%82%B8%E3%83%8A%E3%83%AB
単語記事: オリジナル ニコニコ大百科 初版作成日: 09/05/27 06:01 ◆ 最終更新日: 17/04/23 03:24
(抜粋)
オリジナル（original）とは、「オリジン：origin：起源」の活用した単語であり、「原型」「原本」「原図」「原曲」「独自の作品」「元ネタ」「原作」などを意味する。
概要
「オリジナル」の語源はラテン語の「or?go」という単語であり、これは「昇る事、始まる事、上がる事」を意味する。これは、「東洋」を意味する「orient：オリエント」の語源でもある。（東洋＝太陽が始まる場所、太陽が昇る場所）
また、似た英単語で言葉で「オリジン」があるがこちらは「起源」「原因「根源」のような意味合いで使われることが多く、「オリジナル」と言った場合は「独創的な」「原作」「他に似たものが無い」のような雰囲気で使われている。
「オリジナル」は名詞でも形容詞でも使われるのに対して、「オリジン」は名詞でしか使われない違いもある。
(引用終り)
122:￥氏
17/08/27 14:43:54.00 1CP0LksB.net
かつて京都賞の受賞者を推薦する機会があって、何時も傍で見てた大数学者のGromovを推
薦したんです。それこそ「必死でレポートを書いた」っていう記憶ですわ。でもその推薦書を投
函した『その瞬間』に「アッ、シマッタ！Weilが先だった！」って気付いて凄く後悔した事があり
ます。でもその顛末ですが：
１．その回はちゃんとWeil先生が京都賞を受賞なさって、私はホッと安堵した。
２．審査委員長だった（？）砂田さんから「貴方の意見は正しい」とか言われた。
３．後日にちゃんとGromovも京都賞を受賞した。
という様な事がありましたね。
この時の私の判断基準として「GromovはFields賞を貰ってない」というのがあっったんですが、
でも『そんなツマラン事を理由にしたら絶対にダメ』という事をこの時に学習しました。（彼は後
日にAbel賞も受賞した。）この件があって以来、私は自分の意見を他人に対して申し述べるの
が完全に嫌になってしまい、それ以来は『自分の意見を申し述べるのは自分に対してだけ』
にしてます。
私は「他人に自分の事を決められるのが大嫌いな人」であり、コレがフランス人的なんだと思
いますね。でも私は『他人の事を決めるのはもっと嫌』ですけどね。
￥
123:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 14:49:18.81 iIK8Y/8u.net
>>111
ここだけ
砂田利一先生ですね（京都賞は、また後で）
URLﾘﾝｸ(ja.wikipedia.org)
砂田利一
(抜粋)
砂田 利一（すなだ としかず、Toshikazu Sunada、1948年 - ）は、日本の数学者。現在は明治大学総合数理学部教授、東北大学名誉教授。専門は大域解析学、離散幾何解析学。
経歴[ソースを編集]
1972年東京工業大学理学部数学科卒。東京大学大学院修士課程修了。理学博士。名古屋大学教授、東京大学教授、東北大学教授、明治大学理工学部教授を経て、現在は明治大学総合数理学部教授、東北大学名誉教授。2013年から総合数理学部長。
専門は大域解析学、離散幾何解析学。1990年のICMに招待講演者として招聘された。著書、エッセイも多数。1988年に日本数学会弥永賞、2013年に同出版賞を受賞。
ヨーロッパ科学評議会専門委員、IMU (International Mathematical Union) 小委員会委員、
京都賞基礎科学部門専門委員、財団法人数理科学振興会評議員、日本数学会理事、岩波数学講座編集委員、岩波講座「物理の世界」編集委員、雑誌「数学のたのしみ」（日本評論社発行・亀書房企画制作）の編集委員を歴任。弟子に楯辰哉（東北大学教授）、小谷元子（東北大学教授、2005年猿橋賞）。
124:１３２人目の素数さん
17/08/27 15:44:08.04 /LpAPMnz.net
「箱入り無数目」まとめ
注）箱の中身は簡単のため１～６の６種類とする
数列 ○○･･･○○●●●・・・
○ 決定番号より前（予測不能）
● 決定番号以降 （予測可能）
数列の中身がｉ、代表列の項の中身がｊ、
の確率をＰｉｊとする
○ 数列と代表列が相違の場合
（注：決定番号の直前の箱を除く）
(P11 P12 P13 P14 P15 P16)
(P21 P22 P23 P24 P25 P26)
(P31 P32 P33 P34 P35 P36)
(P41 P42 P43 P44 P45 P46)
(P5
125:1 P52 P53 P54 P55 P56) (P61 P62 P63 P64 P65 P66) = (1/36,1/36,1/36,1/36,1/36,1/36) (1/36,1/36,1/36,1/36,1/36,1/36) (1/36,1/36,1/36,1/36,1/36,1/36) (1/36,1/36,1/36,1/36,1/36,1/36) (1/36,1/36,1/36,1/36,1/36,1/36) (1/36,1/36,1/36,1/36,1/36,1/36) 対角線成分の和 1/6 （続く）
126:１３２人目の素数さん
17/08/27 15:44:50.87 /LpAPMnz.net
>>113の続き
● 数列と代表列が一致の場合
(P11 P12 P13 P14 P15 P16)
(P21 P22 P23 P24 P25 P26)
(P31 P32 P33 P34 P35 P36)
(P41 P42 P43 P44 P45 P46)
(P51 P52 P53 P54 P55 P56)
(P61 P62 P63 P64 P65 P66)
=
(1/6,0,0,0,0,0)
(0,1/6,0,0,0,0)
(0,0,1/6,0,0,0)
(0,0,0,1/6,0,0)
(0,0,0,0,1/6,0)
(0,0,0,0,0,1/6)
対角線成分の和 1
「箱入り無数目」記事によれば
数列(n-1)個分の決定番号の最大値 d_max としたとき、
その後にとった数列の決定番号dについて
d>d_max
となる確率は1/n
つまり数列のd_max番目の箱について確率Pijは
i=jのとき (1/6)*((n-1)/n+(1/6n))
not(i=j)のとき (1/6)*(1/6n)
対角線成分の和 (n-1)/n+(1/6n)
127:１３２人目の素数さん
17/08/27 15:52:46.75 /LpAPMnz.net
＞私は、ヤクザの喧嘩でも、論理でも、その両方で負けるつもりはない。
>>1は論理ナシのウソ証明で数学科卒に惨敗し
ヤクザの本性丸出しの脅迫に及ぶ
＞”ディスり”合戦で、私は、ヒデじいほど”紳士ではないよ～”
そもそも>>1は紳士とかいう以前に人間ではない
ヤクザは畜生 丸焼きにして食われるのが宿命
128:１３２人目の素数さん
17/08/27 15:54:10.38 zRWCekrT.net
【代数学の基本定理】を環論と微分方程式論を使って証明してみた
多項式関数は(常微分方程式の初期値問題において解
の一意存在定理として代表的な)コーシー-リプシッツ
の定理で言う点(t_0, x_0)の近くでリプシッツ連続であ
り局所解は任意に延長可能かつ多項式関数はC^∞級だ
から解もC^∞級であり多項式関数の次数がnであれば
当然C^n級でもある(実際はC^n級であれば充分)
常微分方程式p(d/dx)y＝0の初期値問題の解yがC^n級
であれば(p(d/dx)に作用させられる関数がC^n級であれ
ば)一般の関数yに対してp(d/dx)yはC^0級関数つまり連
続関数となる(実際はC^∞級関数だが連続関数と言えれば充分)
ΩをＲの有界な開区間としてn次Ｃ-係数多項式の成す
環Ｃ_n[x]とC^n(Ω)からC(Ω)への定数係数線型微分作
用素の成すバナッハ環LD(C^n(Ω), C(Ω))は準同型写像
p(x)→p(d/dx)により環として同型
Ｃ_n[x]≅LD(C^n(Ω), C(Ω))
である
(ここでC^n(Ω)はΩ上のC^n級関数の成す集合(線型位
相空間かつバナッハ環かつ多元環)でC(Ω)はΩ上の連
続関数の成す集合でありLD(C^n(Ω), C(Ω))の演算は
(p＋q)(x):＝p(x)＋q(x)とすると
(p＋q)(d/dx)＝p(d/dx)＋q(d/dx)
(線型写像の和)
(pq)(x):＝p(x)q(x)とすると
(pq)(d/dx)＝p(d/dx)q(d/dx)
(形式的に掛けたもの)
で定義している)
（続く）
129:１３２人目の素数さん
17/08/27 15:57:05.66 zRWCekrT.net
>>116の続き
多項式としての0には零写像としての0が対応し多項式
としての1には恒等写像としての1が対応するから準同
型であって全単射だから同型である
環の同型Ｃ_n[x]≅LD(C^n(Ω), C(Ω))を与える準同型写
像p(x)→p(d/dx)の核はC^n(Ω)であるから環の準同型定
理より
Ｃ_n[x]/C^n(Ω)≅C(Ω)
が言える
∀y_0:初期値, ∃y∈C^n(Ω), p(d/dx)y＝0
⇒ ∃x∈Ｃ, p(x)＝0
これは
∀x∈Ｃ, p(x)≠0
⇒ ∃y_0:初期値, ∀y∈C^n(Ω), p(d/dx)y≠0
と同値である
もし ∃y_0:初期値, ∀y∈C^n(Ω), p(d/dx)y＝0 であれば
Ｃ_n[x]≅LD(C^n(Ω), C(Ω))
かつ
Ｃ_n[x]/C^n(Ω)≅C(Ω)
より
∀x∈Ｃ, p(x)＝0 でなければならない
ゆえに ∃x∈Ｃ, p(x)＝0
証明終了
130:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 16:40:26.42 iIK8Y/8u.net
>>116-117
ID:zRWCekrTさん、どうも。スレ主です。
雑談・ガロアすれにようこそ
ところで、少し質問があるのだが・・
１．証明すべき命題が定式化できていない気がするのだが？
２．コーシー-リプシッツの定理の定式化も・・というか、それもきちんとした命題の形で述べられていないのでは？
３．”多項式関数は(常微分方程式の初期値問題において解の一意存在定理として・・”？ →”解の存在を前提としている”と読めるが、それで良いのか？
131:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 16:57:02.55 iIK8Y/8u.net
>>112 関連
URLﾘﾝｸ(ja.wikipedia.org)
京都賞
URLﾘﾝｸ(www.kyotoprize.org)
京都賞 受賞者
URLﾘﾝｸ(www.kyotoprize.org)
2002年基礎科学部門数理科学（純粋数学を含む）ミハイル・レオニドヴィッチ・グロモフ 写真
ミハイル・レオニドヴィッチ・グロモフ
（Mikhael Leonidovich Gromov）
フランス / 1943年12月23日
数学者
フランス高等科学研究所 教授、ニューヨーク大学 クーラント研究所 教授
幾何学的対象の族に距離構造を導入する新しい方法により数学の多分野においてその飛躍的発展に貢献
斬新なアイデアと伝統にとらわれない大胆な数学的手法によって、現代幾何学に新しい局面を切り拓き、多数の難問を解決すると同時に、幾何学、代数学、解析学などの多方面において、これらを統合する新しい視点を提出し、数理科学全般に多大な影響を与えた。
［受賞当時の対象分野： 数理科学］
URLﾘﾝｸ(www.kyotoprize.org)
1994年基礎科学部門数理科学（純粋数学を含む）アンドレ・ヴェイユ 写真
アンドレ・ヴェイユ
（Andre Weil）
フランス / 1906年-1998年
数学者
プリンストン高等研究所 名誉教授
代数幾何学及び数論における基礎研究を通じた現代数学への広汎な貢献
数論・代数幾何学を含む広範な領域での数々の先駆的研究によってきわめて顕著な研究成果をあげ、20世紀における最大級の巨星として、現代数理科学の飛躍的発展に大きく貢献した。
［受賞当時の対象分野： 数理科学］
132:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 17:06:30.96 iIK8Y/8u.net
>>111
> ２．審査委員長だった（？）砂田さんから「貴方の意見は正しい」とか言われた。
> ３．後日にちゃんとGromovも京都賞を受賞した。
> この時の私の判断基準として「GromovはFields賞を貰ってない」というのがあっったんですが、
> でも『そんなツマラン事を理由にしたら絶対にダメ』という事をこの時に学習しました。
結果として、そんなに外していないということですね
Gromov先生の業績は、あまり詳しくないのですが、
３次元ポアンカレ予想をペレリマンが解決したときに、
Gromov先生の結果を使ったという話はありましたね（＾＾
133:１３２人目の素数さん
17/08/27 17:09:56.27 aAvVJeay.net
アホ「正確な記述じゃない」
↓
俺「じゃあ正確な記述書いて」
↓
アホ←何故か無意味なコピペを連投
言語障害くんに教えといてあげる
そういうときは「正確な記述じゃない」じゃなく「何も理解せずに記述してました」
って言うんだよ わかるかな？おバカさん
で? >>62は完全崩壊したわけだが、結局お前は無限公理も N の構成方法も
極限もまるで理解してなかったってことでいいのね？
YESならさっさと削除依頼出して来い、お前に２ちゃんは早過ぎる、便所の壁で十分
134:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 17:16:25.83 iIK8Y/8u.net
>>120 Gromov先生
英語版の方が、分かり易いね
URLﾘﾝｸ(ja.wikipedia.org)
ミハイル・グロモフ
URLﾘﾝｸ(en.wikipedia.org)
Mikhail Leonidovich Gromov
135:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 17:19:08.76 iIK8Y/8u.net
>>121
ID:aAvVJeay、 おまえ分ってないね～（＾＾
おまえを、晒し者にしてんだよ！！（＾＾
136:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 17:20:03.36 iIK8Y/8u.net
不遇な一石くん（＾＾
137:１３２人目の素数さん
17/08/27 17:46:45.40 aAvVJeay.net
>>123
あれ？お前未だわかってなかったんだｗ アホ丸出しｗ
バカなお前でもわかるように解説してあげるからよく読みたまえ
お前は
138:極限 lim n→∞ を用いて N を定義しようとした しかし極限の定義の中で N が使われている lim n→∞ の n∈N だよな？ つまりお前の発言は、 「”生物”とは生き物のことである、”生き物”とは生物のことである」 と言ってるのと同じ。何一つ定義できていない。 これだけ懇切丁寧に解説してやったんだから理解しろアホ。 理解できたら、さっさと削除依頼出して来い。お前に２ちゃんは早い、便所の壁で十分。
139:１３２人目の素数さん
17/08/27 18:00:11.34 lx9a8Vxh.net
>>1
工学雑談なら工学板でやれや
物理雑談なら物理板でやれ
お前はどこか別の板へ行け
140:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 18:02:22.97 iIK8Y/8u.net
>>120 ペレリマン関連
これ、前にも紹介した気がするが（＾＾
URLﾘﾝｸ(www.ivis.co.jp)
わかみず会 株式会社 アイヴィス社
URLﾘﾝｸ(www.ivis.co.jp)
開催履歴（2015年）
(抜粋)
開催回・開催日
第259回（2010/5/26）
発表題目
「ポアンカレ予想（ジョージ.G.スピーロ）」の紹介
発表者
古村 哲也
資料
PDF形式でみる URLﾘﾝｸ(www.ivis.co.jp)
PDF形式でみる（資料2）URLﾘﾝｸ(www.ivis.co.jp)
PDF形式でみる（資料3）URLﾘﾝｸ(www.ivis.co.jp)
内容
ポアンカレ予想の証明者がフィールズ賞を辞退したことは知っていましたが、それ以上の関心は持っていませんでした。何故ならポアンカレ予想はは有名だけれど、私にとって何を言っているか分からない存在です。
たまたまジョージ・スピーロの著書が数式なしの縦書きだったので、少しは理解できるかと買い込みました。本の構成は概略ポアンカレの業績、非ユークリッド幾何学とトポロジーの誕生、ポアンカレ予想の内容、ポアンカレ予想証明の歴史、数学界の暗闘、証明者ペレルマンの紹介です。
URLﾘﾝｸ(www.amazon.co.jp)
ポアンカレ予想―世紀の謎を掛けた数学者、解き明かした数学者 単行本 ? 2007/12/19
ジョージ G.スピーロ (著), 志摩 亜希子 (監修, 監修), 永瀬 輝男 (監修, 監修), 坂井 星之 (翻訳), 塩原 通緒 (翻訳), 鍛原 多惠子 (翻訳), 松井 信彦 (翻訳)
トップカスタマーレビュー
5つ星のうち5.0ポアンカレ予想を解くという営みが実感できる良書
投稿者西向く侍2008年1月12日
141:１３２人目の素数さん
17/08/27 18:06:41.11 /LpAPMnz.net
>>123-124
>>1 ここにいない「一石」の影に怯える
142:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/27 18:22:30.93 iIK8Y/8u.net
>>125-126
不遇なきみ、分ってないね～
君の指摘は、かなり正しい。だから、>>91 を書いた
が、それ不遇なきみは、理解できないようだな
そもそも、不遇なきみは、過去スレ39 下記で、「なぜ、”頓死”したのか？」を理解していないんだろうね・・、くっくっくっ（＾＾
過去スレ39 ｽﾚﾘﾝｸ(math板:376-382番)
なお、「無限公理」の話は、>>62-64 >>65 に書いてある。
>>91より、こちらを読めばわかる話だが、小学生には難しいだろうね、くっくっくっ（＾＾
まあ、そのうち・・、不遇なきみが、じれた頃に、書いてやるよ。それまで、晒し者になってろ！！（＾＾
（参考）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
(抜粋)
将棋で聞く 『頓死』とは、どういった状況なんでしょうか？ alphaalpha1977さん yahoo 2010/4/13
ベストアンサーに選ばれた