17/01/01 22:10:50.04 cqs+IUeE.net
つづき
構造の階層に基いて、Elements de mathematiqueは分割された。パートⅠは解析の基本構造を、パートⅡは線型解析を、パートⅢは代数的解析(楕円関数、数論)を、パートⅣは微分トポロジーを扱った。この計画では代数トポロジー(すなわち、組合せトポロジー)がパートⅠにあるのが分かる。
（リスト略）
この計画において代数トポロジーの進行は殆ど無い。10?15.IV.1944のLa TribuNo. 10に"パリで1944年
216:4月6日から8日まで開かれた最近のブルバキ会議は、それでも重要な前進をした。編集者が長らく望んでいた、代数トポロジーの始まりだ"と報告されている。 しかし、その時の議題のコアな記述は、a) 曲線のメンガー理論、グラフ、ペアノ連続体、連続体は含むべきでない、b) ノットについての一章、c) 高次ホモトピー群とファイバー空間、それらは興味を駆り立てるし、将来性もあるようであるが、現時点では"幼虫"の状態である、と書かれていた。 このトピックの展開は戦争中、フランスではEhresmann、カルタン、ルレイ、米国ではスティンロッド、ホイットニー、スイスではHopf、Eckmannの研究で占められた。 11?15.1945のLa TribuはパートⅠのトピックの依存関係の図を含み、再度代数トポロジーが基礎の近くに位置している。 つづく
217:現代数学の系譜11 ガロア理論を読む
17/01/01 22:11:32.00 cqs+IUeE.net
つづき
1946年、第2次世界大戦が終わり簡単に旅行出来るので、サムエル・アイレンバーグ(1913?1998)がメンバーとして、明らかに代数トポロジーに関するレポートを準備するために招集された。
1949年までにアイレンバーグとヴェイユによるファイバー空間のトポロジーの重要方面を取上げている82ページのドキュメント、Rapport SEAW sur la topologie prehomologique[訳注:"プレホモロジー的トポロジーに関する緊急報告"]があった。
この細かく書かれたレポートはいくつかの新しいアイデアを含み、ファイバー空間の点集合の概念を発展させた。例えば、彼等は空間の表皮(こうしてはいけないことがあろうか、と補足説明付きで)を定義した。この"皮"は良好な拡張概念を持つ空間被覆である。
馴染みのあるトピックを取上げているリストは1950年の総計画である。
（リスト略）
パートⅡは可換代数を、パートⅢは代数トポロジーとその応用を、パートⅣは関数解析を扱った。
新しいトピック、幾何的トポロジーは被覆、ファイバー空間、ホモトピー、多面体、レトラクト、基本群のようなトピックを取上げるためにセールによって名付けられた。この術語は文献に載ったが、それを嘲り別の術語を考案したブルバキにはしっくり来なかった。
つづく
218:１３２人目の素数さん
17/01/01 22:11:33.22 55xmNTx6.net
スレ主の馬鹿主張>>40をコピペ
//////////////////////
>>34-37 にお答えしよう
>>37に引用頂いている通りだが
時枝>>4-5に従って
無限を扱うには，(2)有限の極限として間接に扱う，を実行してみよう
１．時枝>>2により
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^N
これを、一度有限に落とす。数列の長さL＝nを考えよう
２．s = (s1，s2，s3 ，・・・，sn)，s'=(s'1， s'2， s'3，・・・，s'n )∈R^nとなる
「ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版)」は、そのままでいい
３．「任意の実数列S に対し，同値な(同じファイパーの)代表r= r(s)」を、r =（=r(s)）= (r1，r2，r3 ，・・・，r n-1, r n)と表現しよう
同値の定義より、sn=r n だ。そして
「sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す」も、そのままでいい。とすると、決定番号d = d(s)=nとなることに注意をうながしておく
４．で、s = (s1，s2，s3 ，・・・，sn-1,r n) と書くことができる
今、 sn-1 ≠ r n-1と仮定しよう
５．そうすると、明らかにd = d(s) = nだ
６．r = (r1，r2，r3 ，・・・，r n)= (r1，r2，r3 ，・・・，r n-1, r n)として、>>38の引用に当てはめてみよう
Δr= s - r =(s1，s2，s3 ，・・・，sn-1,r n) - (r1，r2，r3 ，・・・，r n-1, r n)= (s1-r1，s2-r2，s3-r3 ，・・・，sn-1-r n-1 ，0 ) となり、なんの不都合もない
Δr= (s1-r1，s2-r2，s3-r3 ，・・・，sn-1-r n-1 )として、数列の長さLを、n-1と考えることも可能
７．ここで、極限を考える。n→∞だ。d = d(s) = nだった
lim (n→∞)d で、d→∞。そして、極限を考えても、同値s ～ r は不変だ
219:現代数学の系譜11 ガロア理論を読む
17/01/01 22:12:51.25 cqs+IUeE.net
つづき
そして、どうなったか?
代数トポロジーのテキストの出版にも影響を与える、もう一つの企てがこの時くらいに生まれた。1948/49年にアンリ・カルタンセミナーがパリで始まった。カルタンは1948年にちょうどハーバードから帰って、後に層となる位相的概念について喋った。
最初からセミナーはトポロジーなテーマを取上げ、48/49年に基礎概念に始まり、ファイバー空間へと進み、後年にはスペクトル列、層、群のホモロジー、アイレンバーグ-マクレーン空間となった。これらの講義の解説のレベルは、ブルバキの期待と合致し、講義の多くは当時のブルバキのメンバーによって行われた。
Elements de mathematiqueの最初期計画における代数トポロジーの議論と、ブルバキの予想読者のための基本的ツールでの実現は、そのトピックがグループにとってどういう位置かを明確にしている。
しかし、その分野の発展が戦後急激だったので、出版物の基準としてブルバキが課した方法(すなわち、本質的概念は同一化され、公理的基礎は主要定理が最初の原理からスムーズに証明されるように表現されていること)とは一致しなかったであろう。
ホモロジー代数の傍系的な発展は代数トポロジーに一ツールを与え、最終的にブルバキに取上げられたが、つい最近の時だ(1980年)。この発展の一部がブルバキ自身のメンバー、カルタン、アイレンバーグ、セール、Borelやその他の人によって実現されたことは重要であり、ブルバキの他の貢献と同じ形で取上げるには余りにも新しかった。
つづく
220:現代数学の系譜11 ガロア理論を読む
17/01/01 22:13:27.22 cqs+IUeE.net
つづき
ブルバキの出版物は読み易くない。その厳格なスタイルは、彼等の仕事に正確厳密に表現されている統一数学の一枚岩的見解と結びついている。道標であり且つ目標として"構造"という哲学的枠組みは際立った仕事の説明に役立つ。
しかし、保管庫の記録は別のストーリーを物語る。厳格さは集団的検閲の結果だ。ドキュメントの経過は最初の発表から最終的出版まで、一流の数学者の意見交換によって薬味が加えられ、驚くべき基準に則り、殆ど混沌だった。
一つの企ての観点から、ブルバキのElementsは、好結果を生むと考えられた手法(公理的手法)に基いて、有能な数学者の集まり(作品上では個人は匿名によって埋没されるが、そのプロセスが巻き込む活発性により埋め合わされている)による数学的文化の再構築の試みとして際立っている。
私達は同じ事をするために動かされている違いない(そして、代数トポロジーに関して何の種類のレポートを今日作ったのかと思う)。
おわり
221:１３２人目の素数さん
17/01/01 22:13:27.62 55xmNTx6.net
スレ主のアホコメ>>40に対する指摘>>117
//////////////////////
>>40
スレ主が極限を分かって無いことがよくわかるレスだな
極限の交換はいつでもできるとは限らないと習いませんでしたか？
スレ主は正規の数学教育を受けてないの？
受けていれば、極限の順序の交換に慎重になるはず。
この場合「有限数列を無限数列にする極限」と「無限数列列の極限」の交換。
交換できることを示さず、交換しているのはスレ主がスレ主が極限を分かって無いことの明らかな証拠。
>すなわち、nを自然数としたとき、数列s_nを初項から第n項までを1、それ以降を0とする数列とする。
>このとき、すべての自然数nについて、s_nはs_1の同値類に属すのは明らか。
>では、lim[n→∞]s_n はs_1の同値類に属すか？
問題追加
lim[n→∞]s_n はどんな数列か？
222:現代数学の系譜11 ガロア理論を読む
17/01/01 22:14:20.97 cqs+IUeE.net
>>200 ゲットおめでとう！
プロ固定
運営乙
223:１３２人目の素数さん
17/01/01 22:18:14.32 55xmNTx6.net
長文コピペの連打で逃げまわるのはやめようね
人間としてとても卑怯で非誠実な態度だよ
きみのデタラメ>>40をきっちり読んで、
数学的に指摘してくれた人(>>117)にとても失礼だと思います
224:現代数学の系譜11 ガロア理論を読む
17/01/01 22:55:37.73 cqs+IUeE.net
>>199 関連 前文
URLﾘﾝｸ(srad.jp)
ブルバキと代数トポロジー | taro-nishinoの日記 | スラド: 2012年02月26日
先日、知人からブルバキ数学原論旧版の和訳への復刻リクエストが多いことを聞いて、正直言いまして意外な感じを受けました。つまり、言葉が悪いですが馬鹿じゃなかろうかと思いました。
1970年代にブルバキと元出版社との間に長い法廷闘争があったことを皆さんも御存知でしょう。そして、ブルバキ側が勝ち、元出版社はブルバキとは何の関係も無くなり、販売権、翻訳権、その他もろもろの権利もありません。
そういう状況で旧版和訳を再刊行すればどうなるか、想像も難しくありません。旧版の和訳は当然元出版社からの翻訳認可があったからですが、この元出版社はブルバキとは縁が切れているので今は何ら権利を持ちません。
では、仮にブルバキとその代理人である現出版社にお伺いをするなら、向こうも困るでしょう。改訂版の和訳を出したらと言うに違いありません。ですから、旧版和訳復刊への道は険しいと言わざるを得ないのです。
最近、各地の大学図書館でブルバキ旧版和訳を放出しているのは、本の痛みもありますが、原書の改訂版が出ていることも背景にあるのでしょう。
要はブルバキを読みたければ原書を読めばいいのです。仏語が苦手なら英訳がほぼタイムリーに出ていましたから、望ましくはありませんが英訳を読めばいいのです。
つづく
225:現代数学の系譜11 ガロア理論を読む
17/01/01 22:56:26.84 cqs+IUeE.net
つづき
ここまで書いて、George McCarty博士の"Topology: An Introduction with Application to Topological Groups"の或る文章を思い出しました。その中でブルバキの"Topologie Generale"の英訳版を学習者のために推薦しているのですが、いい機会だから原書を読みなさいと言っているのです。以下に該当箇所の文章を簡単に載せておきます。
This is a translation of N. Bourbaki, Topologie Generale (Paris: Hermann, 1953); if you do not yet read math in French, here is an excellent time and place to begin. Try it; using the translation a
226:s a pony, you will find it possible even if you have never studied that language. (私訳) これはブルバキの"Topologie Generale"の翻訳である。貴方がまだフランス語で数学を読んでいないなら、始める絶好の機会と場所だ。翻訳を虎の巻として使って、その言語を習ったことがなくても可能だと分かるだろう。やってみなさい。 私は学生の時、独語を習っていなかったので、虎の巻として英語版か仏語版を使いながら独語原書を読んだことがありました。すぐ独語に馴染めました。 では何故、私のみならず多くの人が原書を重視するかと言いますと、翻訳はどうしてもミスプリントやマイナーエラーが混入される可能性があるからです。エッセイや読み物なら別にどうってことはないでしょうが、数学専門書ですから出来る限りエラーの無いものを選ぶべきなんです。 勿論原書にもエラーがあるかも知れませんが、それはもう仕方がないことです。 つづく
227:現代数学の系譜11 ガロア理論を読む
17/01/01 22:57:43.12 cqs+IUeE.net
つづき
私は原書しか読まないのですが、翻訳のいい加減さを実感した実例があります。私は学生時代、函数論を故小平邦彦博士の名著"複素解析"を読んで勉強しました(この場合、原書が日本語ですから問題ありません)。
ずっと後に、今から約5年ほど前、この本が英訳版"Complex Analysis"としてケンブリッジ大学出版から刊行されましたが、当時ケンブリッジにいた知人がこの本を購入して読んだのですが、どうも変だと感じ、私が日本語原書で勉強したことを知っている知人はわざわざ立派なハードカバーの英訳本を私に送り、原書と比べてくれないかと言って来ました。
そして英訳本を読んで私はショックを受けました。数学論文や専門書に書かれる文章は何語であろうが言い回しが殆ど決まっていますから、英文自体に特に問題は無くて、説明文や証明の中にある数式や記号に非常に間違いが多かったのです。
例えば、極限を取る際の0と∞の混同、τとtの混同、不等号における等号成立の混同、不等号の向きの混同、2とzの混同、曲線の記号と複素数体の記号の混同、その他もろもろ多数。一見して単純ミスと分かる場合はいいですが、そのまま意味が通じる時もあります。
これでは海外の初心者は安心して読めないし、もしかして"I don't think much of Kodaira."[小平は大したことないな]と思っているかも知れません。これらは結局翻訳者の原書からの書き写し間違いが原因です。遅くともゲラ刷りの段階でしっかり校正していれば防げたはずです。
小平博士の本を翻訳することは世界的に見てどれ程の影響力があるかを考えれば、こんないい加減な仕事をしないはずだと私は思います。そして、英訳本のお粗末さゆえ、結果的に小平博士の名誉を傷つけたことは翻訳者に大いなる罪があります。
知人には私の作った訂正一覧と証拠品として日本語原書を送りましたが、その返事には御礼とともにケンブリッジ大出版に交渉すると書いてありましたが、その後改訂されたとは聞いていません。
つづく
228:現代数学の系譜11 ガロア理論を読む
17/01/01 23:01:31.07 cqs+IUeE.net
>>203 関連
この数学は原書を読みなさいという話、随分前に引用したと思う
まあ、私もこれを参考に、できるだけ原書を併読するようにしている
訳本を、虎の巻としてね（＾＾；
229:１３２人目の素数さん
17/01/01 23:15:22.24 ghkgX2+G.net
>>201
答える気はないの？
230:現代数学の系譜11 ガロア理論を読む
17/01/01 23:22:31.68 cqs+IUeE.net
>>203
> 1970年代にブルバキと元出版社との間に長い法廷闘争があったことを皆さんも御存知でしょう。
裁判？ しらなかったな
ブルバキ数学史〈上〉〈下〉は、ちくま
231:学芸文庫で出ているみたい https://www.amazon.co.jp/dp/4480089772 ブルバキ数学史〈上〉 (ちくま学芸文庫) 文庫 ? 2006/3 ニコラ ブルバキ (著), Nicolas Bourbaki (原著), 村田 全 (翻訳), 杉浦 光夫 (翻訳), 清水 達雄 (翻訳) 商品の説明 内容（「BOOK」データベースより） 「構造」の観点から20世紀の数学全体を基礎づけ直したフランスの若き数学者集団ブルバキ。彼らの壮大な試みはユークリッドの『原論』を模して『数学原論』40余冊として結晶した。 最新の各理論の指導的理念やその形成展開の過程はどのようなものであったのか。膨大な原典史料を駆使して、理論の背後にある思考様式や哲学を含め考察したものが、「歴史覚えがき」として著された本書である。 「構造」を「歴史」から逆照射する、数学者自身によるユニークな数学史。数学専攻の学生・研究者はもちろん、「構造主義」哲学に関心ある読者には必読。文庫版は3篇を増補した決定版。上巻は「一様空間」まで。 著者略歴 (「BOOK著者紹介情報」より) 村田/全 1924年、神戸市生まれ。北海道大学理学部数学科卒業。立教大学名誉教授 清水/達雄 1928年、東京生まれ。東京大学理学部数学科卒業。元清水建設研究所研究員 杉浦/光夫 1928年、愛知県生まれ。東京大学理学部数学科卒業。東京大学名誉教授(本データはこの書籍が刊行された当時に掲載されていたものです)
232:現代数学の系譜11 ガロア理論を読む
17/01/01 23:27:34.78 cqs+IUeE.net
>>208 関連
URLﾘﾝｸ(hblo.blog.shinobi.jp)
はやしのブログ ブルバキ数学史:2006/03/11
(抜粋)
ちくま学芸文庫から『ブルバキ数学史』が出ているのを今日本屋で発見して、「おお」とのけぞった。この『数学史』に限らず、ブルバキとおれとは浅からぬ付合いがあるだけに、なかなかに感慨深い。
「ブルバキ」というのは、50歳定年制を布く数学者グループで、そのメンバにアンドレ・ヴェイユ（かのシモーヌのお兄さん）、ジャン・デュウドネ、アレクサンドル・グロタンディークといった、一癖も二癖もあるような連中が含まれる。
その記述スタイルは「公理、命題、証明」というセリーがひたすら続き、例などの提示はほとんどないという「味気ない」をまさに具体化したようなもの。初学者にやさしくないことこの上ない（ブルバキもその『数学原論』第一巻で「初学者向けではない」と自ら宣言していたように記憶する）。
ただ、その一貫性、簡潔さ、そして一般性は他の追随を許すものではなく、いきおいそこにある種の凛とした美しさを感じることになる。
おれもそういう美しさにやられた口で、学部生のころは明倫館で何十冊にもなる『原論』をちょぼちょぼ買い集めてはページを繰り、定理の証明を書き下したりして愉しんでいた。
さらには、そういうふうに「一人で愉しんでいる」のみならず、ブルバキネタで卒論まで書こうとかなり真剣に思いもしたが、それは何が何ぼでもやりすぎだ、ということで見送った。
ただ、今となってみれば全然オッケーだったような気もする（おれがいたところはバリバリ文科系にもかかわらず、少なくとも学生に関しては「数学アレルギー」を持っている人が少なく、友だちが集
233:まっては数学の問題を出しっこして解いたりしたものだった）。 つづく
234:現代数学の系譜11 ガロア理論を読む
17/01/01 23:28:14.66 cqs+IUeE.net
つづき
今日見かけた『数学史』は、各『原論』に載っていた「歴史的覚書」をコンパイルしたもので、単なる「歴史的事実の寄せ集め」というものではなく、「数学的概念の発展史」とも言うべきもので、序に「大学一年程度の数学知識で読める」とは書いてあるものの、ちゃんと読もうとするとかなり手ごわい。
手ごわいがちゃんと読めば、ある数学的概念が、いつごろ萌芽として潜在的に発生し、それがいつごろ顕在化したのか、という生態がとてもよく分かり面白い。集合・論理や微積分など、高校で既習済みのところなんかは比較的読みやすいので、そういう分かりそうなところを拾い読みするだけでもパースペクティヴが拡がると思う。
つわけで、誰にでもオススメ、というわけではないけれども、何かの機会があったら手にとってパラパラめくってもいいんじゃないかな。ちなみに、ブルバキそのものについて書かれたものとして『ブルバキ―数学者たちの秘密結社』という本もあって、これも面白いです。
(引用終り)
235:現代数学の系譜11 ガロア理論を読む
17/01/01 23:39:19.65 cqs+IUeE.net
>>208 関連
URLﾘﾝｸ(blog.goo.ne.jp)
読書ノート ニコラ・ブルバキ著 「数学史」上下 ちくま学芸文庫 - ブログ 「ごまめの歯軋り」:2011年09月07日 | 書評
URLﾘﾝｸ(sendatakayuki.web.fc2.com)
ニコラ・ブルバキ著 「数学史」
村田全・清水達雄・杉山光夫訳 ちくま学芸文庫 上・下 （2006年3月）
ユウクリッド「原論」からブルバキ「数学原論」にいたる数学史の構造主義的アプローチ
(抜粋)
ブルバキの旗印は「構造」であり、「形式論的経験主義」だといわれている。そしてこの「構造主義」は、当時の哲学と密接に関係し、その影響下にあったといわれる。
「構造主義」とは、狭義には1960年代に登場して発展していった20世紀の現代思想のひとつであり、広義には、現代思想から拡張されて、あらゆる現象に対して、その現象に潜在する構造を抽出し、その構造によって現象を理解し、場合によっては制御するための方法論を指す言葉である。
構造とはその要素間の関係性を示すものである。今日では、方法論として普及・定着し、数学、言語学、精神分析学、文芸批評、生物学、文化人類学などの分野で構造主義が応用されている。
数学において、ブルバキというグループが公理主義的な数学の体系化を進めているが、その中心人物であるアンドレ・ヴェイユは言語学者エミール・バンヴェニストからの影響を認めている。
文化人類学において婚姻体系の「構造」を数学の群論で説明した。群論は代数学（抽象代数学）の一分野で、クロード・レヴィ＝ストロースによるムルンギン族の婚姻体系の研究を聞いたアンドレ・ヴェイユが群論を活用して体系を解明した話は有名である。
現代思想としての構造主義は原則として要素還元主義を批判し、関係論的構造理解が特徴である。ロラン・バルト（文芸批評）、ジュリア・クリステヴァ（文芸批評、言語学）、ジャック・ラカン（精神分析）、ミシェル・フーコー（哲学）、ルイ・アルチュセール（構造主義的マルクス主義社会学）など人文系の諸分野でその発想を受け継ぐ者が多い。
ユングのアーキタイバル・イメージ（元型）を手がかりとしたアプローチも構造主義といえる。
つづく
236:現代数学の系譜11 ガロア理論を読む
17/01/01 23:40:06.30 cqs+IUeE.net
つづき
本書の
237:訳者である村田全氏は数学史には３つのアプローチがあると云う。ひとつは本書のような数学の中における自律の発展史という見方である。 第二に人類文化史や社会経済史、哲学史、自然科学史など全体の歴史の中のひとつの要素として数学の歴史を捉える見方である。第三に数学の中へ持ち込まれた他の影響を調べるアプローチもあるという。 いずれにせよ文化科学や社会科学においてそれぞれの歴史学が存在する（政治史、経済史、哲学史などなど）が、数学や自然科学には歴史という見方が稀薄である。これには自然科学は実学で現在でも立派に通用しているから、歴史的にしか存在しないものは乗越えられたという見方からきているようだ。 古代ギリシャの論証体系の確立に始まり、近代には記号論的演算力の切れ味が応用され、17世紀には科学革命の推進力となった。今日では圧倒的な数理科学にまで成長した。この数学の驚異的発展の恩恵は測り知れない。 ところが数学の発展はいつも実学の要求に応じて開発されたものかというと、全くそうではない。20世紀においても数学は理論数理物理学の欠かせない手段となったが、それが物理学が利用したまでの事であって、数学は自律的抽象化の道を歩んだにすぎない。 数学者の関心の的が「時代の子」として物理学に注がれることは事実だが、別にその請負仕事ではなかった。数学の歴史には20世紀を分かれ目として、19世紀的な輝かしい具体的数学と、20世紀的現代抽象数学がある。ブルバキは当然現代抽象数学の先端を行くものであろう。 つづく
238:現代数学の系譜11 ガロア理論を読む
17/01/01 23:41:17.48 cqs+IUeE.net
つづき
数学基礎論
ブルバキは論理の形式化、数学における真理の概念、対象、モデル・構造、集合論、集合論の逆理と基礎の危機、超数学と論を進める。
ギリシャの論証法から、ルネッサンスから近世を経て、非ユークリッド幾何学、ヒルベルトの「幾何学基礎論」に到流れのなかで、数学的真理が経験の即しつつ形式化されてゆく過程を示している。数学構造論としては一番集合論が似合う。
ブルバキは論理の無矛盾性よりは、より構造的な決定（選択）のほうに重点が置かれている。ブルバキはユークリッドの数学の特質を次の3つに整理している。
①論理学の形式化を導いたのはいつも数学であった。
②ギリシャ公理論は経験的起源を持つ。
③ギリシャ数学の数学的存在の特質を作図可能性であると云う。
この見解に対して訳者の村田全氏はサボーの見解を引いて、エレア学派の哲学が上位に立つと反論しているが、ここにはその詳細は議論できない。
ユウクリッドの原論以来、自然数（正の整数）という段階的な対象に関する理論が論理と一番なじむが、連続的数は対象として論理となじまないようである。
ブルバキは連続を避けているように思われる。数学の真理性とは何だろう。記号論ー形式論理なのだろうか。そしてそれは純粋に思惟的自律的なものだろうか。
ブルバキはその形式的理論なるものをあくまで現実的実在に対する１個の理論モデルと考え、その理論モデルを全体として理解し、統一的な数学の存在を認めているようだ。
訳者の村田全氏はこれを「形式論的経験主義」と呼んでいる。数学の真理性が認識の原理の中にあるのか、それとも自然の中に存在するのか、これは永遠の問いである。
(引用終り)
239:現代数学の系譜11 ガロア理論を読む
17/01/01 23:51:44.79 cqs+IUeE.net
>>212 関連
>数学者の関心の的が「時代の子」として物理学に注がれることは事実だが、別にその請負仕事ではなかった。数学の歴史には20世紀を分かれ目として、19世紀的な輝かしい具体的数学と、20世紀的現代抽象数学がある。ブルバキは当然現代抽象数学の先端を行くものであろう。
ここ、まさにブルバキの時代はそうなのだが、20世紀末からは様変わり（下記）
>>103 受賞者記念講演録 | 京都賞:
物理と数学を巡る冒険
エドワード・ウィッテン
より
「ここでお話ししておかなければならないのは、17世紀、18世紀、それに19世紀�
240:ﾌ 大半でさえ、数学者は同時に物理学者でもあるのが普通だったのに、ところが20 世紀になると、数学と物理学という2 つの学問は別々の道を歩むようになったよ うです。その原因は、数学の分野における数々の進歩により、物理学との距離が離 れていったからだと思われます。しかしそれ以外にも、1930年頃から、物理学の研 究が、相対論的量子場理論など数学的解釈がきわめて難しいと思われる方向に向 かったことが挙げられます。」>>109 「サイバーグとの共同研究は、4 次元空間の研究に数学的に関係する部分もありま した。それを、数学者は一般にサイバーグ・ウィッテン理論と呼びます。実は、こ のことからある興味深い事実が明らかになります。それは、私が研究生活を始めて から現在に至るまでの間に、数学と物理学の距離が非常に近くなった部分もあれ ば、依然として大きく離れている部分もあるということです。」>>119 つづく
241:現代数学の系譜11 ガロア理論を読む
17/01/01 23:52:01.82 cqs+IUeE.net
つづき
大栗>>69より
「１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。
今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。
場の量子論に数学的基礎を与えることは数理物理学の長年の課題ですが、２次元の共形場の理論では確実な進歩が起きています。前回の２００６年のICMでフィールズ賞を受賞されたウェンデリン・ウェルナーさんの業績も２次元の共形場の理論に関係するものでした。」
「もうひとりの受賞者のセドリック・ビラニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。
物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです。」
(引用終り)
242:現代数学の系譜11 ガロア理論を読む
17/01/02 00:04:43.36 MUXssChK.net
>>199
>私達は同じ事をするために動かされている違いない(そして、代数トポロジーに関して何の種類のレポートを今日作ったのかと思う)。
原文（訳文だけでは分かり難い）
We should all be so moved to do the same. (And I wonder what kind of report on algebraic topology we would produce today.)
243:１３２人目の素数さん
17/01/02 01:43:52.10 HxlgBhaG.net
>>170
用語が正式かはともかくとして2つの数列が同値かどうかは二択でしょう
>>40
> 無限を扱うには，(2)有限の極限として間接に扱う，を実行してみよう
Δrの極限をとることで得られた無限数列は以下の(a), (b)のどちらなのですか？
(a) (s1-r1, s2-r2, ... , s(n-1)-r(n-1), 0, 0, 0, ... ) (シッポは全て0)
(b) (s1-r1, s2-r2, ... , s(n-1)-r(n-1), 1, 1, 1, ... ) (シッポは0でない)
参考までに
ｽﾚﾘﾝｸ(math板:484番)
> 同値類の定義からΔrの無限数列のシッポは全て0になることは確定しているから
> 極限を考えた場合の無限数列のシッポは全て0になって決定番号は無限大にはならない
>
> 最初にシッポの0をカットして有限数列にしても極限を考えるときに
> ある番号nから先の「s'n-sn, ...」が再度全て0になる
という書き込みに対してのスレ主のレスは
ｽﾚﾘﾝｸ(math板:489番)
>>166
100列の無限数列の(異なる)決定番号{d1, d2, ... , d100}に対応させて100個の項だけが
0である無限数列(a1, a
244:2, ... , a(d1)=0, ... , a(d100)=0, ... )を出題することを考える この数列と代表元との比較をして一致するシッポに0が一切含まれないケースを考えれば出題者は 100個の0が数列のどの位置にあっても100個全ての0を含む有限数列を作ることが可能であることが 数列の出題時に仮定されていることになる その有限数列からa(d1), a(d2), ... ,a(d100)を取り出し{d1, d2, ... , d100}を作れば良いので スレ主が挙げる「すその超重い分布」は考えなくてもよい
245:現代数学の系譜11 ガロア理論を読む
17/01/02 07:24:43.41 MUXssChK.net
>>215 関連
URLﾘﾝｸ(www.ted.com)
セドリック・ヴィラニ: 数学の何がそれほど魅惑的なのか | TED Talk Subtitles and Transcript | TED.com: Posted Jun 2016
(抜粋)
0:11
フランス人が 他の国民より 巧みな事は何でしょう？ そんな世論調査をしたなら トップ３の答えは 愛､ワイン､ワイニング（泣き言）
0:25
（笑）
0:26
かもしれませんが それに加えて もう１つ提案すると 数学です パリ程 数学者の多い街は 世界中どこを捜してもありません これ程 数学者にちなんだ 名前の街路もありません 統計からすると 数学のノーベル賞とも言われ 40才以下の数学者に与えられる フィールズ賞の受賞者人口比は フランスが世界一です
0:57
数学の何が フランス人を そんなに魅惑するのでしょうか？ 数学なんて 抽象的でつまらないとか またはルールと数字を使っての計算に 過ぎないように思えるでしょう
数学は抽象的かも知れませんが 退屈ではなく 計算が全てでもありません 数学とは論証と証明こそが 数学者の仕事の中核を成し 想像力 すなわち 我々が最も称賛する能力を使う 真理の追求です
何ヶ月も思考を重ねた上 問題が解け やっと正しい証明が 論証し上がった時の喜び と言ったらありません 偉大なる数学者アンドレ・ヴェイユが この喜びを? 冗談抜きに? 性的快感に例えています 違いは その感覚が何時間も 時には何日も継続するという事です
1:49
見返りが大きいのです 数学的真理は この物質世界全体に潜んでいます 我々は それを五感で 感じる事は出来なくとも 数学というレンズを通して 見る事が出来ます
では 暫く目を閉じて 身の回りで起きている事を 考えてみて下さい あなたの周りの空気中にある 見えない無数の粒子が 常にあなたの体に ぶつかってきています それは まったく不規則です それでも 動きの統計的な値は 数理物理学で正確に予測できます では 目を開けて その粒子の速度の統計に 目を向けてみましょう
つづく
246:現代数学の系譜11 ガロア理論を読む
17/01/02 07:26:55.13 MUXssChK.net
つづき
2:31
これは かの有名な 釣り鐘形のガウス曲線? 誤差の法則? 平均的挙動に対する 偏差を表したものです この曲線は 粒子の速度を 人口統計が年齢分布を表すように 統計で表したもので 最も重要な曲線の１つです これは幾度となく 多くの理論や実験から現れる 普遍的な一大真理として 我々数学者には とても大切なものです
3:08
ガウス曲線に関して 有名な科学者フランシス・ゴルトンが こう言いました 「ギリシャ人がこの法則を知っていたら これを神格化していただろう これは無秩序の最高法規だ」
この至高の女神を最もうまく 具現化したのがゴルトンボードです この中には 狭いトンネルがあり それを通り 小さなビー玉が 右へ 左へ また左へというように ランダムに落ちていきます 完全に無秩序な混沌とした動きです こんな無秩序な軌道が共に 何を起こすか見てみましょう
略
4:18
出ました 無秩序の至高の女神 ガウス曲線が 『サンドマン』の主人公ドリームのように この透明の箱に閉じ込められています ここでは 実験で お見せするだけですが この曲線以外はあり得ない理由を 私のクラスでは説明します 至高の女神の神秘に触れ 美しい偶然の一致が 美しい論証に取って代わるのです
4:50
科学とはこのようなものです 美しい数学的な論証は 数学者の喜びであるだけでなく 我々の世界観を変えてしまいます 例えば アインシュタイン ペラン スモルコフスキー 彼らは 無秩序な軌道の集合とガウス曲線を 数学的に分析して この世に存在する全てのものは 原子で成っていると証明しました
つづく
247:現代数学の系譜11 ガロア理論を読む
17/01/02 07:27:58.45 MUXssChK.net
つづき
5:18
数学者が 我々の世界観を覆したのは これが初めてではありません ２千年以上前 古代ギリシャの時代には そのような事が既に起きていました 当時 世界のほんの一部しか 探検されておらず 地球は無限に広がっている かのようだったでしょう 知恵者のエラストテネスは 数学を使い 僅か２％の誤差という驚く程の正確さで 地球の周長を測ったのです
5:50
もう１つの例は 1673年に ジャン・リシェが カイエンヌでは振り子の動きがパリより 少し遅くなることに気がつきました この観察だけから 数学を巧妙に使い ニュートンは 地球の両極が ほんの少し平坦なことを 正確に導き出しました その扁平率は0.3%と僅かで 地球全体を実際見たとしても 気がつかない程でしょう
6:25
これらの例が示しているのは 数学が我々に直観の世界を 超えさせてくれ 果てしなく見える地球の 大きさを測定させ 目には見えない原子や 我々が五感で感知できないものを 検知させてくれるということです
この私のトークから 覚えておく事があるとしたなら それは１つ 我々の直観を越えた所にある 知覚では理解し難いものを 数学は探索させてくれるということです
6:58
皆さんも経験している 現代の例がこれです ネットでの検索です ワールド・ワイド・ウェブ 10億を超えるページ全部 調べ上げたいと思いますか？ それだけの計算能力があればですが データに潜む情報を見出すための 数学モデルがなければ 使い物にならないでしょう
7:19
分かり易い問題で考えてみましょう こう想像して下さい あなたは ある事件を扱っている刑事で １人１人異なった見解を 持った証人が多くいたとします 誰を最初に事情聴取しますか 合理的に見ても 主要目撃者ですよね こうです 証人７が ある話をするとします
その情報の発信源を 証人７に尋ねると 証人３から聞いたと言うのです その次には 証人３は 証人１が その話の源だと 言うかも知れません さあ 証人１が主要証人となり その人からの事情聴取を 絶対に最優先したいと思いますよね
でも このグラフから 証人４が主要目撃者だとも 見なされるので 彼の方を先に事情聴取した方が いいかもしれません 大勢の人の口から 彼の名が上がるからです
つづく
248:現代数学の系譜11 ガロア理論を読む
17/01/02 07:30:09.07 MUXssChK.net
つづき
8:11
この場合は簡単ですが もし 非常に多くの人が証言する となったら どうします？ また このグラフは 複雑な事件で証言する人々を 表しているようですが 相互にURLを参照し合う ウェブサイト
249:を 表しているのでもあります これでは どのサイトが 最も信頼できるのか あまり はっきりしません 8:39 ここで登場するのが「ページランク」 Google初期の主要機能の１つです このアルゴリズムは 数学的無秩序の法則を使って 最も関連性の高いウェブサイトを 自動的に決定します これはゴルトンボードの実験で 見られた無秩序の法則と同じ原理です では このグラフに 小さなデジタル・ビー玉を送り込み バラバラに通してみましょう それぞれサイトに到着し 次から次にリンクを 無秩序に通り抜けます どの玉も そうです 玉が少しずつ積み上がり それぞれのサイトの閲覧数? デジタル・ビー玉の数が記録されます 9:23 さあ行きますよ 無秩序に バラバラと 時々 全く無秩序にジャンプを起こして もっと面白くしましょう 9:33 ご覧下さい カオスの状態から解決法が生まれます ビー玉の数が一番多いのは 他のサイトに比べて リンクが多いサイトであり より多く参照されているサイトです これで どれが 最初に見てみたいウェブサイトか はっきりと分かります ここでもまた 解決法が無秩序から生まれます もちろん それ以来 Googleはもっと洗練された アルゴリズムを導入していますが ページランクは既に実に うまく機能していました 10:05 それでも問題は起きますが その頻度は ほんの百万回に１回程です デジタルの到来で 数学的分析が応用出来る 問題が増えて来て 数学者の仕事は増々有用になり 数年前 2009年の ウォール・ストリート・ジャーナルによると 「職種ランキング100」の調査で 百の仕事の内のトップに のし上がるまでになりました つづく
250:現代数学の系譜11 ガロア理論を読む
17/01/02 07:31:42.55 MUXssChK.net
つづき
10:36
数学者は 世界で最高の仕事です 理由は その応用の幅広さです コミュニケーション理論 情報理論 ゲーム理論 圧縮センシング 機械学習 グラフ解析 調和解析に加え 確率過程 線形計画 流体シミュレーションもあり それぞれ 様々な産業界で 大いに応用されています
これらを通して 数学は大きな利益をもたらします そして 認めざるを得ないことは 数学を使い富を得る事に関しては ダントツで米国が世界一です その象徴の才気ある億万長者や 素晴らしい巨大企業は全て 究極のところ 良く出来たアルゴリズムに 頼っているということです
11:28
これら全ての美しさ 有用さと豊かさで 数学は より一層魅惑的に見えるのです しかし数学者の研究生活が 楽だなんて思わないで下さい 解決までには 当惑 苛立たしさ 理解に向けての 絶望的な闘いで一杯なのです
11:50
私の数学者としての人生で 最も印象深かった ある日のことを お話ししましょう 最も印象深い夜だったと 言うべきかも知れません 当時 私はプリンストン高等研究所にいました
アルベルト・アインシュタインが 何年も研究を続けた場所で 数学の研究には世界で最も聖なる地だと 言っても間違いがありません
その夜 私は 捕らえ所のない証明に 取り組んでいて それは不完全なままでした これは電子の集合体である プラズマの 矛盾する安定性に関するものでした
完璧なプラズマの世界では 我々に馴染みの安定性を作り出す 衝突も摩擦もありません
しかし 少しでもプラズマの平衡が崩れると 電場は 結果として ひとりでに消え去る つまり 減衰することになります まるで何か不可解な摩擦力が 働いたようにです
つづく
251:現代数学の系譜11 ガロア理論を読む
17/01/02 07:33:23.56 MUXssChK.net
つづき
12:53
この矛盾する現象は 「ランダウ減衰」と呼ばれ プラズマ物理における 最も重要な事象の１つで その存在は数学で証明されました とはいっても この現象は完全には 数学的に理解されていま�
252:ｹんでした かつての私の教え子であり 主要共同研究者のクレマン・ムーオと共に? その時パリにいたのですが? 何ヶ月もその証明に 取り組んでいました 実は 私は 解けたと勘違いして 公表してしまっていたのですが 実際には その証明は成り立っていなかったのです 百ページ以上の複雑な数学的論理 多くの発見や 膨大な計算にも拘らず うまく行きませんでした プリンストンでの その夜は 証明を構築する過程の論理が うまく繋がらなく気がどうかなりそうでした エネルギーと経験 そしてあらゆる手法を 駆使していたのに 何もうまく行きませんでした 夜中の１時 ２時 ３時になっても 同じ状態でした ４時頃になり 落ち込んだまま就寝し その数時間後 目覚め 「子供たちを学校に連れて行く時間だ」 とその時 何だ これは？ 頭の中で こう言う声が 確かに聞こえたのです 「第２項目を 式の反対側に持って行き フーリエ変換して L2空間で逆変換せよ」 略 14:21 これだ！ それが解決への第一歩でした つづく
253:現代数学の系譜11 ガロア理論を読む
17/01/02 07:35:11.40 MUXssChK.net
つづき
14:26
このように 休息していたと思っていたのに 実は私の脳は働き続けていたのです そんな時には 野心も同僚の事も頭にはありません 取り組んでいる問題と自分だけです
14:43
そうは言ったものの 自分の辛苦が報われ 昇進するのも悪くはないですね ランダウ減衰の膨大な証明が完了してから 私は幸運な事に 最も切望されているフィールズ賞を インドの大統領の手から ハイデラバードで 2010年の8月19日に頂きました 数学者にとって夢の様な光栄です 死ぬまで この日を忘れないでしょう
15:13
どう思われますか その時の私の気持ちは？ プライド？ もちろん それに加え これを可能にしてくれた 協力者の方々ヘの感謝の念です
これは人々と共同の冒険だったからです
共同研究者以外の人々とも 共有すべき事なのです
誰でも数学研究のワクワク感を味わえ その陰に潜む人々の情熱的な物語を 共有出来ると信じています
アンリ・ポアンカレ研究所の 私のスタッフと共同研究者たちと 世界の数学的表現アーティストと共に アンリ・ポアンカレ研究所で 実に特殊な独自の数学博物館創立に 力を注いでいます
15:57
数年後に パリに来られたら 美味しいパリパリのフランスパンと マカロンを 賞味なさった後 どうぞアンリ・ポアンカレ研究所へ お越し下さい そして 数学の夢を一緒に見ましょう
16:13
ありがとうございました
16:14
（拍手）
(引用終り)
254:現代数学の系譜11 ガロア理論を読む
17/01/02 07:41:22.35 MUXssChK.net
>>224 関連
URLﾘﾝｸ(www.ambafrance-jp.org)
フランスの数学大使、セドリック・ヴィラニが来日 - La France au Japon:在日フランス大使館 更新日 30/05/2014
(抜粋)
フランスの天才数学者セドリック・ヴィラニさんが5月14日から16日まで、自著『定理が生まれる』日本語版刊行を記念して、フランス大使館と早川書房の招きで来日しました。
明治大学の会場を埋めた聴衆（2014年5月16日）
フランス大使館と早川書房は5月中旬、『Theoreme vivant』の邦訳『定理が生まれる』の刊行を記念して、著者のセドリック・ヴィラニさんを日本に招待しました。
若き天才数学者セドリック・ヴィラニさんは、航海日誌のようにつづられた著書の中で、フィールズ賞の受賞理由となった定理の誕生について語っています。10年以上の歳月をかけてボルツマン方程式に取り組んできたヴィラニさんは、もっぱら運動理論と最適輸送問題を研究しています。
『定理が生まれる』のPRの一環として早川書房が企画した数多くのインタヴュー（5月18日付の日経新聞など）に応えたほか、そのたびに年齢層の異なる聴衆を前に3回の講演を行いました。
1回目は中高生を対象とした講演で、東京国際フランス学園で行なわれました。「世界がまだダーウィンを知らなかった頃」と題する講演を聴いた生徒たちは、複雑な理論を単純明快な言葉で語るヴィラニさんの講演に目を輝かせていました。
2回目は数学を専攻する学生と研究者を対象とした講演で、東京大学の数理科学研究科の招待で同大学駒場キャンパスで行われました。「リッチ曲率」に関するこの講演には、150人以上の学生や研究者が集まりました。
3回目は数学以外を専攻する学生を対象とした講演で、欧州留学フェアの特別企画として明治大学で行われました。180人以上の学生が会場に訪れ、サイン会など著者との交流も行われました。
今回の来日でセドリック・ヴィラニさんはまさに数学大使として大活躍しました。
(引用終り)
255:現代数学の系譜11 ガロア理論を読む
17/01/02 07:58:39.04 MUXssChK.net
>>225 関連
URLﾘﾝｸ(mathsoc.jp)
日本数学会・2010年度秋季総合分科会・総合講演と企画特別講演:９月２３日
URLﾘﾝｸ(mathsoc.jp)
鵜飼 正二(東工大) ボルツマン方程式の研究 --過去と未来-- 日本数学会・2010
概要 ボルツマン方程式に関するこれまでの数学的研究を特に大域解の存在理論を中心に紹介するとともに，最近の発展が著しいいわゆるグラッドの切断近似を仮定しないボルツマン方程式の解の平滑化作用に関して，そのメカニズムを明らかにするとともに，未解決問題について概観する．
キーワード ボルツマン方程式, グラッドのカットオフ近似, 大域解, 非カットオフポテンシャル, 準楕円性, 平滑化作用, Gevreyクラス, 不確定性原理
Abstract・ Video・ Presentation
(抜粋)
空間一様ボルツマン方程式
弱解(エントロピー解） (Villani ’98, [35])：
解の存在定理- カットオフなし
空間一様の場合の最初の大域的弱解の存在定理は田中(’78)のマクスウ
エル型ポテンシャルに対するものである。一般のポテンシャルに対する
弱解の存在定理はずっと後にVillani (’97)で与えられた。
しかし空間非一様の場合の解の存在定理は未だ満足のいくものではな
い。最近やっと古典解の時間局所的存在と平衡解の近傍での大域解の存
在が証明できるようになった。
[1] R. Alexandre, L. Desvillettes, C. Villani, and B. Wennberg. Entropy
dissipation and long-range interactions. Arch. Ration. Mech. Anal.,
152:327?355, 2000.
[35] C. Villani. On a new class of weak solutions to the spatially
homogeneous boltzmann and landau equations. Arch. Rational
Mech. Anal., 143:273?307, 1998.
(引用終り)
256:現代数学の系譜11 ガロア理論を読む
17/01/02 08:32:06.21 MUXssChK.net
>>226 関連
URLﾘﾝｸ(fr.wikipedia.org)
References
40↑ (en) Horng-Tzer Yau, ≪ The Work of Cedric Villani ≫,
257: ICM Proceedings, Congres international des mathematiciens,? 2010 (lire en ligne [archive] [PDF]). [archive] (抜粋) The Work of Cedric Villani Horng-Tzer Yau Department of Mathematics, Harvard University Cambridge MA 02138 August 10, 2010
258:現代数学の系譜11 ガロア理論を読む
17/01/02 08:33:44.25 MUXssChK.net
つづき
1 Introduction
The starting point of Cedric Villani's work goes back to the introduction of entropy in the nineteenth century
by L. Carnot and R. Clausius. At the time, entropy was a vague concept and its rigorous definition had to
wait until the fundamental work of L. Boltzmann who introduced nonequilibrium statistical physics and the
famous H functional. Boltzmann's work, though a fundamental breakthrough, did not resolve the question
concerning the nature of entropy and time arrow; the debate on this central question continued for a century
until today. J. von Neumann, in recommending C. Shannon to use entropy for his uncertainty function,
quipped that entropy is a good name because ”nobody knows what entropy really is, so in a debate you will
always have the advantage".
The first result of Villani I will report on concerns the fundamental connection between entropy and its
dissipation. In this work, we will see that rigorous mathematical analysis is not just a display of powerful
analytic skill, but also leads to deep insights into nature. Based on this work, Villani has developed a general
theory, hypercoercivity, which applies to broad systems of equations. In a separate direction, entropy was
used by Villani as a fundamental tool in optimal transport and the study of curvature in metric spaces.
Finally, I will describe Villani's work on Landau damping, which predicts a very surprising decay (and thus
the word damping) of the electric field in a plasma without particle collisions, and therefore without entropy
increase. This is in sharp contrast with Boltzmann's picture that the time irreversibility comes from collision
processes.
つづく
259:現代数学の系譜11 ガロア理論を読む
17/01/02 08:34:07.95 MUXssChK.net
つづき
5 Conclusion
In Villani's work, we have seen not only rigorous mathematical analysis providing deep insights into physical
behavior, but also important new mathematics emerging from the study of natural phenomena, in the spirit
of Maxwell and Boltzmann. Besides his research articles, Villani has written extensive surveys and books
[48, 50, 49, 51], and, through these, as well as the insights of his work, he has inspired a generation of
young mathematicians with deep, rich, physically motivated mathematical questions. We are witnessing the
beginning of Villani's spectacular career and in
uence in shaping the directions of analysis and mathematics.
(引用終り)
260:現代数学の系譜11 ガロア理論を読む
17/01/02 08:46:28.93 MUXssChK.net
URLﾘﾝｸ(ar)
chive.
wiki
wi
x.
com/
ca
che
/
?url
=http%
3A
%2F
%
2Fw
ww.icm2010.o
rg.in%2
Fw
p-
con
tent%2
Fi
cm
files%2
Flau
da
ions%2
Ffie
lds
4.pdf
261:現代数学の系譜11 ガロア理論を読む
17/01/02 08:47:38.14 MUXssChK.net
>>230
これを全部１列につなぐとNGワードだと
腐った板にも困ったものだ
262:現代数学の系譜11 ガロア理論を読む
17/01/02 08:49:42.36 MUXssChK.net
ふーん
?url
=http%
最後、いろいろ改行を入れて、上記を切ったら、OKだった
いま、２行をつなぐとNGだと
運営たちは狂っている・・・
263:現代数学の系譜11 ガロア理論を読む
17/01/02 08:52:13.57 MUXssChK.net
>>230 は、>>227の40↑ (en) Horng-Tzer Yau, ≪ The Work of Cedric Villani ≫, ICM Proceedings, Congres international des mathematiciens,? 2010 (lire en ligne [archive] [PDF]). のURLだったのだが・・
これを通すのに、３０分ほどロスした
が、NGワードが分かったので、次から役立つ
264:現代数学の系譜11 ガロア理論を読む
17/01/02 09:04:25.14 MUXssChK.net
>>228
（google訳）
1はじめに
Cedric Villaniの研究の出発点は、L.CarnotとR. Clausiusによる19世紀のエントロピーの導入に戻ります。
当時、エントロピーは漠然とした概念であり、その厳密な定義は、非平衡統計物理学と有名なH関数を導入したL. Boltzmannの基本的な作業まで待たなければならなかった。
ボルツマンの仕事は、基本的な画期的な進歩であっても、問題を解決しなかった
エントロピーと時間の性質についてこの中心的な問題に関する議論は、今日まで1世紀にわたって続けられた。
J.フォン・ノイマンは、C. Shannonに不確実性関数のためにエントロピーを使用するよう勧告するにあたり、「誰もエントロピーが本当に何であるかを知っているわけではないので、エントロピーは良い名前だ」と断言した。
Villaniの最初の結果は、エントロピーとその散逸の間の基本的な関係についての懸念を報告します。
この作業では、厳密な数学的分析は、強力な分析スキルの表示ではなく、自然に関する深い洞察につながることがわかります。
この作業に基づいて、Villaniは広範な方程式系に適用される一般的な理論である高保磁力を開発しました。
別の方向では、最適な輸送とメートル法空間における曲率の研究の基本的なツールとして、Villaniがエントロピーを使用しました。
最後に、Landanの減衰に関するVillaniの研究について説明します。これは、粒子衝突のないプラズマの電界の非常に驚異的な減衰（したがって、減衰という単語）を予測し、したがってエントロピーが増加しないことを予測します。
これは、ボルツマンの写真とは対照的に、不可逆性の時間は衝突過程から来ているということです。
265:現代数学の系譜11 ガロア理論を読む
17/01/02 09:05:10.32 MUXssChK.net
>>229
（google訳）
5。結論
Villaniの研究では、マックスウェルとボルツマンの精神において、肉体的な振る舞いに深い洞察を与える厳密な数学的分析だけでなく、自然現象の研究から生まれた重要な新しい数学も見てきました。 彼の研究論文に加えて、Villaniは広範な調査と書籍を書いている
[48、50、49、51]、そしてこれらを通して、彼の仕事の洞察を深く、豊かで、肉体的に動機づけられた数学的な質問を持つ若い数学者に鼓舞した。
私たちはVillaniの壮大なキャリアの始まりと、分析と数学の方向性を形作ることに目を向けています。
266:現代数学の系譜11 ガロア理論を読む
17/01/02 09:06:45.48 MUXssChK.net
>>229 つづき
Villani has written extensive surveys and books
[48, 50, 49, 51], and, through these, as well as the insights of his work, he has inspired a generation of
young mathematicians with deep, rich, physically motivated mathematical questions.
267:現代数学の系譜11 ガロア理論を読む
17/01/02 09:18:53.04 MUXssChK.net
>>226 関連
URLﾘﾝｸ(mathsoc.jp)
鵜飼 正二(東工大) ボルツマン方程式の研究 --過去と未来-- 日本数学会・2010
(抜粋)
ボルツマン方程式はL.ボルツマンが1872年に導いた非平衡希薄気体の
運動方程式である．彼の目的は当時定式化が完成した熱力学をニュート
ン力学により基礎付けることにあった．
当時は既に全ての物理現象は単一の基本原理により記述されね
ばならないという信念(principle of the first principle)が広く受け入れら
れており、熱力学をニュートン力学に基づいて
268:構築しようという試みは ごく自然なものであった． ボルツマンの出発点は気体分子運動論である．これは気体が互いに衝 突を繰り返している多数の粒子からなり，気体の巨視的性質はその相対 的な運動で説明が出来るとするものである．このアイデアは18世紀に既 に萌芽が見られるが，19世紀に入り原子の存在こそまだ実証されていな かったが原子論が新しいパラダイムとして認知され，熱は粒子の運動に 他ならないという熱運動論が広く支持されるようになるに従い説得力を 持つようになっていた． つづく
269:現代数学の系譜11 ガロア理論を読む
17/01/02 09:19:28.00 MUXssChK.net
つづき
このアイデアがニュートン力学と相性が良いのは明らかであろう。原
理的には全ての粒子の位置と速度をニュートンの運動方程式から求めれ
ば気体の微視的状態が分かる。しかし解くべき方程式の個数は膨大(アボ
ガドロ数)であり、解くことはおろか、それと同数の初期データを準備す
ることは実行不可能である。しかし多数の粒子が衝突を繰り返すと個々
の粒子は個性を失い、平均的・統計的な扱いが意味を持つようになる。
ボルツマンが着目した統計量は１粒子相空間（位置-速度空間) におけ
る気体粒子の密度（単位体積あたりの粒子質量の合計）である。
古典的な密度分布は実空間の統計量であるが、相空間では粒子速度と
いうミクロの情報を含めることができる。相空間の選び方はもちろん一
意でなく、２粒子相空間、３粒子相空間…も可能であるが、１粒子相空
間は古典的な実空間に次いで簡単な構造を持ち、しかもミクロ情報を扱
うことができる。
ボルツマンは彼の方程式から
? 熱力学の第一法則（エネルギー保存則）
? 熱力学第二法則（エントロピー増大の法則）
が証明できると主張した．
つづく
270:現代数学の系譜11 ガロア理論を読む
17/01/02 09:19:56.39 MUXssChK.net
つづき
マクスウエル分布は，マクスウエルがボルツマン方程式に先立ち1859
年に統計的考察により導いたものである.明らかにQ(M) = 0が成り立つ
ので、ρ, u, T がt, xによらない定数ならばMはボルツマン方程式の定常
解である。すなわち
? 平衡状態はマクスウエル分布以外にあり得ない.
? マクスウエル分布はボルツマン方程式に埋め込まれている.
これよりボルツマンは熱力学のニュートン力学的基礎を築いたと主張
した。しかしこれに対して多くの反論が提起され、ボルツマンとの間で
激しい論争が繰り広げられたことは科学史上の有名な挿話である.
W.トンプソン，J. ロシュミット，E. ツェルメロ，…
? H定理は時間に関して非可逆.
? ニュートン力学は時間に関して可逆.
最終的にボルツマンに軍配が上ったのは1970年代に入ってからである.
? ランフォードによるボルツマン-グラッド極限の存在証明。
ボルツマン方程式の統計力学的依存性.
? 多くの研究者によるボルツマン方程式の解の存在理論の整備．
ボルツマン方程式の数学解析
先駆的研究:
? ヒルベルト展開(1912)．（数学の問題，第６）
? チャップマンーエンスコグ展開(1916-17)
つづく
271:現代数学の系譜11 ガロア理論を読む
17/01/02 09:20:29.60 MUXssChK.net
つづき
時間大域的解の存在定理
最初の存在証明はカーレマン(1932)に遡る．ただし、f が変数xに依存し
ない場合（空間一様）の，剛球気体についての結果．
(参考) ナヴィエ-ストークス方程式のルレイによる弱解の構成: 1934
しかしその後長い間殆ど研究の進展がなかった。その理由の１つのは衝
突断面積Bの持つ強い特異性である．
グラッドのカットオフ近似
この困難を回避するため1963年にグラッドは特異点の近傍でB を有界関
数で置き換えることを提案した。�
272:ｱのときQは積分作用素として適切に 定義できる． この近似の導入でその後のボルツマン方程式の解析が大きく進展し た。現在この近似はグラッドのカットオフ近似と呼ばれている。この近 似は画期的で、ボルツマン方程式の解析に多くの成功をもたらした。 特に大域解の存在理論の研究は大きく進展した。実際、これまでに、 全く原理の異なる３つの理論的枠組みが開発された． つづく
273:現代数学の系譜11 ガロア理論を読む
17/01/02 09:20:46.26 MUXssChK.net
つづき
初期値問題の大域解- カットオフ近似
1. L∞理論：平衡解に近い解、スペクトル解析＋ブートストラップ論法
鵜飼(’74, ’76), 西田-今井(’76), 静田-浅野(’78) …
2. L1理論：振幅に制限のない解、繰り込み理論＋H定理
Diperna-Lions(’89), Hamdache (’92) …
3. L2理論：平衡解に近い解、マクロ・ミクロ分解＋エネルギー法
Liu-Yang-Yu(’04), Guo(’04)…
ほぼ15年ごとに技術革新が生み出されてきた．
次の技術革新が待たれる．
(引用終り)
（ここらで１／３程度）
274:現代数学の系譜11 ガロア理論を読む
17/01/02 09:28:35.95 MUXssChK.net
>>237 つづき
”当時は既に全ての物理現象は単一の基本原理により記述されね
ばならないという信念(principle of the first principle)が広く受け入れら
れており、熱力学をニュートン力学に基づいて構築しようという試みは
ごく自然なものであった．”
Villani のフィールズ賞はこの延長上
物理→数学
２０世紀の後半から、この流れが復活したようだ
もっとも、Villaniがなにをしたのか、いまいちよくわからん
だれか、日本語の解説を書いてくれないかね（＾＾
”弱解(エントロピー解） (Villani ’98, [35])：”、”弱解の存在定理はずっと後にVillani (’97)で与えられた”というから、超関数理論を応用したのかな・・？
275:現代数学の系譜11 ガロア理論を読む
17/01/02 09:52:01.52 MUXssChK.net
>>236 関連
>as well as the insights of his work, he has inspired a generation of
>young mathematicians with deep, rich, physically motivated mathematical questions.
URLﾘﾝｸ(www.kagawa-nct.ac.jp)
平成１０・１１年度 国専協・教育改善共同プロジェクト 数学談話会 平成１１年１月
特別講演（薩摩順吉氏）（東京大学教授）Junkichi SATSUMA 東京大学工学部物理工学教室
大学で数学をどう教えるか －数学専攻でない学生への数学教育－
(抜粋)
筆者は後述するような日本的分類では数
学者ではない．数学を応用する立場で研究
を行なっており，最近では専門を問われれ
ば“ 算術”であると答えることにしている．
しいていえば，数理物理学専攻といえばよ
いであろうか．
学問としての数学の変化
数学は諸科学の基礎的言語としての役割
を果たす領域を拡げてきたとともに，それ
自身内的な発展をとげてきた．
．同時に，数学の内容
はきわめてむずかしくなってきており，分
野の細分化も一段とすすんでいる．そのた
め，自分の専門分野の論文でも，それを明
晰判明に理解するには多大の時間と労力を
必要とし，自分の専門とまったく関係ない
分野の論文を明晰判明に理解することはた
いていの場合ほとんど不可能になってきて
いる4．ましてや，数学者でない人間に
とってはまさに秘教である．
つづく
276:現代数学の系譜11 ガロア理論を読む
17/01/02 09:52:28.75 MUXssChK.net
つづき
長期間専門的訓練を受け選別された少数の祭司たちが，
民衆には絶対わからない言語を使って秘儀
を行なっているわけである3．
数学の発展過程の中で，上記のような形
容が使われるほど一般化抽象化が進んだの
であるが，それは今世紀に入ってからがい
ちじるしい．
特に1940 年代からフランス
の数学者集団ブールバキ（BOURBAKI）が
数学全般に対して行なった厳密化は代表的
なものである．こうした中で，数学は磨き
あげられ，美しく整った論理的建造物，す
なわち純粋数学の殿堂ができあがった5．
殿堂の建設をすすめてきたことは，基礎的
言語としての役割を果たすべき諸科学との
かかわりあいを弱める結果となった．
元来渾然一体としていた物理と数学の間の壁も
厚くなってしまった．しかし，そのような
傾向は近年変化してきている．たとえば，
最近の数理物理学の発展，特に非線形問題
の研究の進展は，両者の接近を再びうなが
す一つの重要な要素となってきている．そ
こでは解析学だけでなく，代数学や幾何学
とのからみあいも生じてきている．
つづく
277:現代数学の系譜11 ガロア理論を読む
17/01/02 09:52:57.68 MUXssChK.net
つづき
ここで，日本特有の状況についてふれて
おきたい．日本では古くから純粋数学指向
の傾向が強かった．理学部数学科はほとん
ど純粋数学者で占められており，応用数学
は数学研究の中で低い水準のものであると
みなされてきた．もちろん数学科の中にも
応用数学関係の講座も存在するが，応用と
いっても世界的にみるときわめて数学の色
彩の強いものである．日本で応用数学とい
う場合，一般には数学の中の応用分野をい
うのであり，前にふれたように，この意味
で筆者は数学者でないのである．
日本独特の感覚として，いわゆる“ ムラ
意識”がある．ウチの大学，ウチの会社と
いうように集団の内と外を区別する．研究
者の世界も同じである．特に数学の世界で
は，外の人間との交流を拒否する“ 優越的
孤立主義”ともいうべき伝統が存在してい
る6．そして各分野の中でもグループ分け
が比較的はっきりとしており，グループを
意識せずに交流をはかるのはそう簡単なこ
とではない．昔の和算の頃も，流派を立て
門外不出で絶対他には教えないという風潮
があり，行なっていることは実質的に違わ
ないのに流派が違うと話が通じないことも
あった7．
つづく
278:現代数学の系譜11 ガロア理論を読む
17/01/02 09:53:30.46 MUXssChK.net
つづき
それほどではないが，似た状況
が今でも存在しているともいえるであろう．
外国ではこういった障壁はあまりない．
また研究の上で数学という言葉が示す範囲
も広い．たとえば筆者が過去に訪問したア
メリカの地方大学の理学部数学科の場合，
その構成は数学以外に基盤をもつ応用数学
者が半数，情報コンピュータ関係の研究者
が4 分の1，そして残りの4 分の1が日本的
な意味での数学者であった．そうした中で
は，数学の各分野間の交流および数学外の
人間との交流も活発であり，またグループ
があってもそれは柔軟性をもっている．一
つの研究対象があったとき，容易に関連す
る分野の研究者とのつながりがもて，研究
をすすめていく上で効率的なグループが形
成されることになる．
日本でも近年は，京都大学数理解析研究
所を中心に，数学と他の分野，特に物理と
の境界領域における積極的な研究活動，研
究会活動が行なわれるようになってきた．
つづく
279:現代数学の系譜11 ガロア理論を読む
17/01/02 09:54:21.37 MUXssChK.net
つづき
要するに
数学を専門としない学生にとっても数学
は基礎的言語であるので，むずかしいとい
って放棄することはできない．何のために
数学をやるのかという問いに対して，ごく
少数が頭のトレーニングと答えたほか，ほ
とんどすべての学生は専門で必要であるか
らと答えている．そのようなとき，数学精
神の育成という観点からだけでの教育は不
十分である．実際に使える数学も教えなけ
ればならない．コンピュータの発達は抽象
また，幅広い応用数学者のグループである
C＆ A（Computation and Analysis）は，数
学科出身以外の研究者もとり込んで着実な
活動を行なっている．しかし，日本的な体
質はそう簡単に抜けきれるものではないと
いうことも事実である．
数学の必要性を要請し，同時にわかりやす
く学ぶ方法を提供した．筆者の知りえた範
囲で，実際に数式処理を用いた教育や，視
覚化を利用した教育に対する学生の反応は
非常によいとのことである．
最近の学生は無気力であるとか無感動で
あるとかいわれる．しかし，アンケートの
結果によればそういう傾向はほとんどみら
れない．青春期は新しいものに対して好奇
心をもつ世代である，という事実は変わら
ない．数学に対する動機づけは，その好奇
心を刺激することによって可能であると筆
者は考える．限られた時間内に豊富になっ
た数学の全貌を示すことはそう容易ではな
い．しかし，補助的手段も使いやすくなっ
たという状況のもとで，大切なところは“要
するに”，そして視覚化も利用して“ たと
えば”，さらに“ なぜこんなことを”という
ことを説明しながら教育を行なえば，もっ
と学生をひきつけるものとなるのではない
だろうか．
研究をすすめながらすぐれた教育を行な
うことは，たしかに困難なことである．先
にふれたように，大学における教育環境も
決して充実しているとはいえない．しかし，
冒頭にのべたような学生の反応が存在する
中で，数学を専門としない学生に対する数
学教育をもっと真剣に考えることが今必要
なのではないであろうか．
(引用終り)
280:１３２人目の素数さん
17/01/02 10:17:38.31 g1Bdr5Rg.net
>>117に答えられず困って逃げ回るスレ主の図www
281:１３２人目の素数さん
17/01/02 10:18:16.10 g1Bdr5Rg.net
おっとsageてしまった
馬鹿スレ主を晒しage
282:現代数学の系譜11 ガロア理論を読む
17/01/02 10:33:45.79 MUXssChK.net
>>247 補足
￥さんは、対岸の火事という
もちろん、私にとっては、無関係な世界の火事ではある
が、好みはあるだろうが、ブールバキ（BOURBAKI）が数学教育のベストではないだろう。
数学専攻でない学生にも、数学専攻の学生にも
一つは、2000年以降の数学の発展を、ブールバキ（BOURBAKI）は追い切れていない。おそらく、今後も追い切れるものではない
一つは、薩摩順吉氏が書いているように、コンピュータの発達を取り込むことが重要で、ブールバキ（BOURBAKI）だけではできない
一つは、数学の発展で、登る山が高くなりすぎた。いま、エベレストに無防備で登る人はいない。酸素ボンベなどの装備は不可欠。数学での装備は、コンピュータだろう。将来はAIかも
まあ、要するに登るべき山が、ある高さ以上に高くなると、裾から徒歩で登るべきかどうか？ 徒歩で登っては、途中で人生の時間としても、経済的にも成り立たなくなっているのかもしれない
283:現代数学の系譜11 ガロア理論を読む
17/01/02 10:34:01.69 MUXssChK.net
>>247 補足
（薩摩順吉氏）
「自分の専門分野の論文でも，それを明
晰判明に理解するには多大の時間と労力を
必要とし，自分の専門とまったく関係ない
分野の論文を明晰判明に理解することはた
いていの場合ほとんど不可能になってきて
いる4．ましてや，数学者でない人間に
とってはまさに秘教である．
長期間専門的訓練を受け選別された少数の祭司たちが，
民衆には絶対わからない言語を使って秘儀
を行なっているわけである3．」
それでも、物理学者などは、秘儀をまねて、自家薬籠中に取り込む人が多い感じだ
ウィッテンや大栗先生など
284:現代数学の系譜11 ガロア理論を読む
17/01/02 10:34:17.93 MUXssChK.net
>>247 補足
（薩摩順吉氏）
「ここで，日本特有の状況についてふれて
おきたい．日本では古くから純粋数学指向
の傾向が強かった．理学部数学科はほとん
ど純粋数学者で占められており，応用数学
は数学研究の中で低い水準のものであると
みなされてきた．もちろん数学科の中にも
応用数学関係の講座も存在するが，応用と
いっても世界的にみるときわめて数学の色
彩の強いものである．日本で応用数学とい
う場合，一般には数学の中の応用分野をい
うのであり，前にふれたように，この意味
で筆者は数学者でないのである．
日本独特の感覚として，いわゆる“ ムラ
意識”がある．ウチの大学，ウチの会社と
いうように集団の内と外を区別する．研究
者の世界も同じである．特に数学の世界で
は，外の人間との交流を拒否する“ 優越的
孤立主義”ともいうべき伝統が存在してい
る6．そして各分野の中でもグループ分け
が比較的はっきりとしており，グループを
意識せずに交流をはかるのはそう簡単なこ
とではない．」
東大村とか京大村とか、おおきな村に住民登録している優等生は別として
地方の村に住民登録した人は、村で暮らしていくのか暮らしていけるのか
いろいろ考えるべきことがあるだろう
285:１３２人目の素数さん
17/01/02 10:39:28.13 g1Bdr5Rg.net
指摘から逃げるくらいなら最初からデタラメ言うなや笑
286:現代数学の系譜11 ガロア理論を読む
17/01/02 11:17:35.17 MUXssChK.net
戻る
>>165
>証明を何度書いてもスレ主は読まず、スレ主自身では証明を書かない。
>これでは、もはやどうしようもないであろうと悟った。
YES！
証明が”初出”でないなら、書かずに、出典を示してくれ。できれば、WebかPDFか。出版物でも可。その場合、ページと概要くらい書いてくれ。キーワードが分かれば、代用のページが検索できるだろう
証明が初出なら、もし重要な証明なら、こんなところに書くのはもったいない。どこかarXivにもでも投稿してから、そのリンクを示した方がいいぞ
例えば、Sergiu Hart氏>>47や時枝>>2-4にゲーム論的確率理論を適用して、厳密に確率99/100を導くなど
こちらから見れば、証明が初出でないなら、こんな見にくい（視認性の悪い）場所にごちゃごちゃ書いて貰うより、出典を示して貰う方が良い。
自分が書くときは、出典を示すようにしている
もし、証明が初出で、素人が書いたものなら、誤りが含まれている可能性大だ。そんなものを、こんな見にくい（視認性の悪い）場所にごちゃごちゃ書いても、読まされる方はたまらん
赤ペン先生をやらされているごとくだ。なんでおれが、赤ペン先生？ それメンターさんの仕事だ。おっちゃん、いっちゃわるいが、思い当たるところがあるだろう
それが、おれが証明を読まない
かつ、基本的に書かない理由だ
287:現代数学の系譜11 ガロア理論を読む
17/01/02 11:18:28.87 MUXssChK.net
>>254 つづき
で、>>217 読まないよ、理由は前述の通りだ。赤ペン先生お断り
288:現代数学の系譜11 ガロア理論を読む
17/01/02 11:20:14.87 MUXssChK.net
>>255 つづき
で、>>248-249 >>253
Ｔさん、悪いが、時枝ほどの人がだまされたんだ。
文系に理解できるかどうか？ 理解させる自信はない。 だが、お分かりのように、理系の時枝記事賛同者はほとんどいなくなった
せいぜい、前スレ 499 返信：１３２人目の素数さん[sage] 投稿日：2016/12/23(金) 02:29:18.79 ID:06iuOQ6r
「時枝記事の存在価値は>>1-3の戦略が
標準的な確率論の下で正当化できるかではなく、
あの戦略を正当化できるような新規な確率論を
構築することができるかにある。そのことは
時枝自身が>>4にネタバラシしているので、
そこを外した議論の意義は薄い。
数学者たちが無視しているのは、>>4の意味での
時枝問題が雲をつかむような話で、
特に肯定的なアイディアも無いが
否定するのは悪魔の証明でしかない
エンガチョな問いかけだからだよ。」くらい
過去、確率の専門家さんは、時枝は確率論が分かってないといい
おそらく院生クラスの人は、「与太話」だと
それが理系のセンスだよ
289:現代数学の系譜11 ガロア理論を読む
17/01/02 11:54:35.59 MUXssChK.net
>>256 補足
URLﾘﾝｸ(d.hatena.ne.jp)
悪魔の証明とは - はてなキーワード: 記載日不詳
(抜粋)
[英] devil's proof
[ラ] probatio diabolica
悪魔の証明とは、「ある事実・現象が『全くない(なかった)』」というような、それを証明することが非常に困難な命題を証明すること。
例えば「アイルランドに蛇はいる」ということを証明するとしたら、アイルランドで蛇を一匹捕まえて来ればよいが、「アイルランドに蛇はいない」ということの証明はアイルランド全土を探査しなくてはならないので非常に困難、事実上不可能であるというような場合、これを悪魔の証明という。
新約聖書にあるサタンがイエスを試した逸話から来ている。ある論争に際して、そもそも挙証が困難な命題の証明を相手に迫ることもひとつのディベートのテクニックではあるが、それを悪魔の証明だ、と相手が指摘することが挙証責任を転嫁する際の決めぜりふであるということには必ずしもならない。
注意点
「『全くない』ことを証明するのは不可能に近い」のであって、「『全くない』のは確実である」という意味ではない。
また、「ある一連の事実が『全て本当にあった』」ことを証明することも、言い換えれば「その一連の事実に『嘘は全くない』」ことを証明することであり、同様に不可能に近い。
(補注：すなわち「ある事実・現象の有り無しを『100％』確定するのは不可能に近い」ということである)
科学関連議論への補足
ここ数年、疑似科学や似非科学の議論で「悪魔の証明」という用語を多用する人が居るが、これも要注意である。「悪魔の証明」という比喩は、たしかに法律分野ではある程度認知されているが、科学・数学分野では20世紀はじめの有名な大論争を経て、今ではより厳密な用語を使った精緻な議論が可能となっている。
科学の専門家を自称しながら、科学議論であえてこの分野違いで不適切な用語(「悪魔の証明」)を持ち出す人が居たら、それは厳密な議論による追求を避けて何かを誤魔化そうとしているソフィストの類(あるいはその影響下にある人)かもしれない。
290:現代数学の系譜11 ガロア理論を読む
17/01/02 12:06:16.15 MUXssChK.net
>>257 補足
悪魔の証明が下記かどうか不明だが、ヒットしたので一応貼っておく
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
荒野の誘惑（あらののゆうわく）はキリスト教の聖書正典である新約聖書に書かれているエピソードの１つ。キリスト教教理において重要な役割を果たしており、キリスト教文化圏の芸術作品の中で繰り返し用いられるモチーフでもある。
洗礼者ヨハネから洗礼を受けた後、イエスは霊によって荒れ野に送り出され、そこに40日間留まり、悪魔（サタン）の誘惑を受けた。マルコによる福音書（1:12,13）、マタイによる福音書（4:1-11）、ルカによる福音書（4:1-13）の福音書に記述がある。以下は、マタイ伝とルカ伝によるもの。
悪魔の誘惑
悪魔はイエスをエルサレムに連れて行き、宮の頂上に立たせて言った、「もしあなたが神の子であるなら、ここから下へ飛びおりてごらんなさい。『神はあなたのために、御使たちに命じてあなたを守らせるであろう』とあり、また、『あなたの足が石に打ちつけられないように、彼らはあなたを手でささえるであろう』とも書いてあります」。
イエスは答えて言われた、「『主なるあなたの神を試みてはならない』と言われている」。
悪魔はあらゆる試みをしつくして、一時イエスを離れた。それからイエスは御霊の力に満ちあふれてガリラヤへ帰られると、そのうわさがその地方全体にひろまった。（出典/口語訳聖書 Public Domain)[1]
291:現代数学の系譜11 ガロア理論を読む
17/01/02 12:07:34.99 MUXssChK.net
>>257 補足
悪魔の証明が下記かどうか不明だが、ヒットしたので一応貼っておく
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
荒野の誘惑（あらののゆうわく）はキリスト教の聖書正典である新約聖書に書かれているエピソードの１つ。キリスト教教理において重要な役割を果たしており、キリスト教文化圏の芸術作品の中で繰り返し用いられるモチーフでもある。
洗礼者ヨハネから洗礼を受けた後、イエスは霊によって荒れ野に送り出され、そこに40日間留まり、悪魔（サタン）の誘惑を受けた。マルコによる福音書（1:12,13）、マタイによる福音書（4:1-11）、ルカによる福音書（4:1-13）の福音書に記述がある。以下は、マタイ伝とルカ伝によるもの。
悪魔の誘惑
悪魔はイエスをエルサレムに連れて行き、宮の頂上に立たせて言った、「もしあなたが神の子であるなら、ここから下へ飛びおりてごらんなさい。『神はあなたのために、御使たちに命じてあなたを守らせるであろう』とあり、また、『あなたの足が石に打ちつけられないように、彼らはあなたを手でささえるであろう』とも書いてあります」。
イエスは答えて言われた、「『主なるあなたの神を試みてはならない』と言われている」。
悪魔はあらゆる試みをしつくして、一時イエスを離れた。それからイエスは御霊の力に満ちあふれてガリラヤへ帰られると、そのうわさがその地方全体にひろまった。（出典/口語訳聖書 Public Domain)[1]
292:現代数学の系譜11 ガロア理論を読む
17/01/02 12:08:12.73 MUXssChK.net
>>259
ひとつ被った。スマソ
293:１３２人目の素数さん
17/01/02 12:12:52.52 g1Bdr5Rg.net
>>254
ぐちゃぐちゃ言い訳乙www
294:現代数学の系譜11 ガロア理論を読む
17/01/02 13:15:32.06 MUXssChK.net
>>242 関連
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
In physics, Landau damping, named after its discoverer,[1] the eminent Soviet physicist Lev Landau (1908?68), is the effect of damping (exponential decrease as a function of time) of longitudinal space charge waves in plasma or a similar environment.[2]
This phenomenon prevents an instability from developing, and creates a region of stability in the parameter space.
Landau damping can be manipulated exactly in numerical simulations such as particle-in-cell simulation.[5] It was proved to exist experimentally by Malmberg and Wharton in 1964,[6] almost two decades after its prediction by Landau in 1946.[7]
Mathematical theory: the Cauchy problem for perturbative solutions
The rigorous mathematical theory is based on solving the Cauchy problem for the evolution equation (here the partial differential Vlasov?Poisson equation) and proving estimates on the solution.
First a rather complete linearized mathematical theory has been developed since Landau.[14]
In a recent paper[17] the initial data issue is solved and Landau damping is mathematically established for the first time for the non-linear Vlasov equation.
It is proved that solutions starting in some neighborhood (for the analytic or Gevrey topology) of a linearly stable homogeneous stationary solution are (orbitally) stable for all times and are damped globally in time.
The damping phenomenon is reinterpreted in terms of transfer of regularity of f {\displaystyle f} f as a function of x {\displaystyle x} x and v {\displaystyle v} v, respectively, rather than exchanges of energy.
17 Mouhot, C., and Villani, C. "On Landau damping", Acta Math. 207, 1 (2011), 29?201 (quoted for the Fields Medal awarded to Cedric Villani in 2010)
295:現代数学の系譜11 ガロア理論を読む
17/01/02 13:16:23.96 MUXssChK.net
運営プロ固定釣られ乙
296:現代数学の系譜11 ガロア理論を読む
17/01/02 13:17:33.17 MUXssChK.net
小学生に極限を教える自信はないわな
297:現代数学の系譜11 ガロア理論を読む
17/01/02 13:18:26.74 MUXssChK.net
また釣れるだろう
298:現代数学の系譜11 ガロア理論を読む
17/01/02 13:25:06.91 MUXssChK.net
>>69 関連
2014年フィールズ賞マリアム・ミルザハニ "力学"ってあるね
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
マリアム・ミルザハニ（マルヤム・ミールザーハーニー[5]、波: ???? ????????? ?、英: Maryam Mirzakhani、1977年5月[6] - ）は、イラン人の数学者であり、スタンフォード大学で2008年9月1日から数学の教授を務めている[7][8][9]。
彼女の研究分野はタイヒミュラー理論（英語版）、双曲幾何学、エルゴード理論、シンプレクティック幾何学である[6]。2014年に彼女はフィールズ賞を受賞し、これは女性として初、かつイラン人としても初であった[10][11][12][13]。
彼女は、モジュライ空間におけるトートロジー集合の交差数に関するエドワード・ウィッテンの推測に新たな証明を与え、またコンパクトな双曲面における単純な閉測地線の長さに関する漸近線の公式を導き出した。
次いで彼女の研究は、モジュライ空間のタイヒミュラー力学に移った。特に、タイヒミュラー空間における地震のフローはエルゴード的であるという、ウィリアム・サーストンが提唱し長らく解決されなかった予想を彼女は解決することができた。
2014年にミルザハニは「リーマン面とそのモジュライ空間の力学と幾何学に関する顕著な業績」を理由にフィールズ賞を受賞した[18]。
299:現代数学の系譜11 ガロア理論を読む
17/01/02 13:32:40.13 MUXssChK.net
>>69 関連
2014年フィールズ賞マルティン・ハイラー 特に確率偏微分方程式ってあるね。応用面も強そうだ
URLﾘﾝｸ(ja.wikipedia.org)
マルティン・ハイラー（Hairer Martin、1975年11月14日 - ）はオーストリア国籍の数学者。王立協会会員。英国のウォーリック大学、米国のニューヨーク大学を経て、2010年よりウォーリック大学教授。専門は確率解析、特に確率偏微分方程式。父はジュネーブ大学の数学者、アーネスト・ハイラー、配偶者は同じくウォーリック大学の数学者である、Xuemei Li。
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Research
Hairer's nomination for the Royal Society reads:
“ Professor Martin Hairer is one of the world's foremost leaders in the field of stochastic partial differential equations in particular, and in stochastic analysis and stochastic dynamics in general.
By bringing new ideas to the subject he made fundamental advances in many important directions such as the study of variants of Hormander's theorem, systematisation of the construction of Lyapunov functions for stochastic systems,
development of a general theory of ergodicity for non-Markovian systems, multiscale analysis techniques, theory of homogenisation, theory of path sampling and, most recently, theory of rough paths and the newly introduced theory of regularity structures.[8] ”
Under the name HairerSoft, he develops Macintosh software.[9]
300:１３２人目の素数さん
17/01/02 13:40:13.54 g1Bdr5Rg.net
>>40
アホレスの後始末しなくていいの？wwww
301:１３２人目の素数さん
17/01/02 13:42:11.32 g1Bdr5Rg.net
>>256
お前の理系のセンスでは>>117には答えられないの？www
なんであからさまに逃げ回るのかなー？？www
302:現代数学の系譜11 ガロア理論を読む
17/01/02 13:43:43.67 MUXssChK.net
>>69 関連
2014年フィールズ賞Artur Avila Cordeiro de Melo 物理数理系か
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
Artur Avila Cordeiro de Melo (born 29 June 1979) is a Brazilian and French mathematician working primarily on dynamical systems and spectral theory. He is one of the winners of the 2014 Fields Medal,[2] being the first Latin American to win such award. He is a researcher at both the IMPA and the CNRS (working a half-year in each one).
At 19 he began his doctoral thesis on the theory of dynamical systems. Completed in 2001, when he traveled to France to do post-doctoral.[6] It works in the areas of dimensional dynamic and holomorfa.[7]
Since 2003 works at the Centre National de la Recherche Scientifique (CNRS) in France, and since 2008 is Directeur de recherche at this property. His post-doctoral supervisor was Jean-Christophe Yoccoz.[8]
Considered a
303:prodigy as a teenager in 2005, at age 26, Arthur became known among mathematicians can prove by the "Conjecture of the ten martinis" problem proposed in 1980 by the American Barry Simon. Simon promised to pay ten martini doses who explained his theory about the behavior of "Schrodinger operators", mathematical tools related to quantum physics. Artur solved the problem with mathematician Svetlana Jitomirskaya [9] and was presented with a few rounds of martini. Prizes In 2011, he was awarded the Michael Brin Prize in Dynamical Systems. He received the Early Career Award from the International Association of Mathematical Physics in 2012,[11] TWAS Prize in 2013[12] and the Fields Medal in 2014.[13]
304:現代数学の系譜11 ガロア理論を読む
17/01/02 13:44:07.11 MUXssChK.net
やっぱり釣られ
305:１３２人目の素数さん
17/01/02 13:44:25.46 g1Bdr5Rg.net
コピペで荒らすなクソ野郎
自分のブログでやれよ
数学の会話ができねえなら消えろ
>>117から逃げ続けるなら去れ
306:現代数学の系譜11 ガロア理論を読む
17/01/02 13:45:29.84 MUXssChK.net
>>270
まあ、2014年フィールズ賞４人中３人が、なんらかの物理数学系の研究が認められたってことかな？
307:現代数学の系譜11 ガロア理論を読む
17/01/02 13:45:50.60 MUXssChK.net
また釣れた
308:現代数学の系譜11 ガロア理論を読む
17/01/02 13:47:04.33 MUXssChK.net
あほか
ガロアすれの１からずっとこの状態だよ（＾＾
309:１３２人目の素数さん
17/01/02 13:56:25.71 g1Bdr5Rg.net
>>274
なんで煽りには反応するのに>>117の数学的指摘には答えられないの？www
分からないからでしょ？
あるいは自分が間違ってるのを認めたくないんだよねwww
数学板なのに数学を語らないなら消えてよ
wikiのコピペで都合の悪いレス>>114を埋めようなんて卑怯ですよ、理系のじいさん
310:１３２人目の素数さん
17/01/02 14:11:24.05 P/oX8M+m.net
>>275
それは単にお前が数学的指摘から逃げ回ってるからだな
311:１３２人目の素数さん
17/01/02 14:47:39.58 HxlgBhaG.net
>>256
だから時枝記事は数当て戦略を正当化できる確率論があれば数当て戦略が成立するということ
であってスレ主が無条件に無限数列の出題を認めて数当てを開始できると仮定しているので
あれば(本人は意識していないだろうが)戦略を正当化できる確率論があるという仮定をした上で
戦略不成立の根拠を挙げていることになる
そのような仮定の上でスレ主が戦略不成立の根拠を挙げればおかしな所が何かしら必ず
出てくるからそれを見つけて指摘しているだけですよ
312:１３２人目の素数さん
17/01/02 16:05:18.51 P/oX8M+m.net
>>256
だれも
測度論で時枝の戦略の確率が正当化される
とは言ってないわけだがw
（何回同じこと言ってんの？？何回同じこといわせんの？）
そもそも時枝自身が記事でネタばらししているわけで。
そんなのは争点でもなんでもない。
国語も不自由してるのかスレ主は？可哀想にw
お前のコピペはお腹いっぱいだよー
早くお前の得意な数学の話をしようぜ
>>117の回答はまだあ？www
313:１３２人目の素数さん
17/01/02 16:11:18.94 P/oX8M+m.net
>>32
> 決定番号で、∞とか、ωを考える必要は無いんじゃないかな？
> lim_{m→∞}（可能無限）を考えれば十分だろ
・決定番号が有限値でないことがあるから時枝の戦略は成り立たない
・キマイラ数列∈/R^Nが存在するから時枝の戦略は成り立たない
・決定番号の確率分布は裾が重いから時枝の戦略は成り立たない
・決定番号の確率分布では期待値や分散が求まらないから時枝の戦略は成り立たない
・R^Nはヒルベルト空間外だから時枝の戦略は成り立たない
・ヒルベルトのホテルのパラドックスを考えると時枝の戦略は成り立たない
・決定番号は宇宙に存在する原子数よりも大きくなるから時枝の戦略は成り立たない
・エントロピーはほとんど変化しないから時枝の戦略は成り立たない
・"確率の専門家"が疑問を呈したから時枝の戦略は成り立たない
・"院生クラスの誰か"が与太話とコメントしたから時枝の戦略は成り立たない
・なにはともあれ個人的に時枝の戦略は不成立だと思う
いまは上の3つかな？w
いつ終わるのかなコレ
314:１３２人目の素数さん
17/01/02 17:37:57.20 VW7bBLUp.net
>>279 ん？
俺は測度論的確率論で正当化できて、パラドクスも説明できると思っているよ
315:１３２人目の素数さん
17/01/02 18:32:03.32 EDQ8/sIF.net
>>281
Hart氏のgame1で？
できればぜひ聞かせてほしい。
ここで測度論的と言うのは、決定番号dの確率測度を実数列の初期分布から求めることを指しているけど。
316:１３２人目の素数さん
17/01/02 18:48:24.38 EDQ8/sIF.net
>>281
別スレに行きます？
ゴミに埋もれるこのスレでやります？
あなたの好きな方でいいですよ
317:１３２人目の素数さん
17/01/02 19:34:22.13 VW7bBLUp.net
ｽﾚﾘﾝｸ(math板) でやりますか？
どうせ、スレ主は書き込まないだろうし
318:１３２人目の素数さん
17/01/02 19:37:04.82 EDQ8/sIF.net
>>284
ははみつかってたか
OK、行きましょう
319:１３２人目の素数さん
17/01/02 19:38:28.12 EDQ8/sIF.net
>>284
OK、あちらでやりましょう
320:１３２人目の素数さん
17/01/02 19:39:22.79 EDQ8/sIF.net
移動しましょう！
321:１３２人目の素数さん
17/01/02 19:41:52.45 EDQ8/sIF.net
連投失礼
322:現代数学の系譜11 ガロア理論を読む
17/01/02 21:34:25.87 MUXssChK.net
>>276-288
ばかじゃない？
自由成るべき２CHで、他人に対して、会話をしてくれないとか>>272
会話なんて人に強要すべきものじゃないだろ？
数学は、ディベートか？
もちろん、ソクラテスメソッドなるものもあって、会話は重要と思うが・・
数学は、自分が自信を持って、あなたが証明を１本書けばいいんでないの？
それができないから、会話を強要するわけだ（＾＾
「現代数学の系譜11 ガロア理論を読む28」だ？
せこいね、Ｔさん
まあ、どうぞご勝手にだ
商標的には、信用のただ乗りというやつで、中国人が得意なんだが
時枝問題専用に、”現代数学の系譜11 ガロア理論を読む”でもないだろうが（＾＾
スレが続けばおなぐさみか
介入しないで見てますよ
323:現代数学の系譜11 ガロア理論を読む
17/01/02 21:38:39.67 MUXssChK.net
>>250 関連
URLﾘﾝｸ(www.jams.or.jp)
International Society for Mathematical Sciences 一般社団法人 国際数理科学協会
URLﾘﾝｸ(www.jams.or.jp)
Notices from the ISMS
URLﾘﾝｸ(www.jams.or.jp)
Notices from the ISMS July 2006(pdf)
URLﾘﾝｸ(www.math.nsc.ru)
APOLOGY OF EUCLID S. S. KUTATELADZE April 21, 2005
ABSTRACT. This is a short apology of the style of the Elements by Euclid and Bourbaki.
(抜粋)
Any serious criticism of the books by Bourbaki bases on pretensions to their content rather than style. Bourbaki’s treatise is evidently incomplete. Many important mathematical theories are absent or covered inadequately.
A few volumes present the dead ends of exuberant theories. All these shortcomings are connected with the major capital distinction between the books by Euclid and Bourbaki.
In his Elements Euclid set forth the theory that was almost complete in his times, the so-called “Euclidean” plane and space geometry. Most of this se
324:ction of science was made clear once and forever in the epoch of Euclid. つづく
325:現代数学の系譜11 ガロア理論を読む
17/01/02 21:39:37.14 MUXssChK.net
つづき
（google翻訳ベース微修正）
Bourbakiの本の重大な批判は、スタイルではなくコンテンツに対する嫌悪感に基づいている。 Bourbakiの論文は明らかに不完全です。 多くの重要な数学的理論は不在であるか、または不十分にカバーされている。
いくつかのボリュームは、豊かな理論の行き詰まりを示しています。 これらの欠点はすべて、EuclidとBourbakiの本の主要な区別と結びついています。 彼の要素でユークリッドは、彼の時代にはほぼ完成した理論、いわゆる「ユークリッド」平面と空間幾何を描いた。 ユークリッドの時代には、科学のこのセクションのほとんどが一度も永遠に明らかにされました。
つづく
326:現代数学の系譜11 ガロア理論を読む
17/01/02 21:40:14.28 MUXssChK.net
つづき
The Bourbaki project was implemented in the period of very rapid progress in mathematics. Many books of the treatise became obsolete at the exact moment of publication.
In particular, functional analysis had been developing contrary to what one might imagine reading the book Topological Vector Spaces.
But to a failure was doomed the heroic and ambitions plan of Bourbaki to present the elements of the whole mathematics of the twentieth century in a single treatise along the methodological lines of Euclid.
Mathematics renews and enriches itself with outstanding brilliant achievements much faster than the books of Bourbaki’s treatise were compiled.
There is no wonder that the mathematical heroes who create the twentieth century mathematics have distinctly and immediately scented the shortcomings of Bourbaki. The treatise encountered severe criticism and even condemnation since it omits many important topics.
As usual, this serious criticism convened all sorts of educationists, would-be specialists in “propaedeutics” and “methodology” who are hardly aware of what is going on in the real mathematics.
Everyone knows that to criticize a book for incompleteness is a weak argument since it is strange to judge an article for what is absent in this article.
Grudges against the content of the treatise transform by necessity to the criticism of its form.
The terseness, conciseness, and lapidary of the style of exposition fall victim to criticism and even ostracism by the adversaries of the malicious “bourbakism” in education.
つづく
327:現代数学の系譜11 ガロア理論を読む
17/01/02 21:40:47.54 MUXssChK.net
つづき
（google翻訳ベース微修正）
Bourbakiプロジェクトは、数学の非常に急速な進歩の期間に導入されました。論文の多くの書籍は出版の瞬間に時代遅れになった。
特に、関数解析は、（Bourbakiの）本「位相学的ベクトル空間（Topological Vector Spaces）」のイメージとは反対に発展していった。
しかし、Bourbakiの英雄的で野心的な計画は、ユークリッドの方法論的な線に沿って、一冊の論文で20世紀の数学全体の要素を提示することに失敗しました。
数学は、Bourbakiの論文集よりもはるかに速く、傑出した優れた業績で更新し、豊かになった。
20世紀の数学を生み出す数学の英雄たちは、Bourbakiの欠点をはっきりと即座に味わいました。この論文は、多くの重要な話題を省略しているため、深刻な批判や非難に遭った。
�
328:｢つものように、この深刻な批判は、「準備」と「方法論」について、あらゆる種類の教育者や専門家を集めたが、彼らは実際の数学で何が起こっているのかほとんど気づいていないのである。 ある項目が欠けていることを判断するのは奇妙なので、不完全さについて本を批判することは、弱い議論であることは誰もが知っています。 論文の内容に対する恨みは、必然的に形の批判に変わる。 表現様式の簡潔さ、コンパクトさ、そして磨き抜かれた表現の部分は、教育における悪意のある「ブルバキズム」の敵対者による批判や追放の犠牲者になります。 つづく
329:現代数学の系譜11 ガロア理論を読む
17/01/02 21:41:04.08 MUXssChK.net
つづき
There are no royal ways to mathematics; the road to mathematics was paved by Euclid. The style of Euclid not only lives in the books by Bourbaki but also proliferates in hundreds of thousands of students' notes throughout the world. This style is an achievement and article of pride of our ancient science.
（google翻訳ベース微修正）
数学には王道はありません。 ユークリッドによって数学への道が舗装されました。 ユークリッドのスタイルは、Bourbakiの本に収められているだけでなく、世界中の数十万の学生ノートにも広まっています。 このスタイルは、私たちの古代科学の誇りである成果である。
(引用終り)
330:現代数学の系譜11 ガロア理論を読む
17/01/02 21:48:56.17 MUXssChK.net
>>166 補足
>あと、時枝記事以外で、>>47のSergiu Hart 氏のPDFに、game1とgame2が載っているよ
>game2は、選択公理を使わないバージョンで、有理数の無限小数展開を基本にした数当てgameだ。これは正に、上記の超重い分布が当てはまる。game1も、時枝の記事とは微妙に違っている。Sergiu Hart 氏の方が記述がすっきりしている
まあ、まずgame2で考えてみれば、時枝>>2-4が成立しない理由が一つ見つかるだろう
それに加え、game1ではさらなる困難が加わり
時枝記事では、並べ変えという要素が加わり、さらに難しく・・・という難しさの順だと思う
だから、game2から考えることをお薦めしておくよ（＾＾；
331:現代数学の系譜11 ガロア理論を読む
17/01/03 00:13:05.72 trvSnYCN.net
>>295 補足
戻る
>>39 より
URLﾘﾝｸ(ja.wikipedia.org)
循環小数
ロバートソン(J.Robertson,1712-1776）の方法
循環小数
a + b ( 10^ n /(10^ n - 1) )
b ( 10^ n /(10^ n - 1) )が、循環節
aが、冒頭の循環していない有限小数部分
(引用終り)
>>42など過去なんども書いてきたが、再度書く
循環節b ( 10^ n /(10^ n - 1) )が、数列のしっぽとして同値類を決定する。ここで、便宜のため、b'=b ( 10^ n /(10^ n - 1) ) と書くことにする
で、代表元をb'として、話を単純にしよう(こうしても一般性を失わない)
いま、ミニモデルとして、区間[0,1)内の有限小数で、少数第５位までの数として考えよう
a=0.a1a2a3a4a5
と書ける
つづく
332:現代数学の系譜11 ガロア理論を読む
17/01/03 00:15:51.79 trvSnYCN.net
つづき
a5 ≠ 0 なら、少数第６位から数列は一致する。整数部分の0を無視すると、決定番号d=6となる
さて確率を考えよう。ここで、場合の数を計算することで確率が求まることに注意しよう
a5 ＝ 0 の場合の数は、10^4通りある。一方、a1a2a3a4a5の全ての順列は、10^5通りある。
従って、a5 ＝ 0 の場合の確率は、10^4/10^5=1/10。 a5 ≠ 0の確率は、（10^5 - 10^4）/10^5=9/10。つまり、決定番号d<=5の確率0.1,決定番号d=6の確率0.9。
さて、いま数列を２つ a+ b', a'+ b'' あるとして、b'≠b''で、b''は別の循環小数とする
a'=0.a'1a'2a'3a'4a'5 とする
同様に、a'5 ＝ 0 の場合の確率は、10^4/10^5=1/10。 a'5 ≠ 0の確率は、（10^5 - 10^4）/10^5=9/10。決定番号d<=5の確率0.1,決定番号d=6の確率0.9。
a'+ b''の決定番号が他の列の決定番号よりも大きい確率は、
a'+ b''の決定番号d=6で、かつa+ b'の決定番号d<=5を考えて、確率0.09 (=0.9*0.1) となる。この場合が、ほぼ支配的だ。だから、a+ b'の決定番号が他の数列より大きくない確率は、ほぼ9割。
この場合、時枝記事>>3の類推からすれば、２列なので確率は1/2=0.5にすぎないというべきところなのだが・・
さて、３列で、a+ b'、a'+ b''、a''+ b''' を考える。
同様にして、a''+ b'''が、他の二つより大きい確率は、a''+ b'''の決定番号d=6で、かつ他の二つの決定番号d<=5を考えて、確率0.009 (=0.9*0.1*0.1) となる。この場合が、ほぼ支配的だ。だから、a''+ b'''の決定番号が他の数列より大きくない確率は、ほぼ99％。
この場合、時枝記事>>3の類推からすれば、３列なので確率は1/3=0.33・・・にすぎないというべきところなのだが・・
つづく
333:現代数学の系譜11 ガロア理論を読む
17/01/03 00:17:00.46 trvSnYCN.net
つづき
ところで、a''+ b'''の決定番号が他の数列より大きくない確率は、ほぼ99％で、結構な話だが、決定番号d=6が問題で、d+1=7 以降の箱を開けて、b'''の循環節は分かるが、d=6も循環節なのだ。
だから、真にランダムなa''の部分は当てられない。
ミニモデルとして、少数５位を考えたが、一般化して少数ｎ位を考えても同じ
まとめると
１．２列で1/2、３列で1/3、・・・という単純な確率計算には、ならない！
２．当てられるのは、循環節にすぎない
334:現代数学の系譜11 ガロア理論を読む
17/01/03 00:21:13.77 trvSnYCN.net
>>298 つづき
ここでは、１０進法を考えたが、P進法を考えることができ、Pはもっと大きく取れる
そうなると、>>298はもっと極端なことになる
P→∞の極限も考えることができる
つまり、a1a2a3a4a5にいろんな数を当てはめることができる。結論は言わずもがなだろう
335:１３２人目の素数さん
17/01/03 01:08:24.07 56XTT4pn.net
>>289
> 介入しないで見てますよ
ご配慮感謝。有言実行よろしくどうぞ。
336:現代数学の系譜11 ガロア理論を読む
17/01/03 07:24:42.44 trvSnYCN.net
>>300
どうぞ
健闘をいのります
337:現代数学の系譜11 ガロア理論を読む
17/01/03 07:44:21.74 trvSnYCN.net
>>298-299 補足
要するに
１．Sergiu Hart 氏のgame2(game1や時枝記事におなじ）では、確率分布が、裾の超重い分布になり、裾が全体を支配することになる
２．そのような、確率分布では、単純に100列で確率99/100は導けない（ミニモデルで>>297に示した通り）
３．だから、100列で確率99/100は、要証明事項だ
４．かつ、裾の超重い分布では、生じる事象はほとんど全てが、超重い裾の部分で生じることになる
つまり、列の長さL→∞にすると、有限のＬ内で起こる事象の発生確率は０だ
即ち、有限の範囲の箱は当てられない
５．この結論は、時枝>>4の
「n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観」
と一致するのだ
338:現代数学の系譜11 ガロア理論を読む
17/01/03 10:05:10.38 trvSnYCN.net
>>294 関連
再録
現代数学の系譜11 ガロア理論を読む24 ｽﾚﾘﾝｸ(math板)
654 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/10/29(土) 13:43:22.34 ID:vwUy6eEC [25/46]
あなたのまったく逆を渕野先生が書いている。>>361だ
”厳密性を数学と取りちがえるという勘違い”
URLﾘﾝｸ(www.amazon.co.jp)
数とは何かそして何であるべき�
339:ｩ デデキント 訳解説 渕野昌 筑摩書房 2013 数学的直観と数学の基礎付け 抜粋（ああ、文字化けがあるので、修正した） 数学の基礎付けの研究は，数学が厳密 でありさえすればよい， という価値観を確立しようとして いるものではない.これは自明のことのようにも思える が，厳密性を数学と取りちがえるという勘違いは，たとえ ば数学教育などで蔓延している可能性もあるので，ここに 明言しておく必要があるように思える. 多くの数学の研究者にとっては，数学は，記号列として 記述された「死んだ」数学ではなく，思考のプロセスとし ての脳髄の生理現象そのものであろうしたがって，数学 はその意味での実存として数学者の生の隣り合わせにある もの，と意識されることになるだろうそのような「生き た」「実存としての」(existentialな)数学で問題になるの は，アイデアの飛翔をうながす(可能性を持つ)数学的直 観」とよばれるもので，これは， ときには，意識的に厳密 には間違っている議論すら含んでいたり，寓話的であった りすることですらあるような，かなり得体の知れないもの である. >>505より 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房 2013 数学的直観と数学の基礎付け 訳者による解説とあとがき P314 だ (引用終り) 再度 "厳密性を数学と取りちがえるという勘違いは，たとえ ば数学教育などで蔓延している可能性もあるので，ここに 明言しておく必要があるように思える."