現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む27 [無断転載禁止]©2ch.net (517ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

4: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/30(金) 14:28:14.06 ID:zFouRTR2

（現代数学の系譜11 ガロア理論を読む18）>>614 再録　
数学セミナー201511月号P37 時枝記事に、次の一文がある

「R^N/～ の代表系を選んだ箇所で選択公理を使っている.
その結果R^N →R^N/～ の切断は非可測になる.
ここは有名なヴィタリのルベーグ非可測集合の例(Q/Zを「差が有理数」で類別した代表系， 1905年)にそっくりである.」

さらに、前スレでは引用しなかったが、続いて下記も引用する
「逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
現代数学の形式内では確率は測度論によって解釈されるゆえ，測度論は確率の基礎， と数学者は信じがちだ.
だが，測度論的解釈がカノニカル， という証拠はないのだし，そもそも形式すなわち基礎， というのも早計だろう.
確率は数学を越えて広がる生き物なのである(数学に飼いならされた部分が最も御しやすいけれど).」

（現代数学の系譜11 ガロア理論を読む18）>>176　より 再録
数学セミナー201511月号P37 時枝記事より

「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.
n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって，
その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
当てられっこないではないか－－他の箱から情報は一切もらえないのだから.
勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる.
ふしぎな戦略は，確率変数の無限族の独立性の微妙さをものがたる， といってもよい.」

http://rio2016.5ch.net/test/read.cgi/math/1483075581/4

183: １３２人目の素数さん [] 2017/01/01(日) 22:01:19.06 ID:55xmNTx6

スレ主の主張>>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 は不変だ

http://rio2016.5ch.net/test/read.cgi/math/1483075581/183

262: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/02(月) 13:15:32.06 ID:MUXssChK

>>242 関連

https://en.wikipedia.org/wiki/Landau_damping
(抜粋)
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)

http://rio2016.5ch.net/test/read.cgi/math/1483075581/262

382: 現代数学の系譜11 ガロア理論を読む [sage] 2017/01/07(土) 21:52:03.06 ID:3+lYjsf1

>>381 関連

熱力学は好きでね、久保 亮五先生の『大学演習　熱学・統計力学』を買ったけど、むずかった。ほとんど書棚の肥やしだった
https://ja.wikipedia.org/wiki/%E4%B9%85%E4%BF%9D%E4%BA%AE%E4%BA%94
久保 亮五（くぼ りょうご、1920年2月15日 - 1995年3月31日）は、日本の物理学者。東京大学、京都大学、慶應義塾大学で教授、パリ大学、シカゴ大学、ペンシルベニア大学、ニューヨーク州立大学で客員教授を務めた。

統計物理学、物性物理学の分野で国際的に知られた[1]。 特に線形応答理論の構築に貢献し、彼の提案した理論は「久保理論」の名でも呼ばれている。 1997年に生前の業績を記念して井上科学振興財団が久保亮五記念賞を創設した。

編著
『大学演習　熱学・統計力学』

参考文献
「久保亮五」（上山明博 著『ニッポン天才伝』朝日選書，2007年）

https://en.wikipedia.org/wiki/Ryogo_Kubo
Ryogo Kubo

In the early 1950s, Kubo transformed research into the linear response properties of near-equilibrium condensed-matter systems, in particular the understanding of electron transport and conductivity, through the Kubo formalism, a Green's function approach to linear response theory for quantum systems.
In 1977 Ryogo Kubo was awarded the Boltzmann Medal for his contributions to the theory of non-equilibrium statistical mechanics, and to the theory of fluctuation phenomena.
He is cited particularly for his work in the establishment of the basic relations between transport coefficients and equilibrium time correlation functions: relations with which his name is generally associated.

http://rio2016.5ch.net/test/read.cgi/math/1483075581/382

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.023s