現代数学の系譜 カントル 超限集合論at MATH
現代数学の系譜 カントル 超限集合論 - 暇つぶし2ch74:現代数学の系譜 雑談
19/10/05 16:23:30.90 JrhjRl4x.net
分出公理、冪集合公理、無限公理、貼っておきます(^^
URLリンク(ja.wikipedia.org)
公理的集合論
(抜粋)
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである(1922年)。分出公理は上に述べた ZF の公理から示すことができる。
分出公理 任意の集合 X と A を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する:
∀X∃A∀x(x∈A←→(x∈X∧ψ(x)))。
この公理は、論理式 ψ をパラメータとする公理図式である。
論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、
これを {x∈X|ψ(x)}で表す。
{x∈X|x∈Y} を X∩Yで表す。
URLリンク(ja.wikipedia.org)
冪集合公理
(抜粋)

A の冪集合 P(A)
この公理を通常の言葉で言い直すと、次のようになる:
任意の集合 A が与えられたとき、任意の集合 B が P(A) に属するようなある集合 P(A) が存在するための必要十分条件は、B のすべての元が A の元でもあることである。
部分集合関係は公理的に定義されるため、形式言語において部分集合は用いられない。*)
外延性公理により、上記の集合は一意であり、このことはすべての集合に冪集合が存在することを意味する。
冪集合公理は集合論のほとんどの公理化において現れる。それは一般に問題を生じさせるものではないが、構成的集合論(英語版)においては可術性(predicativity)に関する懸念を解消するためにより弱いバージョンの冪集合公理が好まれている。
(引用終り)
注:*)ここ直訳ぽいけど、要するに、冪集合公理の記述には、”部分集合”という用語は使わないってことです
つづく


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch