About: Von Neumann cardinal assignment     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:OrdinalNumber113597280, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FVon_Neumann_cardinal_assignment

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.

AttributesValues
rdf:type
rdfs:label
  • 始順序数 (ja)
  • Von Neumann cardinal assignment (en)
  • 冯·诺伊曼基数指派 (zh)
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)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has 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)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 49 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software