[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
300(1): 2019/10/12(土)16:38 ID:Vy+smElV(1/8) AAS
>>298
> X[m]={(x1,x2,‥,xm) | x1=Ω, x[i]∋x[i+1]}
> ↓
> X[m]={(x1,x2,‥,xm) | x1=Ω, x[i+1]∋x[i]}
> と書き直して良いですよね？
それはダメです。
上の命題は例えばm=3のとき
省9
302(2): 2019/10/12(土)17:14 ID:Vy+smElV(2/8) AAS
>>301
当面正則性の公理なんて関係ありません。
主張しようとしてるのは
>>275の主張
{n | ∃xn‥∈ x3∈ x2∈x1, Ω=x1}
には最大値が存在する。
です。
省6
303: 2019/10/12(土)17:25 ID:Vy+smElV(3/8) AAS
もしかして>>275の主張がわかってないのかな？
もう少し丁寧に書けば
--- claim ---
S={ n | ∃(x1,x2,‥,xn), Ω=x1, x[i]∋x[i+1]}
には最大値が存在する。
---
です。
省1
306: 2019/10/12(土)17:56 ID:Vy+smElV(4/8) AAS
>>304
>えーと、順序集合で、「半順序・全順序」意識していますか？
>それ、∈関係で、全順序なのでしょ？
いいえ？そんな事どこにも書いてないでしょ？
主張は
--- claim ---
S={ n | ∃(x1,x2,‥,xn), Ω=x1, x[i]∋x[i+1]}
省5
307: 2019/10/12(土)17:58 ID:Vy+smElV(5/8) AAS
え？
全順序ってS⊂NでNは全順序集合って意味ですか？
もちろんNが整列順序集合である事は仮定してますよ？
308(3): 2019/10/12(土)18:13 ID:Vy+smElV(6/8) AAS
もしかしてxnのnが動いてるところのNとxnが動いてるF(Ω)を混同してるのかな？
Nは通常のωを想定して書いてます。
ホントは自然数と対応付くものならなんでもいいんですが混乱するのでN=ωにします。
それともう議論が発散するだけなので数列の順は降鎖でいきます。
もうそこで議論が発散するのは避けましょう。
とりあえず
--- claim(※) ---
省18
315: 2019/10/12(土)22:50 ID:Vy+smElV(7/8) AAS
>>313
いえ違いますよ。
とりあえず>>308で書いた事が認められないという立場なのですね？
では>>308のどの主張が認められないのか指摘して下さい。
317: 2019/10/12(土)23:03 ID:Vy+smElV(8/8) AAS
>>313
いえ違いますよ。
とりあえず>>308で書いた事が認められないという立場なのですね？
では>>308のどの主張が認められないのか指摘して下さい。
>>308の主張はたった一つです。
hypothesis(h)の元にness. cond. 1が導かれる。
という主張です。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s