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

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

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

6: １３２人目の素数さん [] 2016/10/30(日) 14:21:03.53 ID:AAheDI1u

こらこら、新スレで逃げようとするなｗ　逃げられないように貼っておこうｗ

540 : 現代数学の系譜11 ガロア理論を読む2016/10/23(日) 09:35:01.91 ID:MjfWcywG
>>537-538
ぼくちゃん、>>2に「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.・・

πとかeわかる
π＝3.14159 26535 89793 ・・・ https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87
ｅ＝2.71828 18284 59045 ・・・ https://ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0

で、こいつらは、無限小数なんだ。大学では、コーシー列かな https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%97

で、各小数位のところを、箱があると見ると、まさに箱に数が入っていると思えば良いんだわ
つまり、πは3 14159 26535 89793 ・・・という可算無限個ある箱に数の入った数列と見ることができる。小数点は抜いた
ｅも同じようにできる

で、小数点を戻すと、可算無限個ある箱に数の入った無限数列だけど、２項演算が定義できるんだわ。分かる？　まあ、普通の数の積と和だ
π・ｅ（積）とか、π＋ｅ（和）とか、分かる？ 可算無限個の箱の数列だよ？

で、>>532のモノイドで考えて、 {0, 1, ..., 9} として、箱に0〜9の数字を入れると、数列ができたとして、小数点は抜いて
モノイドの２項演算で、文字や語の「連接」を＊で表すと
π＊ｅを、考えることができる　（小数点を文字に含めれば、小数点を含む数列としても良いが、抜いてシンプルな方がイメージしやすいだろう）

「考えてどうなるか？」は別として、普通の実数の演算として、無限の数列を使って、π・ｅ（積）とか、π＋ｅ（和）を考えているんだから
モノイドの２項演算 「連接」 π＊ｅも考えることができるよと
それだけのことが難しい？

542 : １３２人目の素数さん2016/10/23(日) 09:58:50.54 ID:SlySeNFm
eの整数部分は小数第何位にくるんだ

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

51: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 18:48:34.20 ID:S5Jl1CaY

>>46はプロ固定のageおじさん、>>50はTさんかな？

どっちも、カントールとヒルベルトの無限ホテル勉強してね
別におれが新しい無限集合の理論を作る気は無いからね。既存の集合論のテキストを勉強したら分かる話だ(いわゆる普通にある無限のパラドックスだよ（＝不思議だがそれが可算無限）)

１．モノイドの文字の連接に関する演算は、時枝問題とは別に、厳然と数学の理論がある。これは、時枝問題と無関係だ。だからR^Nなどの制約は受けない。これをはっきり宣言しておく
２．さてまず、カントールの有理数の可算無限の濃度証明（特に有理数について）を見て下さい（既知と思うが・・・）
http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1229311902
yamineko20032003さん 2009/8/11
次の集合が可算であることを示せ。(1) 整数(2) 有理数(3) x-y平面上の有理点
ベストアンサーに選ばれた回答 mamanii32さん 2009/8/11 （略）
http://www.math.chs.nihon-u.ac.jp/~ichihara/Labo/Notes/2011/3rd/0519.pdf
可算無限集合 平原　健太 日大 平成23 年6 月9 日 (抜粋) 定理1.9 証明すべきことは、正の有理数の集合Q+が可算無限集合
３．次にヒルベルトの無限ホテル
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ヒルベルトの無限ホテルのパラドックス
(抜粋)
例えば、1号室の客を2号室へ、2号室の客を4号室へ、3号室の客を6号室へ、…、n 号室の客を 2n 号室へ、…と移せば、1号室、3号室、5号室、…つまり奇数号室は空室になるから、無限の客を新たに泊めることができる。
(引用終り)

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

52: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 18:50:45.53 ID:S5Jl1CaY

>>51 つづき
さて、上記を踏まえて

