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

[過去ﾛｸﾞ] 現代数学の系譜古典ガロア理論を読む36 [無断転載禁止]©2ch.net (679ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

452(3): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)08:21 ID:albjuTu4(1/9)調 AAS
>>446-450
ID:JrNslrex さん、どうも。スレ主です。
朝早くから、えらく長文ありがとう（＾＾

やっぱり＜ステップ１＞を置いておいてよかったということだね（>>428）（＾＾
結論を先取りしてくれたのかな？

やりたいことは、>>427「ZFC下での現代確率論から導かれる確率計算と、時枝記事の計算とは合わないってこと。および、その解説」なんだけど
その証明が出たときに、現代確率論は「フルパワーの選択公理」を使っていないが、一方時枝記事の計算は「フルパワーの選択公理」を使っているから良いのだと、言い訳したいのかな？（＾＾

そもそも、「解析学にフルパワーの選択公理は必要ない」というけれど、いま問題にしているのは、「現代確率論」だよ
論点すり替えてないかい？

解析学にルベーグ積分も入れて貰えるとありがたいね
下記URLより「解析学で普通に考えられるような集合に対してはルベーグ測度が与えられるものと考えてよいが、選択公理によって Rn の部分集合でルベーグ測度を与えることができない（無理に与えると加法性が成り立たない）ものが存在することを証明できる。ルベーグ測度が与えられる集合はルベーグ可測であるという。」
ということなんだけど、だから結局、「ルベーグ測度、ルベーグ積分とも選択公理を否定しているわけじゃない」ってことで、いいかな？（普通の講義やテキストでは、そうなっているはず）
ルベーグ測度 https://ja.wikipedia.org/wiki/%E3%83%AB%E3%83%99%E3%83%BC%E3%82%B0%E6%B8%AC%E5%BA%A6

危機感を持って騒いでくれるのは、ありがたいね
どんどんやってくれ（＾＾

453: 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)08:23 ID:albjuTu4(2/9)調 AAS
>>442
「超伝導超大型加速器（Superconducting Super Collider、SSC）」か
いつの間にか、立ち消えになったんですね。知らなかった（＾＾

日本の加速器は、エネルギーレベルではしょぼいけど、高エネ研でニュートリノを発生させて、スーパーカミオカンデ打ち込んだりとかしてましたね。ノーベル賞級の研究でした（＾＾
https://ja.wikipedia.org/wiki/%E9%AB%98%E3%82%A8%E3%83%8D%E3%83%AB%E3%82%AE%E3%83%BC%E5%8A%A0%E9%80%9F%E5%99%A8%E7%A0%94%E7%A9%B6%E6%A9%9F%E6%A7%8B 高エネルギー加速器研究機構
（ニュートリノビームライン：約250km離れたスーパーカミオカンデに向けてニュートリノビームを射ち込み、長基線ニュートリノ振動実験(K2K)を1999年から2004年まで行っていた[5]。茨城県東海村に建設されたJ-PARCでは、さらにニュートリノビームの強度を高めた実験「T2K」が2009年から行われている。）
https://ja.wikipedia.org/wiki/%E5%8A%A0%E9%80%9F%E5%99%A8
加速器
(抜粋)

6.1 日本
6.1.1 基礎的分野
6.1.2 医学応用分野
6.1.3 放射光研究

日本[編集]
基礎的分野[編集]
東北大学電子光理学研究センター（旧原子核理学研究施設）[1]
東北大学サイクロトロンRIセンター [2]
高エネルギー加速器研究機構 [3]
理化学研究所 [4] 仁科加速器研究センター（RIビームファクトリー） [5]
大阪大学核物理研究センター [6]
京都大学化学研究所 [7]
九州大学粒子物理学講座[8]
J-PARC

医学応用分野[編集]
HIMAC - 放射線医学総合研究所

放射光研究[編集]
SPring-8 [9]
分子科学研究所極端紫外光研究施設(UVSOR-II)
兵庫県立大学高度産業科学技術研究所(NewSUBARU)
広島大学放射光科学研究センター(HiSOR)
佐賀県立九州シンクロトロン光研究センター(SAGA-LS)
立命館大学SRセンター
SACLA（X線自由電子レーザー施設）

458(7): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)21:20 ID:albjuTu4(3/9)調 AAS
>>455
ID:JrNslrexさん、どうも。スレ主です。
あなたの言いたいことは、それだけかね？（＾＾

同じこと（発言）の繰り返しと見た
なので、＜ステップ２＞へ行くよ（＾＾

