22/01/09 13:11:02.84 LV2O1tR+.net
>>915
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
遺伝的有限集合（ hereditarily finite set）は有限個の遺伝的有限集合からなる有限集合と定義される。この定義は帰納的である。遺伝的という名称は遺伝的有限という性質がその元に遺伝することによる。
全ての整礎的な遺伝的有限集合からなる集合を V_ωと書く。
議論
遺伝的有限集合のクラスはフォン・ノイマン宇宙の部分クラスである。これはツェルメロ=フレンケル集合論において無限公理をその否定に置き換えた理論のモデルを成す。したがって無限公理はその他の公理からは証明できない。
V_{n} の濃度は ^{n-1}2（テトレーションを見よ）であるから遺伝的有限集合はちょうど可算無限個ある。
同じことであるが、集合が遺伝的有限であることと、その推移閉包が有限であることは同値である。 V_ω は H_ｱﾚﾌ0 とも書かれる。その意味するところは遺伝的に濃度が ｱﾚﾌ0 未満ということである。
URLﾘﾝｸ(ja.wikipedia.org)
推移的集合
集合論(必ずしもZFCではない一般の集合論)において、集合 Aが推移的であるとは、
x ∈ Aかつy ∈ x、ならばy ∈ A もしくは、同じ意味であるが
x ∈ Aかつxがurelement (基本元素)でないならxはAの部分集合である。
ということ。同様にクラスMが推移的であるとは、Mの要素は全てMの部分集合であることをいう。
例
ジョン・フォン・ノイマンによる順序数の定義を用いると、順序数は遺伝的に推移的な集合として定義される
すなわち、順序数は推移的集合でその要素も全て推移的で(よって順序数でも)ある。
フォン・ノイマン宇宙 Vや 構成可能宇宙 L の構成の際に現れる Vα や Lαといった全ての階層も推移的集合である。 宇宙 L と V もそれ自体推移的クラスである。
性質
urelementsを持たない集合Xが推移的であることはそれが自身の冪集合の部分集合となること、 すなわち X⊂ P(X)となることと同値である。
urelementsを持たない推移的集合の冪集合は推移的である.
(引用終り)
以上