スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (672ﾚｽ)
上下前次1-新
427(12): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/23(土)09:25 ID:dngn2gaF(3/22) AAS
>>402
> 選択公理は代表の一意的な選択を可能としない
>→代表選択関数を１つ決めれば、述語論理の存在消去の推論が使えるのでアウト
これ、面白いし ”箱入り無数目”の理解にも繋がるから
少し掘り下げておく
”選択公理は代表の一意的な選択を可能としない”
で、以下背理法による
まず”選択公理は代表の一意的な選択は常に可能”と仮定する
反例を一つ示せば良い
下記のヴィタリ集合の構成が 反例になる
省25
上下前次1-新書関写板覧索設栞歴
あと 245 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s