[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
543(3): 2024/11/24(日)13:48 ID:pyyDnAPQ(8/15) AAS
つづき
5）まとめると 区間[0,1]の実数で 有限小数Uを使って R/Uを作って その代表が 区間[0,1]内に入るようにできる
明らかに R/Uの区間[0,1]内の代表集合は、ヴィタリ集合Vを含んでいる
ヴィタリ集合Vは、definableではない。つまり definableでない部分を含んでいる(上記)
6）(10)^N で 10→R に置き換えたものが 箱入り無数目の R^N である
つまり R^N は (10)^Nを含み、
部分集合(10)^NのUによる同値類(しっぽ同値)は、 definableでない 代表を構成する
省5
544(2): 2024/11/24(日)14:19 ID:20B4O1iN(8/18) AAS
>>543
>箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから？
551(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)16:21 ID:I9DmCuNm(16/18) AAS
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
555(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)19:20 ID:pyyDnAPQ(11/15) AAS
>>551
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
(引用終り)
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s