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

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

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

107: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 10:38:24.54 ID:DzICE8Th

>>64
>＞単に世間にあるモノイドの文字の連接が、可算無限数列においても可能だということを示しただけ
>そのような連接が可能であることは俺も分かっている。
>しかし、君のやり方では不完全であり、かつ間違っており、

えーと、>>51-54だったね.
２つ添え字ijを使う頻出テクを使って書き直すよ

>>51の修正
５．ところで、２つ添え字ijを使う頻出テクを使えば、下記にできる
Z'＝{z_1,1＝3, z_1,2＝1, z_1,3＝4, z_1,4＝1, z_1,5＝5, z_1,6＝9, z_1,7＝2, z_1,8＝6, z_1,9＝5, z_1,10＝3, z_1,11＝5, z_1,12＝9,・・・
　 　 z_2,1＝2, z_2,2＝7, z_2,3＝1, z_2,4＝8, z_2,5＝2, z_2,6＝8, z_2,7＝1, z_2,8＝8, z_2,9＝2, z_2,10＝8, z_2,11＝4, z_2,12＝6,・・・}
６．Z'→X'∪Y'とみて二つの集合に分ける
　 X'＝{z_1,1＝3, z_1,2＝1, z_1,3＝4, z_1,4＝1, z_1,5＝5, z_1,6＝9, z_1,7＝2, z_1,8＝6, z_1,9＝5, z_1,10＝3, z_1,11＝5, z_1,12＝9,・・・・・・}
　 Y'＝{z_2,1＝2, z_2,2＝7, z_2,3＝1, z_2,4＝8, z_2,5＝2, z_2,6＝8, z_2,7＝1, z_2,8＝8, z_2,9＝2, z_2,10＝8, z_2,11＝4, z_2,12＝6,・・・}
７．番号をつけ直して
　 X'＝{x'_1＝3, x'_2＝1, x'_3＝4, x'_4＝1, x'_5＝5, x'_6＝9, x'_7＝2, x'_8＝6, x'_9＝5, x'_10＝3, x'_11＝5, x'_12＝9,・・・}
　 Y'＝{y'_1＝2, y'_2＝7, y'_3＝1, y'_4＝8, y'_5＝2, y'_6＝8, y'_7＝1, y'_8＝8, y'_9＝2, y'_10＝8, y'_11＝4, y'_12＝6,・・・}

これで、上記５項〜７項は可能だ。

http://rio2016.5ch.net/test/read.cgi/math/1477804000/107

110: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 10:45:21.89 ID:DzICE8Th

つづき

ところで、数列を頭で分類するのが、コーシー列

>>42にならって
π＝ x ＝ 3.14159265358979…
e/10 ＝ y ＝ 0.2718281828459…
ここで、数列 2718281828459…をπ＝ xの後ろに連結すると
z ＝ 3.14159265358979…2718281828459…

としてみよう
数列を頭で分類するコーシー列なら、x ＝ z
つまり、zはコーシー列として、πに収束する
これは証明できる

proof:
１．πに収束する数列を考える
π＝ 3.14159265358979… ＝a1. a2a3a4a5・・・an・・・
a1=3, a2=1,a3=4,a4=1,a5=5・・・・・　（an＝πの少数第n-1位の数）・・・

２．ここで、e/10 ＝ 0.2718281828459…、e/100 ＝ 0.02718281828459…,・・・,e/10^n=0.0・・・2718281828459…（少数第ｎ位から2718281828459…となる） を考える

３．πに収束する次の数列を考える
π'1=a1+e/10＝3. 2718281828459…
π'2=a1. a2+e/100＝3.1 2718281828459…
　・
　・
π'n=a1. a2a3a4a5・・・an+e/10^n＝3.14159265358979・・・an +e/10^n＝3.14159265358979・・・an 2718281828459…
ここで、n→∞の極限を取ると
lim(n→∞) π'n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 2718281828459…

４．ここで、後半のe/10^nの部分は、e/10^n→0に収束する。そして、前半の3.14159265358979・・・an・・・の部分はπに収束する
従って、π'n=a1. a2a3a4a5・・・an+e/10^nは、πに収束する
（ＱＥＤ）

そして、繰り返すが、π'nの数列については、上記のようにπ'1=3. 2718281828459…、π'2=3.1 2718281828459…、・・・、π'n=3.14159265358979・・・an 2718281828459…だったから
n→∞で、lim(n→∞) π'n=3.14159265358979… 2718281828459… と書ける

http://rio2016.5ch.net/test/read.cgi/math/1477804000/110

111: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 10:47:21.35 ID:DzICE8Th

つづき

これを、「尻尾が頭を振り回す」という格言から考えてみよう

