[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋20 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
71: 2024/07/09(火)03:52 ID:ZMY7zE29(1/3) AAS
今度は連続と一様連続の違いが分からないって鳴いてる
73(3): 2024/07/09(火)23:21 ID:ZMY7zE29(2/3) AAS
そもそも簡単な考察で、この問題に選択公理は関係ないことがわかる
一つ目は選択公理を使わずに目的の関数を構成する方法:
99列開けると99個の尻尾が得られるので、それに対するfを適当に作る。
残りの列の後半を開けたらもう1つ尻尾が得られるので、fをその尻尾が入るように拡張する。
これで目的のfができる。
これは元々の問題でfの有限個の値しか使ってないことを使った構成
74: 2024/07/09(火)23:28 ID:ZMY7zE29(3/3) AAS
2つ目は出題列を有限個の尻尾に制限する方法:
最初に出題側が100列の尻尾の候補を有限個に絞って宣言する。
回答側は有限個の尻尾に対するfを構成する。
その後は同じに進行する。
これは出題側がわざわざ宣言して、より簡単な問題を出してるわけだから、元の問題より難しくなってるわけがない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s