集合論(必ずしもZFCではない一般の集合論)において、集合 A推移的であるとは、

ということ。同様にクラスMが推移的であるとは、Mの要素は全てMの部分集合であることをいう。

編集

ジョン・フォン・ノイマンによる順序数の定義を用いると、順序数は遺伝的に推移的な集合として定義される

すなわち、順序数は推移的集合でその要素も全て推移的で(よって順序数でも)ある。

フォン・ノイマン宇宙 V構成可能宇宙 L の構成の際に現れる VαLαといった全ての階層も推移的集合である。 宇宙 LV もそれ自体推移的クラスである。

性質編集

集合 X が推移的であることは であることと同値である。 ここで は、Xの全ての要素(のうち集合であるもの)の、すなわち  のことである。 X が推移的であるなら、 も推移的である。 XY が推移的なら、XY∪{X,Y}も推移的である。 一般的に、Xが全ての要素が推移的集合であるクラスならば、 も推移的である。

urelementsを持たない集合Xが推移的であることはそれが自身の冪集合の部分集合となること、 すなわち となることと同値である。 urelementsを持たない推移的集合の冪集合は推移的である.

推移閉包編集

集合X推移閉包Xを含む推移的集合の中で(包含関係の意味で)最小のもののことである。 集合Xが与えられたとして、Xの推移閉包は

 

である。つまり、これはX上の所属関係に関する推移閉包で関係づけられる全ての対象のによる集合である。

集合論における推移的モデル編集

有界な式によって定義された性質が推移的クラスに対して絶対的である ということから、推移的クラスは集合論の中におけるinterpretationsの構成のためにしばしば用いられる。 これはいわゆる内部モデルと言われるものである。

推移的集合(クラス)が集合論のformal systemのモデルであることを その理論の推移的モデルと言い表す。 推移性は式の絶対性を決定するのに重要な要因である。

関連項目編集

参考文献編集

  • Jech, Thomas (2008) [originally published in 1973]. The Axiom of Choice. Dover Publications. ISBN 0-486-46624-8