＜ステップ２＞「現代数学 ZFC下で、一見異なる結論が導かれることがある」
例えば、下記公式 ”1+2+3+4+・・・ =?1/12”（これ、黒川信重先生が、あちこちで紹介しているね（参考黒川信重 https://ja.wikipedia.org/wiki/%E9%BB%92%E5%B7%9D%E4%BF%A1%E9%87%8D ））
なにが言いたいかと言えば、「級数 1+2+3+4+・・・は、発散する」。だが、「”=?1/12”という解釈も可能」だと
しかし、 ”1+2+3+4+・・・ =?1/12”の成り立つ背景には、ゼータ関数の解析接続だとか、なんだとか、それなりに理屈があるんだよな（理屈がなければ数学じゃない（＾＾）

「級数 1+2+3+4+・・・は、発散する」というのは、数学的に覆しようがない事実だ。その証明に選択公理が必要とは思わない。が、明らかにZFCとも矛盾しない
”1+2+3+4+・・・ =?1/12”のゼータ関数の解析接続による証明に、選択公理が必要かどうか知らない。が、明らかにZFCとも矛盾しない

これと、同じように、時枝記事の解法とは別に、現代確率論内でも、しっかり”独立な確率変数の無限族”を扱えるのだから（例えば、下記「確率論メモ　数理ファイナンスの世界にようこそ」など）、そっちをしっかり見ておく必要があるよと
そして、上記のような「一見異なる結論（計算結果）が導かれる」とき、それを数学としてしっかり考えないといけない。しっかり考えると言っても、疑うべきは、まずは”時枝記事”の方だな（＾＾
「一見異なる結論が導かれる」とき、公式 ”1+2+3+4+・・・ =?1/12”のように両立するときは少ないだろう。もちろん、両者成立の可能性はゼロではないがね（＜類似例＞発散級数後述）（＾＾

http://mathfin.web.fc2.com/prob/imi_prob00.html 確率論メモ　目次 ※※※　数理ファイナンスの世界にようこそ　※※※
http://mathfin.web.fc2.com/prob/imi_prob03.html 標本空間２　※※※　数理ファイナンスの世界にようこそ　※※※

https://ja.wikipedia.org/wiki/1%2B2%2B3%2B4%2B%E2%80%A6
1+2+3+4+・・・ =?1/12

つづく

459(1): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)21:21 ID:albjuTu4(4/9)調 AAS
>>458 つづき

(抜粋)
自然数すべての総和 1 + 2 + 3 + 4 + … は、
その n-次の部分和
Σ_{k=1〜n}k=n(n+1)/2
が三角数によって与えられる無限級数。
これは n を無限大に飛ばすとき際限なく増加するため、この級数は（正の無限大に）発散し、通常の意味での「和」を持たない。
一見するとこの級数が意味のある値を持つことは全くないように思われるが、これに数学的に意味のある値を結びつける方法があり、そうして得られた値は複素解析や、物理学における場の量子論、特に弦理論などの分野において応用がある。
様々な総和法を用いることで、上記のごとき発散級数にさえ有限な数値を割り当てることができ、
特にゼータ関数正規化やラマヌジャン総和法では件の級数に ?1/12 を値として割り当てる。
この事実をよく知られた公式
1+2+3+4+・・・ =?1/12
として式に表す[1]。
モンスター群のムーンシャイン現象に関するモノグラフでテリー・ガノン（英語版）はこの等式を「自然科学において最も注目すべき公式の一つ」と評した[2]。

物理学での応用
ボゾン弦理論（英語版）では、弦の取り得るエネルギー準位、とくに最低エネルギー準位を計算することが試みられる。
砕けた言い方をすると、時空の次元を D とするとき、弦の振動は D ? 2 個の独立な量子調和振動子（各々は横波）の集まりと見ることができて、基本振動数、すなわち弦の振動数の中で最も小さいものを ν とすると振動子のエネルギーにおける n 番目の振動子の寄与は
hνn/2
と表せるので[注釈 4]、件の級数を用いれば全ての振動数に亘る和を計算すると ?hν(D ? 2)/24
が得られる。最終的には、この事実にゴダード・ソーンの定理（英語版）を合わせて、ボゾン弦理論が 26 次元でないと無矛盾にならないことが導かれる。
(引用終り)

つづく

460(1): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)21:21 ID:albjuTu4(5/9)調 AAS
>>459 つづき

＜類似例＞
https://ja.wikipedia.org/wiki/%E7%99%BA%E6%95%A3%E7%B4%9A%E6%95%B0
発散級数
(抜粋)
数学において発散級数（はっさんきゅうすう、英: divergent series）とは、収束しない級数である、つまり、部分和の成す無限列が有限な極限を持たない級数である。
級数が収束するならば、級数の各項の成す数列は必ず 0 に収束する。したがって、0 に収束しないような数列を項に持つ級数はいずれも発散する。しかし、級数の収束性はそれよりも強い条件で、級数の項が 0 に収束するからといって必ずしもその級数自身は収束しない。

