[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
319(1): １３２人目の素数さん [sage] 2021/11/13(土) 04:00:29.36 ID:c0RFxVGB(1/8) AAS
>>316 分かってないなあ 勘違いしてるのは君だよキ・ミ
>>317
>全順序の列がある
整列順序だろ？
全順序と整列順序の違い、分かってる？
整列順序の定義確認しような
全順序で、さらに空集合以外のいかなる部分集合にも
最小元が存在するのが整列順序
だから整列順序集合 S の最大元以外の
いかなる要素 a∈S についても、
必ずその後続 s(a) が存在する
なぜなら{x∈S｜x>a}は、
aが最大元でなければ空集合ではなく、
最小元が存在するけど、それがs(a)だから
>”０，１，・・・”の部分は
>全自然数を並べた列とする
その場合
>０，１，・・・，ω
は、上昇列だが
>ω，・・・，１，０
は、降下列ではないよ
ω=a_1としてa_1>a_2となるa_2がないだろ？
降下列の定義、確認しような
なんで、中卒は定義確認しないの？
だいたい、君、>>318で定義書いてるじゃん
ーーーーーーーーーーーーーーーーーーー
松坂和夫氏の「集合・位相入門」の定義
「順序集合Aの元の列(a_n)n∈Nで、
a_1>a_2>…＞a_n>…
となるものをAにおける降鎖という」
ーーーーーーーーーーーーーーーーーーー
320(1): １３２人目の素数さん [sage] 2021/11/13(土) 04:01:21.63 ID:c0RFxVGB(2/8) AAS
>>318
>無理に対応漬けするならば
対応”漬け”？ 漬物でもつくるのかい？
>０，１，・・・，ｎ，ｎ+1
> 対応↓
>ω，ｎ，・・・，１，０
>つまり、上の列１に対応する有限のｎを選ばざるを得ず
>結果、列の長さは有限にせざるを得ない
ああ、そうだよ
>だから、自然数の集合では、無限長の降鎖は、作れないことになる
ωだけでなく、いかなる順序数でもそうなる
超限帰納法で証明できるよ
極限順序数λについて、x<λとなる任意のxで降下列が有限なら
λについても降下列は有限 だってλ>xで、長さが+1されるだけだから
結局、極限順序数から降りるときには無限個の元をすっ飛ばすしかない
ω1を最初の非可算無限順序数とする
ω1>xとなるxは可算順序数だから
xとω1の間には非可算個の順序数があるが
降りるときには当然すっ飛ばすしかない
順序数aの要素を昇順に並べたとすれば、
いくらでも長い無限上昇列が存在するけど
それをただひっくり返しても無限降下列にはならないんだよ
整列順序の順序を逆転させても整列順序にならないんだから
整列順序で、空集合以外のいかなる部分集合にも
最大元が存在するかい？存在しないだろ？
323: １３２人目の素数さん [sage] 2021/11/13(土) 08:15:56.07 ID:c0RFxVGB(3/8) AAS
>>321 間違いに気づいたのは君だろ？ 素直じゃないなあ
>>322
>０，１，・・，ｎ，・・，ω で、ｎ→<ｎ< に変えて
>０，１，・・ <ｎ< ・・，ω としても、なんの問題もない
>∵自然数Ｎは、全順序列だから
問題ないけど、理由が×
ｎ< としていい理由 → 整列順序だから （つまり後者が存在するから）
<ｎ としていい理由 → 後続順序数だから（つまり前者が存在するから）
全順序、というだけでは後者も前者も存在しない場合があるから証明は誤りねｗ
>同様に、実数の数直線上のr∈Ｒで
>−−−−−− r −−−−−−−
>ここで、r→<r< に変えて
>−−−−−−<r<−−−−−−−
>としても、なんの問題もない
>∵実数Ｒは、全順序列だから
だから ×
任意のrについて、後者も前者も存在しないでしょ だから誤り
なんでこんな初歩的なこと分からんかなあ 中卒君は
>前の例では、< には明確な前者と後者がある
だから○
>後の例では、< には明確な前者と後者がない
だから×
>しかし、後の例でも、全く問題ない
そう思ってるなら君はキ違い
>後の例は、殆ど下記のデデキント切断そのもの
>要するに、r∈Ｒを使って、数直線を、
>1点r自身、r未満、r超え
>の３つの部分に分けられるってことだ
また関係ない言葉持ち出したね
そういう幻聴が聞こえる限り
君は大学数学は全く理解できないまま死ぬよ 御愁傷様
「全順序」だけしか理解できないんなら、数学諦めな
「整列順序」が全く理解できないんなら、数学諦めな
ｒより大きい元の集合の最小値が存在しないなら 整列順序でない
ｒより小さい元の集合の最大値が存在しないなら 逆整列順序でない
上昇列の各項の集合は、整列順序集合
降下列の各項の集合は、逆整列順序集合
そこ、わかんないなら、数学諦めな
325(1): １３２人目の素数さん [sage] 2021/11/13(土) 10:33:38.95 ID:c0RFxVGB(4/8) AAS
>>324 実数直線とか一点コンパクトで円周S1とか
何トンチンカンなこといってんだ？ 中卒のキ違いは
列の最初と最後以外の任意の項aに対して、直右の項bが存在して
・必ずa<bとなるのが上昇列
・必ずa>bとなるのが降下列
で、
0<1<2<…(全ての自然数を渡る)･･･ω は上昇列だが
ω…(全ての自然数を渡る)･･･<2<1<0 は降下列ではない
っていうだけのことだろ
実数？要らんよ
一点コンパクト？ああ、0<1<2<…(全ての自然数を渡る)･･･にωを追加したものね
円周S1？全然関係ねぇわ
ωから有限ｎにジャンプ？
んなこといったら
０から１もジャンプだし
１から０もジャンプだわｗ
何トンチンカンなこといってんだ？ 中卒のキ違いは
327(1): １３２人目の素数さん [sage] 2021/11/13(土) 13:52:00.38 ID:c0RFxVGB(5/8) AAS
>>326
>”<r”に具体的な左の数は必要なく
>”r<”に具体的な右の数は必要ない
”<r”に具体的な左の数は必要
”r<”に具体的な右の数は必要
><ωは全ての自然数より大、
>言い換えれば、全ての自然数はω未満
>と解釈すれば良い
それは降下列の定義の否定ね
>それで何の問題もない
中卒君 脳味噌 サナダムシに食いつくされた？
328: １３２人目の素数さん [] 2021/11/13(土) 14:12:42.04 ID:c0RFxVGB(6/8) AAS
>>325の要点（最後の行、<を>修正)
列の最初と最後以外の任意の項aに対して、直右の項bが存在して
・必ずa<bとなるのが上昇列
・必ずa>bとなるのが降下列
0<1<2<…(全ての自然数を渡る)･･･ω は上昇列だが
ω…(全ての自然数を渡る)･･･>2>1>0 は降下列ではない
329: １３２人目の素数さん [] 2021/11/13(土) 14:45:47.00 ID:c0RFxVGB(7/8) AAS
全順序集合⊋整列集合
全順序集合⊋逆整列集合
整列集合∩逆整列集合＝有限全順序集合
全順序集合⊋整列集合∪逆整列集合
実数全体の集合R
有理数全体の集合Q
整数全体の集合Z
は整列集合でも逆整列集合でもない
330: １３２人目の素数さん [] 2021/11/13(土) 14:56:39.04 ID:c0RFxVGB(8/8) AAS
集合論オタが非オタの彼女に集合論世界を軽く紹介するための１０定理
いやいやいやいや、非ヲタには
「いかなる順序数の降下列も有限列」
という初等的な定理すら理解不能ですからぁ、残念っ！
アロンシャイン木
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AD%E3%83%B3%E3%82%B7%E3%83%A3%E3%82%A4%E3%83%B3%E6%9C%A8
基数κに対して、 κ-アロンシャイン木とは、
高さκの木で全てのレベルのサイズがκ未満で、
全ての枝の高さがκ未満の木のこと
アレフ0-アロンシャイン木は･･･存在しない
アレフ1-アロンシャイン木は･･･存在する
アレフ2-アロンシャイン木は･･･決定不能！
（連続体仮説を前提した場合存在する
前提しない場合、存在しないとしても無矛盾）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.050s