Successor cardinal

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 ordinal and its successor have the same cardinality (a bijection can be set up between the two by simply sending the last element of the successor to 0, 0 to 1, etc., and fixing ω and all the elements above; in the style of Hilbert's Hotel Infinity). Using the von Neumann cardinal assignment and the axiom of choice (AC), this successor operation is easy to define: for a cardinal number κ we have

:kappa^+ = |inf { lambda in ON | kappa < |lambda| }| ,

where ON is the class of ordinals. That is, the successor cardinal is the cardinality of the least ordinal into which a set of the given cardinality can be mapped one-to-one, but which cannot be mapped one-to-one back into that set.

That the set above is nonempty follows from Hartogs' theorem, which says that for any well-orderable cardinal, a larger such cardinal is constructible. The minimum actually exists because the ordinals are well-ordered. It is therefore immediate that there is no cardinal number in between κ and κ+. A successor cardinal is a cardinal which is κ+ for some cardinal κ. In the infinite case, the successor operation skips over many ordinal numbers; in fact, every infinite cardinal is a limit ordinal. Therefore, the successor operation on cardinals gains a lot of power in the infinite case (relative the ordinal successorship operation), and consequently the cardinal numbers are a very "sparse" subclass of the ordinals. We define the sequence of alephs (via the axiom of replacement) via this operation, through all the ordinal numbers as follows:

:aleph_0 = omega:aleph_{alpha+1} = aleph_{alpha}^+

and for λ an infinite limit ordinal,

:aleph_{lambda} = igcup_{eta < lambda} aleph_eta

If β is a successor ordinal, then aleph_{eta} is a successor cardinal. Cardinals which are not successor cardinals are called limit cardinals; and by the above definition, if λ is a limit ordinal, then aleph_{lambda} is a limit cardinal.

The standard definition above is restricted to the case when the cardinal can be well-ordered, i.e. is finite or an aleph. Without the axiom of choice, there are cardinals which cannot be well-ordered. Some mathematicians have defined the successor of such a cardinal as the cardinality of the least ordinal which cannot be mapped one-to-one into a set of the given cardinality. That is:

:kappa^+ = |inf { lambda in ON | |lambda| leq kappa }| .

ee also

*cardinal assignment

References

*Paul Halmos, "Naive set theory". Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
*Jech, Thomas, 2003. "Set Theory: The Third Millennium Edition, Revised and Expanded". Springer. ISBN 3-540-44085-2.
*Kunen, Kenneth, 1980. "Set Theory: An Introduction to Independence Proofs". Elsevier. ISBN 0-444-86839-9.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • 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

  • Successor — A successor can refer to* Someone who, or something which succeeds or comes after (see success and succession).In mathematics: * A successor cardinal. * A successor ordinal. * A successor function. * A successor vertex.In music: * Successor , an… …   Wikipedia

  • Successor ordinal — When defining the ordinal numbers, an absolutely fundamental operation that we can perform on them is a successor operation S to get the next higher one. Using von Neumann s ordinal numbers (the standard ordinals used in set theory), we have, for …   Wikipedia

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

  • Cardinal Richelieu —     Armand Jean du Plessis, Duke de Richelieu     † Catholic Encyclopedia ► Armand Jean du Plessis, Duke de Richelieu     Cardinal; French statesman, b. in Paris, 5 September, 1585; d. there 4 December 1642. At first he intended to follow a… …   Catholic encyclopedia

  • Cardinal-Infante Ferdinand of Austria — Cardinal Infante Ferdinand (1609/16101 in Escorial near Madrid, Spain 9 November 1641 in Brussels) (also known as Don Fernando de Austria and as Ferdinand von Österreich) was Governor of the Spanish Netherlands, Cardinal of the Holy Roman Church …   Wikipedia

  • Cardinal Vicar — ( it. Cardinale Vicario) is a title commonly given to the vicar general of the diocese of Rome for the portion of the diocese within Italy. The official title, as given in the Annuario Pontificio (under the heading Vicariate of Rome ), is Vicar… …   Wikipedia

  • Cardinal Vicar — • The vicar general of the pope, as Bishop of Rome, for the spiritual administration of the city, and its surrounding district, properly known as Vicarius Urbis Catholic Encyclopedia. Kevin Knight. 2006. Cardinal Vicar     Cardinal V …   Catholic encyclopedia

  • Cardinal-nephew — Pietro Ottoboni, the last Cardinal Nephew, painted by Francesco Trevisani. A cardinal nephew (Latin: cardinalis nepos;[1] Italian: cardinale nipote; …   Wikipedia

  • Cardinal (Catholicism) — A cardinal is a senior ecclesiastical official, usually a bishop, of the Catholic Church. They are collectively known as the College of Cardinals, which as a body elects a new pope. The duties of the cardinals include attending the meetings of… …   Wikipedia

Share the article and excerpts

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