16/12/18 16:28:43.99 TSR5U7zr.net
>>455 関連
URLﾘﾝｸ(knyokoyama.blogspot.jp)
From Mirror Symmetry to Langlands Correspondence 2011年1月13日木曜日
ブラックホールのファイアウォールについて
(抜粋)
【翻訳】量子エンタングルメントをもった時空の構成
エンタングルメントエントロピーにより時空がどのように出現するのかについて分かりやすいエッセイがありますので【翻訳】しました。一番簡単な事項の説明ではないでしょうか。原文は、arxiv:1005.3035
Building up spacetime with quantum entanglement (in English) URLﾘﾝｸ(arxiv.org)
訳は、下記です。
量子エンタングルメントをもった時空の構成 URLﾘﾝｸ(docs.google.com)
時空が出現(emergence)という意味あいであると理解いたします。
量子重力理論、特にエントロピック重力理論の中で重要な位置を持ってきて、T. JacobsonさんやE. Verlindeさんの理論と関係してくるのではないかと思います。
また、大きくは、Stromingerさんの量子重力理論と関係してくるのだと思います。
12月30日ポスト：ブラックホール-21世紀の調和振動子 URLﾘﾝｸ(knyokoyama.blogspot.com)
12月31日ポスト：経緯-ブラックホール-21世紀の調和振動子 URLﾘﾝｸ(knyokoyama.blogspot.com)
(引用終り)
501:現代数学の系譜11 ガロア理論を読む
16/12/18 16:30:06.39 TSR5U7zr.net
>>456
おっさん、ageるな！
502:現代数学の系譜11 ガロア理論を読む
16/12/18 16:32:30.25 TSR5U7zr.net
こんなバカ板に書いた、ぐしゃぐしゃの数学記号など
特に興味がなければ、読み気がしないし、おれは読まんよ
おっちゃんの証明に同じだ
503:現代数学の系譜11 ガロア理論を読む
16/12/18 16:39:09.52 TSR5U7zr.net
なお、自分でも数学の証明は
こんな数学記号の不自由なバカ板で書く気はしないし、基本的には書かない
読まされる方もたまらんだろう
それに、だれかのように、訂正につぐ訂正があるとすれば余計に
そもそも、誤記が皆無なのか？ （だれかに検証してもらているかい？ 苦労して読んだら誤記だったとなると、時間を無駄にしていることになる）
こんなバカ板のぐしゃぐしゃの証明もどきを、丹念にフォローするメンターさんには頭が下がるけど、おれはやらんし、おそらくそれは少数派と思う
504:１３２人目の素数さん
16/12/18 16:41:32.20 l2HBR203.net
Holy crap! You are idiot absolutely, aintcha?
505:現代数学の系譜11 ガロア理論を読む
16/12/18 17:00:27.25 TSR5U7zr.net
>>457 補足
>量子エンタングルメントをもった時空の構成 URLﾘﾝｸ(docs.google.com)
(抜粋)
P3
真空状態からはじめ、エンタングルメントエントロ
ピーS(A) を減少させるような方法で、量子状態を変化させるときに双対時空で
何が起きるかを問うてみることができます。
506:最近のRyu とTakayanagi [9] の結 果を使い、何が起きるかについての非常に正確なステートメントを発することが できます： P5 前のサブセクションの結果とあわせると、次の素描を得ます。量子重力の非摂動 的な記述の自由度の2 つの集合間のエンタングルメントがゼロになると、対応す る時空領域の間の固有な距離は無限大になり、他方領域を分離する最小曲面の面 積はゼロに減少します。大まかには、時空の2 つの領域は、Figure 4 に示すよう に、互いに引き離されちぎられます。Figure 5(次ページ) にみるように、これら の量の様子は明白に永久AdS ブラックホールの例にみることができて、逆温度 パラメータ￣ を増加させることで、2 つのCFT の間のエンタングルメントを減 少させることができます。 Conclusions 自由度をエンタングルすることで時空をつなぎ、エンタングルメントを解除 することでそれらを互いに引き離し、分離できることが分かりました。本質的に、 エンタングルメントの量子現象は、古典時空幾何学の出現にとって決定的に思わ れるということは、素晴らしいことです。 (引用終り)
507:現代数学の系譜11 ガロア理論を読む
16/12/18 17:01:35.28 TSR5U7zr.net
>>461
おっさん、ageるなって！
ああ、日本語不自由だったのか？ すまんかった（＾＾
508:現代数学の系譜11 ガロア理論を読む
16/12/18 17:12:06.48 TSR5U7zr.net
>>457 補足
>Building up spacetime with quantum entanglement (in English) URLﾘﾝｸ(arxiv.org)
下記、”Essay written for the Gravity Research Foundation 2010 Awards for Essays on Gravitation”の意味が分からんが
おそらく、2010 Awards for Essays on Gravitation の文を、広く大衆のために投稿したんだろう
著者
Mark Van Raamsdonk
Department of Physics and Astronomy, University of British Columbia
Essay written for the Gravity Research Foundation 2010 Awards for Essays on Gravitation
March 31, 2010
URLﾘﾝｸ(arxiv.org)
Building up spacetime with quantum entanglement
Mark Van Raamsdonk
(Submitted on 17 May 2010)
509:現代数学の系譜11 ガロア理論を読む
16/12/18 17:18:58.77 TSR5U7zr.net
>>462 補足
”最近のRyu とTakayanagi [9] の結果を使い”ってところがキーワードか
結局、量子エンタングルメントから時空を構成しようという試みが、2010前から始まっているんだろうね
量子エンタングルメントがいまいちわからん（イメージがわかない）が
物質がなくても、量子エンタングルメントしうるのか？
情報が主で、物質・エネルギーが従としても、情報があれば、物質がありそうに思うけど・・
そういうのは、全部抽象化している（エントロピーに一本化している）のかね？（＾＾
510:現代数学の系譜11 ガロア理論を読む
16/12/18 17:42:51.65 TSR5U7zr.net
>>465
ここら、>>451 臨時別冊・数理科学2014年4月
「ホログラフィー原理と量子エンタングルメント」 高柳 匡(京都大学教授) 著
の11章 量子エンタングルメントから量子重力理論の再構築
に結構詳しく書いてあるね
511:１３２人目の素数さん
16/12/18 17:50:26.71 FVTLpf9/.net
一方、なんでも実況J板、ニュー速VIP+板、 ニュー速(嫌儲)板、数学版 などに
自己中心で自己満足に張り付いて書き込むのは病気と思われたりする
512:１３２人目の素数さん
16/12/18 17:56:18.99 FVTLpf9/.net
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
513:現代数学の系譜11 ガロア理論を読む
16/12/18 17:56:41.84 TSR5U7zr.net
>>466
引用文献の[112]
URLﾘﾝｸ(arxiv.org)
Renormalization and tensor product states in spin chains and lattices
J. I. Cirac, F. Verstraete
(Submitted on 6 Oct 2009)
We review different descriptions of many--body quantum systems in terms of tensor product states. We introduce several families of such states in terms of known renormalization procedures, and show that they naturally arise in that context.
We concentrate on Matrix Product States, T
514:ree Tensor States, Multiscale Entanglement Renormalization Ansatz, and Projected Entangled Pair States. We highlight some of their properties, and show how they can be used to describe a variety of systems. pdf https://arxiv.org/pdf/0910.1130v1
515:１３２人目の素数さん
16/12/18 17:57:28.56 FVTLpf9/.net
量子エンタングルメントと重力理論における時空のダイナミクス
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
516:１３２人目の素数さん
16/12/18 17:58:13.07 l2HBR203.net
Ignoring the truth and going your own way toward never-never land. That's just what you're doing.
517:現代数学の系譜11 ガロア理論を読む
16/12/18 17:58:43.28 TSR5U7zr.net
>>467-468
どうも。スレ主です。
情報ありがとう
518:現代数学の系譜11 ガロア理論を読む
16/12/18 18:00:23.26 TSR5U7zr.net
>>470-471
おいおい、ageるなって！
ああ、日本語不自由だったのか？ すまんかった（＾＾
おまいら、自己中の病気だったのか！
519:現代数学の系譜11 ガロア理論を読む
16/12/18 18:11:07.73 TSR5U7zr.net
>>466
引用文献の[111]
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
エンタングルメントで見る時空の幾何学構造とテンソル積波動関数 松枝, 宏明 物性研究 (2011)
近年， 「エンタングルメント(量子もつれ) 」 の概念が，量子情報科学だけではなく，物
性理論・超弦理論・量子重力理論をはじめとした幅広い研究領域において，非常に重要な
ものとなっています.この状況を傭服的に眺めると， 「系の持つエントロピーを余剰次元
がうまく吸収してくれる」ということなのですが， 「エントロピー 」に「余剰次元 」って何
だかいきなり怪しい響きですね.本稿ではこの物理的イメージと計算の詳細をできるだけ
丁寧に御紹介したいと，思っています.この概念を理解することで， 「エンタングルメント・
エントロピー 」を媒介に， 「密度行列繰り込み群 」「面積則 」「行列積・テンソル積変分法 」
「エンタングルメント繰り込み群 」「双対性 」「ホログラフィー原理 」「Ad S/CFT対応 」「D
ブレーン 」「情報圧縮の上限 」といった各研究領域のホットなキーワードが，実は非常に
密接に結びついていることをご理解いただけると思います.このことは我々の自然認識に
関わる問題であり，エネルギ一階層や対象に依らない普遍性や双対性が存在するという意
味で非常に興味深いことです.
つづく
520:現代数学の系譜11 ガロア理論を読む
16/12/18 18:11:50.35 TSR5U7zr.net
>>474 つづき
本稿の全体の流れは以下の通りです:先ずは，座標変換で保存すべき情報量の意味，双
対性やホログラフィー原理など，この先で基本となる重要な概念を整理します.それらの
性質を数学的に取り扱うために「エンタングルメント・エントロピー」が導入されます.
エンタングルメント・エントロピーを特徴づけるのは「面積則 」「量子異常 」「量子次元 」
です. 「面積則」からは「テンソル積型変分理論」が派生し，逆にテンソル積変分理論を通
して面積則とその破れに関する知見が得られます.また「量子異常」は，一般座標変換と
量子力学の経路積分表示の視点に立てば「曲がった時空」の特徴ですが，一般に時空の歪
みが認識できるということは，より高次元に内包された部分空間の性質を見ょうとしてい
ることを暗に仮定しています.この「余剰次元 」は面積則と非常に深いつながりがあって，
余剰次元方向への歪みの強さがエントロピーの大きさに対応します.変分理論のテンソル
次元もこの余剰次元に対応するものです.またこの時空のトポロジカルな構造は「量子次
元」を通じて見ることができます.そして以上の結果としての 「AdS/CFT対応 」，その
応用としての「エンタングルメント繰り込み群 」「量子画像処理 」がより深いレベルで理
解できるという全体構造になっています.
(引用終り)
521:現代数学の系譜11 ガロア理論を読む
16/12/18 18:17:07.96 TSR5U7zr.net
>>475 関連
引用文献の[111]
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
エンタングルメントで見る時空の幾何学構造とテンソル積波動関数 松枝, 宏明 物性研究 (2011)
(抜粋)
10 最後にちょっとだけ哲学的な自問自答
「余剰次元に意味を見出そうとする働き 」というキーワードで本稿を書きすすめてきた
のですが，単なる数学的技巧以上の物理が隠れているようです.序論でも述べたように，
近年の固体電子論で幾何学に関する話題は増加しているのですが，その立場は，問題を見
通しよく解くために元々のヒルベルト空間の部分空間に着目するとその空間は曲がった
りねじれたりしていると考えれば都合が宜しいというものでした.このときに空間の次元
そのものが変動するような効果は取り扱われてはいません.従って従来とはまた状況の
違った幾何学観が導入されたことになります.
テンソル積の次元は，エンタングルメント・エントロビーという量を通して見た場合，
いわば系の空間次元と別に量子揺らぎを伝搬させるための隠れた次元です.この次元方向
の空間的広がりの程度χや曲率は，問題に応じて(特に臨界・非臨界の別や元々の空間
次元の大きさ，粒子間相互作用の型などに応じて)柔軟に変化する非常にダイナミカルな
ものです.逆に言うと，曲がった時空とその量子化に際しては，物質の存在形態に応じて
このような空間次元のダイナミカルな変化が起こることが一般的な特徴なのかもしれま
せん.この意味では超弦理論の世界観と相通じるものがあります.プランク・スケールで
は時空の概念すら暖昧であるということと，ネットワーク構造自体まで含めての階層的テ
ンソル積の自動最適化を施すこと(前節で述べたようにどうすればいいかすぐには分かり
ませんが)には何らかのつながりを感じてしまいます.我々の物性物理の問題と超弦理論
の問題ではエネルギー・スケールが果てしなく異なるのですが，それでもなおこのような
類似性が見られることに興味を覚えます.
つづく
522:現代数学の系譜11 ガロア理論を読む
16/12/18 18:17:44.64 TSR5U7zr.net
>>476 つづき
初めてAdS/CFT対応を勉強したときに感じたことは， 「数学的な目線に立てば肯定で
きる双対性であっても，あまり常識的ではない場合，やはりそれは物理的実在と言うより
は数学的な産物と思うべきなのではないだろうか? 」ということで，自然に高次元時空に
突入する弦理論の見方には懐疑的でした.しかしながら，例えば普通の量子化に立ち戻っ
てみると，粒子描像が実在ならばその双対である波動描像もまた実在であるということ
は，少なくとも数学的には両者が単純にフーリエ変換で結ぼれているからということに起
因していたはずです.粒子の性質が強く出ているときには波の性質はぼやけていて(色々
な周波数の成分が混ざっていて)，逆に波の性質が強く出ているときには粒子としての個
性は失われているわけです.バルク境界対応も，バルクから境界が切り離せないなら，当
然両者は同じ物理を表わす実在です.ホログラムの場合にも，三次元を伝搬する光とその
情報が転写された二次元面はいずれも確かな物理的実在です.そう思うと，ある数学的な
双対原理が存在して，一方が物理的実在ならば他方も実在といってよいのかもしれないと
次第に考え方を改めるようになりました.この問題はあまり深入りするとホログラフィー
の言葉が躍った
523:SFになってしまいそうなので危険だなと，思っていますが，量子力学の相 補性・双対性には非常な深遠さがあるということを改めて感じております. (引用終り)
524:現代数学の系譜11 ガロア理論を読む
16/12/18 18:19:36.26 TSR5U7zr.net
>>476-477
なるほどね
なんとなく分かった気になったよ
松枝宏明先生ありがとう （＾＾；
525:現代数学の系譜11 ガロア理論を読む
16/12/18 18:26:51.20 TSR5U7zr.net
>>441
大栗先生、重箱の隅で悪いが
>もともとは、「量子もつれのトモグラフィー」というタイトルだったのですが
トモグラフィー → ホログラフィー
やね
トモグラフィーは断層写真だから（下記）
URLﾘﾝｸ(matome.na) 強制改行
ver.jp/odai/2133442119663577801
切断を意味するギリシャ語 トモス (tomos, ) に由来する言葉 - NAVER まとめ:2012年04月15日
トモグラフィー (tomography)
切って(tomos) + 描く(graphein) = 断面図
cf. CT = Computed Tomography
526:現代数学の系譜11 ガロア理論を読む
16/12/18 18:28:14.14 TSR5U7zr.net
URLﾘﾝｸ(matome.na)
ver
がNGワードか
腐った板には困ったもんだ（＾＾；
527:現代数学の系譜11 ガロア理論を読む
16/12/18 19:47:18.92 TSR5U7zr.net
>>469 >>474-477
多体系の繰り込みは、普通の量子力学の繰り込みとは違ったのだが・・
多体系に経路積分が使えるという論文は見たことがあった
それが、普通の量子力学と関連してくるのかな？？
あんまり詳しくないのだが・・（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
密度行列繰り込み群法
密度行列繰り込み群（みつどぎょうれつくりこみぐんほう 英: density matrix renormalization group; DMRG）は、量子多体系における低エネルギー物理を高精度に計算するために考案された数値変分法である。1992年に Steven R. White により開発された[1]。
目次
1 DMRG の背景にある考え方
2 実装上の技術的詳細
3 応用
4 行列積仮設
5 DMRG の拡張
DMRG の背景にある考え方
量子多体系の物理に関して主に問題となるのは、ヒルベルト空間が指数関数的に大きくなることである。例えば、長さ L のスピン 1/2（英語版） チェインは、2L の自由度をもつ。DMRG法は反復的な変分法であり、問題の量子状態についてもっとも重要な自由度にのみ有効自由度を絞り込むことができる。問題とされるのは基底状態であることが多い。
この手法では、ウォームアップサイクル後に系を（同じサイズとは限らない）二つのブロックと、その間に位置するの二つのサイトに分ける。ウォームアップ中に、各ブロックを「代表する」一連の状態を選定する。左ブロック + 二つのサイト + 右ブロックを合わせてスーパーブロックと呼ばれる。
スーパーブロックは全系よりも自由度が低減しており、基底状態の候補が見付けやすい。その代償として精度は低下するが、下記の反復法により向上させることができる。
つづく
528:現代数学の系譜11 ガロア理論を読む
16/12/18 19:49:04.59 TSR5U7zr.net
>>481 つづき
見付かった基底状態の候補を、名前の通り密度行列を用いて各ブロックに対応する部分空間上に射影する。これにより、各ブロックの「関連する状態」が更新される。
ここで、片方のブロックを大きくし、もう片方を小さくして同じ手続きを繰り返す。大きくしたブロックが最大サイズに到達したら、かわりにもう片方を大きくする。最初の（等しいサイズの）状況に立ち戻ったとき、「スイープ」が完了したという。1 次元格子ならば通常、数回のスイープで 1010 分の 1 の精度を得るのに十分である。
DMRG法は Steven White と R
529:einhard Noack により、1 次元箱内のスピン 0 粒子のスペクトルを求めるというトイモデル（英語版）に対して始めて適用された。 このモデルはケネス・ウィルソンにより、何らかの新しいくりこみ群の方法をテストするために考案された。このような単純な問題でも、正しく解けない方法ばかりだったのである。 DMRG法は従来のくりこみ群の方法にあった問題点を、系を一つのブロックと一つのサイトに分けるのではなく二つのブロックを二つのサイトで繋ぐように分け、さらに各ステップの最後に最も重要で保存するべき状態を密度行列を用いて識別することにより克服している。 このトイモデルを解くことに成功したのち、DRMG法はハイゼンベルグモデル（英語版）にも適用され、成功している。 応用 DMRG法は、横磁場イジングモデルやハイゼンベルグモデル（英語版）など、およびハバードモデルなどのフェルミオン系、近藤効果などの欠陥のある問題、ボソン系、量子ワイヤー（英語版）に接続された量子ドットの物理など、スピンチェインの低エネルギー物性を得るための応用が成功している。 樹状グラフを扱えるよう拡張されたものもあり、デンドリマーの研究に応用されている。片方の次元がもう片方よりも非常に大きいような二次元系も精度よく扱えるため、ラダーの研究にも有用であることが知られている。 二次元系の平衡状態についての統計物理学（英語版）的研究向けや、一次元系の非平衡（英語版）現象の解析向けの拡張も存在する。 量子化学分野においては強相関系を扱うための応用もされている。 つづく
530:現代数学の系譜11 ガロア理論を読む
16/12/18 19:50:00.00 TSR5U7zr.net
>>482 つづき
DMRG の拡張
2004年、行列積状態の実時間発展向けに時間発展ブロックデシメーション法（英語版）が実装された。このアイデアは量子コンピュータの古典シミュレーションに基いている。続いて、DRMG形式の実時間発展を計算する新手法が考案された。これについては A. Feiguin と S.R. White による論文を参照のこと。
近年、行列積状態の定義を拡張することにより、二次元および三次元へと拡張する提案がなされている。これについては F. Verstraete と I. Cirac による論文を参照のこと。
関連項目
量子モンテカルロ（英語版）
ハイゼンベルグモデルにおける密度行列繰り込み群法（英語版）
時間発展ブロックデシメーション法（英語版）
配置間相互作用法
(引用終り)
531:１３２人目の素数さん
16/12/18 21:51:33.40 y2ndyS62.net
>>424
> 無限大の極限を考える必要がある
同値類の定義からΔrの無限数列のシッポは全て0になることは確定しているから
極限を考えた場合の無限数列のシッポは全て0になって決定番号は無限大にはならない
最初にシッポの0をカットして有限数列にしても極限を考えるときに
ある番号nから先の「s'n-sn, ...」が再度全て0になる
532:１３２人目の素数さん
16/12/19 21:38:21.58 Nz/IKoyB.net
時枝記事は自分でネタバラシ>>4でをしていて、
>>1-3の不思議な戦略は既存の測度論的確率論では
正当化されない。これが正当化されるような確率論を
構築してくださいね！というのが、問題提起だった。
それへの答えは、何らかの数学モデルを構築して
初めて意味がある。物理現象などを持ち出して
それを成し得たら何が定式化できるかを並べても、
>>4の出題から一歩も踏み出してはいない。
時枝に対して「それホントに解けるといいね」と
相槌を打ったことにしかならない。
例えばデルタ関数は、関数でなく分布と捉えることで
初めて数学的に意味を持ったが、
分布としての意味を与えられた後も依然として
デルタ関数が「関数」ではないことに変わりはない。
上のレスに出てきた「拡張一様分布」も、
確率分布でないことは既に決まっているが、
確率分布の概念を拡張して何らかの
533:定式化が可能か が問題になる。誰かが何かの提案をして こんなにスレが続いているのか？を確認しておきたい。
534:１３２人目の素数さん
16/12/19 23:48:42.50 2BMqIuj5.net
No one has ever done such nice things.
One person has made a lot of something fuckin' crazy, foolish.
As a matter of fact, that's the reason why this thread is so active.
Don't overestimate about that.
535:１３２人目の素数さん
16/12/20 00:03:14.11 xV6MYIZE.net
>>485
> 誰かが何かの提案をしてこんなにスレが続いているのか？を確認しておきたい。
・決定番号が有限値でないことがあるから時枝の戦略は成り立たない
・キマイラ数列∈/R^Nが存在するから時枝の戦略は成り立たない
・決定番号の確率分布は裾が重いから時枝の戦略は成り立たない
・決定番号の確率分布では期待値や分散が求まらないから時枝の戦略は成り立たない
・R^Nはヒルベルト空間外だから時枝の戦略は成り立たない
・ヒルベルトのホテルのパラドックスを考えると時枝の戦略は成り立たない
・決定番号は宇宙に存在する原子数よりも大きくなるから時枝の戦略は成り立たない
・エントロピーはほとんど変化しないから時枝の戦略は成り立たない
・"確率の専門家"が疑問を呈したから時枝の戦略は成り立たない
・"院生クラスの誰か"が与太話とコメントしたから時枝の戦略は成り立たない
・なにはともあれ個人的に時枝の戦略は不成立だと思う
こういったスレ主のコメントに対して
⇒住人が突っ込む
⇒突っ込みを無視してスレ主がコメント
⇒再度住人が突っ込む
⇒再度突っ込みを無視してスレ主がコメント
⇒再度住人が突っ込む
⇒
⇒
という無限ループに入っていますｗ
なんだかんだ皆スレ主が好きなのかい？ｗｗ
貴重な時間を無駄にするのはやめにしませんか
536:１３２人目の素数さん
16/12/20 19:06:20.13 jwR2BCLH.net
ここのスレ主は共立のガロア・アーベルの本読んだの？
537:現代数学の系譜11 ガロア理論を読む
16/12/22 22:42:28.40 VgRjj8BR.net
>>484
ああーあ
”y=f(x)=1/x R＝(－∞,∞）から0を除いたR－{0}＝(－∞,０)∪(０, ＋∞)で定義された対応は、関数の定義を満たす。 ”（下記）
で、区間(－∞,０)と、(０, ＋∞)とは、開。だが、極限としては、－∞,０,＋∞ は、可能だろう？ 分かってる？ 同じだよ
URLﾘﾝｸ(www.ne.jp)
y=1/xの属性[数学についてのwebノート]: 投稿者 Tirom （2013?）
1変数関数y=1/xの性質 ：トピック一覧
(抜粋)
y=f(x)=1/x
・R＝(－∞,∞）で定義された対応y=f (x)=1/xは、関数の定義を満たさない。
なぜなら、
x＝0∈Rにおいて、 f(0)＝1/0＝φとなる（∵実数体の定義）から。
・しかし、
R＝(－∞,∞）から0を除いたR－{0}＝(－∞,０)∪(０, ＋∞)で定義された対応
y=f (x)=1/x
は、関数の定義を満たす。
・したがって、通常、「y=f (x)=1/xの定義域」は、
０を除く実数全体(－∞,０)∪(０, ＋∞)とされる。
(引用終り)
URLﾘﾝｸ(www.ne.jp)
数学についてのwebノート:
538:現代数学の系譜11 ガロア理論を読む
16/12/22 22:45:01.44 VgRjj8BR.net
>>488
読んだよ
まあ、真偽は想像にお任せする
過去ログ見てみな
分かるだろうよ
もっとも”読む”がレベルいろいろだろうが
539:現代数学の系譜11 ガロア理論を読む
16/12/22 22:56:41.36 VgRjj8BR.net
>>485-487
>>>1-3の不思議な戦略は既存の測度論的確率論では
>正当化されない。これが正当化されるような確率論を
>構築してくださいね！というのが、問題提起だった。
違うと思うよ
個人的には、どんな理論を持ってきても、「正当化はできない」と思っている
だから、時枝記事は完全に不成立だと
それこそ、昔￥さんが言ったように、確率を実数から複素数に拡張でもすれば、それは知らないが（直感的にはそれでも無理だと思う）
少なくとも、自分の知る限りの理論では、正当化できない
特に、問題は、「100列で確率99/100」をきちんと数学的に導くことは
540:できない ゲーム論的確率論を使ってもだ。できると思うならどうぞ だから、時枝記事からは、すでに引いて見ているよ
541:現代数学の系譜11 ガロア理論を読む
16/12/22 22:59:58.29 VgRjj8BR.net
>>485-487
>という無限ループに入っていますｗ
ほとんどのおそらく、大学と繋がりのある人たちは、悟って引いていった
周りを見回してみるがいい
時枝記事を支持するプロ数学者は皆無だ
ただ、大学と繋がりのない素人が騒いでいるだけ
覚醒できずに
542:１３２人目の素数さん
16/12/22 23:37:41.31 cIndg6/u.net
Are you kidding me?
543:現代数学の系譜11 ガロア理論を読む
16/12/22 23:47:13.89 VgRjj8BR.net
ふーむ「ネーターの定理に従って保存量としてのエントロピーを導く対称性は何か？」ですか
URLﾘﾝｸ(www.riken.jp)
乱雑さを決める時間の対称性を発見 | 理化学研究所:
2016年4月27日
理化学研究所
京都大学
乱雑さを決める時間の対称性を発見
－100年前の物理と数学の融合が築くミクロとマクロの架け橋－
(抜粋)
20世紀末、ブラックホール[3]のエントロピーは、時空の対称性から導出できることが分かりました。この研究に触発され、今回、共同研究チームは、「ネーターの定理に従って保存量としてのエントロピーを導く対称性は何か？」という疑問を追究しました。
具体的には、「ミクロな粒子の運動を記述する時間をずらしても、ずらす前の運動と同じ法則に従う」という対称性があるかを調べました。その結果、量子力学のプランク定数[4]を温度で割った分だけ時間をずらすように選んだときにのみ、そのような対称性が現れることが分かりました。
そして、ネーターの定理をその対称性に適用することで得られる保存量がエントロピーと一致しました。この乱雑さを決める時間の対称性はこれまでにないものであり、どのような物質にも現れうる普遍的なものです。
今後、時間の対称性が導くエントロピーは、乱雑さとしてのエントロピーとは異なる方法でミクロとマクロの世界を結び付けることを可能にし、さまざまな分野に新しい視点を与えると期待できます。
本研究は、米国の科学雑誌『Physical Review Letters』（4月8日号）に掲載され、Editors’ suggestionに選ばれました。
つづく
544:現代数学の系譜11 ガロア理論を読む
16/12/22 23:47:47.81 VgRjj8BR.net
>>494 つづき
背景
およそ100年前、熱力学の基本的な量であるエントロピーのミクロな力学による表現が確立され、また、力学における対称性と保存則を一般的に結び付ける数学的定理が発見されました。前者はボルツマンの公式、後者はネーターの定理と呼ばれます。
量子力学のプランク定数を温度で割った分だけ、時間をずらすように選んだときにのみ、そのような対称性が現れました。そして、ネーターの定理をその対称性に適用することで得られる保存量がエントロピーと一致しました。ここでの温度はボルツマンの公式によって決まる量であり、時間に依存して変化します（図）。
これは、これまでにない対称性の発見であり、どのような物質にも現れうる普遍的なものです。ここで興味深いのが、この理論は完全に古典論に基づくにもかかわらず、プランク定数の存在が自然と導かれた点です。これは、エントロピーと量子力学の深い関係を示していると考えられます。
原論文情報
Shin-ichi Sasa and Yuki Yokokura, "Thermodynamic Entropy as a Noether Invariant", Physical Review Letters, doi: 10.1103/PhysRevLett.116.140601
(引用終り)
545:現代数学の系譜11 ガロア理論を読む
16/12/23 00:18:14.28 5O/87XDw.net
修論にしては、レベルが高いが
>>198の笠・高柳公式の後では内容が古くなった
が、「熱力学から生じる重力」という視点は新鮮だね
URLﾘﾝｸ(www.cc.kyoto-su.ac.jp)
三好 蕃 (Shigeru J. MIYOSHI)のページ 京都産業大学
URLﾘﾝｸ(www.cc.kyoto-su.ac.jp)
京都産業大学天文・宇宙天体物理グループ
最近の修士論文
URLﾘﾝｸ(www.cc.kyoto-su.ac.jp)
重力と熱力学 [酒井 啓�
546:ｾ：2005年3月] Abstract この論文ではよくあるBlack Hole のエントロピーの求め方をまず紹介しておい て、その後に物理的解釈からエントロピーを導出した。またBlack Hole だけでな く同様の考え方でΛ 項のある宇宙や一様加速する系についてのエントロピーも導 出し、それらを高次元に展開した。そして別の視点から見るために熱力学から重 力を導出し、情報のパラドックスについて論じた。 (抜粋) 第4 章 熱力学から生じる重力 このように、完全な二次のLagrangian が標準なEinstein-Hilbert Lagrangian だと 分かる。その作用の表面項が単位表面積当たりのエントロピーに比例すべきだと いう仮定によってこの結果を得ることができた。この仮定が重力作用の原理を決 定し、一般に共変な作用が引き起こされ、そして表面項がEinstein Lagrangian の形 を決定することになる。そして表面積が単位面積量当たりの情報を含むという考 えが重力相互作用の性質を決定するのを許している。 (引用終り)
547:現代数学の系譜11 ガロア理論を読む
16/12/23 00:27:24.59 5O/87XDw.net
>>496
そういえば、下記”Ashtekar”なんてのがあるが
むかし￥さんが、”Ashtekar”のことを言っていたっけね？ 記憶が定かではないが・・ （＾＾
参考文献
[40] A. Ashtekar, Gravity and the Quantum, gr-qc/0410054.
548:１３２人目の素数さん
16/12/23 01:11:56.49 Ue9wXM6X.net
>>489
> 極限としては、－∞,０,＋∞ は、可能だろう？ 分かってる？ 同じだよ
決定番号が＋∞である場合を考えることはもちろん可能であるがこの場合に何が起こるかというと
極限をとると発散するので極限をとって無限数列を作ることはできない
Δrの極限の無限数列のシッポが全て0になればある番号nから先の「s'n-sn, ...」においてs'nとsnが全て
一致するので収束することが言える
そうでない場合は極限が定まらないので発散する
任意の無限数列を出題することが可能であると仮定している段階で極限をとれば必ずその無限数列のシッポが
確定することを仮定している訳で言い換えるとΔrの極限の無限数列のシッポが全て0になること
つまり必ずシッポが全て0になるようにΔrの極限をとることが可能であると仮定している
549:１３２人目の素数さん
16/12/23 02:29:18.79 06iuOQ6r.net
>>491もちろん、
そのような新しい「確率」を定義し得ないことを
証明すれば、構成して見せること同様に解になる。
数学だから証明が重要で、「無理な気がする」では
あまり意味がない。
>>498すでに書いたように、
時枝記事の存在価値は>>1-3の戦略が
標準的な確率論の下で正当化できるかではなく、
あの戦略を正当化できるような新規な確率論を
構築することができるかにある。そのことは
時枝自身が>>4にネタバラシしているので、
そこを外した議論の意義は薄い。
数学者たちが無視しているのは、>>4の意味での
時枝問題が雲をつかむような話で、
特に肯定的なアイディアも無いが
否定するのは悪魔の証明でしかない
エンガチョな問いかけだからだよ。
550:現代数学の系譜11 ガロア理論を読む
16/12/23 08:07:17.24 5O/87XDw.net
>>498-499
ID:Ue9wXM6Xさんと、ID:06iuOQ6rとか
同一人物のようでもあり、違うようでもある・・（＾＾；
ところで
＜プロ＞
・大学教員
・修士から上の学位あり
＜セミプロ＞
・数学科卒
＜アマ＞
・上記以外
と分類して
＜アマ＞認定で良いかな？
551:現代数学の系譜11 ガロア理論を読む
16/12/23 08:18:38.40 5O/87XDw.net
>>498
>決定番号が＋∞である場合を考えることはもちろん可能であるがこの場合に何が起こるかというと
>極限をとると発散するので極限をとって無限数列を作ることはできない
”さくそく-てきり【削足適履】”か？（下記）
「極限をとると発散するので極限をとって無限数列を作ることはできない」？？
意味わからん
そもそも、”無限数列を作る”が前提だろ？ 極限をとると、何が発散するのか？
URLﾘﾝｸ(dictionary.goo.ne.jp)
削足適履の意味 - 四字熟語一覧 - goo辞書:
さくそく-てきり【削足適履】の意味 新明解四字熟語辞典
本末を取り違えて、無理に物事を行うたとえ。折り合いをつけて、無理に合わせるたとえ。また、目先のことにとらわれて、根本を考えないたとえ。大きな足を削り落として、靴に合わせる意から。▽「適」は合わせること。「履」は靴・はきものの意。「足あしを削けずりて履くつに適てきせしむ」と訓読する。
削足適履の出典
『淮南子えなんじ』説林訓ぜいりんくん
552:現代数学の系譜11 ガロア理論を読む
16/12/23 08:33:11.58 5O/87XDw.net
>>499
>証明すれば、構成して見せること同様に解になる。
>数学だから証明が重要で、「無理な気がする」では
>あまり意味がない。
だから？ ここは２ちゃんねる。お気楽な場だよ。学会じゃない
時枝記事を正当化する構成はできないと思っている
が、お分かりのように、構成するなら１つでおわりだが、不可能の証明はずっと難しい
で、例えばあなたが、「構成した」と称するものがあれば、その穴を見つけてあげましょうという挑戦状と思って貰って結構だ
なお、「時枝記事を正当化する構成はできない」の証明を考えることは、時間の無駄で意義が薄いと思っているし
まあ、その証明は難しいだろう。世の中のありとあらゆる可能な構成を考慮に入れないといけないからね
ただ、「時枝記事を正当化する構成はできない」の説明は、過去なんどか書いたし
それは、>>487辺りにだれかまとめてくれている（正確かどうかは別として）
>あの戦略を正当化できるような新規な確率論を
>構築することができるかにある。そのことは
>時枝自身が>>4にネタバラシしているので、
>そこを外した議論の意義は薄い。
それ個人的見解にすぎない
>数学者たちが無視しているのは、>>4の意味での
>時枝問題が雲をつかむような話で、
>特に肯定的なアイディアも無いが
>否定するのは悪魔の証明でしかない
>エンガチョな問いかけだからだよ。
それ個人的見解にすぎない
553:１３２人目の素数さん
16/12/23 08:40:22.68 dNmvLwua.net
アホ相手に解説したって無駄
会話がズレまくってて見てられんわ笑
554:１３２人目の素数さん
16/12/23 08:56:25.80 YMoiYfRu.net
>>499
証明が大事なら全く証明になってない時枝の議論はゴミじゃん
555:現代数学の系譜11 ガロア理論を読む
16/12/23 09:01:10.11 5O/87XDw.net
>>496 関連
Alain Connes先生
URLﾘﾝｸ(arxiv.org)
Why the Standard Model
Ali H. Chamseddine, Alain Connes
(Submitted on 25 Jun 2007)
The Standard Model is based on the gauge invariance principle with gauge group U(1)xSU(2)xSU(3) and suitable representations for fermions and bosons, which are begging for a conceptual understanding.
We propose a purely gravitational explanation: space-time has a fine structure given as a product of a four dimensional continuum by a finite noncommutative geometry F.
The raison d'etre for F is to correct the K-theoretic dimension from four to ten (modulo eight).
We classify the irreducible finite noncommutative geometries of K-theoretic dimension six and show that the dimension (per generation) is a square of an integer k.
Under an additional hypothesis of quaternion linearity, the geometry which reproduces the Standard Model is singled out (and one gets k=4)with the correct quantum numbers for all fields.
The spectral action applied to the product MxF delivers the full Standard Model,with neutrino mixing, coupled to gravity, and makes predictions(the number of generations is still an input).
556:１３２人目の素数さん
16/12/23 09:06:08.16 dNmvLwua.net
>>499
>>502と>>504を見れば分かるだろ。
数学以前に会話になってないｗ
時間の無駄です
557:現代数学の系譜11 ガロア理論を読む
16/12/23 09:10:41.48 5O/87XDw.net
>>504
どうも。スレ主です。
賛成だな
時枝記事が意味を持つためには
１．証明は得ていなくても、（超すその重い分布で）「100列で確率99/100」を強く示唆する数学的根拠を示した記事であること
（もちろん、確率分布が、すその軽い分布で、大数の法則や中心極限理が成立する場合（典型的には正規分布など）では、「100列で確率99/100」は言える。そして、我々日常では大数の法則が圧倒的に多いから、多くの人は無意識に「100列で確率99/100」が成立するとすり込まれているんだが）
２．新規な確率論のアイデアか方向性を示すこと
この２つが無ければ、ゴミじゃん
558:現代数学の系譜11 ガロア理論を読む
16/12/23 09:13:01.61 5O/87XDw.net
>>507 訂正
我々日常では大数の法則が圧倒的に多いから、
↓
我々日常では大数の法則が成立する場合が圧倒的に多いから、
559:１３２人目の素数さん
16/12/23 09:16:17.98 dNmvLwua.net
>>507
> １．証明は得ていなくても、（超すその重い分布で）「100列で確率99/100」を強く示唆する数学的根拠を示した記事であること
> （もちろん、確率分布が、すその軽い分布で、大数の法則や中心極限理が成立する場合（典型的には正規分布など）では、「100列で確率99/100」は言える。
> そして、我々日常では大数の法則が圧倒的に多いから、多くの人は無意識に「100列で確率99/100」が成立するとすり込まれているんだが）
釣り乙ｗ
>>487
> ・決定番号が有限値でないことがあるから時枝の戦略は成り立たない
> ・キマイラ数列∈/R^Nが存在するから時枝の戦略は成り立たない
> ・決定番号の確率分布は裾が重いから時枝の戦略は成り立たない
> ・決定番号の確率分布では期待値や分散が求まらないから時枝の戦略は成り立たない
> ・R^Nはヒルベルト空間外だから時枝の戦略は成り立たない
> ・ヒルベルトのホテルのパラドックスを考えると時枝の戦略は成り立たない
> ・決定番号は宇宙に存在する原子数よりも大きくなるから時枝の戦略は成り立たない
> ・エントロピーはほとんど変化しないから時枝の戦略は成り立たない
> ・"確率の専門家"が疑問を呈したから時枝の戦略は成り立たない
> ・"院生クラスの誰か"が与太話とコメントしたから時枝の戦略は成り立たない
> ・なにはともあれ個人的に時枝の戦略は不成立だと思う
560:現代数学の系譜11 ガロア理論を読む
16/12/23 09:26:37.22 5O/87XDw.net
>>498
確かに会話が成り立っていない気がするが・・
”なぜヒルベルト空間なんて出てきたのか意味不明すぎる”>>155 なんて話があったが
普通われわれが関数解析などで、無限次元空間（数列）を扱うとき
前提として、ヒルベルト空間ないし、バナッハ空間を前提としていることが圧倒的に多い（下記参照）
ところが時枝記事は、>>2"「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる."だったから
”実数列の集合 R^N”は、ヒルベルトでもバナッハでもないよ
だから、時枝記事のR^Nの実数列に収束は要求されていない！
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
バナッハ空間（バナッハくうかん、英: Banach space; バナハ空間）は、完備なノルム空間、即ちノルム付けられた線型空間であって、そのノルムが定める距離構造が完備であるものを言う。
解析学に現れる多くの無限次元函数空間、例えば連続函数の空間（コンパクトハウスドルフ空間上の連続写像の空間）、 Lp-空間と呼ばれるルベーグ可積分函数の空間、ハーディ空間と呼ばれる正則函数の空間などはバナッハ空間を成す。これらはもっとも広く用いられる位相線型空間であり、これらの位相はノルムから規定されるものになっている。
561:現代数学の系譜11 ガロア理論を読む
16/12/23 09:44:48.72 5O/87XDw.net
>>505
このAlain Connes先生は、過去よくお世話になった とね日記の紹介なんだ
URLﾘﾝｸ(blog.goo.ne.jp)
時間とは何か、空間とは何か： S.マジッド、A.コンヌ、R.ペンローズ他 - とね日記: 2014年04月29日
(抜粋)
ロジャー・ペンローズ、アラン・コンヌらが時間と空間の招待についての論点を整理し、宇宙の姿を描く。
本書は2006年9月にケンブリッジ大学のエマニュエル・カレッジで開かれた公開討論会で、「時間とは何か？空間とは何か？」という問いを一流の数学者、物理学者、哲学者、神学者からなるユニークなパネリストに問いかけ、この催しから得られた本だ。英語版は2008年に出版された。
第４章：時空の美しい理解のために：重力と物質の統一
アラン・コンヌ
コンヌ博士の理論は素粒子の標準模型と重力を統一するから、統一スケール（プランクスケール）においてニュートン定数の値も予想する。
そしてスペクトル作用は有効作用として用いることができる。MｘFについての非可換幾何学へ応用するスペクトル作用関数からわかる理論は基本理論ではないが、統一スケールで意味を持つところで留まる実質的な理論と考えられる。
（この非可換幾何学によって素粒子の標準理論が導かれることはこの論文 URLﾘﾝｸ(arxiv.org) で示されている。）
562:現代数学の系譜11 ガロア理論を読む
16/12/23 09:46:16.87 5O/87XDw.net
>>509
釣りは、すでに、そこではないよ
こっち>>511
563:現代数学の系譜11 ガロア理論を読む
16/12/23 09:57:31.66 5O/87XDw.net
>>505
quaternionは例の四元数か
URLﾘﾝｸ(arxiv.org)
(抜粋)
Abstract.
We
classify the irreducible finite noncommutative geometries of K-theoretic dimension
six and show that the dimension (per generation) is a square of an integer k. Under
an additional hypothesis of quaternion linearity, the geometry which reproduces the
StandardModel is singled out (and one gets k = 4) with the correct quantum numbers
for all fields.
（略）
We can now combine the above discussion with the result of [7] Theorem 4.3 and get,
Theorem 4.3. Let M be a Riemannian spin 4-manifold and F the finite noncommutative
geometry of K-theoretic dimension 6 described above, but with multiplicity4 3.
Let M × F be endowed with the product metric.
(1) The unimodular subgroup of the unitary group acting by the adjoint representation
Ad(u) in H is the group of gauge transformations of SM.
(2) The unimodular inner fluctuations of the metric give the gauge bosons of SM.
(3) The full standard model (with neutrino mixing and seesaw mechanism) minimally
coupled to Einstein gravity is given in Euclidean form by the action
functional
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
数学における四元数（しげんすう、英: quaternion（クォターニオン））は複素数を拡張した数体系である。
実は四元数の全体は、最初に発見された非可換多元体である[5]。四元数全体の成すこの代数は、ハミルトンに因んで H（あるいは黒板太文字で Ｈ）と書かれる。
この代数 H は解析学において特別な位置を占めている。というのも、フロベニウスの定理に従えば H は実数の全体 R を真の部分環として含む有限次元可除環の二種類しかないうちの一つ（もう一つは複素数の全体 C）だからである。
564:現代数学の系譜11 ガロア理論を読む
16/12/23 09:59:57.51 5O/87XDw.net
>>513
素粒子論とEinstein gravityの融合
これが２１世紀の数学やね
565:１３２人目の素数さん
16/12/23 10:26:04.93 tuUxp9X2.net
>>504
What the fuck? You mean the Riemann hypothesis is crap, dontcha?
566:１３２人目の素数さん
16/12/23 10:57:37.77 YMoiYfRu.net
>>515
リーマン予想は数学的に定式化されてます。
時枝のは数学の体裁すら整ってません
567:１３２人目の素数さん
16/12/23 10:58:50.14 YMoiYfRu.net
リーマン予想は数学の言葉を用いて書くことができますが
時枝のはそれすらできてません
568:現代数学の系譜11 ガロア理論を読む
16/12/23 11:09:28.24 5O/87XDw.net
>>515-517
どうも。スレ主です。
ID:YMoiYfRuさんに
569:賛成だ だから 下記２つの引用は否定される おそらくは、時枝は、すその超重い分布に思い至ってないので、無証明で「100列で確率99/100」成立！ という素人論議にうっかり乗った そう思うよ >>485 ">>>1-3の不思議な戦略は既存の測度論的確率論では >正当化されない。これが正当化されるような確率論を >構築してくださいね！というのが、問題提起だった。" >>499 "時枝記事の存在価値は>>1-3の戦略が 標準的な確率論の下で正当化できるかではなく、 あの戦略を正当化できるような新規な確率論を 構築することができるかにある。そのことは 時枝自身が>>4にネタバラシしているので、 そこを外した議論の意義は薄い。"
570:現代数学の系譜11 ガロア理論を読む
16/12/23 11:14:32.60 5O/87XDw.net
戻る
>>358 関連
URLﾘﾝｸ(www.amazon.co.jp)
量子系のエンタングルメントと幾何学 ホログラフィー原理に基づく異分野横断の数理 単行本 ? 2016/6/8 松枝 宏明 (著)
第2章 物理的情報とその要素分解：高次元からの俯瞰的視点
P20 2.2.3 に、”Tsallisの非加法的エントロピ－”が出てきて、それが、q-解析（量子解析）と関係しているとある！
その関連資料が、下記小山先生の資料だ （この資料が何年のものか不明（おそらく2000年連載直後か）だが、小山先生早く日付入れた方がいいよ（＾＾ ）
URLﾘﾝｸ(www.numse.nagoya-u.ac.jp)
名古屋大学大学院工学研究科 マテリアル理工学専攻 小山研究室（計算組織学研究グループ）:
URLﾘﾝｸ(www.numse.nagoya-u.ac.jp)
計算理論 以下は、種々の論文や教科書を勉強した時の覚書です。
熱力学関連
URLﾘﾝｸ(www.numse.nagoya-u.ac.jp)
非加法的統計力学 [阿部純義 : 数理科学, No.439, (2000), 1月号から連載]の一部に 式のフォローを加えたもの by T.Koyama
(抜粋)
１．はじめに
ほぼ１世紀にわたって大きな成功をおさめてきたBoltzmann-Gibbs統計力学が、現在いくつかの物理的要請にしたがって拡張されようとしている。
このことに関連して最近注目を集めている「Tsallisの非加法的統計力学」について解説する。この研究は現在発展過程にあり、現時点において知られている理論的枠組みが最終的に正しいものか否かはわからない。
しかしおそらくこの方向に何らかの真理が存在することは疑いの無いことであるように思われる。したがって、本稿はすでに確立された分野の解説ではなく、新しい発見への道の途中にある統計力学研究の報告であると考えていただきたい。
つづく
571:現代数学の系譜11 ガロア理論を読む
16/12/23 11:15:02.71 5O/87XDw.net
つづき
５．Tsallisの非加法的エントロピ－
1988年に発表された論文[C. Tsallis: J. Stat. Phys.,52(1988),479.]において、Tsallisは、「マルチフラクタル系のように確率分布関数がベキ則的振る舞いをする場合に対応する統計力学はどのようなものであろうか」という根本的な問題を考察した。
歴史的には、この型の量は1970年にDaroczyによってすでに考察されていた。しかし、Daroczyの議論は情報数学の枠内に終始しており、最大エントロピ－原理や統計力学との関連については触れていない。Tsallisはまったく別の観点から独立にこの量を考案した。
Tsallisエントロピ－は、というパラメ－タを含んでいる。
６．Tsallisエントロピ－の一意性に関するコメント
ごく最近、(定数)+ΣΦ(Pi)の形をもつ量の内、composabilityを満たすものは、おそらくTsallisエントロピ－のみであろうという議論が展開された。
つづく
572:現代数学の系譜11 ガロア理論を読む
16/12/23 11:15:50.82 5O/87XDw.net
つづき
７．q-変形理論との関係
数理物理学に、量子群・q-変形理論という分野がある。それに関連するq-解析学は、20世紀初頭に現れた数学であるが、場の量子論や統計力学におけるある種の可解模型がもつ対称性の研究を通じて近年物理学に導入された。この節では、Tsallisエントロピ－とq-変形理論との興味深い関係について紹介する。
８．q-期待値と非加法的統計力学
式(42)の定義を用いた理論は非常に注目され、驚くほど多岐にわたる問題に応用された。指数関数的でない確率分布が問題になる系に対して、ことごとく適用された感がある。
ここで重要なのは、これらの研究をとおして、Tsallisエントロピ－の適用範囲がその定式化の動機であったマルチフラクタル構造をもつ系に限定されるものではなく、どうやら非加法性をもつ一般的な系の統計力学的性質の解明に有用のようである、ということが次第に明らかになってきたことである。
このように式(42)を拘束条件として用いた理論形式は、まずまずの成功をおさめたといえる。1998年までの非加法的統計力学に関するほとんどすべての議論は、この形式に基づくものであった。しかしながら、式(42)には明らかに不満足な点があった。
上述の困難を解決するために、Tsallis，MendesおよびPlastinoは規格化されたq-期待値 (43)
を導入した。
これまで何度か述べたように、Tsallisエントロピ－導入のもともとの動機は、マルチフラクタル系でスケ－ルされる確率分布関数を統計力学的な原理に基づいて記述することにあったのであるが、上で見たように、ベキ則的な振る舞いをする分布関数が実際に得られたわけである。
さて、この理論的枠組みから如何に無矛盾な熱力学的形式が導かれるかを見てみることにしよう。
つづく
573:現代数学の系譜11 ガロア理論を読む
16/12/23 11:17:10.56 5O/87XDw.net
つづき
このように、Boltzmann-Gibbs極限q→1における通常の熱力学的関係式のすべてが、q≠1の場合に自然に移行されるのである。熱力学的Legendre変換構造は、非加法的拡張に対して、実はかくもロバストなのであった。
以上、Tsallisエントロピ－の定義(24)と合わせて式(43)以降の議論が、現時点でもっとも信頼できる理論的枠組みと考えられているものである。Tsallisの非加法的統計力学は、エントロピ－と期待値の定義の拡張に関する二つの仮定からなる理論なのである。
10-1) Levy型ランダム・ウォ－ク
中心極限定理によれば、仮に１回のジャンプが厳密にGauss分布でなくても、２次モ－メントが存在する限り、大きなNで漸近的に分布(83)が実現される。
ところで、数学的には２次モ－メントが存在しない（発散する）分布を考えることができる。そのような分布は、確率変数の大きな値に対してGauss型のように指数関数的に急減少する分布とは異なり、ベキ則的にゆっくりと減少する。
歴史的に最初にベキ則的分布が発見されたのは約１世紀ほど前のことで、それはParetoによる富裕階級の年収に関する統計解析においてであった。数学者Levyは、そのような長く尾を引く分布についての一般的理論を展開した。
今日Levy分布と呼ばれるこの確率分布と、それに関連するランダム・ウォ－ク（Levyフライト）と解釈されるものは、Paretoの統計の他にも、自然現象や社会現象の中に豊富に存在することが知られている。
それらは例えば、ミセル型ポリマ－媒質中の分子の運動、回転同心円環内の層流のカオス的輸送、準反跳レ－ザ－冷却、周期的パルス光照射を受けるセシウム原子の運動量分布則、量子色力学によるハ－ド・プロセスに対する多重度分布、健康人の心臓の鼓動のリズム、
水道の蛇口からもれ落ちる水滴の間隔、経済指数の分布、DNAの塩基配列、アホウドリの餌の漁り方、というように実に多様である。
時間を離散化して考えると、先述のGauss過程というのは単位時間ステップで近接点ヘジャンプする場合になっているが、Levy過程はもっと速くヘジャンプする確率を含んでいる。
つづく
574:現代数学の系譜11 ガロア理論を読む
16/12/23 11:18:33.66 5O/87XDw.net
つづき
式(85)が示すように、Levy分布は“引き延ばされた指数関数”（stretched exponential function）のFourier変換である。このことから、N回の独立なジャンプをあらわす分布はN^(-1/α)Lα(x/N^(1/α））で与えられることになる。
このように独立な確率変数の和のしたがう分布が、一つの変数に対する分布の変数のスケ－ルを変えたものに等しくなる場合、それは安定分布と呼ばれる。Levy分布やGauss分布は安定分布である。
通常の中心極限定理によれば、有限な２次モ－メントが存在する場合、同一の分布にしたがうN個の互いに独立な確率変数に対応する分布は、Nが大きくなるとGauss分布に近づく。
一方、２次モ－メントが発散するような分布に関しては、Levy-Gnedenkoの一般化された中心極限定理によって、大きなNで収束する分布の収束先はLevy分布の安定クラスのうちのどれかである。
ところで、1980年代に、フラクタルの概念の物理学における意義がさかんに議論された。その関運で、フラクタル的分布であるLevy型の分布を最大エントロピ－原理から理解しようという試みがなされた。
このように非加法的統計力学の枠組みでは、Levy分布をきわめて自然な形で理解できるのである。
10-2) 非線形Fokker-Planck方程式と異常拡散
νμ=のとき以外は、通常の拡散法則(111)と異なり、幅の２乗が単純に時間に比例しない。このような拡散を異常拡散(anomalous diffusion)という。ν/μ>1(ν/μ<1) の場合、通常の拡散よりも遅く（速く）拡散するので、subdiffusion(superdiffusion)と呼ばれる。
異常拡散は、多孔性媒質やランダム媒質巾でよく見られる現象であり、10.1で述べたLevy型ランダム・ウォ－クと密接に関係している。
つづく
575:１３２人目の素数さん
16/12/23 11:19:05.96 Ue9wXM6X.net
>>501
> ”無限数列を作る”が前提だろ？ 極限をとると、何が発散するのか？
スレ主がやっていることは同じ類に属する数列の差からm+1番号目以降の0をカットしてΔrを作って
> r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ，0,0,0・・・)
> Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm )
極限をとりΔrのm+1番号目以降が0でない無限数列を作っているわけであるが
(同じ類に属する)同じ数列の差からm+1番号目以降の0をカットしてΔqを作り極限をとって
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
無限数列を同様に作るとΔqのm+1番号目以降が0でない無限数列を考えることになる
同じ無限数列の差の全ての項が0にならないことから極限は収束しないので発散する
576:現代数学の系譜11 ガロア理論を読む
16/12/23 11:19:53.71 5O/87XDw.net
つづき
おわりに
以上、Tsallisエントロピーに基づく非加法的統計力学の理論的枠組みとその応用について概観してきた。
この解説の冒頭で述べたように、この理論はまだ完成されたものではなく、明らかに発展の途上にある。非常に基本的でありながら理解できていないことがいくつか残っている。例えば、熱力学第ゼロ法則である。
これに関しては、ごく単純な系の場合に限って定式化されているのみであり、一般的な議論が待たれる。また、ごく最近見い出されたBoltzmann-Gibbs極限(と熱力学的極限の交換不可能性という事実も、その物理的意味はまだはっきりしていない。
いわゆるGibbsの定理というものがある。
歴史的には、・・繰り返し証明されてきた事柄なのである。したがって、もしこの主張が正しいならば、論理的問題として、Tsallisエントロピ－などを考える余地はまったくない、ということになる。
しかしながら、この“定理”が実は普遍的ではなく、「ミクロカノニカル集団理諭から導かれるカノニカル集団理論は一意的でない」ことが見い出された。
そして、Boltzmann-Gibbsのカノニカル集団理論以外の理論体系として、Tsallisの非加法的統計力学が確かに導かれることが証明されたのである。
このことは、平衡統一計力学がBoltzmann-Gibbs理論に限定されるものではなく、実はもっと豊かな体系であり
577:うることを示している。したがって、非平衡理論も多様でありうる。 一方、これまでの非平衡統計力学の研究は、主としてBoltzmann-Gibbs下衡理論からのずれのみを取り扱ってきた。しかし、そのようなアプローチでうまく理解できない問題が多々存存することがわかってきた。 Boltzmann-Gibbs理論の非加法的拡張は、統計力学の地平を大きくひろげる可能性を秘めている。 (引用終り)
578:現代数学の系譜11 ガロア理論を読む
16/12/23 11:25:38.99 5O/87XDw.net
>>524
どうも。スレ主です。
一つ聞くが、あんた”おっちゃん”か？
なら、証明を読む気なないよ
「Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )」って・・・
なにそれ？
誤植か？ 訂正する気はあるのか？
579:現代数学の系譜11 ガロア理論を読む
16/12/23 11:28:38.38 5O/87XDw.net
>>526 訂正
なら、証明を読む気なないよ
↓
なら、証明を読む気はないよ
追伸
こんな読みにくい板で、なにも好き好んで証明ごっこする必要もあるまい
読まされる方はたまらんぜ
580:１３２人目の素数さん
16/12/23 11:35:39.08 Ue9wXM6X.net
>>526
おっちゃんじゃないよ
> なにそれ？
何が分からないのかがこちらには理解できない
スレ主が使った記号しか使っていないよ
581:現代数学の系譜11 ガロア理論を読む
16/12/23 11:43:04.33 5O/87XDw.net
>>519
>P20 2.2.3 に、”Tsallisの非加法的エントロピ－”が出てきて、それが、q-解析（量子解析）と関係しているとある！
関連
URLﾘﾝｸ(www.kitasato-u.ac.jp)
研究のページ(随時更新中)
(抜粋)
Soliton 方程式とその変形・拡張
私と共同研究者はこのような観点から、非整数階微積分作用素をもちいた Soliton 方程式系（具体的には KP 階層という非線形方程式集団）の拡張問題を提案しているんだ。
非整数階微積分とは、歴史的に分数微積分(fractinal calculus)と呼ばれるもので、その名のとおり半端な｢階数｣の微積分で、実は非常に古い研究の歴史を持っている。
ちょっと前に｢ファインマンさん最後の授業 (by Leonard Mlodinow)｣を読んでたら、Feynman もそれを自力で発見したと書いてあった。 それから工学系の流体力学などでは、それと意識せずに日常的にこの演算を使っているようだ。
さて、では分数微分が普通の微分と一番違う点はなんだろう。それは、一般に分数微積分演算というのは、「被微分関数｣に対する積分変換である、という点だ。 つまり、普通の微分は解析関数のある１点だけの情報で決まるのに対して、分数微分は本質的に関数の非局所的な性質を反映している、ということだ。
場の理論、重力、その周辺
実はこの題材が一番古かったりする。 よく知られているように、量子場の理論と重力場の折り合いは非常に悪いんだけど、現実に重力が存在する以上は、ちゃんとした理論とその記述法があるはず。
趣味的な観点からは、種々の Blackhole 時空、特異点を持つ時空の構造に興味がある。 特に Blackhole Entropy の導出とその起源は、熱・統計力学と一般相対論の接点でもあり、激しく興味をそそられる。 一般に、関係なさそうな分野同士の接点には、財宝が埋まっているような気がするんだけど。 このあたりにも新たなアイデア・ﾅ参入を模索中。
という感じです。 以下は業績リストです。
(April 2004 改訂)
URLﾘﾝｸ(ja.wikipedia.org)
q-類似（きゅうるいじ、英: q-analog, q-analogue）とは、理論に q → 1 の極限で、元の理論に一致するように径数 q を導入するような拡張のことをいう。q-拡張（英: q-extension）などとも呼ばれる。
582:現代数学の系譜11 ガロア理論を読む
16/12/23 11:45:29.28 5O/87XDw.net
>>527
Δq= r-r = ｏ ＝(0,0,0,・・・・) 以外が導けるのか？
意味わからん
583:現代数学の系譜11 ガロア理論を読む
16/12/23 11:46:46.24 5O/87XDw.net
>>530 訂正
>>528
Δq= r-r = ｏ ＝(0,0,0,・・・・) 以外が導けるのか？
意味わからん
584:現代数学の系譜11 ガロア理論を読む
16/12/23 11:50:16.94 5O/87XDw.net
>>529 関連
URLﾘﾝｸ(www.kitasato-u.ac.jp)
中村 厚のページ
自己紹介
所属： 北里大学 理学部物理学科 非線形物理学講座
Phone & Fax: 042-778-9956
研究室所在地 : 〒252-0373 神奈川県相模原市北里 1-15-1
研究分野: 素粒子論、数理物理学、特に可積分系
585:現代数学の系譜11 ガロア理論を読む
16/12/23 12:00:19.28 5O/87XDw.net
>>519
>P20 2.2.3 に、”Tsallisの非加法的エントロピ－”が出てきて、それが、q-解析（量子解析）と関係しているとある！
昔、神保 道夫先生の量子群 q変形(q-analog)の記事を読んだときに、「量子群」は単なる命名で、本当に量子力学と関連してくるとは見ていなかったけど・・
こんなに物理の最先端と関係してくるとは予想外だ
URLﾘﾝｸ(ja.wikipedia.org)
神保 道夫（じんぼう みちお、1951年11月28日 - ）は日本の数学者。立教大学理学部教授。
経歴
佐藤幹夫の弟子で、佐藤の代数解析学を数理物理学に応用。特に可解格子模型、可積分系で多くの業績がある。言語学者の神保格の孫にあたる。
可解格子模型の研究、ヤン・バクスター方程式の代数解析的研究から、ドリンフェルドとは独立に量子群 （カッツ・ムーディ リー代数の普遍包絡環のq変形(q-analog)したもの） を構成した。
三輪哲二と多くの共同研究を発表しており、三輪-神保の τ -関数の構成、XXZ模型に関する貢献、パンルヴェ方程式の可解格子模型の相関函数への応用、楕円型量子群の構成、共形場理論、qKZ方程式、KdV方程式等において業績がある。
学歴
1974年 - 東京大学卒業
1976年 - 京都大学大学院修士課程修了
1986年 - 京都大学論文博士
受賞・講演歴
1987年 - 日本数学会秋季賞：数理物理学に関する代数解析学的研究 （三輪哲二と共同受賞）
1990年 - ICM（京都）招待講演
1993年 - 日本学士院日本学士院研究賞：可解模型と量子群の研究
2000年 - 朝日新聞社朝日賞：可積分系の代数解析的研究 （三輪哲二と共同受賞）
2013年 - ハイネマン賞数理物理学部門：量子群・代数解析学・変形理論を用いた、可積分系と統計物理学・場の理論における相関関数の発展に対する深い研究 （三輪哲二と共同受賞）
586:１３２人目の素数さん
16/12/23 12:12:46.30 Ue9wXM6X.net
>>531
> Δq= r-r = ｏ ＝(0,0,0,・・・・) 以外が導けるのか？
だったら数列が同じ類に属するということを条件にして
> r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ，0,0,0・・・)
> Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm )
からΔrの極限をとって無限数列を作ってもm番目までの項は極限には一切関わらないので
結局m+1番目以降は必ず全て0になるということになるでしょう
587:現代数学の系譜11 ガロア理論を読む
16/12/23 12:47:57.99 5O/87XDw.net
>>533 関連
”Quest for symmetries in quantum integrable models has led to the discovery of quantum groups.
On one hand this opened up rapid mathematical developments in representation theory, combinatorics and other fields.
On the other hand it has advanced understanding of correlation functions of lattice models, leading to multiple integral formulas in integrable spin chains. ”か
詳しいLecture資料がないのが残念だね
URLﾘﾝｸ(meetings.aps.org)
Bulletin of the American Physical Society
APS March Meeting 2013
Volume 58, Number 1
Monday?Friday, March 18?22, 2013; Baltimore, Maryland
Session F1: Invited
588:Session: Physics from the Laboratory to the Universe: Davisson-Germer/Heineman/Onsager/Lilienfeld Prizes 8:00 AM?11:00 AM, Tuesday, March 19, 2013 Room: Ballroom I Sponsoring Units: DCMP GSNP Chair: Barbara Jones, International Business Machines Abstract ID: BAPS.2013.MAR.F1.4 Abstract: F1.00004 : Dannie Heineman Prize for Mathematical Physics Prize Lecture: Correlation Functions in Integrable Models II: The Role of Quantum Affine Symmetry 9:48 AM?10:24 AM Author: Michio Jimbo (Rikkyo University) Since the beginning of 1980s, hidden infinite dimensional symmetries have emerged as the origin of integrability: first in soliton theory and then in conformal field theory. Quest for symmetries in quantum integrable models has led to the discovery of quantum groups. On one hand this opened up rapid mathematical developments in representation theory, combinatorics and other fields. On the other hand it has advanced understanding of correlation functions of lattice models, leading to multiple integral formulas in integrable spin chains. We shall review these developments which continue up to the present time.
589:現代数学の系譜11 ガロア理論を読む
16/12/23 12:51:02.99 5O/87XDw.net
>>534
>>526より
"「Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )」って・・・
なにそれ？
誤植か？ 訂正する気はあるのか？"
まず、これに答えよ。 Y or N
590:１３２人目の素数さん
16/12/23 13:02:00.21 tuUxp9X2.net
>>518
What you said is different from what ID:YMoiYfRu did. Why do you agree with him nevertheless? I don't get what do you think.
591:１３２人目の素数さん
16/12/23 13:06:09.99 Ue9wXM6X.net
>>536
N
>>524にそのまま
> (同じ類に属する)同じ数列の差からm+1番号目以降の0をカットしてΔqを作り極限をとって無限数列を同様に作ると
と書いてあるが何が分からないの？
592:現代数学の系譜11 ガロア理論を読む
16/12/23 13:14:40.40 5O/87XDw.net
>>535
柏原 正樹先生（文字化けご容赦）
URLﾘﾝｸ(www.jstage.jst.go.jp)
URLﾘﾝｸ(www.jstage.jst.go.jp)
量子群の結晶化 柏原 正樹 京都大学数理解析研究所 数学 Vol. 44 (1992) No. 4 P 330-342
0. 序
量子群UqはDrinfeld及び神保([D],[J］)にょって1985年に導入された.これは,
parameter qを含む非可換(ホップ)代数で, q=1においては,半単純リー環の包抱環Uqと
なる.彼らは,統計物理学における可解模型を系統的に構成する目的で,この概念を導入したが,
そこではパラメーターqは温度のパラメーターとしてあらわれ,q=0は絶対零度にあたる.従っ
てq=0においてはUqの現象は簡単化されると期待される.実際,これから述べるように
q=0においては,Uqの表現論は非常に単純化されcombinatricsと化してしまう｡
そこで以下,q=0における研究を(物質は絶対零度において結晶となるというナイーブな信念の
もとに)結晶化と呼ぼう.
結晶化により何が単純化されるかを簡単に説明しよう.(詳しくは本文参照)｡
§8.結び
著者が結晶基底を導入したのと同時期にG.Lustzigがcanonica1基底の考えを発表した.結晶
基底が,絶対零度9=0における考察から端を発したのに対し,彼は,Ringe1によるquiverと
U4(③)との関係の発見に注目し, quiverに付随した代数的多様体上のconstructible sheavesの
K-群がVq(③)になり, pureかっirreducible sheafが基底をなすことを見出した.全く別の
出発点から同様の結果がえられたことは興味深い.大域結晶基底とLustzigのcanonica1基底�
593:ﾍ, (symmetric Cartan行列をもつ③ に対して)一致することが彼により証明されている. ⑤ がAffine Lie環の時は,可解模型と関連して, B(λ)がpathで表示できること,1点函数 ,が⑤ のhighest weightをもつ既約表現の指標であらわされることが知られている.これについ ては文献[7]を参照されたい.
594:現代数学の系譜11 ガロア理論を読む
16/12/23 13:18:54.00 5O/87XDw.net
>>538
わからん
r-r =ゼロ（数列の場合も含めて）
以外になりうる？
r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
s'(m+1)-s(m+1)≠0
s'(m+2)-s(m+2)≠0
だろ？ 「r-r」だよ？
誤植か？ 訂正する気はあるのか？
595:現代数学の系譜11 ガロア理論を読む
16/12/23 13:36:45.42 5O/87XDw.net
>>539 関係ないが
URLﾘﾝｸ(www.jstage.jst.go.jp)
Comput. Chem. Jpn., Vol. 14, No. 2, p. A11?A11 (2015) @2015 Society of Computer Chemistry, Japan
巻頭言 数理化学雑感 大学院工学系研究科 化学システム工学専攻 山下 晃一
(抜粋)
近頃， 数学と材料科学が蜜月状態であるというようなことを良く耳にする． 数学者の思考実験に材料科学
が何らかの手がかりを与えるようだ． トポロジカルに基づいて全く理論的に， 非自明相の存在が予言され，
それが実験的に検証されている． 米国物理学会でトポロジカル絶縁体・ 超伝導体に関連したセッションの多
さに驚いたのも記憶に新しい． より化学に近い材料科学では離散幾何学が活躍する． 炭素はダイヤモンド，
グラフェン， カーボンナノチューブ， フラーレンと様々な構造をとるが， 数学的には炭素原子と炭素―炭素
結合のネットワークからなる離散曲面の曲率で分類できる． カーボンナノチューブとフラーレンは非負曲率
炭素構造に対応する． 負曲率炭素構造も予言されているが， これまでそのような構造は発見もされていない
し，合成にも成功していないようだが．
こんなことを考えていたら， 若き日の数学への憧憬がよみがえってきた． シュレディンガー方程式には
愛(i)があるということで， 複素関数には結構お世話になった． 虚時間発展の経路積分法， 複素回転座標に
よる共鳴状態計算， 複素ポテンシャルによる波束の吸収， 複素古典軌道によるトンネル経路の探索,
非平衡グリーン関数法による電子輸送など． もう20年 くらい以前であるが， 量子カオスが盛んに研究されていた当
時， 多次元空間での複素古典軌道について物理の若手研究者と話していたら， それをやるなら， まずヘルマンダー
の多変数複素関数論の教科書を読破しないと， と言っていた彼は神田の古本屋で同書の日本語訳を見つけたと喜んでいた．
数年前に英語の改訂版が出版されたので， 懐かしい思いでページをめくってみたが，
つづく
596:現代数学の系譜11 ガロア理論を読む
16/12/23 13:37:12.18 5O/87XDw.net
>>541 つづき
バリアの高さに， やはり勉強は若い時にやるものだとの反省． それでも定年退職後にはチャレンジしようと
購入． 最近， 多変数複素関数論の日本の生みの親ともいえる岡潔に関する本をよく目にする． 多変数複素関
数論は数学の分野でもブームなのだろうか．2003年 ロシアの数学者ペレルマンが，100年間未解決であった
ポアンカレ予想をインターネット上で公開した論文で解決した．
2006年のフィールズ賞を拒否し， クレイ研究所の100万 ドルの賞金にも興味を示さな
かったということで， テレビでも特集が組まれペレルマンの人となりが注目された． ポアンカレ予想は純粋
に数学的問題であるが， ペレルマンの用いた解決法， リッチフロー方程式が統計力学や宇宙論で応用されて
いる． リッチフロー方程式は， 多様体のリーマン計量とリッチテンソルで与えられる非線形発展方程式であ
るが， これでブラックホールが崩壊する過程が追えるようである． リーマン計量といえば， 学生時代， 福井
謙一先生の極限反応座標に関する研究をしていたことを思い出す．
(引用終り)
597:現代数学の系譜11 ガロア理論を読む
16/12/23 13:50:42.57 5O/87XDw.net
>>541 関係ないが
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
平成27年度(第37回)数学入門公開講座テキスト(京都大学数理解析研究所，平成27年8月3日～8月6日開催
ポアンカレ予想とリッチフロー
横田巧(京都大学数理解析研究所)
概要
この公開講座では，1904 年のH. Poincare の論文に由来するポアンカレ予想
と呼ばれる幾何学の予想と，2002～03 年に発表されたG. Perelman による
その証明を扱います．ここでは，ポアンカレ予想の歴史やその解決にまつわ
るドラマよりも，Perelman の証明の数学的な部分に踏み込み，その雰囲気
が伝わるような解説を試みます．
598:現代数学の系譜11 ガロア理論を読む
16/12/23 14:00:37.32 5O/87XDw.net
>>543 リッチ曲率関連
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
ENCOUNTERwithMATHEMATICS
第63回 最適輸送理論とリッチ曲率 ~物を運ぶと曲率が分かる~ 2015年2月20日 (金), 21日 (土)
最適輸送理論とリッチ曲率―物を運ぶと曲率が分かる―全体のレジュメ
最適輸送理論とRicci 曲率に関する今後の課題（桒田和正）
URLﾘﾝｸ(www.math.chuo-u.ac.jp)
最適輸送理論とリッチ曲率―物を運ぶと曲率が分かる―全体のレジュメ 第63回 最適輸送理論とリッチ曲率 物を運ぶと曲率が分かる 2015
599:現代数学の系譜11 ガロア理論を読む
16/12/23 14:17:41.42 5O/87XDw.net
>>543-544
関係なくもないか・・・（＾＾
>>542にペレルマンの用いリッチフローがあるから
「リッチフロー方程式は， 多様体のリーマン計量とリッチテンソルで与えられる非線形発展方程式である」>>542のだが
>>543 横田巧先生 F-汎関数(エントロピー)、W-汎関数(エントロピー)（”補足26 N(g; u) はShannonエントロピーと呼ばれる．”）など
また
>>544 "3.1 リッチ曲率の下限の特徴づけ
まずリーマン多様体において，リッチ曲率がある定数以上であるという性質が，Wasser-
stein 空間上のある汎関数（エントロピー）の凸性で特徴づけられることを述べる．この
エントロピーの凸性を曲率次元条件と呼ぶ．"
など
ペレルマンの証明を読んだときに、「なんでエントロピー」と理解できなかったが・・
>>358 関連 URLﾘﾝｸ(www.amazon.co.jp)
量子系のエンタングルメントと幾何学 ホログラフィー原理に基づく異分野横断の数理 単行本 ? 2016/6/8 松枝 宏明 (著)
などを読むと、量子系のエンタングルメント→量子論と重力論との双対→エントロピー vs リーマン計量とリッチテンソル
と、エントロピーからリーマン計量（リッチテンソル）へと繋がってくるのか？？
まだ、いまいち理解できないが（＾＾；
600:現代数学の系譜11 ガロア理論を読む
16/12/23 14:20:28.98 5O/87XDw.net
>>545 訂正
>>542にペレルマンの用いリッチフローがあるから
↓
>>542にペレルマンの用いたリッチフローがあるから
601:１３２人目の素数さん
16/12/23 14:25:21.10 zmNmHX9F.net
>>541
おっちゃんです。
ヘルマンダーは遥か前に亡くなったんだけど、
今売られているヘルマンダーの多変数複素解析の本って改訂版なのかい？
602:現代数学の系譜11 ガロア理論を読む
16/12/23 14:28:22.29 5O/87XDw.net
>>547
おっちゃん、どうも。スレ主です。
さあ、ヘルマンダーの多変数複素解析については、おっちゃんの方が詳しいだろう
603:１３２人目の素数さん
16/12/23 14:46:16.32 zmNmHX9F.net
>>548
まあ、ヘルマンダーが多変数複素解析の本を出したのは、1990年が最後なんだが。
ヘルマンダーは楕円型の境界値
604:問題やシュワルツの超関数、フーリエ変換が 出来ないと間違いなく撃墜する本だ。一松本より難しいが、 解析や複素幾何のお勉強には最適であることには間違いない。 これ1冊で測度論、偏微分方程式、シュワルツの超関数、フーリエ変換、ラプラス変換は学習出来る。
605:現代数学の系譜11 ガロア理論を読む
16/12/23 15:00:23.81 5O/87XDw.net
>>545
そうそう、熱流・・・
URLﾘﾝｸ(rims.blog.so-net.ne.jp)
ハミルトンの発想 [大域解析学] 数学セミナー増刊 ミレニアム賞問題 2010年 07月号 [雑誌] 2010-11-07
数学セミナー増刊の「ハミルトンの発想はどのように生じたのか」において
ハミルトンが微分幾何の測地線を一般化した調和写像を研究し、熱流の方法を
用いて、リッチテンソルからリッチフローを定義する方法を解説してあるのを発見。
ハミルトンがリッチフローの発想に至った経緯がわかったのは、ありがたい。
URLﾘﾝｸ(commutative.world.coocan.jp)
ポアンカレ予想 (Commutative Weblog): 投稿者: あやたろう 日時: 2008年6月12日
(抜粋)
なぜ、従来のトポロジー本来の手法が、３次元のポアンカレ予想に有効でないのか、本間龍雄「ポアンカレー予想物語」日本評論社 １９８５年によれば、次のとおりである。
すなわち、高次元ポアンカレ予想で有効であったハンドル体の理論は、３次元ではヘゴール分解の理論となるが、ヘゴール分解の与える代数的情報は、生成元と関係式で、解決に十分な情報ではない、というものである。
数学セミナーの上記特集によれば、その他にも、３次元球面中のリンクのデーンの手術として問題を与えるのか、分岐被覆空間として与えるのか、４次元多様体の境界として与えるのか、三角形分割として与えられるのか、３次元球面からの適当なホモトピー同値写像として与えるのか、などいろいろな出発点があるが、
どのトポロジー的な手法から出発しても、いいところまではいくのだが、必ず行き詰るのだそうである。
つづく
606:現代数学の系譜11 ガロア理論を読む
16/12/23 15:01:16.53 5O/87XDw.net
つづき
べレルマンの手法は、次のように概説される。単連結３次元閉多様体上に、リーマン計量を与える。そこで、リッチ・フローを走らせれば、本質的に大域的な障害が起こらず、球面の標準計量に収束するのだという。ただ、初期計量では、何度もリッチ・フローが止まるので、そこに現れる特異点を手術し、リッチ・フローを続けさせる工夫が必要であって、そこにべレルマンの苦心がある。
なお、リッチ・フローという手法は、べレルマンのオリジナルではなく、アメリカの数学者、リチャード・ハミルトンによって、熱流の問題を幾何学に応用することによって、発見されたものである。
リッチとは、レヴィ・チビタとならんで、初期のリーマン幾何学の創設者の一人であり、ハミルトンが利用したのは、リッチ・テンソルと呼ばれる縮約された曲率テンソルである。
さらに述べると、べレルマンが利用したのは、リッチ・フローの局所非崩壊性である。この局所非崩壊性によって、単調性が保証され、以ってリッチ・フローを続けさせるため、特異時刻での手術を行うことが可能となる。
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
グレゴリオ・リッチ＝クルバストロ（英語版）(Gregorio
607: Ricci-Curbastro)の名前に因むリッチフローは、最初にリチャード・ハミルトン(Richard Hamilton)により1981年に導入され、リッチ・ハミルトンフロー(Ricci?Hamilton flow)とも呼ばれる。 リッチフローは、最初にグリゴリー・ペレルマン(Grigori Perelman)によりポアンカレ予想の証明のために使われ、同様に、サイモン・ブレンデルとリチャード・シェーンによる微分可能球面定理（英語版）(differentiable sphere theorem)の証明に使われた。 https://en.wikipedia.org/wiki/Sphere_theorem Differentiable sphere theorem (引用終り)
608:現代数学の系譜11 ガロア理論を読む
16/12/23 15:03:51.83 5O/87XDw.net
>>550
リッチフローが熱流即ち熱拡散の偏微分方程式と類似だと
そこらか、エントロピーという発想にペレルマンはなったのかね？
いまや、エンタングルメントエントロピー VS 重力 なんだよね
609:１３２人目の素数さん
16/12/23 15:07:00.86 zmNmHX9F.net
>>548
解析集合なら、ヘルマンダーより一松本の方が詳しい。
ヘルマンダーは、複素(解析)幾何の進展の様子が分かる。
シュワルツ自身が書いた超函数の理論とかと一緒に読むといいかも知れない。
これはシュワルツの超関数の原典だ。
610:現代数学の系譜11 ガロア理論を読む
16/12/23 15:11:19.86 5O/87XDw.net
>>549
どうも。スレ主です。
昔、山口 昌哉先生の本にお世話になった
拡散の偏微分方程式の境界値問題で、解析解を求めるのに、いろいろ本を漁って、山口 昌哉先生の本にぴったりの問題と解答が載っていてね
それを使わせて貰った
いまなら有限要素法か差分で数値解析をするところだろが
解析解は、それが求まれば、見通しがよくなる
数値解析は、何通りも解を求めないと、傾向がつかめない
まあ、なにをしたいのかだな
自分がしたいことをしっかり把握することだ
611:現代数学の系譜11 ガロア理論を読む
16/12/23 15:14:37.43 5O/87XDw.net
>>553
おっちゃん、どうも。スレ主です。
おっちゃん、関数解析に詳しいね
612:１３２人目の素数さん
16/12/23 15:28:21.56 zmNmHX9F.net
>>555
ちなみに、ヘルマンダーはハミルトン・フローを扱っていたことがある。
ハミルトン・フローはヘルマンダーの手法の射程内にあった。
613:１３２人目の素数さん
16/12/23 15:41:28.05 Ue9wXM6X.net
>>540
>「r-r」だよ？
Yes
>>424でスレ主は
> Δrは、個別には有限の数列の長さだが、確率を考えるときは、集合としては、数列の有限の数列の長さに
> 上限はなく、無限大の極限を考える必要がある
と書いているがそれの変形バージョンだと考えてくれればよいし
> r-r =ゼロ（数列の場合も含めて）
> 以外になりうる？
という質問は決定番号は有限値以外(つまり無限大)になりうる？という質問の変形バージョンと思えばよい
Δrの最初の有限個(m個)の数字をどのような数に変えても属する類は変わらず極限をとって
無限数列を作ってもm+1番目以降の数字に影響は与えないから
(Δr)'=(0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )と書け
また(r'-r)と(r-r)つまり(Δr)'と(r-r)は同じ類に属することから
(r-r)=(0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )と書ける
ある無限数列anがあってそれを出題することは{n番目の箱に入れる数字} - anを全て0にすること
であるがこの場合も(r-r)=(0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )と書ける
614:現代数学の系譜11 ガロア理論を読む
16/12/23 18:09:30.10 5O/87XDw.net
>>557
頑固に間違いを認めようとしないんだ（＾＾
墓穴を掘るの図か？
悪いが、あまりへんなやつを相手するほど暇じゃないんだが
で、一つ質問させてもらっていいかい？
>(r-r)=(0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )と書ける
(r-r)=(0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )の
s'(m+1)とs'(m+2)の二つは、なんで「s’」なのかね？ どこから出るのかね？
（最初は、>>524だったよね？ そこは良いのか？）
615:１３２人目の素数さん
16/12/23 19:07:28.23 tuUxp9X2.net
>>558
"you'll never take an acknowledgement for the wrongness stubbornly." That represents just what are you.
616:１３２人目の素数さん
16/12/23 19:14:51.98 YtlmsmUp.net
URLﾘﾝｸ(youtu.be)
URLﾘﾝｸ(youtu.be)
617:OcNZ0s https://youtu.be/xHx5MbIGEoY
618:現代数学の系譜11 ガロア理論を読む
16/12/23 19:44:14.09 5O/87XDw.net
>>556 ハミルトン・フロー過去ログより下記。リッチフローとは別だな
同14 ｽﾚﾘﾝｸ(math板:228番)
228 現代数学の系譜11 ガロア理論を読む 2015/07/18
(抜粋)
URLﾘﾝｸ(ja.wikipedia.org)
数学におけるシンプレクティック多様体（symplectic manifold）は、シンプレクティック形式と呼ばれる非退化な閉形式である 2-形式を持つ滑らかな多様体である。
シンプレクティック多様体上の微分可能な実数値関数 H はエネルギー函数（英語版）(energy function)を与えることができ、これをハミルトニアンと呼ぶ。
どのようなハミルトニアンに対してもハミルトンベクトル場が対応付けられる。ハミルトンベクトル場の積分曲線（英語版）はハミルトン方程式の解曲線になる。
ハミルトンベクトル場は、シンプレクティック多様体上のフロー（ハミルトンフロー、あるいは、シンプレクティック同相写像と呼ばれる）を定め、リウヴィルの定理によれば、ハミルトンフローは相空間上の体積要素を保存する。
122 現代数学の系譜11 ガロア理論を読む 2015/07/11
(抜粋)
URLﾘﾝｸ(ja.wikipedia.org)
歴史
テンソルという言葉は、1846年にウィリアム・ローワン・ハミルトンによって特定の種類の代数系(やがてクリフォード代数として知られるようになる)におけるノルム操作を記述するために導入された。
現在の意味で使われるようになったのは1899年のヴォルデマール・フォークトからである。
テンソルの記法は1890年ごろにグレゴリオ・リッチ＝カルバストロによって絶対微分という名の下に発展させられ、トゥーリオ・レヴィ＝チヴィタによる1900年の古典的な同名の著作によって多くの数学者たちに知られるようになった。
20世紀に入ってからはこの分野はテンソル解析として知られるようになり、1915年頃のアルベルト・アインシュタインによる一般相対性理論の導入によって広く知られるようになった。
一般相対性理論は完全にテンソルの言葉を用いて定式化される。アインシュタインは苦労の末にマルセル・グロスマンから[1] （あるいはレヴィ＝チビタ自身から） テンソルの理論を学んだとされている。
619:１３２人目の素数さん
16/12/23 19:55:55.40 O2bqe8k5.net
ガロアコホモロジーって知ってる？
620:現代数学の系譜11 ガロア理論を読む
16/12/23 20:01:38.55 5O/87XDw.net
なまえだけ知っている
コホモロジーは勉強中だがむずいね
621:１３２人目の素数さん
16/12/23 20:47:07.38 Ue9wXM6X.net
>>558
> Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm )
の極限をとって無限数列をつくるときに決定番号を無限大にする極限のとりかたを採用すれば
Δr = (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )となり
決定番号が決して無限大にならない極限のとりかたを採用すれば
Δr = (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, 0, 0, 0, ... )となる
極限をとるまえに0をm個ならべてまずΔq= r-r = (0, 0, 0, ... , 0)を作る
ΔrとΔqの極限の無限数列は同じ類に属するから上の2種類の極限をそのまま使って
決定番号を無限大にする極限のとりかたを採用すれば
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )となりs'が出現する
決定番号が決して無限大にならない極限のとりかたを採用すれば
Δq= r-r = (0, 0, 0, ... , 0, 0, 0, 0, ... )となる
スレ主によると
> 有限の数列の長さに上限はなく、無限大の極限を考える必要がある
なので決定番号を無限大にする極限のとりかたを採用すれば
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )となる
ある無限数列anがあってそれを出題することは{n番目の箱に入れる数字} - anを全て0にすること
であるが極限をとるまえに0をm個ならべたΔq= r-r = (0, 0, 0, ... , 0)を作ることは常に可能であり
極限に関しては上に書いたことそのままで決定番号を無限大にする極限のとりかたを採用すれば
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )となりs'が出現する
決定番号が決して無限大にならない極限のとりかたを採用すれば
Δq= r-r = (0, 0, 0, ... , 0, 0, 0, 0, ... )となる
しかし任意の無限数列を出題することが可能と仮定すれば決定番号が決して無限大にならない極限のとりかた
のみを採用してs'(m+1), s'(m+2)などが出現しないようにしなければならない
622:現代数学の系譜11 ガロア理論を読む
16/12/23 21:43:06.11 5O/87XDw.net
>>564
どうも。スレ主です。
シンプルに二つ質問をさせてもらっていいか？
１．繰り返しになるが、最初（”Δq= r-r”について）は、>>524だったよね？ そこは良いのか？>>558
２．ｒの定義だが、リンクを辿ると、>>334に行き着く。>>334では、
定義：代表r= r(s)= (s1，s2，s3 ，・・・，sn ，・・・) だが、それで良いかい？
（因みに、ここで、同じ類の元
623:を一つ取る r'= r(s')= (s'1，s'2，s'3 ，・・・，s'm ，・・・) しっぽの”・・・)”の部分は、同値類なので同じ（後述の差を取ると、なくなる部分）だが）
624:現代数学の系譜11 ガロア理論を読む
16/12/23 21:53:21.82 5O/87XDw.net
>>565
まあ、答えを待つまでも無いから、勝手に進めさせて貰うよ
１．定義：代表r= r(s)= (s1，s2，s3 ，・・・，sn ，・・・) だ
因みに、ここで、同じ類の元を一つ取る r'= r(s')= (s'1，s'2，s'3 ，・・・，s'm ，・・・) しっぽの”・・・)”の部分は、同値類なので同じ（後述の差を取ると、なくなる部分）だ
２．Δq= r-r =(s1-s1，s2-s2，s3-s3 ，・・・，sn-sn ，・・・) 以外の数学をおれは知らない
これ以外の数学をやりたいなら、別のスレ立てなよ
３．Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )となりs'が出現する？
わからん！ 分かりたいとは、決して思わん！！ そんなもの、普通の数学ではないだろ？？？ そういう数学なら、確かに時枝の解法も成立するさ・・（＾＾
625:１３２人目の素数さん
16/12/23 21:55:12.06 Ue9wXM6X.net
>>565
> そこは良いのか？
そこの指す意味が分からないが基本的にスレ主は内容を読まずになにそれ？とか言い出すので
こちらも読むことを待たずに表現は変えたりしますよ
内容は同じです
> ｒの定義
任意の無限数列は代表元になりえますよ
スレ主流の無限数列ではなくて時枝記事にある一般的な無限数列(s1, s2, ... , sn, ... )です
626:現代数学の系譜11 ガロア理論を読む
16/12/23 22:08:56.89 5O/87XDw.net
>>564
頑固に間違いを認めようとしないんだ！（＾＾
墓穴を掘るの図か？
悪いが、あまりへんなやつを相手するほど暇じゃないんだ・・
頑固に間違いを認めようとしないから、Δq=r-r =ゼロ（数列の場合も含めて）以外になるだと？
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )となりs'が出現する？
わからん。議論にならん。相手にしないようにしよう・・
これから、既読スルーな！（＾＾；
URLﾘﾝｸ(be-agent.jp)
【悲報】男性からの既読スルーは8割の確率で脈ナシなのが判明！ キレイツイキュウ【美・エージェント】～女性のためのBeauty Hack 更新日：2016.06.15
627:１３２人目の素数さん
16/12/23 22:14:59.78 Ue9wXM6X.net
>>566
s'が出現するのは間違っているというのがこちらの主張なのだが
Δr= r'-rのr'をrに変えればΔq= r-rになるが決定番号が有限か無限大かが問題なので極限のとりかたを変えずに
つまり極限以外の部分を変えると
Δr = (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )は
Δq = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )の形までしか変わらないでしょう
Δr = (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, 0, 0, 0, ... )は極限のとりかたを変えなくても
Δq = (0, 0, 0, ... , 0, 0, 0, ... )の形に変えることができる
> Δrは、個別には有限の数列の長さだが、確率を考えるときは、集合としては、数列の有限の数列の長さに
> 上限はなく、無限大の極限を考える必要がある
(無限大の極限を含めた)決定番号の確率とスレ主が書いているものには
Δq = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-(m+2), ... )のようなありえないものによる結果が
混ざっていることになる
628:現代数学の系譜11 ガロア理論を読む
16/12/23 22:18:05.09 5O/87XDw.net
そこは良いのか？と聞いたのは、最初（”Δq= r-r”について）>>524 から、なにか付け加えることはないのかということだが
分からんという話は、>>526 の”なにそれ？”からだから、後出しどうよ？ という意味で聞いたんだがね
だが、もう議論する気はないよ>>568
頑固さと、詭弁だけはよく分かったよ（＾＾
629:１３２人目の素数さん
16/12/23 22:27:40.55 Ue9wXM6X.net
>>570
> (r-r)=(0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )の
> s'(m+1)とs'(m+2)の二つは、なんで「s’」なのかね？ どこから出るのかね？
>（最初は、>>524だったよね？ そこは良いのか？）
>>524は
> Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
だからs'(m+1)-s(m+1), s'(m+2)-s(m+2), ... は全く同じなのだが
630:１３２人目の素数さん
16/12/23 23:17:29.24 tuUxp9X2.net
>>570
"I understood you being stubborn and a quibbler."
That's what to say from we to you.
631:現代数学の系譜11 ガロア理論を読む
16/12/23 23:39:30.72 5O/87XDw.net
＜独り言＞
１．Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )≠ゼロ これが理解できる人は皆無だろう（私も含め）
２．時枝>>2 決定番号：sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す ｜ 任意の実数列S、同値な(同じファイパーの) 代表r= r(s)
箱は可算無限個だから、dの取り得る値の範囲（値域）は、[1,∞)。つまりは、dに上限はなく、自然数全体。dは有限�
632:ｾが、極限としては∞になる。（[1,∞)は開集合であることにご注意） ３．時枝>>2 に従って、但し表現の都合で>>334のように、代表r= r(s)= (s1，s2，s3 ，・・・，sn ，・・・)としよう 極限もなにも無関係だ。単純に、r-r ＝(0, 0, 0, ・・・0, 0, 0, ・・・) = ゼロ 以外になりようがない。ここは全く議論の余地なし！ ４．ところで、自然数について、任意の元ｎ∈Ｎ（＝自然数の集合）で、ｎは有限。しかし、 card(Ｎ)=可算無限で、ｎ→∞の極限が取れる。これ当然ですよ ここらが、理解できていない人がいるんだな。そういう人は、下記をご参照ください。”可算濃度とは有限の値を持つ数が無限に存在するときの濃度”がキーワードなんだよ http://sets.cocolog-nifty.com/blog/2011/04/7-17b8.html 無限桁の自然数は自然数か≪無限は実在するか7≫: 独今論者のカップ麺:2011年4月 3日 (日) (抜粋) 可算濃度とは有限の値を持つ数が無限に存在するときの濃度
633:１３２人目の素数さん
16/12/23 23:57:20.82 tuUxp9X2.net
Do you wanna say a real number is not finite?
634:１３２人目の素数さん
16/12/24 01:03:52.95 8MIuJVCA.net
>>573
極限をとっても数列が属する類が変わらないと仮定しているかぎりは
Δq= r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )≠ゼロ
とせざるを得ない
数列が属する類が変わらないと仮定していればdの極限として見掛け上は∞になっているように見えるが
実際には数列が属する類が変わり比較する代表元も変わるのでdの極限は有限の値をとることになる
数列が属する類が変わることをs(m+1), s(m+2)などをs'(m+1), s'(m+2)などに変えることで
表せば極限は
Δr = (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
= (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, s'(m+1)-s'(m+1), s'(m+2)-s'(m+2), ... )
= (s'1-s1, s'2-s2, s'3-s3, ... , s'm-sm, 0, 0, 0, ... )
の形になり
Δq = r-r = (0, 0, 0, ... , 0, s'(m+1)-s(m+1), s'(m+2)-s(m+2), ... )
= (0, 0, 0, ... , 0, s'(m+1)-s'(m+1), s'(m+2)-s'(m+2), ... )
= (0, 0, 0, ... , 0, 0, 0, 0, ... ) = ゼロ
になるので何の問題も生じない
635:１３２人目の素数さん
16/12/24 04:08:42.84 y+S47uPS.net
このスレだけは荒らさない円記号のおっさんベリークルシミマス
636:現代数学の系譜11 ガロア理論を読む
16/12/24 09:07:06.67 fZUC3rLQ.net
＜独り言２＞
１．なんだか結局、時枝のスタート>>2の”可算無限個の箱”が分かってないみたいだね
２．無限については、下記の「無限は実在するか（実無限・可能無限）」面白いよ
URLﾘﾝｸ(sets.cocolog-nifty.com)
無限は実在するか（実無限・可能無限）: 独今論者のカップ麺: 独今論者のカップ麺:2011年
１．実無限と可能無限
２．アキレスは亀と無限遠に到達し得るのか
３．0.999…の「…」は何を意味するか
４．0.999…と区間縮小法
５．「0.999…＜１」がダメなわけ
６．無理数と有理数と対角線論法
７．無限桁の自然数は自然数か URLﾘﾝｸ(sets.cocolog-nifty.com) ここ>>573で使った
８．「べきべきべき…集合」とカントールパラドクス
９．可能無限は無限なのか
１０．排中律がダメなわけ
１１．おとぎ話としての実無限・懐疑論としての可能無限
３．あと、定義、前提（仮定）と推論の３つが、ごしゃごしゃ。>>575「極限をとっても数列が属する類が変わらないと仮定しているかぎりは」？？？ なんですかそれは？
その思考法&発想法が理解できない。おそらく、これを見ている他の多くの人も、びっくりする発言だろう
（ああ、一人、日本語の不自由なおっさん>>574が、同類みたいだが・・・？ ）
４．見るところ、甘くて大学１年か。極限が分かってない？ 高１？
追伸
自然数について、任意の元ｎ∈Ｎ（＝自然数の集合）で、ｎは有限。しかし、 card(Ｎ)=可算無限で、ｎ→∞の極限が取れる。これ当然ですよ
ここらが、理解できていない人がいるんだな
昔Ｔさんがそうだった。決定番号が有限とか・・言っていたね。「決定番号は、元としては有限、集合としては可算無限（自然数の集合＝Ｎ）」が正しい認識です
だから、決定番号をd = d(s)という関数として考えるとき（時枝>>2参照）、その値域は（集合として）