１．当然現代数学は、無限集合を扱う。２項演算の対象も無限集合であっていい。例えば、集合Xと集合Yの和X∪Yは普通に定義される
２．二つの集合
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,・・・}
Z＝X∪Yとでもしようか？　（ここで、x_7＝2とy_9＝2となどは、区別して統合しないものとする）
３．集合Zの元をどう並べるかだけの話でしょ？ それを連結と考える
Z＝{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_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,・・・}
でなんの不都合もない
４．ならべ変えると
Z＝{x_1＝3, y_1＝2,x_2＝1, y_2＝7,x_3＝4, y_3＝1,x_4＝1, y_4＝8,x_5＝5,y_5＝2, x_6＝9,y_6＝8, x_7＝2,y_7＝1,  x_8＝6y_8＝8, x_9＝5,,y_9＝2, x_10＝3, y_10＝8,x_11＝5,y_11＝4, x_12＝9, y_12＝6,・・・・・・}
５．ところで、奇数列と偶数列とを利用すれば、下記にできる
Z'＝{z_1＝3, z_3＝1, z_5＝4, z_7＝1, z_9＝5, z_11＝9, z_13＝2, z_15＝6, z_17＝5, z_19＝3, z_21＝5, z_23＝9,・・・
　 　 z_2＝2, z_4＝7, z_6＝1, z_8＝8, z_10＝2, z_12＝8, z_14＝1, z_16＝8, z_18＝2, z_20＝8, z_22＝4, z_24＝6,・・・}
６．Z'→X'∪Y'とみて二つの集合に分ける
　 X'＝{z_1＝3, z_3＝1, z_5＝4, z_7＝1, z_9＝5, z_11＝9, z_13＝2, z_15＝6, z_17＝5, z_19＝3, z_21＝5, z_23＝9,・・・}
　 Y'＝{z_2＝2, z_4＝7, z_6＝1, z_8＝8, z_10＝2, z_12＝8, z_14＝1, z_16＝8, z_18＝2, z_20＝8, z_22＝4, z_24＝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/52

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

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

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

>>155

Ｋは可算無限、Ｎと同じく可算無限
それで話は合うだろ？

ここ（>>149）で言っていることは、決定番号の集合Ｋは数列の長さＮから影響を受けるということ
例えば、簡単にZ^Nで考えよう （Z^N⊂R^N。(本当は正整数で済むが、N^Nでは混乱するから）)

>>110でしたように、πを少数展開して、可算無限長の数列を考えよう。πから小数点を抜いた数列を作る。それをs(π)とする
s(π)∈Z^Nを認めるとしよう　∵πは超越数だから

>>110でしたように、lim(n→∞) π'n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 2718281828459…を示した。e＝ 2.718281828459…だ
ここで、e＝ 2.7に変更とすると、同様にlim(n→∞) π'’n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 27　が得られる。これから得られる数列をAとしよう
e＝ 1.7に変更とすると、同様にlim(n→∞) π'''n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 17　が得られる。これから得られる数列をBとしよう

最後の数字７が一致しているから、同値で A〜B。そこで、Aの同値類の代表をBと仮定する
100列のうちの一つの数列として、e＝ 3.7に変更したとして、同様にlim(n→∞) π''''n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 37　が得られる。これから得られる数列をCとしよう
数列Cと代表Bの比較で、… 37と… 17とで、違いは、3と1のところだけ
とすると、決定番号がどうなるか？　πは超越数で無限桁だということを認めるとどうなる？

なにが言いたいかというと、Z^NにおけるＮの集合の性質が、決定番号の集合Ｋに反映されるということ
だから、決定番号を暴れないように大人しく扱いたいと思ったら、その前の数列Z^Nを規制しないとうまく行かないよと

lim(n→∞) π''''n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 37のような数列は含まれないようにしたい？
どうぞ、お願いします

lim(n→∞) π''''n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 37のような数列は含まれないようにすれば、決定番号は大人しく有限で治まるでしょ
それが可能かも知れないということは否定しないよ

簡単ではない気がするけどね・・
私は面倒だから、逆らわないようにしますよ（＾＾；

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

173: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/06(日) 09:20:53.69 ID:ivLdkhn2

（現代数学の系譜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/1477804000/173

182: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/06(日) 10:49:49.60 ID:ivLdkhn2

>>178 補足

