| dbo:abstract
|
- Fundované jádro (ozn. WF) je matematický pojem z oblasti teorie množin. V axiomatizaci ZF_ (Zermelo-Fraenkelovy teorie množin bez axiomu fundovanosti) vymezuje třídu množin, která je ZF v ZF_. (cs)
- Die Von-Neumann-Hierarchie oder kumulative Hierarchie ist ein Begriff der Mengenlehre, der eine Konstruktion von John von Neumann aus dem Jahr 1928 benennt, und zwar einen stufenweisen Aufbau des gesamten Mengenuniversums mit Hilfe von Ordinalzahlen und der Iteration der Potenzmengenbildung. (de)
- In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is the class of hereditary well-founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930. The rank of a well-founded set is defined inductively as the smallest ordinal number greater than the ranks of all members of the set. In particular, the rank of the empty set is zero, and every ordinal has a rank equal to itself. The sets in V are divided into the transfinite hierarchy Vα , called the cumulative hierarchy, based on their rank. (en)
- 数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。Vの集合はその階数に基づいて個の階層に分けられ、その階層は累積的階層と呼ばれる。 (ja)
- Универсум фон Неймана (иерархия множеств по фон Нейману) — класс, образованный фундированными множествами; такая совокупность, формализуемая теорией множеств Цермело — Френкеля (ZFC), часто используется в качестве интерпретации или обоснования ZFC-аксиом. Стандартное обозначение — . Ранг фундированного множества индуктивно определяется как наименьшее порядковое число, превосходящее ранг любого элемента в этом множестве. В частности, ранг пустого множества равен нулю, а ранг любого порядкового числа равен ему самому. Множества, входящие в класс , в силу деления на ранги, образуют трансфинитную иерархию, которая также называется кумулятивной иерархией множеств. (ru)
- Na matemática, particularmente na teoria de conjuntos de Zermelo-Fraenkel, o universo de von Neumann, hierarquia de von Neumann dos conjuntos, ou hierarquia cumulativa, abreviado V, é uma classe definida por recursão transfinita: a classe dos conjuntos hereditariamente bem fundados. V é o modelo mais aceito da teoria de conjuntos de Zermelo-Fraenkel, pelo qual pode ser entendido intuitivamente como a classe de todos os conjuntos. (pt)
- 在集合论和有关的数学分支中，冯·诺伊曼全集或冯·诺伊曼集合层次，是由所有集合組成的类，可以分成超限階级的个体集合（a transfinite hierarchy of individual sets）。 它可以用超限归纳法定义为如下：
* 设V0是空集{}。
* 对于任何序数α，设Vα+1是Vα的幂集。
* 对于任何极限序数λ，设Vλ是迄今为止所有V-阶段的并集：.
* 最后，设V是所有V-阶段的并：. 等价的说，对于任何序数α，设，这里的是X的幂集。 (zh)
- У теорії множин і суміжних з нею галузях математики під універсумом фон Неймана (позначається V), або ієрархією множин за фон Нейманом, розуміють клас, утворений фундованими множинами. Така сукупність, що формалізується теорією множин Цермело — Френкеля (ZFC), часто використовується для інтерпретації або обґрунтування ZFC-аксіом. Ранг фундованої множини індуктивно визначається як найменше порядкове число, що перевищує ранг будь-якого елемента цієї множини. Зокрема, ранг порожньої множини дорівнює нулю, а ранг будь-якого порядкового числа дорівнює йому самому. Множини, що входять до класу V, в силу поділу на ранги, утворюють трансфінітну ієрархію, яка також називається кумулятивною ієрархією множин. (uk)
|
| rdfs:comment
|
- Fundované jádro (ozn. WF) je matematický pojem z oblasti teorie množin. V axiomatizaci ZF_ (Zermelo-Fraenkelovy teorie množin bez axiomu fundovanosti) vymezuje třídu množin, která je ZF v ZF_. (cs)
- Die Von-Neumann-Hierarchie oder kumulative Hierarchie ist ein Begriff der Mengenlehre, der eine Konstruktion von John von Neumann aus dem Jahr 1928 benennt, und zwar einen stufenweisen Aufbau des gesamten Mengenuniversums mit Hilfe von Ordinalzahlen und der Iteration der Potenzmengenbildung. (de)
- 数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。 整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。Vの集合はその階数に基づいて個の階層に分けられ、その階層は累積的階層と呼ばれる。 (ja)
- Na matemática, particularmente na teoria de conjuntos de Zermelo-Fraenkel, o universo de von Neumann, hierarquia de von Neumann dos conjuntos, ou hierarquia cumulativa, abreviado V, é uma classe definida por recursão transfinita: a classe dos conjuntos hereditariamente bem fundados. V é o modelo mais aceito da teoria de conjuntos de Zermelo-Fraenkel, pelo qual pode ser entendido intuitivamente como a classe de todos os conjuntos. (pt)
- 在集合论和有关的数学分支中，冯·诺伊曼全集或冯·诺伊曼集合层次，是由所有集合組成的类，可以分成超限階级的个体集合（a transfinite hierarchy of individual sets）。 它可以用超限归纳法定义为如下：
* 设V0是空集{}。
* 对于任何序数α，设Vα+1是Vα的幂集。
* 对于任何极限序数λ，设Vλ是迄今为止所有V-阶段的并集：.
* 最后，设V是所有V-阶段的并：. 等价的说，对于任何序数α，设，这里的是X的幂集。 (zh)
- In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is the class of hereditary well-founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930. (en)
- Универсум фон Неймана (иерархия множеств по фон Нейману) — класс, образованный фундированными множествами; такая совокупность, формализуемая теорией множеств Цермело — Френкеля (ZFC), часто используется в качестве интерпретации или обоснования ZFC-аксиом. Стандартное обозначение — . (ru)
- У теорії множин і суміжних з нею галузях математики під універсумом фон Неймана (позначається V), або ієрархією множин за фон Нейманом, розуміють клас, утворений фундованими множинами. Така сукупність, що формалізується теорією множин Цермело — Френкеля (ZFC), часто використовується для інтерпретації або обґрунтування ZFC-аксіом. (uk)
|
