[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
266(3): 2021/06/17(木)22:01 ID:L7j4dqHM(9/9) AAS
>>260 追加
>いや、インデクス集合が全順序集合である必要はない
>添字つけたい集合に全射がある集合でさえあれば良い
>その上で全順序集合であれば真の上昇列を論じることができるということ
そうそう
その添え字集合の話は賛成だな
そもそも、このおサルとの無限列の話は、下記の自然数のツェルメロによる構成
つまり、
0 := {}
1 := {0} = {{}}
省30
278: 2021/06/18(金)11:08 ID:SQepgi2z(2/34) AAS
>>260
>>インデクス集合が全順序集合である必要はない
>>添字つけたい集合に全射がある集合でさえあれば良い
>>その上で全順序集合であれば真の上昇列を論じることができるということ
>>266
>そうそう
>その添え字集合の話は賛成だな
なに支離滅裂なこといってんだ？
279(2): 2021/06/18(金)11:10 ID:SQepgi2z(3/34) AAS
>>266
猿回し> 自然数のツェルメロによる（シングルトン（単元集合））構成が、
猿回し> 可算無限でどうなるか？
おサル> そのようなシングルトンは存在しない
猿回し> 添え字集合を考えて、その極限として
猿回し> lim n→∞ {{・・{{}}・・}}n＝ {{・・{{}}・・}}∞
猿回し> として、可算多重無限シングルトンは定義できる
おサル> そのような可算多重無限シングルトンは
おサル> 正則性公理で禁じられている無限降下列を構成するから、
おサル> 存在しえない
省5
417(4): 2021/06/19(土)16:10 ID:IxFCR29a(13/20) AAS
あと、まともな人が増えたところで書いておくと
>>266のシングルトンの極限（ツェルメロによる）
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
・
・
n := {n-1} = {{・・{{}}・・}}n
↓
省16
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s