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

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

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

25: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/30(金) 19:42:06.87 ID:zFouRTR2

>>24 じゃ、貴方たちにはこれを

http://park20.wakwak.com/~ichikawa-clinic/2-ya.htm
ｎ→∞
(抜粋)
「無限大を記号で表すと∞になる。可能無限の立場では、この記号は認められていない。これは実無限の記号さ」

「でも、魅力的な記号だわ。うっとりするほど、引き込まれる記号よ」

「８を横にしただけだろう？。それだけで、これほど魅了されるのか？」

「サクくん、あなたにはこの記号の魅力がまだわかっていないのよ。これは、数学を超えた神聖な記号なのよ」

「超えすぎているさ」

数学を超えた記号が数学内で使用されていることに、サクくんはすでに気がついていました。

「でも、便利よ」

「確かに∞は便利な記号であることは認めるよ。だからこそ、可能無限でも使用しているのさ。たとえば、ｎ→∞という記号は、可能無限では『ｎという自然数を無限に大きくして行く』という意味さ。これを『ｎを無限大に近づける』と読んではいけないし、『ｎを無限大にする』と読んでもいけない」

「読み方に規定があるのね」

「もちろんだ。誤解を招かない読み方を守ることは、とても大切さ。ｎをいくら大きくしても、ｎは無限大にはまったく近づかない。ｎと∞の間には、決して埋めることのできない概念上の大きな隔たりがあるからさ。この隔たりを埋める作業は、拡張と呼ばれている論理の飛躍だけだ」

「ｎはどこまで大きくしても自然数であって、無限大という名前の非自然数には変化しないのね。でも、無限先で自然数ｎは∞という非自然数に変化できると考えたほうがかっこ良くないかしら？」

「かっこ良いか悪いかの問題ではない。俺たちが問題にしているのは、記号が実無限で、意味は可能無限だということだ。ここにも、実無限と可能無限の混在が認められるのさ。でも、可能無限と実無限の違いをしっかり理解しながら使う限りは、あまり混乱しないですむ。この２つを見分ける力がないと、パラドックスが発生して頭の中が混乱するだけさ」

ロマンチックな気分に浸っているミサさんを現実に引き戻したサクくんは、女性の心理をあまり理解していないようでした。

「∞は無限大を表す記号さ。ｎ→∞は記号の組み合わせで、これ自体も立派な記号さ」

∞は、記号である。ｎ→∞も、記号である。
つづく

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

27: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/30(金) 20:38:10.16 ID:zFouRTR2

>>25
(抜粋)の(抜粋)

「誤解を招かない読み方を守ることは、とても大切さ。ｎをいくら大きくしても、ｎは無限大にはまったく近づかない。ｎと∞の間には、決して埋めることのできない概念上の大きな隔たりがあるからさ。この隔たりを埋める作業は、拡張と呼ばれている論理の飛躍だけだ」

「ｎはどこまで大きくしても自然数であって、無限大という名前の非自然数には変化しないのね。」

「俺たちが問題にしているのは、記号が実無限で、意味は可能無限だということだ。ここにも、実無限と可能無限の混在が認められるのさ。でも、可能無限と実無限の違いをしっかり理解しながら使う限りは、あまり混乱しないですむ。この２つを見分ける力がないと、パラドックスが発生して頭の中が混乱するだけさ」

「∞は無限大を表す記号さ。ｎ→∞は記号の組み合わせで、これ自体も立派な記号さ」

∞は、記号である。ｎ→∞も、記号である。

「∞は記号といっても、実無限の記号だ」

「すると、ｎ→∞も実無限の記号なの？」

「いいや、違う」

「∞を言葉に直すと、『無限大』になる。しかし、ｎ→∞を言葉に直すと、『ｎを無限大に近づける』にならずに、『ｎを無限に大きくする』になる」

「ｎ→∞は∞を含んでいるのに、これを言葉になおすと∞が消えてしまうの？」

「そうさ。記号では無限大を含んでいるのに、それを言葉に変換すると無限大が消えるのさ。つまり、実無限が可能無限に変化したのさ」

∞は、実無限の記号である。

ｎ→∞は、可能無限の記号である。

「なるほど、実無限の記号を一部だけ使いながら、思考からは実無限をみごとに消し去ったのね」

「昔の人は、このような巧みな技を使っていたのさ。たぶん、無意識的だと思うよ」

何という巧妙な思考でしょう。ミサさんは改めて、昔の人たちの数学の技を見直しました。

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

39: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/31(土) 06:12:20.46 ID:VK/jj9Lp

