[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋3 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
68(2): 2022/08/25(木)19:39 ID:ON3UZhHc(1) AAS
箱入り無数目は一箇所だけおかしい点があるね。
確率計算の箇所じゃないよ。
「代表系の中身が見れる」としている点。
選択公理は「代表系が存在する」と言ってるだけで
「中身が見れる」なんて一言も言ってない。
ZF内で構成できる代表系と構成できない代表系
には差があるはずなのに、一様に「見れる」と
省2
70(2): 2022/08/25(木)20:46 ID:rYWQEwxt(2/3) AAS
>>68
>選択公理は「代表系が存在する」と言ってるだけで
>「中身が見れる」なんて一言も言ってない。
s∈R^N が属す同値類を[s]と書く。s∈[s]∈R^N/〜
写像φ：R^N→R^N/〜 を φ(s)=[s]で定義する。
「代表系が存在する」とは
「写像Ψ：R^N/〜→R^N が存在して ∀s∈R^Nに対して s〜Ψ(φ(s)) を満たす」という意味である。
省5
72(2): 2022/08/26(金)07:50 ID:jfaTSMU5(1) AAS
>>68-71
>箱入り無数目は一箇所だけおかしい点があるね。
>ZF内で構成できる代表系と構成できない代表系
>には差があるはずなのに、一様に「見れる」と
>とするのはおかしいんじゃないですかね？
>「見れる」ことを認めるなら、完全に成立している。
”構成”という用語がちょっとへん。>>70の通り
省6
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s