式を詳しく書くと>>160
e＝ 3.7に変更したとして、同様にlim(n→∞) π''''n=a1. a2a3a4a5・・・an +e/10^n＝3.14159265358979… 37

後半は e＝ 3.7でe/10^n＝0.0・・・037 （ 3は少数第ｎ位で、7は少数第ｎ+1位）。ここで lim(n→∞) を考えるだけ
前半は πn=：a1. a2a3a4a5・・・an （πの少数第ｎ-1位までの近似値）。ここで lim(n→∞) を考えるだけ

πn=：a1. a2a3a4a5・・・anを説明すると
例えば、πに収束する級数で分かり易い ライプニッツの公式を採用して （https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87）

π＝4Σ(n=0, n→∞)(-1)^n/(2n+1) として、少数第ｎ-1位までの近似値として、エクセルのround関数 を使うと＊）
πn＝round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) と書ける。ここで lim(n→∞) を考えるだけ

だから、もとの級数は
π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n （単純な二つの式の和であることにご注意。ここにe＝ 3.7 ）　ここで lim(n→∞) を考えるだけ

「"3.14159265358979… 37"の最後の"3","7"の添え字はNでは表せない」から、その数列は扱わない？？
そう定義するならそれもあり

だが、その定義では、最初の時枝記事で、箱が可算無限個あるとされる数列の中で、いったいどんな数列が生き残るのか？

＊）
エクセルのround関数説明：http://kokoro.kir.jp/excel/round.html 切り上げ・切り捨て・四捨五入：ROUND系関数--Excel・エクセル
なお、いうまでもなく、エクセルのround関数は単なる例で、これに限らない

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

317: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/19(土) 11:03:28.67 ID:0Q0Vh9CE

>>316つづき

＜時枝記事のR^ Nとヒルベルトの無限ホテル＞
１．ちょっと、順序集合と”直積集合上の順序”とを復習しておこう
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
順序集合
(抜粋)
数学において順序集合（じゅんじょしゅうごう、英: ordered set）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元 a, b に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。

比較不能のケースを許容していることを強調して順序集合の事を半順序集合（はんじゅんじょしゅうごう、英: partially ordered set, poset）ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 (totally ordered set) という。（「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。）

直積集合上の順序

ふたつの半順序集合（の台集合）の直積集合上の半順序としては次の三種類が考えられる。

・辞書式順序: ( a , b ) ? ( c , d ) ? a < c ∨ ( a = c ∧ b ? d )
・積順序: ( a , b ) ? ( c , d ) ? a ? c ∧ b ? d
・ ( a , b ) ? ( c , d ) ? ( a < c ∧ b < d ) ∨ ( a = c ∧ b = d )

最後の順序は対応する狭義全順序の直積の反射閉包である。これらの三種類の順序はいずれもふたつよりも多くの半順序集合の直積に対しても同様に定義される。
体上の順序線型空間に対してこれらの構成を適用すれば、結果として得られる順序集合はいずれもふたたび順序線型空間となる。
(引用終り)
注意：辞書式順序の図が、載ってます。直線で表現されている。つまり、辞書式順序では直積だが１次元で表現できると

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

399: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/20(日) 19:42:20.82 ID:G8Unjt5A

>>398
どうも。スレ主です。

>つまり有限数列を項とする列の極限を考えていると？

Yes！ 有限数列を項とする列の極限を考えるのは数学の基本だろ？

>その列が極限を持つにはコーシー列でないといかんのだが、いつそのことを示したんだ？

１）コーシー列でない数列を考えていることは、時枝記事自身に記載があるよ。
　 >>114"　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.但しもっときびしい同値関係を使う."
　 だから、コーシー列そのものでないことは明白
　 前提が、コーシー列そのものでないが、極限を考えることは可能だよ。そもそも、極限はコーシー列限定ではない
２）”その列が極限を持つにはコーシー列でないといかんのだが”というのは、収束を言っているのか？　そもそも、”極限を持つ”の定義は？ ”コーシー列”の定義は？ あなたの理解を示してくれ

>ていうかそもそも「数列」や「極限」の意味わかってる？

１）「数列」は、時枝記事の文脈では、任意の実数が可算無限個の箱に入ったものを、並べたものだ。>>114と>>115に記載の通りだよ。理解もくそもないだろ
２）「極限」は、時枝記事で>>173にあるところが、一つのポイントだね。引用しよう
（引用）
　”「もうちょっと面白いのは，独立性に関する反省だと思う.
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義されるから，(2)の扱いだ.
(独立とは限らない状況におけるコルモゴロフの拡張定理なども有限性を介する.)
しかし，素朴に，無限族を直接扱えないのか?
扱えるとすると私たちの戦略は頓挫してしまう.”
(引用終り)
（分かっていると思うが、当然”独立な確率変数の無限族 X1，X2，X3，…”とは、>>114 の数列のことだと解釈できる。もし、異論があるなら言ってくれ ）

つづく

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

542: １３２人目の素数さん [sage] 2016/11/27(日) 10:09:47.70 ID:C7ghjjL/

>>480
>>540では、はじめに書き忘れたが、おっちゃんです。

(>>540で書いた文章の続き)
仮に、2つの s＝(s_1, s_2, s_3, …), s'＝(s'_1, s'_2, s'_3, …)∈R^N に対して
スレ主のいう「推移率チェックに注意しつつ、無限数列のしっぽ」が見分けられたとしよう。
nを自然数変数としよう。無限列 s, s'∈R^N のしっぽが見分けられたということは、
関係〜の定義から、2つの無限数列
s＝(s_1, s_2, s_3, …), s' ＝(s'_1, s'_2, s'_3, …)
の対 (s, s')∈R^N×R^N に対して既に或る番号 n_0 が定まって、s, s' の各成分について、
n≧n_0 のとき s_n＝s'_n と判断出来たことを意味する。n≧n_0 のとき s_n＝s'_n＝s''_n とおくと、
s, s' のしっぽは s''_n (n≧n_0) と表わせ見分けられる。
なのだから、推移率チェックをしなくても、s, s'∈R^N に対しては
「無限数列のしっぽを見分けられた」ことになる。
これは、「推移率チェックに注意しつつ、無限数列のしっぽが見分けられた」と
仮定していることに反し矛盾する。なのだから、スレ主がいう「無限数列のしっぽを見分ける」操作
を行うにあたっては、必ずしも「推移率チェックを行う」必要は「ない」ということになる。
従って、推移率チェックに注意しつつ、無限数列のしっぽ」が見分けられる
ような R^N の無限数列が存在することになる。事実、任意の10進表示で表わされた有理数の小数部分
は循環小数になるから、有理数列全体からなる空間 Q^N の或る2点に対しては、
スレ主が行おうとしている操作は出来る。例えば、値が等しくなる10進表示で表わされた2つの有理数
a_1.a_2a_3a_4…a_n…, b_1.b_2b_3b_4…b_n… ∈Q (a_k,b_k∈{0,1,2,…,9}, ∀k∈N＼{0})
に対して2つの Q^N⊂R^N の点つまり2つの有理数列
a＝(a_1, a_2, …, a_n, …), b＝(b_1, b_2, …, b_n, …)∈Q^N
を構成して、a, b に対してスレ主のいう操作を行えばよい。なのだから、
>>480でスレ主が述べているような、推移律の確認の前に無限数列のしっぽを見分ける方法
を見出そうとする問いは、意味をなさない。R^N における関係〜が推移率を満たすことを確認し、
関係〜が同値関係であることを確認する以前の問題になる。

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

566: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/27(日) 15:49:12.42 ID:dKz7cXDk

>>565 補足

https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0
(抜粋)
超越数（ちょうえつすう、英: transcendental number）とは、代数的数でない数、すなわちどんな有理係数の代数方程式

の解（英語版）にもならないような複素数のことである。
(引用終り)

https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%95%B0
(抜粋)
代数的数（だいすうてきすう、英: algebraic number）とは、ある有理数係数の 0 でない多項式の根となる複素数のことである。
(引用終り)

いま、実数に限定して
超越数（transcendental number）として、一つ Tran という 数を考えよう
Tranのε近傍に、代数的数（algebraic number）Algn という 数を考えよう

つまり、| Tran - Algn |< ε で、いつものように、εはいくらでも小さく取れるとする
ところで、仮定より　明らかに　「 Tran not = Algn 」が成り立つ。 εをいくら小さくとろうとも

つまり、Tran と Algn とのしっぽは一致しない。εをいくら小さくとろうとも ∵しっぽは一致したら、Tran  = Algn となり矛盾
ただ、εはいくらでも小さく取れるから、頭からしっぽの先に近い部分まで、いくらでも一致させることはできる

さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える  ∵無限少数展開のしっぽは一致しないから

つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
（ここが、ヴィタリ集合論と類似の議論（有理数、無理数という情報を与えてヴィタリ集合の存在を導く）だ）

問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる

それで、命題Bが言えるには、具体的にどういう情報が必要なのだろうか？　（そこをすっきり理論的に解明できれば、論文が一つ書けるだろう ）
そこを時枝記事はスルーしているのだよ

そして、普通の実数でのヒルベルト空間（コーシー列）でさえ、現代数学では、無限小数のしっぽは扱いかねる
まして、ヒルベルト空間外のR^Nにおいておや

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

584: １３２人目の素数さん [sage] 2016/11/29(火) 17:41:46.78 ID:GlCgAQ0n

>>566
あと、
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」→ 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
>
>つまり、命題Aで、超越数や代数的数という情報を与えたから、命題Bが言えたのだ
>（ここが、ヴィタリ集合論と類似の議論（有理数、無理数という情報を与えてヴィタリ集合の存在を導く）だ)
>
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
>εはいくらでも小さく取れるから、頭からしっぽに近い部分まで、いくらでも一致させることはできる
>
>それで、命題Bが言えるには、具体的にどういう情報が必要なのだろうか？
>（そこをすっきり理論的に解明できれば、論文が一つ書けるだろう ）　そこを時枝記事はスルーしているのだよ
について。標数を0として考える。10進無限小数展開された実数を任意に取り、xとする。
任意に、実数体Rの完全不連結な部分体K(Kは、例えば Q(e)  eはネイピア数 などのような或るRの部分体の超越拡大体でもいい)
を取る。そうすると、実数xがK上代数的か超越的かどちらなのか、が分かればいい。実数xについて或る体K上代数的か超越的か
のどちらなのかが分からないなら、これが分かればいい。そのことが分かれば、あとは、複素数体C上ではKの代数的閉包Fが存在し、
K∩F はRの部分体で体の拡大 F/K の部分体だから、x∈K∩F⊂F (xがF上代数的) か x∈R＼(K∩F) のどちらなのかが分かる。だから、上の
>さて、命題A：「Tran ∈ 超越数、 Algn ∈ 代数的数」 → 命題B：「Tran と Algnとは同じしっぽの同値類に属さない」 が言える
>∵無限少数展開のしっぽは一致しないから
と同様なことがいえて、Bと同様な命題が成り立つための1つの十分条件が分かる。スレ主のいう
>問題は、超越数や代数的数という情報が、与えられていないときに、命題Bが言えるのか？
という問題は、超越数や代数的数の定義から、任意に与えられかつ10進無現表示された実数xの超越性を判定する問題に帰着される。

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

600: １３２人目の素数さん [sage] 2016/12/02(金) 07:50:33.90 ID:EiFQky51

>>566
(>>599の続き)
まあ、可算無限個の数字やその代わりとなる記号を用いて表わされる実数は、
次のようにして構成的に示せ、その存在性は保証される。
[第１段]：第n項が a_n＝b_n−1 と表わせて a_n≦n を満たすような
非負の実数列 {a_n} と、非有界で単調増加な1以上の実数列 {b_n}  を構成する。
整数部分を表わす数字代わりの記号 c_0 を {a_n} の項を任意に用いて表わすことからはじめ、
各 k＝1,2,… に対して、小数点以下、小数点第k位を表わす数字代わりの記号 c_k を、
c_k＝a_{k+1} と a_{k+1} を用いて c_1＝a_2, c_2＝a_3, … と帰納的に可算無限回表わして行く。
そして、{a_n} の項の部分列 c_0, c_1, c_2, … つまり c_0, a_2, a_3, … を構成する。
[第２段]：c_0, a_2, a_3, … を用いて無限小数表示された実数を c_0.c_1c_2…c_k… と表わして
構成し y＝c_0.c_1c_2…c_k… とおく。そして、yが実数になることを確認する。
yが実数なることの確認作業は、次のようにする。
k, n を n＞k を満たすような2以上の自然数変数とする。k≧2 のとき 0＜a_1≦1 で、
c_1/(n^1)＝a_2/n であり、c_k/(n^k)＝a_{k+1}/(n^k)≦(k＋1)/ (n^k) だから、
y−c_0＝0.c_1c_2…c_k…　　　　　　( 右辺は上で構成したyから c_0 を引いたときの表示 )
　　　　　＝Σ_{k＝1,…,+∞}( c_k/(n^k) )＝Σ_{k＝1,…,+∞}( a_{k+1}/(n^k) )
　　　　　＝a_2/n＋Σ_{k＝2,…,+∞}( a_{k+1}/n^k )
　　　　　≦a_2/n＋Σ_{k＝2,…,+∞}( (k＋1)/n^k )
　　　　　≦a_2/n＋Σ_{k＝2,…,+∞}( 1/n^{k-1} )　　　( ∵ n≧k＋1 )　　
　　　　　＝a_2/n＋Σ_{k＝1,…,+∞}( (1/n)^k )
　　　　　＝a_2/n＋(1/n)・Σ_{k＝1,…,+∞}( (1/n)^{k-1} )＝a_2/n＋(1/n)・( 1/(1−1/n) )
　　　　　＝a_2/n＋1/(n−1)、
従って、k→+∞ とすると n→+∞ となり a_2/n＋1/(n−1)→+0 となるから、y−c_0≦0。
そして、yの構成に注意すると、y−c_0≧0。従って、y−c_0＝0 から y＝c_0 となり、
c_0 が可算無限個の数字やその代わりとなる記号を用いて表わされた実数になる。

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

640: １３２人目の素数さん [sage] 2016/12/03(土) 16:44:48.18 ID:mQeh06cb

>>612
>つまり、単に有限からの類推を示したにすぎない（結局実際には可算無限を直接見ていないのだ）
おっちゃんです。
可算無限を実無限の世界で直接見ることが出来ると思っていることが間違い。
実無限の世界で可算無限を直接見ることが出来るとする。
平面Cに無限遠点∞を加えることで、リーマン球面 P^1＝C∪{∞} が構成される。
無碍遠点∞から P^1 上の点Pに引いた直線全体の集合をXとする。
無限遠点∞から引いた P^1 上のあらゆる点と交わらない直線との全体の集合をYとする。
S＝X∪Y とする。任意のXの直線と交わりかつYのあらゆる直線と交わらない平面が一意に存在し、
広義の複素平面 C∪{∞} は P^1 で表せる。複素平面 C とユークリッド平面 R^2 は同型で、
無限遠点∞と正の無限大 +∞ の絶対値について、|∞|＝|+∞|＝+∞ である。
従って、平面 C＝P^1＼{∞} から広義の複素平面 P^1 を構成したことと同様にして考えると、
平面 R^2 に対して無限遠点∞にあたる正の無限大 +∞ を点として加えて
広義の複素平面 P^1＝C∪{∞} にあたる広義の平面 R^2∪{+∞} が構成出来る。
広義の平面を P＝R^2∪{+∞} とおく。すると、広義の平面P上では、平面 R^2＝P＼{+∞} 上の
実無限での可算無限にあたる点としての +∞ を直接見られる。そして、広義の複素平面 P^1 上の
無限遠点∞は、平面C上の点0から任意の方向に半直線を引くと、実無限での正の無限大 +∞ にあたる点である。
従って、平面 R^2 上の原点 O(0, 0) から任意の方向に半直線を引いたとき、
可算無限にあたる点としての実無限での正の無限大 +∞ を見ることが出来ることになる。
しかし、Oから半直線を引いたとき、可算無限にあたる点としての実無限での正の無限大 +∞ を見られるのは、
Oからx軸の正方向に半直線を引いたときだけである。これで矛盾が導けた。
幾何的に見て、実無限の世界で可算無限を直接見ることは出来ないことは分かる。

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

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

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

ぬこの手ぬこTOP 0.046s