[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
256(1): 247 2021/08/22(日)07:43 ID:sTIzdDwF(3/7) AAS
Ｂの全要素はＡに含まれ（＝ＢはＡの部分集合）、f(x)に含まれません。
「Aの全要素がＡのべき集合に含まれる」事と
「Bの全要素がf(x)に含まれない」事から、
もしBが空集合でないならfが全射ではない（＝Ａのべき集合を網羅しない）事を意味します。
Ａは任意の集合
fはＡのべき集合を全射しようとする（全射できているか不明な）関数
f(x)はＡのべき集合の部分集合（真部分集合なら全射）
259: 2021/08/22(日)08:01 ID:QZFJZsWw(4/6) AAS
>>256
＞Ｂの全要素は、f(x)に含まれません。
それがあなたの理解した定義なら誤ってます
正しい定義は
「Ｂは、x∉f(x)となるAの要素x全てからなる集合です」
Bが空集合であれば、Bのいかなる要素もf(x)の要素です
ただしx∈f(x)となるような要素は存在しません
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.916s*