[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
624(2): 2019/09/02(月)19:24 ID:kFA/TyuL(2/3) AAS
>>614
> その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，
> 当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
初期値{0, 0, ... , 0, ... }(同値類0とする)を{1, 2, ... , n, ... }(同値類Nとする)にできるか
{0, 0, ... , 0, ... } 同値類0
{1, 0, ... , 0, ... } 同値類0
...
{1, 2, ... , n, 0, 0, ... } 同値類0
{1, 2, ... , n, n+1, 0, 0, ... } 同値類0
数学的帰納法により任意の自然数nに対して数列{1, 2, ... , n, 0, 0, ... }は同値類0に属する
自然数kが定数であるときに初期値{0, 0, ... , 0, k, k+1, ... }(同値類N)であれば
{0, 0, ... , 0, k, k+1, ... } 同値類N
{1, 0, ... , 0, k, k+1, ... } 同値類N
...
{1, 2, ... , k-1, k, k+1, ... } 同値類N (kが定数なら有限回で終わる)
数列の有限個を変えただけだと属する類は変化しないことに注目すれば
属する類に関して「情報は一切もらえない」ことはないことが分かる
数列自体に着目してしまうと項を1つ変えただけで数列が変化するので
どの数列に変化するのか「情報は一切もらえない」ことになる
時枝戦略では開けずに残す箱は1つなので属する類に関して開けた箱から情報がもらえる
>>622
> それは、一つずつ後者を作り続けた集合だが
> それがもし有限集合ならば
> 負数の集合を加えて、整数の集合を作ったとき
有限集合だから整数全体の集合も作れない
>>620
>>607を見よ
627(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/02(月)20:34 ID:C7KIpkvI(3/5) AAS
>>623-626
おまいら、一体全体、何を主張したいんだ？ｗ
ペアノの公理を否定したいのかｗ？！ （＾＾；
なお、おれは”無限集合の公理”を否定したことはない！
だれかと勘違いだろう？ 彼の書き込みを最近見ないけど （＾＾
（参考）
外部ﾘﾝｸ:dictionary.goo.ne.jp
一体全体（いったいぜんたい） の意味 出典：デジタル大辞泉（小学館） goo辞書
［副］「一体1」を強めた言い方。非常に強い疑問の気持ちを表す。「一体全体どうなっているんだ」
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
(抜粋)
定義
ペアノの公理は以下の様に定義される。
5. 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
この集合 N を自然数全体の集合といい、これは時々（特に順序数に関する文脈で）ギリシャ文字の ω と表記される。
無限集合の公理は 0 を含む帰納的集合の存在を主張しているので、ここでの N の定義に問題はない。 自然数のシステム (N, 0, suc) はペアノの公理を満たすことが示される。 それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
形式的な定義
自然数の公理
自然数を初めに厳密に定義可能な公理として提示されたものにペアノの公理があり（1891年、ジュゼッペ・ペアノ）、以下のように自然数を定義することができる。
・1 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
最後の公理は、数学的帰納法を正当化するものである。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。
651(1): 2019/09/03(火)17:25 ID:n5YsuuAf(3/5) AAS
>>648
>>631
> その上で、おれは、「無限個まとめて入れないと無限個は入れられないです」
これを示していないですよ
> {X1, X2, ... , Xn, ... } （確率変数の無限族）
> { 1, 2, ... , n, ... } （自然数N）
これらはともに「無限個まとめて入れないと無限個は入れられないです」の結果です
よって
> これ、全単射（１対１対応）です！！ｗｗ（＾＾
自然数Nで例を挙げてあるから>>624を確かめなさい
全単射なら「{X1, X2, ... , Xn, ... }」でも同様に
「無限個まとめて入れないと無限個は入れられないです」の結果です
X∞を持ち出しても
>>646
> 極限順序数ωを含む集合｛1,2,・・・,ω｝は、有限集合か？ｗ（＾＾
極限順序数ωと任意の有限順序数nの間には可算無限個の有限順序数が存在する
ので「無限個まとめて入れないと無限個は入れられないです」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.053s