dbo:abstract |
The von Neumann cardinal assignment is a cardinal assignment that uses ordinal numbers. For a well-orderable set U, we define its cardinal number to be the smallest ordinal number equinumerous to U, using the von Neumann definition of an ordinal number. More precisely: where ON is the class of ordinals. This ordinal is also called the initial ordinal of the cardinal. That such an ordinal exists and is unique is guaranteed by the fact that U is well-orderable and that the class of ordinals is well-ordered, using the axiom of replacement. With the full axiom of choice, every set is well-orderable, so every set has a cardinal; we order the cardinals using the inherited ordering from the ordinal numbers. This is readily found to coincide with the ordering via ≤c. This is a well-ordering of cardinal numbers. (en) 始順序数(しじゅんじょすう、英: initial ordinal)または始数(しすう、initial)とは、任意の順序数βに対してβ<α⇒card(β)濃度を表す) 。特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。 また文献によっては、単にもっとも初めの順序数たる0を指すこともある。これは0が後続順序数、極限順序数のいずれでもないことを明示するが、形式的な分類名以上の意味はなく、つまらない。 そのため、本記事では主に前者の意味での解説を行う。 (ja) 冯·诺伊曼基数指派是使用序数的基数指派。对于良序集合 U,我们定义它的基数为等势(equinumerous)于 U 的最小序数。更加精确的, , 當中: * 是单射 * 和 都为真為真 * 是序数的类。 这个序数也叫做这个基数的初始序数。使用替代公理,U 是良序的和序数的类是良序的的事实保证这样一个序数存在并且是唯一的。通过完全选择公理,所有集合都是可良序的,所以所有集合都有一个基数;我们使用从序数继承来的次序排序基数。容易发现这与通过 的排序相符。这是基数的良序排序。 (zh) |
dbo:wikiPageID |
373174 (xsd:integer) |
dbo:wikiPageLength |
4445 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID |
1102794288 (xsd:integer) |
dbo:wikiPageWikiLink |
dbr:John_von_Neumann dbr:Countable_set dbr:Order_type dbr:Class_(set_theory) dbr:Epsilon_numbers_(mathematics) dbr:Equinumerosity dbr:Equivalence_class dbr:Ordinal_arithmetic dbr:Well-order dbr:Aleph_number dbr:Cardinal_assignment dbr:Cardinal_number dbc:Ordinal_numbers dbc:Cardinal_numbers dbr:Axiom_of_choice dbr:Axiom_schema_of_replacement dbr:Natural_number dbr:Ordinal_number dbr:Veblen_function dbr:Uncountable_set |
dbp:wikiPageUsesTemplate |
dbt:Refimprove dbt:Mathematical_logic |
dct:subject |
dbc:Ordinal_numbers dbc:Cardinal_numbers |
rdf:type |
yago:WikicatCardinalNumbers yago:WikicatOrdinalNumbers yago:Abstraction100002137 yago:CardinalNumber113597585 yago:DefiniteQuantity113576101 yago:Measure100033615 yago:Number113582013 yago:OrdinalNumber113597280 |
rdfs:comment |
始順序数(しじゅんじょすう、英: initial ordinal)または始数(しすう、initial)とは、任意の順序数βに対してβ<α⇒card(β)濃度を表す) 。特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。 また文献によっては、単にもっとも初めの順序数たる0を指すこともある。これは0が後続順序数、極限順序数のいずれでもないことを明示するが、形式的な分類名以上の意味はなく、つまらない。 そのため、本記事では主に前者の意味での解説を行う。 (ja) 冯·诺伊曼基数指派是使用序数的基数指派。对于良序集合 U,我们定义它的基数为等势(equinumerous)于 U 的最小序数。更加精确的, , 當中: * 是单射 * 和 都为真為真 * 是序数的类。 这个序数也叫做这个基数的初始序数。使用替代公理,U 是良序的和序数的类是良序的的事实保证这样一个序数存在并且是唯一的。通过完全选择公理,所有集合都是可良序的,所以所有集合都有一个基数;我们使用从序数继承来的次序排序基数。容易发现这与通过 的排序相符。这是基数的良序排序。 (zh) The von Neumann cardinal assignment is a cardinal assignment that uses ordinal numbers. For a well-orderable set U, we define its cardinal number to be the smallest ordinal number equinumerous to U, using the von Neumann definition of an ordinal number. More precisely: where ON is the class of ordinals. This ordinal is also called the initial ordinal of the cardinal. (en) |
rdfs:label |
始順序数 (ja) Von Neumann cardinal assignment (en) 冯·诺伊曼基数指派 (zh) |
owl:sameAs |
freebase:Von Neumann cardinal assignment yago-res:Von Neumann cardinal assignment wikidata:Von Neumann cardinal assignment dbpedia-ja:Von Neumann cardinal assignment dbpedia-zh:Von Neumann cardinal assignment https://global.dbpedia.org/id/4xKEZ |
prov:wasDerivedFrom |
wikipedia-en:Von_Neumann_cardinal_assignment?oldid=1102794288&ns=0 |
foaf:isPrimaryTopicOf |
wikipedia-en:Von_Neumann_cardinal_assignment |
is dbo:wikiPageRedirects of |
dbr:Initial_ordinal dbr:Von_Neumann_cardinal |
is dbo:wikiPageWikiLink of |
dbr:John_von_Neumann dbr:Limit_ordinal dbr:0 dbr:Epsilon_number dbr:Successor_cardinal dbr:1 dbr:Axiom_of_limitation_of_size dbr:Cardinal_assignment dbr:Cardinal_number dbr:Cardinality dbr:Axiom_schema_of_replacement dbr:Natural_number dbr:Ordinal_number dbr:List_of_things_named_after_John_von_Neumann dbr:Initial_ordinal dbr:Von_Neumann_cardinal |
is foaf:primaryTopic of |
wikipedia-en:Von_Neumann_cardinal_assignment |