|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 推移 ： [すいい] 1. (n,vs) transition 2. change ・ 推移的 ： [すいいてき] (adj-na) transitive ・ 的 ： [まと, てき] 【名詞】 1. mark 2. target ・ 集 ： [しゅう] 【名詞】 1. collection ・ 集合 ： [しゅうごう] 1. (n,vs) (1) gathering 2. assembly 3. meeting 4. (2) (gen) (math) set ・ 合 ： [ごう] 【名詞】 1. go (approx. 0.18l or 0.33m)
集合論において、集合 ''A''が推移的であるとは、 * ''x'' ∈ ''A''かつ''y'' ∈ ''x''、ならば''y'' ∈ ''A'' もしくは、同じ意味であるが * ''x'' ∈ ''A''かつ''x''がurelementでないなら''x''は''A''の部分集合である。 ということ。同様にクラス''M''が推移的であるとは、''M''の要素は全て''M''の部分集合であることをいう。 == 例 == ジョン・フォン・ノイマンによる順序数の定義を用いると、順序数は遺伝的に推移的な集合として定義される :すなわち、順序数は推移的集合でその要素も全て推移的で(よって順序数でも)ある。 フォン・ノイマン宇宙 ''V''や 構成可能宇宙 ''L'' の構成の際に現れる ''V''α や ''L''''α''といった全ての階層も推移的集合である。 宇宙 ''L'' と ''V'' もそれ自体推移的クラスである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「推移的集合」の詳細全文を読む スポンサード リンク
|