Cardinal assignment

Cardinal assignment

In set theory, the concept of cardinality is significantly developable without recourse to actually defining cardinal numbers as objects in theory itself (this is in fact a viewpoint taken by Frege; Frege cardinals are basically equivalence classes on the entire universe of sets which are equinumerous). The concepts are developed by defining equinumerosity in terms of functions and the concepts of one-to-one and onto (injectivity and surjectivity); this gives us a pseudo-ordering relation

:A leq_c Bquad iffquad (exists f)(f : A o B mathrm{is injective})

on the whole universe by size. It is not a true ordering because the trichotomy law need not hold: if both A leq_c B and B leq_c A, it is true by the Cantor–Bernstein–Schroeder theorem that A =_c B i.e. "A" and "B" are equinumerous, but they do not have to be literally equal; that at least one case holds turns out to be equivalent to the Axiom of choice.

Nevertheless, most of the "interesting" results on cardinality and its arithmetic can be expressed merely with =c.

The goal of a cardinal assignment is to assign to every set "A" a specific, unique set which is only dependent on the cardinality of "A". This is in accordance with Cantor's original vision of a cardinals: to take a set and abstract its elements into canonical "units" and collect these units into another set, such that the only thing special about this set is its size. These would be totally ordered by the relation leq_c and =c would be true equality. As Y. N. Moschovakis says, however, this is mostly an exercise in mathematical elegance, and you don't gain much unless you are "allergic to subscripts." However, there are various valuable applications of "real" cardinal numbers in various models of set theory.

In modern set theory, we usually use the Von Neumann cardinal assignment which uses the theory of ordinal numbers and the full power of the Axioms of choice and replacement. Cardinal assignments do need the full Axiom of choice, if we want a decent cardinal arithmetic and an assignment for "all" sets. More on this (and much more good set theory in general!) can be found in Moschovakis' excellent introduction to set theory.

Cardinal assignment without the axiom of choice

Formally, assuming the axiom of choice, cardinality of a set "X" is the least ordinal α such that there is a bijection between "X" and α. This definition is known as the von Neumann cardinal assignment. If the axiom of choice is not assumed we need to do something different. The oldest definition of the cardinality of a set "X" (implicit in Cantor and explicit in Frege and Principia Mathematica) is as the set of all sets which are equinumerous with "X": this does not work in ZFC or other related systems of axiomatic set theory because this collection is too large to be a set, but it does work in type theory and in New Foundations and related systems. However, if we restrict from this class to those equinumerous with "X" that have the least rank, then it will work (this is a trick due to Dana Scott: it works because the collection of objects with any given rank is a set).

References

*Moschovakis, Yiannis N. "Notes on Set Theory". New York: Springer-Verlag, 1994.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Von Neumann cardinal assignment — The von Neumann cardinal assignment is a cardinal assignment which uses ordinal numbers. For a well ordered set U , we define its cardinal number to be the smallest ordinal number equinumerous to U . More precisely,:|U| = mathrm{card}(U) = inf {… …   Wikipedia

  • Cardinal number — This article describes cardinal numbers in mathematics. For cardinals in linguistics, see Names of numbers in English. In mathematics, cardinal numbers, or cardinals for short, are generalized numbers used to measure the cardinality (size) of… …   Wikipedia

  • Cardinal — • A dignitary of the Roman Church and counsellor of the pope Catholic Encyclopedia. Kevin Knight. 2006. Cardinal     Cardinal     † …   Catholic encyclopedia

  • Successor cardinal — In the theory of cardinal numbers, we can define a successor operation similar to that in the ordinal numbers. This coincides with the ordinal successor operation for finite cardinals, but in the infinite case they diverge because every infinite… …   Wikipedia

  • Law, Bernard Cardinal — ▪ 2003       When 2002 began, Boston s Bernard Cardinal Law was the senior Roman Catholic cardinal in the U.S. and the chairman of the bishops Committee on International Policy, but as the year drew to a close, he had resigned his position as… …   Universalium

  • Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… …   Wikipedia

  • Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… …   Wikipedia

  • 0 (number) — Zero redirects here. For other uses, see Zero (disambiguation). 0 −1 0 1 2 3 4 5 6 7 8 …   Wikipedia

  • Limit ordinal — A limit ordinal is an ordinal number which is neither zero nor a successor ordinal. Various equivalent ways to express this are: *It cannot be reached via the ordinal successor operation S ; in precise terms, we say lambda; is a limit ordinal if… …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”