ガロア第一論文と乗数イデアル他関連資料スレ18 (484レス)
ガロア第一論文と乗数イデアル他関連資料スレ18 http://rio2016.5ch.net/test/read.cgi/math/1748354585/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
414: 132人目の素数さん [sage] 2025/08/03(日) 15:53:12.32 ID:KnuX/usk 集合論ZFにおいて、A のべき集合を P(A) とし、 x⊂Ax と x∈P(A) が同値であることを証明します。 証明 x⊂A ならば x∈P(A) P(A) は A のべき集合であり、定義により P(A)={x∣x⊂A} です。 したがって、x⊂Ax ならば、x は A の部分集合であり、 定義から x∈P(A) です。 x∈P(A) ならば x⊂A 逆に、x∈P(A) ならば、P(A) の定義により x⊂A です。 これは、P(A) が A のすべての部分集合からなる集合であるためです。 結論x⊂A ならば x∈P(A)、かつ x∈P(A) ならば x⊂Ax なので、両者は同値です。 よって、x⊂A ⟺ x∈P(A)。 http://rio2016.5ch.net/test/read.cgi/math/1748354585/414
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 70 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.005s