[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
816(1): 2022/11/06(日)15:06 ID:aV+KEqav(19/54) AAS
>>809
＞「袋をごそごそさぐっていって
＞ そいつと同値な（同じファイバー）の代表r=r(s)を
＞ ちょうど一つ取り出せるわけだ。」
＞これは「φ(a)の値が入手できる」ということでしょ。
そうです
＞でなければ、99個の決定番号の入手及び
＞残り1列の中から開けずに残した一箱の中身を
＞「ぴたりと当てる」ということは意味をなさない。
その通りです
その上で
＞つまり選択公理を超えた仮定をしていると思う。
についてはそうではないと思う
nNTYWkJt がいいたいのは
「標準的な代表元なんてない なんでも好きな代表元がとれるはず」
ということだろう それはその通り
だから、唯一の代表選出関数があるわけではなく無数にある
で、箱入り無数目が選択公理以外の仮定をしてるとすればそれは
「代表選出関数を１つ固定し、それを使用しつづける」ということ
まあ、出題を固定する前提なら、
「出題を固定した時点で代表を決定し、変更しないこと」となる
（注：出題を固定するなら１００列分しか考えなくていいので
代表決定に選択公理は必要なく、アルゴリズム的に実施できる
但し、誰がやっても同じようにするためには、
全情報を知る必要があるから、回答者にはできない）
上下前次1-新書関写板覧索設栞歴
あと 186 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s