Hartogs number

Hartogs number

In mathematics, specifically in axiomatic set theory, a Hartogs number is a particular kind of cardinal number. It was shown by Friedrich Hartogs in 1915, from ZF alone (that is, without using the axiom of choice), that there is a least wellordered cardinal greater than a given wellordered cardinal.

To define the Hartogs number of a set it is not in fact necessary that the set be wellorderable: If "X" is any set, then the Hartogs number of "X" is the least ordinal α such that there is no injection from α into "X". If "X" cannot be wellordered, then we can no longer say that this α is the least wellordered cardinal "greater" than the cardinality of "X", but it remains the least wellordered cardinal "not less than or equal to" the cardinality of "X".

Proof

Given some basic theorems of set theory, the proof is simple. Let alpha = {eta in extrm{Ord}| exists i: eta hookrightarrow X}. First, we verify that α is a set.
#"X" × "X" is a set, as can be seen in axiom of power set#Consequences.
# The power set of "X" × "X" is a set, by the axiom of power set.
# The "set" "W" of all reflexive wellorderings of subsets of "X" is a definable subset of the preceding set, so is a set by the axiom schema of separation
# The "set" of all order types of wellorderings in "W" is a set by the axiom schema of replacement, as
#::(Domain("w") , "w") cong (β, ≤)
#:can be described by a simple formula.

But this last set is exactly α.

Now because a transitive set of ordinals is again an ordinal, α is an ordinal. Furthermore, if there were an injection from α into "X", then we would get the contradiction that α ∈ α. It is claimed that α is the least such ordinal with no injection into "X". Given β < α, β ∈ α so there is an injection from β into "X".

References

*
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Hartogs' lemma — Note: Terminology is quite confused: Hartogs lemma sometimes refers to Hartogs result on the Hartogs number, while Hartogs theorem often refers to this result. In mathematics, Hartogs lemma is a fundamental result on several complex variables,… …   Wikipedia

  • Hartogs' theorem — NB that the terminology is inconsistent and Hartogs theorem may also mean Hartogs lemma on removable singularities, or the result on Hartogs number In mathematics, Hartogs theorem is a fundamental result of Friedrich Hartogs in the theory of… …   Wikipedia

  • Número de Hartogs — En matemáticas, en particular en la teoría axiomática de conjuntos, un número de Hartogs es un tipo particular de número cardinal. En 1915, Friedrich Hartogs demostró que basta con los axiomas de Zermelo Fraenkel (es decir, no se requiere el… …   Wikipedia Español

  • Friedrich Hartogs — Friedrich Moritz Hartogs (20 May, 1874 ndash;18 August, 1943) was a German Jewish mathematician, known for work on set theory and foundational results on several complex variables. See also * Hartogs domain * Hartogs Laurent expansion * Hartogs… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Hartog — is a surname. It may refer to: ;Hartog * Ashley Hartog South African soccer player * Dirk Hartog (1580 1621) Dutch sea captain and explorer * Simon Hartog British filmmaker * Wil Hartog Dutch motorcycle racer; De Hartog * Jan de Hartog (1914… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • 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

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • Several complex variables — The theory of functions of several complex variables is the branch of mathematics dealing with functions : f ( z1, z2, ..., zn ) on the space C n of n tuples of complex numbers. As in complex analysis, which is the case n = 1 but of a distinct… …   Wikipedia

Share the article and excerpts

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