現代数学の系譜工学物理雑談古典ガロア理論も読む42 [無断転載禁止]©2ch.net

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

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

382: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/09/20(水) 08:33:47.52 ID:dfpPaMnE

>>377
ピエロは、本当に幼いね（＾＾

>ところでもし尻尾の同値類全体にco-tailが存在する場合、一つの箱ですね

未証明

>というのはもし二つ以上の箱の場合、co-tailの先頭だけ変えた数列も
>同じ同値類に入らざるを得ないので

同じ議論は、数列が有限個の数列の場合でも成立するよ
有限個の数列の場合のしっぽの共有は認めるんだろ？ （例えばピエロの>>125発言）

例えば、２つので同じ同値類Sに属する数列の共有するしっぽの関係を考える
s = (s1，s2，s3 ，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・)と
s'= (s'1， s'2， s'3，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・)∈R^N

ここで
{s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・}が共有するしっぽの部分だ。
有限個の数列の場合のしっぽの共有部分を、co-tail’としよう。この場合、一致番号（定義は>>64,>>11などご参照）はdだ

さて、co-tail’を書き換える
{s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・}
　↓
{s'_d,s'_d+1，s'_d+2，・・・，s'_d+k,s_d+k+1,s_d+k+2,・・・}
この場合、一致番号はd→d+k+1に移る。同じ同値類Sに属することは明らか

同様にして、d+k+1→d+k+2に移る。これをずっと繰返すことも可能だ
よって、同じ議論は、有限個の数列の場合のしっぽの共有部分、co-tail’についても成立する

>この場合、無限列の箱の位置を示す集合は、
>無限公理による集合ωとは全く異なることになりますね

小学生の書いていることは幼いので理解できないが
”同じ議論は、有限個の数列の場合のしっぽの共有部分、co-tail’についても成立する”ことを再度強調しておく（＾＾

http://rio2016.5ch.net/test/read.cgi/math/1505609511/382

460: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む [sage] 2017/09/22(金) 21:10:15.11 ID:R2cdEIZf

さて、まず、二つの数列のしっぽの共有部分、co-tail’の説明から（＾＾

>>437
>＞ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
>何故？

>>450
>＞（>>406より）「ここで、{s_ M +1，s_ M +2，・・・} の集合の濃度は可算無限である（i.e. 集合の濃度に変化なし）」
>{2n|n∈N}:=M⊂N かつ |M|=|N|

分かり易く、例示を混ぜて説明していくよ（抽象的に書くと分かり難いだろうから）

１．まず、>>105-106にならって、超越数πを用いて、箱の列の先頭から、3,1,4,1,5,9,・・・・とπの小数表現の数を入れたとする。
　　簡便に、これを代表の数列としs_πと名付ける(πだけでは紛らわしいので)
２．数列s_πによって生成される、同値類をS_πとする
３．超越数πは、”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”（>>105より）というが、これ当然無限小数である。
　　つまり、例えて言えば、神様は小数点以下22兆4591億5771万8361桁以降もすべての桁の数を知っているが、人類が現時点で計算できているのは有限桁なだけである
４．（>>431に倣って）s_π = (s1，s2，s3 ，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・) とおく
　　（>>382に倣って）s'_π_d= (s'1， s'2， s'3，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・)とおく*)
　　ここで、二つの数列s_πとs'_π_dとで、{s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・}が共有するしっぽの部分 co-tail'_d *)で、一致番号はd。
　（*) s'_π_d 及び co-tail'_d と添え字d を、明示して、分かり易くした）
５．ここで、集合{s'_π_d | d ∈N}は、添え字dについて、可算無限族になる
　　∵超越数πは、無限小数であるから、dは有限ではないため（人類がπの計算をどんどん推し進めれば、そうなる（＾＾ ）
６．可算無限族{s'_π_d | d ∈N} ⊂ S_π であり、従って、s'_π_d ∈S_πである（自明だが念押し）
７．可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d  not＝ Φ （∵co-tail'_d not＝ Φ は、二つの数列s_πとs'_π_dとが、同値であることの定義の通り！）

QED
つづく

http://rio2016.5ch.net/test/read.cgi/math/1505609511/460

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

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

ぬこの手ぬこTOP 0.027s