数学の特別な文脈では、部分和の列が発散するようなある種の列について、その和として意味のある値を割り当てることができる。総和法 (summability method, summation method) とは、級数の部分和の列全体の成す集合から「和の値」の集合への部分写像である。例えば、チェザロ総和法ではグランディの発散級数
1-1+1-1+・・・
に 1/2 を値として割り当てる。チェザロ総和法は平均化法 (averaging method) の一種で、部分和の列の算術平均をとることに基づいている。他の方法としては、関連する級数の解析接続として和を定める方法などがある。物理学では、非常に多種多様な総和法が用いられる（詳細は正則化（英語版）の項を参照）。
(引用終り)

461: 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)21:22 ID:albjuTu4(6/9)調 AAS
>>460 つづき

（追加）数学ではないが
＜物理学正則化（英語版）＞
https://en.wikipedia.org/wiki/Regularization_(physics)
(抜粋)
In physics, especially quantum field theory, regularization is a method of modifying observables which have singularities in order to make them finite by the introduction of a suitable parameter called regulator.
The regulator, also known as a "cutoff", models our lack of knowledge about physics at unobserved scales (e.g. scales of small size or large energy levels).
It compensates for (and requires) the possibility that "new physics" may be discovered at those scales which the present theory is unable to model, while enabling the current theory to give accurate predictions as an "effective theory" within its intended scale of use.

It is distinct from renormalization, another technique to control infinities without assuming new physics, by adjusting for self-interaction feedback.

Regularization was for many decades controversial even amongst its inventors, as it combines physical and epistemological claims into the same equations. However, it is now well understood and has proven to yield useful, accurate predictions.

Contents [hide]
1 Overview
2 Classical physics example
3 Specific types
4 Realistic regularization
4.1 Conceptual problem
4.2 Pauli's conjecture
4.3 Opinions
4.4 Minimal realistic regularization
5 Transport theoretic approach
6 String theory
7 References
(引用終り)

とりあえず以上（＾＾

462(3): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)21:24 ID:albjuTu4(7/9)調 AAS
>>458 補足
”1+2+3+4+・・・ =-1/12”とゼータ関数の関係は、おっちゃんの方が詳しいだろうね（＾＾
おっちゃん、質問が出たら頼むよ（＾＾

463(1): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)21:27 ID:albjuTu4(8/9)調 AAS
>>455 補足
ID:JrNslrexさん、あんた、”確率論は、ま〜ったくコメントできない”んだね・・（＾＾
確率論の成績悪かったのか？

465(1): 現代数学の系譜古典ガロア理論を読む 2017/07/26(水)22:07 ID:albjuTu4(9/9)調 AAS
>>442 関連

http://natgeo.nikkeibp.co.jp/nng/article/20140430/395070/
TOP Webナショジオ研究室に行ってみた。CERN 素粒子物理学 CERNの日本人研究者たち第3回　そして、ヒッグス粒子発見の瞬間がやってきた 2014年5月21日
(抜粋)
ノーベル賞を受賞したヒッグス粒子発見の舞台である欧州原子核研究機構、通称CERN（セルン）。スイスとフランスの国境地帯にあり、全周はなんと27キロ。欧州21カ国が共同で運営し、日本からも200人以上が参加する素粒子物理研究の最前線に行ってみた！（文・写真＝川端裕人）

　アメリカの大型超伝導加速器SSCは、1993年、トンネルを20%掘ったところで中止が決定した。その時点で、CERNでも新しい計画があり、それが現在実現しているLHC加速器だ。しかし、SSCよりも小さくエネルギーも低い。作ったとしてもエネルギーフロンティア実験としては物足りないということで、実は計画が「瀕死」の状態だったという。

「ノーベル物理学賞をとったカルロ・ルビアが非常にがんばっていて、エネルギーは3分の1でも、ルミノシティを10倍上げれば対抗できると。東西ドイツが1つになったり、欧州が政治的にも大変だった時期なので、人員削減など、いろいろ苦労があったようです」

LHCはエネルギーでは負けても、ルミノシティで勝負、というロジックでかろうじて計画が生きのびていた。また、当時、逆風だったはずの政治的な不安定さも、CERN設立の精神からすると、順風として作用した可能性もある。

「CERNの設立は1954年で、この時期、第二次世界大戦で疲弊したヨーロッパから、科学者がアメリカに流出する状態だったそうです。加速器にしても、アメリカではすごい強大なものをつくり始めたんで、欧州の1国じゃもう対抗できなくなってCERNをつくったと。
欧州の結束のため、平和的な意味もあったし、科学者をとどめておくために、やっぱり1つのターゲットが必要だったといいます」

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

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

ぬこの手ぬこTOP 0.036s