TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
虚数とか複素数ってなんですか?
現代数学の系譜11 ガロア理論を読む32
全数学の中で最も感動的で美しい定理
高校数学の質問スレPart403
岡潔について教えて
あしたのために(その1)
高校数学の質問スレPart402
╋|||《数学オリンピック 30》|||╋
理系思考の残念な点
現代数学の系譜 古典ガロア理論を読む39
460 :
さて、まず、二つの数列のしっぽの共有部分、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|

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

1.まず、>>105-106にならって、超越数πを用いて、箱の列の先頭から、3,1,4,1,5,9,・・・・とπの小数表現の数を入れたとする。
  簡便に、これを代表の数列としs_πと名付ける(πだけでは紛らわしいので)
2.数列s_πによって生成される、同値類をS_πとする
3.超越数πは、”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”(>>105より)というが、これ当然無限小数である。
  つまり、例えて言えば、神様は小数点以下22兆4591億5771万8361桁以降もすべての桁の数を知っているが、人類が現時点で計算できているのは有限桁なだけである
4.(>>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 を、明示して、分かり易くした)
5.ここで、集合{s'_π_d | d ∈N}は、添え字dについて、可算無限族になる
  ∵超越数πは、無限小数であるから、dは有限ではないため(人類がπの計算をどんどん推し進めれば、そうなる(^^ )
6.可算無限族{s'_π_d | d ∈N} ⊂ S_π であり、従って、s'_π_d ∈S_πである(自明だが念押し)
7.可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ (∵co-tail'_d not= Φ は、二つの数列s_πとs'_π_dとが、同値であることの定義の通り!)

QED
つづく

461 :
>>480 つづき

(参考)
https://ja.wikipedia.org/wiki/%E6%97%8F_(%E6%95%B0%E5%AD%A6)
族 (数学)

つづく

462 :
>>481 つづき

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

"{2n|n∈N}"が間違い。M:=N−{1,2,3,・・・,d-1}だな
で、M⊂N かつ |M|=|N| (これは、順序数で考えても同じ。∵”無限−有限 = 無限”だから)

{1,2,3,・・・,d-1}は、有限にすぎないから、dをいくら大きくしても、|M|はずっと可算無限のまま
|M|が単調減少など、中学レベルの妄想に過ぎない

つづく

463 :
>>482 つづき

補足2
>>444
>∀n∈N に対し、co-tail(n)は存在する。 よってco-tail(∞)は存在する。
>∀n∈N に対し、ケーキの残り1/2^nは存在する。 よってケーキは食べ尽くせない。

この二つを混同するなかれ
後者の1/2^nについては、計量(ふつうの距離)を入れることで、lim n→∞ |1/2^n| =0 に収束する

だが、前者のco-tail(n)は、そうではない。
先の>>482 の説明の通り

以上です

【数学者】大類昌俊【総合】 Part3
現代数学の系譜11 ガロア理論を読む32
高校数学の質問スレPart404
数学の本 第85巻
奇数の完全数の存在に関する証明5
Inter-universal geometry と ABC予想 30
「何の役に立つんですか?」をタブー視する老害wwww
なぜ∞という数が存在すると思ってる学生が多いのか
【数学者】ID:JtmyZOC7【解析】
分からない問題はここに書いてね478
--------------------
☆★『幸福の科学』統合スレッドpart857★★
【はっちゃけ】いつまちゃんヲチ【勘違い】
婚活で出会い交際中の人36SLIP無し
AKB48
嵐の松本潤きめえ
小林可夢偉 523
【MHFZ】晒されて悔しかったらネット離れして働けよ福井県敦賀市在住の糖質ニートBBAめらるー@★w
【Panasonic】カーバッテリー総合スレ 4【caos】
【知ってて】ファミレス用語大全集【得するの?】
【悲報】「チョーセンしね」とツイートした男性、在日朝鮮人のババアに訴えられ書類送検されてしまう
【ジュースジュース】Juice=Juice総合スレ Part.76【金澤・高木・宮本・植村・段原・稲場・工藤・松永】
日本棋院理事長、経営悪化理由に任期途中で辞任 2
【ピンキラ】ピンキーとキラーズ【ニューキラーズ】
【貴乃花R】日馬富士は無実だ【相撲協会R】
【CTC】伊藤忠テクノソリューションってどうよ?9
【半田ボール爆弾が散見】日経 ソニー製品分解調査3
日本国は「1億総自己中社会」です
@@@@@筑波大学ダンス部@@@@@
【米国務省】中国のウイグル族弾圧に「深い懸念」 制裁を検討
311の時に安倍政権だったら起きてそうなこと [425021696]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