|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 宙 : [ちゅう] 【名詞】 1. space 2. air 3. midair
数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。 〔Mirimanoff 1917; Moore 1982, pp. 261-262; Rubin 1967, p. 214〕 特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。''V''の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。 == 定義 == この累積的階層は順序数のクラスによって添え字付けられた集合''V''αの集まりであり、特に、''V''αは階数α未満の集合全てによる集合である。ゆえに各順序数 α に対して集合''V''αが超限帰納法によって以下のように定義できる: * ''V''0は空集合, とする。 * 各順序数 βに対して、''V''β+1は''V''βの冪集合とする。 * 各極限順序数 λに対して、''V''λは、次の和集合とする: *: この定義で重要なのは、ZFCのある式φ(α,''x'')で "集合''x''は''V''αに属する" ことを定義できることである。 クラス''V''は全ての''V''-階層の和、すなわち: :: と定義される。 同じ定義だが、各αの階層を : と定義できる、ここではXの冪集合のことである。 集合''S''の階数はとなる最小のαとも言える。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「フォン・ノイマン宇宙」の詳細全文を読む スポンサード リンク
|