dbo:abstract
|
- První nespočetný ordinál, tradičně označovaný ω1 případně Ω, je v matematice nejmenší ordinální číslo, které je nespočetnou množinou. První nespočetný ordinál je supremum (nejmenší horní závora) všech spočetných ordinálů. Prvky ω1 jsou spočetné ordinály, kterých je nespočetně mnoho. Stejně jako jiná ordinální čísla (ve von Neumannově přístupu) je ω1 dobře uspořádanou množinou, kde relace je prvkem množiny ("∈", též relace náležení) definuje uspořádání. ω1 je limitní ordinál, což znamená, že neexistuje ordinální číslo α, pro které α + 1 = ω1. Kardinalita ω1 je první nespočetné kardinální číslo, ℵ1. Ordinál ω1 je tedy počátečním ordinálem ℵ1. ve většině konstrukcí jsou opravdu ω1 a ℵ1 stejné množiny. Zobecnění: pokud α je libovolné ordinální číslo, definujeme ωα jako počáteční ordinál kardinálního čísla ℵα. Existenci ω1 lze dokázat bez axiomu výběru (viz ). (cs)
- In mathematics, the first uncountable ordinal, traditionally denoted by or sometimes by , is the smallest ordinal number that, considered as a set, is uncountable. It is the supremum (least upper bound) of all countable ordinals. When considered as a set, the elements of are the countable ordinals (including finite ordinals), of which there are uncountably many. Like any ordinal number (in von Neumann's approach), is a well-ordered set, with set membership serving as the order relation. is a limit ordinal, i.e. there is no ordinal such that . The cardinality of the set is the first uncountable cardinal number, (aleph-one). The ordinal is thus the initial ordinal of . Under the continuum hypothesis, the cardinality of is , the same as that of —the set of real numbers. In most constructions, and are considered equal as sets. To generalize: if is an arbitrary ordinal, we define as the initial ordinal of the cardinal . The existence of can be proven without the axiom of choice. For more, see Hartogs number. (en)
- En matemáticas, el primer ordinal no numerable, tradicionalmente denotado por ω1 o en ocasiones por Ω, es el ordinal más pequeño que al ser considerado como conjunto, no es numerable. Es el supremo de todos los ordinales numerables. Los elementos de ω1 son los ordinales numerables o finitos, de los cuales, no hay una cantidad numerable. El menor de todos los ordinales numerables, sería el primer ordinal infinito ω0 (también escrito ω). Como cualquier ordinal, según la definición de Von Neumann, ω1 está bien ordenado, con la pertenencia (∈) como relación de orden.ω1 es un ordinal límite, i.e no hay un ordinal α con α+1=ω1. La cardinalidad del conjunto ω1 es el primer cardinal no numerable, es decir, alef uno . De hecho, en la mayoría de las construcciones ω1 y son el mismo conjunto. Cabe señalar que la existencia de ω1 se puede probar sin el axioma de elección (ver número de Hartogs.) (es)
- En mathématiques, le premier ordinal non dénombrable, noté ω₁ ou parfois Ω, est le plus petit ordinal non dénombrable ; c'est aussi l'ensemble des ordinaux finis ou infinis dénombrables. En d'autres termes, c'est l'ordinal de Hartogs de tout ensemble infini dénombrable. (fr)
- 最小の非可算順序数(英: First uncountable ordinal)ω1の存在は、選択公理によらずに示すことができる(ハルトークス数を参照)。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 ℵ1 に等しい。 (ja)
- 在數學中,首個不可數序數,傳統記之為ω1(或有時為Ω),是一個最小的序數,而其於被考慮為集合時為不可數。它是所有可數序數的最小上界。ω1 的所有元素,皆為可數序數,縱使它們的數目共有不可數多個。 與任何序數相像(冯·诺伊曼的方法),ω1是一個良序集合,以集合從屬性("∈")作為序的關係。ω1是一個极限序数,意即並不存在一個α使得α + 1 = ω1。 集合ω1的势,是第一個不可數基數——ℵ1阿列夫數1號。是故ω1乃是ℵ1的起始序數。而且,在大部份的構造中,ω1 與 ℵ1 是同一個集合(見冯·诺伊曼基数指派)。推而廣之,若α為任意序數,我們定義ωα 為基數ℵα的起始序數。 ω1的存在性,可以在沒有选择公理的情況下被證明(見哈特格斯數)。 (zh)
|
rdfs:comment
|
- En mathématiques, le premier ordinal non dénombrable, noté ω₁ ou parfois Ω, est le plus petit ordinal non dénombrable ; c'est aussi l'ensemble des ordinaux finis ou infinis dénombrables. En d'autres termes, c'est l'ordinal de Hartogs de tout ensemble infini dénombrable. (fr)
- 最小の非可算順序数(英: First uncountable ordinal)ω1の存在は、選択公理によらずに示すことができる(ハルトークス数を参照)。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 ℵ1 に等しい。 (ja)
- 在數學中,首個不可數序數,傳統記之為ω1(或有時為Ω),是一個最小的序數,而其於被考慮為集合時為不可數。它是所有可數序數的最小上界。ω1 的所有元素,皆為可數序數,縱使它們的數目共有不可數多個。 與任何序數相像(冯·诺伊曼的方法),ω1是一個良序集合,以集合從屬性("∈")作為序的關係。ω1是一個极限序数,意即並不存在一個α使得α + 1 = ω1。 集合ω1的势,是第一個不可數基數——ℵ1阿列夫數1號。是故ω1乃是ℵ1的起始序數。而且,在大部份的構造中,ω1 與 ℵ1 是同一個集合(見冯·诺伊曼基数指派)。推而廣之,若α為任意序數,我們定義ωα 為基數ℵα的起始序數。 ω1的存在性,可以在沒有选择公理的情況下被證明(見哈特格斯數)。 (zh)
- První nespočetný ordinál, tradičně označovaný ω1 případně Ω, je v matematice nejmenší ordinální číslo, které je nespočetnou množinou. První nespočetný ordinál je supremum (nejmenší horní závora) všech spočetných ordinálů. Prvky ω1 jsou spočetné ordinály, kterých je nespočetně mnoho. Stejně jako jiná ordinální čísla (ve von Neumannově přístupu) je ω1 dobře uspořádanou množinou, kde relace je prvkem množiny ("∈", též relace náležení) definuje uspořádání. ω1 je limitní ordinál, což znamená, že neexistuje ordinální číslo α, pro které α + 1 = ω1. Existenci ω1 lze dokázat bez axiomu výběru (viz ). (cs)
- In mathematics, the first uncountable ordinal, traditionally denoted by or sometimes by , is the smallest ordinal number that, considered as a set, is uncountable. It is the supremum (least upper bound) of all countable ordinals. When considered as a set, the elements of are the countable ordinals (including finite ordinals), of which there are uncountably many. Like any ordinal number (in von Neumann's approach), is a well-ordered set, with set membership serving as the order relation. is a limit ordinal, i.e. there is no ordinal such that . (en)
- En matemáticas, el primer ordinal no numerable, tradicionalmente denotado por ω1 o en ocasiones por Ω, es el ordinal más pequeño que al ser considerado como conjunto, no es numerable. Es el supremo de todos los ordinales numerables. Los elementos de ω1 son los ordinales numerables o finitos, de los cuales, no hay una cantidad numerable. El menor de todos los ordinales numerables, sería el primer ordinal infinito ω0 (también escrito ω). Cabe señalar que la existencia de ω1 se puede probar sin el axioma de elección (ver número de Hartogs.) (es)
|