純粋・応用数学・数学隣接分野(含むガロア理論)21 (437レス)
上
下
前
次
1-
新
52
(1)
: 07/22(火)23:14
ID:4jFdIsuX(8/8)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
52: [] 2025/07/22(火) 23:14:34.68 ID:4jFdIsuX 初期の集合論における内包公理からはラッセルのパラドックスとなる集合{x|¬x∈x}を構成可能。 そのため公理的集合論では分出公理に置き換える。 和集合の公理が必要な理由は、分出公理で和集合を構成できないため。 [参考]内包公理による和集合の構成 ∪X:={x|∃Y∈X:(x∈Y)} 対の公理、無限公理、べき集合の公理が必要な理由も同じ。 尚、 標準的ZFでは分出公理を置換公理に置き換える。 空集合の公理が必要な理由は、置換公理で空集合を構成できないため。 [参考]分出公理による空集合の構成 Xを任意の集合とする。{}:={x∈X|x≠x} 置換公理で空集合を構成できない理由。 置換公理では既存の集合を定義域とする関数の像を集合と定めることで新たな集合を構成可能とする。 定義域の任意の元に対する関数値が必要なため、関数の像が空集合になることはない。よって置換公理で空集合を構成できない。 http://rio2016.5ch.net/test/read.cgi/math/1753002417/52
初期の集合論における内包公理からはラッセルのパラドックスとなる集合を構成可能 そのため公理的集合論では分出公理に置き換える 和集合の公理が必要な理由は分出公理で和集合を構成できないため 参考内包公理による和集合の構成 対の公理無限公理べき集合の公理が必要な理由も同じ 尚 標準的では分出公理を置換公理に置き換える 空集合の公理が必要な理由は置換公理で空集合を構成できないため 参考分出公理による空集合の構成 を任意の集合とする 置換公理で空集合を構成できない理由 置換公理では既存の集合を定義域とする関数の像を集合と定めることで新たな集合を構成可能とする 定義域の任意の元に対する関数値が必要なため関数の像が空集合になることはないよって置換公理で空集合を構成できない
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 385 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.039s