「尻尾が頭を振り回す」。ちょっと古い引用だが、昔からこういう表現はある。「本末転倒」とも。時枝記事に同じ
可算無限数列をしっぽで同値類分類するなどと、まさに「尻尾が頭を振り回す」の図だろう

http://tofuka01.blog.f （ｎｇのため強制改行）
c2.com/blog-entry-209.html
尻尾が頭を振り回すようなことがあってはならない - 弁護士深草徹の徒然日記 2014-12-22
(抜粋)
　去る１１月２５日、「土井たか子さんお別れの会」において、河野洋平氏は、弔詞の中で、次のように述べた。

「細川護煕さんと２人で最後に政治改革、選挙制度を右にするか、左にするか、決めようという会談の最中、議長公邸にあなたは呼ばれた。直接的な言葉ではなかったけれども、「ここで変なことをしてはいけない。この問題はできるだけ慎重にやらなくてはいけませんよ」と言われた。あなたが小選挙区に対して非常な警戒心を持たれていた。
　しかし、社会全体の動きはさまざまな議論をすべて飲み込んで、最終段階になだれ込んだ。私はその流れの中で小選挙区制を選択してしまった。今日の日本の政治、劣化が指摘される、あるいは信用ができるかできないかという議論まである。
そうした一つの原因が小選挙区制にあるかもしれない。そう思った時に、私は議長公邸における土井さんのあの顔つき、あの言葉を忘れることができません。」

１９９４年１月、当時、下野した自民党の総裁だった河野氏は、細川護煕首相とのトップ会談で衆院の小選挙区比例代表並立制の導入に断を下した。そのとき衆議院議長だった土井氏を議長公邸に訪ねた際に、慎重な検討を求められたにもかかわらず強行してしまったことについて、悔恨の思いを表明したのである。

今回の衆院選において、自民党は、小選挙区において、得票率は４８．１０％、対有権者比の得票率（絶対得票率）はわずか２５．３２％に過ぎないのに、小選挙区総議席２９５のうち、２２３、比率にして７５．５９％も獲得している。
　小選挙区制は、このように民意とかけ離れた議席を多数党に与えてしまうのであり、不公正極まりないものといわねばならない。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1477804000/111

114: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 10:50:35.42 ID:DzICE8Th

つづき

さて
（現代数学の系譜11 ガロア理論を読む18）>>2 再録　
１．時枝問題（「箱入り無数目」数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」

２．続けて時枝はいう
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
幾何的には商射影 R^N→ R^N/〜の切断を選んだことになる.
任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.
つまりsd，sd+1，sd+2,・・・を知ればsの類の代表r は決められる.
更に，何らかの事情によりdが知らされていなくても，あるD>=d についてsD+1， sD+2，sD+3，・・・
が知らされたとするならば，それだけの情報で既に r = r(s)は取り出せ， したがってd= d(s)も決まり，
結局sd(実はsd，sd+1，・・・，sD ごっそり)が決められることに注意しよう.
(補足)
sD+1， sD+2，sD+3，・・・：ここでD+1などは下付添え字

http://rio2016.5ch.net/test/read.cgi/math/1477804000/114

117: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 11:02:25.03 ID:DzICE8Th

つづき

繰り返すが、
１．出発点は、「箱が可算無限個ある」だ
２．そして、「閉じた箱を100列に並べる」だ。箱が可算無限個だったから、各100列も可算無限個。
３．だから、各100列の可算無限個の数列に対する同値類もまた、可算無限個からなる数列の同値類であるべき。
４．単純に、考えれば、キマイラ数列（上記の例 lim(n→∞) π'n=3.14159265358979… 2718281828459… ）が紛れ込む
５．それを数学的に排除するなら、可算無限個の数列の同値類をどう定義するのか？ もともとは、”まったく自由”とかいって、制約なしだっただろ？
６．単純な扱いでは、「本末転倒」で「尻尾が頭を振り回す」の図となるよ

くどいが>>51-54で 構成した
z ＝ 3.14159265358979…2718281828459… は、”可算無限個”の数からなる数列と考えられる
つまり、数列のキマイラだ。頭がπでしっぽがｅの数列
頭で分類するコーシー列ならなんら問題ない。πに収束する
だが、時枝記事の解法で、しっぽでの分類とか、ましてや決定番号などという怪しいことをするから、「尻尾が頭を振り回す」ということになる
困るのは、尻尾に振り回される時枝記事の解法を支持する側だろ？

ともかく、z ＝ 3.14159265358979…2718281828459… は、可算無限個の数からなる数列だということを、２つ添え字ijを使う>>62>>65で示したわけだ
だが、世間一般のコーシー列で考えるなら、おれたちなんら困らんよ（＾＾；

