[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
648(2): １３２人目の素数さん [] 2018/12/30(日) 07:56:19.62 ID:Fgu/mMxZ(3/17) AAS
>>644
＞時枝記事でやっている数学ロジックを抽出すると下記になる
正しくは以下のとおり
１）数列s = (s1，s2，s3 ，・・・)のしっぽで同値類を作る
２）代表元r= r(s)を決める （※選択公理により）
３）数列sと代表元 rとがそこから先ずっと一致する番号（＝自然数）を
sの決定番号と呼び，d = d(s)と記す
４）数列が100列あったとすれば、数列s^1, s^2,・・・s^100に対して
(注：ここにs^1などは、上付き添え字を表わすとする。以下同様)
同値類の代表元 r^1, r^2,・・・r^100 を決めることができ
決定番号 d^1, d^2,・・・d^100 を決めることができる。
d^k 1<= k <=100 が、
（d_k以外の決定番号の)最大値 D = max(d^1, d^2,・・・d^100)
を取る確率は、1/100に過ぎない
D >= d^k である確率は、99/100となる
649(2): １３２人目の素数さん [] 2018/12/30(日) 08:01:45.19 ID:Fgu/mMxZ(4/17) AAS
>>648
一般の無限列の代わりに有理数の小数展開を用いる場合
* １）のsが、有理数の小数展開
* ２）の代表元が、循環節から自然に定まる （選択公理の必要無し！）
* ３）の決定番号が、循環節の開始位置となる
スレ主が選択公理に逃げ込む道はこれで塞がったｗ
652(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/30(日) 08:46:23.26 ID:A4Yw8jtX(4/8) AAS
>>646-649
どもありがとう
スレ主です
これ結構だね（＾＾
「したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね」
それで良いですよ
まあ、細かいけど
昨日の選択公理の確認（>>621）でやったので、念押ししておくが
・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
正確な表記ではないが、マンガ風に図解すれば、こうだと
・つまり、上位互換で、選択公理（フルバージョン）は、適用できる集合は連続無限集合でも、あるいは連続無限より上位の濃度の無限集合でも適用可
（もちろん、下位の可算無限集合および有限集合にも適用できる。選択公理の定義の通り、適用できる集合に制限無し！ ）
・可算選択公理は、可算無限以下の集合にのみ適用できる
・選択公理の有限集合版は、公理というよりむしろ原理とか定理という方が良いかもしれないが
（補足、>>622 尾畑先生テキスト：
「Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11)
が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り
返すことで有限列の存在が数学的帰納法で証明される」ご参照
あるいは、>>625 Axiom of choice Restriction to finite sets をご参照 ）
> 一般の無限列のかわりに有理数の小数展開列を用いる場合
> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
ここ、おれの理解は、可算選択公理を使っていると思うけどね。
まあ、ここは上位互換なので、選択公理を使っていると言っても、間違いではないと思う
ここ、しつこく拘る気は無いが、念押しな
拘って、先に進まないのも困るのでね
良いですね。念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s