[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
405(1): 2024/06/17(月)19:46 ID:wAydTPyr(12/23) AAS
>>402
＞どこに選択公理が関係してるの？
同じ尻尾同値類に属する列からその同値類の唯一の代表への写像が存在する
というのが選択公理から導かれる命題
有限列なら、最後の箱だけで同値類が特定できるから、
そんな関数は選択公理なしに具体的に構成できる
しかし無限列ではそういうわけにはいかない
省4
407(1): 2024/06/17(月)19:47 ID:hrQkMfbM(18/26) AAS
>>405
それ、攻略法であることの定式化と何の関係があるの？関係ないよね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s