こういう話だったよね（前スレより再録）
http://rio2016.2ch.net/test/read.cgi/math/1480758460/334
現代数学の系譜11 ガロア理論を読む26
334 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/12/17(土) 11:39:43.39 ID:sIK9xcpB
>>183-184 にもどる
https://ja.wikipedia.org/wiki/%E5%BE%AA%E7%92%B0%E5%B0%8F%E6%95%B0
循環小数
ロバートソン(J.Robertson,1712-1776）の方法
循環小数
a + b ( 10^ n /(10^ n - 1) )

b ( 10^ n /(10^ n - 1) )が、循環節
aが、冒頭の循環していない有限小数部分
(引用終り)

時枝>>2の数列しっぽ同値類で、ロバートソンの方法類似の表現が考えられるね

代表r= r(s)= (s1，s2，s3 ，・・・，sn ，・・・)
ここで、同じ類の元を一つ取る
r'= r(s')= (s'1，s'2，s'3 ，・・・，s'm ，・・・)

しっぽの”・・・)”の部分は、同値類なので同じ（後述の差を取ると、なくなる部分）

いま、簡単に n<mとしよう
そうして、数列の差を考える

r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ，0,0,0・・・)

しっぽの”0,0,0・・・)”の部分は、しっぽの同値類なので、差を取ると0になる。そこで、これをなくなると見なす

Δr= r'-r = (s'1-s1，s'2-s2，s'3-s3 ，・・・，s'n-sn ，・・・，s'm-sm ) として
Δrは、個別には、有限の長さの数列になり、ロバートソンの方法類似の表現で
r'= Δr +r
とできる

Δrは、個別には有限の数列の長さだが、確率を考えるときは、集合としては、数列の有限の数列の長さに上限はなく、無限大の極限を考える必要がある
それは>>188と同じだ

かつ、大きな違いは、
循環小数では、箱の数字は０～９の１０通りだが、時枝やSergiu Hart氏では、箱の中は任意の実数だから、card(R)つまり（非加算）無限大通りになる

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

40: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/31(土) 06:59:40.91 ID:VK/jj9Lp

>>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/40

42: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/31(土) 07:11:49.92 ID:VK/jj9Lp

（前スレより再録）
http://rio2016.2ch.net/test/read.cgi/math/1480758460/380
現代数学の系譜11 ガロア理論を読む26
380 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/12/17(土) 20:39:34.96 ID:sIK9xcpB
再録
３．Aは、係数a1,a2,・・・,anの組み合わせで、場合の数を考える
４．n=3 の場合、A= a1/10+a2/10^2+a3/10^3
　 ここで、A= a1/10+a2/10^2と少数2位までの数になる場合は、a1、a2とも０～９のどれかで、10^2=100通り
　 一方、a3が１～９のどれかのとき、A= a1/10+a2/10^2+a3/10^3 少数3位の場合の数は、9*10^2=900通り。両者の計10^3=1000通り
　 確率は、少数2位までの数になる場合1/10、少数3位の場合9/10

５．これを一般化すると、少数n位のA= a1/10+a2/10^2+a3/10^3+・・・・+an/10^nで
　 少数n-1位までの数になる場合は10^(n-1)通り、少数n位までの数になる場合は9*10^(n-1)、両者の計10^n通り
(引用終り)

>>368の一様分布のアナロジーで言えば

宝くじの発行で、本来各番号１枚のところ、game2の決定番号では、複数枚発行するようなもの
１番10枚、2番10^2枚、3番10^3枚、・・・100番10^100枚、・・・1000番10^1000枚、・・・n番10^n枚

みてお分かりのように、100番ですでに100億（=10^10）どころじゃない、100億の10乗（=(10^10)^10）です
1000番では10^1000枚なので、100億の10乗（=10^100）のさらに10乗・・・

ところで、面白いのは、Hart氏のgame2では、先に問題の数列を固定してしまう。だから、同値類と決定番号も最初から決まっているんだ
そこで、問題の数列の同値類がどうなるかを考えてみると・・・

game2の同値類で、循環節以外の頭の側で、問題の数列と代表の数列との比較で、決定番号は、循環節以外の頭の側の長い方で決まる
ロバートソンの方法>>334で、aの部分で、長さが長い部分だが、ここの場合の数（組み合わせ）上記のように、宝くじと同じ
１番10通、2番10^2通、3番10^3通、・・・100番10^100通、・・・1000番10^1000通、・・・n番10^n通・・・

だから、小さい数は出ない
というか、ｎ→無限大を考えると、一様分布とは比べられないくらい、裾が重いことがわかる

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

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

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

ぬこの手ぬこTOP 0.009s