[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
85(2): 2022/08/27(土)15:05 ID:W1i1kXFy(3/6) AAS
>>83
>決定番号だって定めようがないし
代表系が存在するなら、∀s∈R^Nに対してある代表列r∈R^Nが存在して、s〜r。
同値関係の定義により、ある自然数dが存在して、n≧d ⇒ s_n=r_n。このdを決定番号と呼ぶ。
はい、定まってますけど？
86(1): 2022/08/27(土)15:26 ID:7YqURDwF(3/4) AAS
>>85
そうですね。決定番号は「存在する」という意味で定まっている。
が、それだけでは「知る」ことはできない。
だから、「代表系の中身を知ることができる」
という選択公理を超える仮定が必要。
89(2): 2022/08/27(土)17:39 ID:mgTwRSyu(1) AAS
>>85
定まるってだけでいいなら尻尾同値類や決定番号とか遠回りせずに、出題者が箱の中に実数を伏せた段階で定まってるから直接それを当てるでいいんじゃない？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s