時枝記事の解法が成り立たない理由は、主に下記２つ
１）決定番号の確率分布は平均値も標準偏差も存在しない奇妙なものだから、１００列で99/10は導けないこと（大数の法則も、中心極限定理も不成立だよ）
２）しっぽでの分類と決定番号を考えると、単純に考えて、z ＝ 3.14159265358979…2718281828459… のようなキマイラ数列の扱いに困ることになる （可算無限個という単純な規定だけでは不十分で、キマイラ数列を排除する規定を加えないといけないよ）

http://rio2016.5ch.net/test/read.cgi/math/1477804000/117

119: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 11:16:31.88 ID:DzICE8Th

>>105 若林誠一郎先生関連

ところで、これが落ちていた
若林先生の下記は、従来からのC∞-distributionの枠組みで、cut-offシンボルをもつ擬微分作用素を用いて,解析函数-佐藤超函数の枠組みと同様のことができるという
繰り返すが、超局所解析は、C∞-distributionの枠組みでも可能だと
いま、こっちが世界の主流かも・・・
http://www.math.tsukuba.ac.jp/~wkbysh/cma.pdf
佐藤超函数の空間における古典的超局所解析について (数理解析研究所講究録, 1336, 2003年, pp58-72) 若林誠一郎 筑波大 pdf
(抜粋)
解析函数-佐藤超函数の枠組みにおける偏微分方程式の研究においては,代数解析的な取り扱いが主流であって,従来からのC∞-distributionの枠組みにおける方法を適用することは難しいと考えられていた.
C∞-distributionの枠組みにおける最も重要な手法は(微積分学の基本定理の一つの表現である)部分積分であり,これにより得られる種々のエネルギー評価(アプリオリ評価)を用いて,偏微分方程式の研究がなされてきた.
その後,超局所解析的取り扱いにより,偏微分方程式論が大に発展した.C∞-distributionの枠組みにおける超局所解析においては, cut-off函数及びそれをシンボルとする擬微分作用素を用いることができ,これによって問題を容易に超局所化できる.
シンボル・カリキュラス(本質的には部分積分)を適用して,超局所的考察(標準形への帰着等)によりエネルギー評価等を導き,またパラメトリックスを構成することにより,偏微分方程式を研究することが可能になった.
ここで述べたような超局所解析を古典的超局所解析と呼ぶことにする.
解析函数-佐藤超函数の枠組みでの偏微分方程式の研究に古典的超局所解析的手法を用いるために, cut-offシンボルをもつ擬微分作用素を用いて, [4]において古典的超局所解析の基礎を与えた.
すなわち,我々は[4]において, H ?ormander [1]の第IX章及びTreves [3]の第V章の結果を結び付けて,その上に古典的超局所解析を確立した。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1477804000/119

120: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 11:30:42.41 ID:DzICE8Th

>>119 関連

佐藤先生が出てこないので、はてなと思っていたんだ
https://ja.wikipedia.org/wiki/%E8%B6%85%E5%B1%80%E6%89%80%E8%A7%A3%E6%9E%90
超局所解析

数学の解析学の分野における超局所解析（ちょうきょくしょかいせき、英: microlocal analysis）とは、変数係数の線型および非線型偏微分方程式の研究に関するフーリエ変換に基づく、1950年代以後に発展した技術を伴う解析のことを言う。
超函数や、擬微分作用素、波面集合（英語版）、フーリエ積分作用素、振動積分作用素、パラ微分作用素の研究などが含まれる。

「超局所」（microlocal）という語は、空間内の位置についての局所化のみならず、ある与えられた点の余接空間方向についての局所化を意味する。このことは、次元が 1 よりも大きい多様体に対して、重要な意味を持つ。

外部リンク
lecture notes by Richard Melrose
newer lecture notes by Richard Melrose

https://en.wikipedia.org/wiki/Microlocal_analysis
Microlocal analysis
From Wikipedia, the free encyclopedia

In mathematical analysis, microlocal analysis comprises techniques developed from the 1950s onwards based on Fourier transforms related to the study of variable-coefficients-linear and nonlinear partial differential equations.
This includes generalized functions, pseudo-differential operators, wave front sets, Fourier integral operators, oscillatory integral operators, and pa radifferential operators.

The term microlocal implies localisation not only with respect to location in the space, but also with respect to cotangent space directions at a given point. This gains in importance on manifolds of dimension greater than one.
External links

lecture notes by Richard Melrose
newer lecture notes by Richard Melrose

http://rio2016.5ch.net/test/read.cgi/math/1477804000/120

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

あと 594 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.015s