basic constructions:
strong axioms
further
The Hartogs number of a cardinal number is the number of ways to well-order a set of cardinality at most , up to isomorphism.1
Assuming the axiom of choice, it is the smallest ordinal number whose cardinality is greater than and therefore the successor of as a cardinal number. But even without the axiom of choice, it makes sense and is often an effective substitute for such a successor.
We will define the Hartogs number as a functorial operation from sets to well-ordered sets. The operation on numbers is just a round-about way of talking about the same thing.
So let be a set. Without the axiom of choice (or more precisely, the well-ordering theorem), it may not be possible to well-order itself, but we can certainly well-order some subsets of . On the other hand, if we can well-order (or a subset), then there may be many different ways to do so, even nonisomorphic ways. So to begin with, let us form the collection of all well-ordered subsets of , that is the subset of
where indicates disjoint union and indicates power set, consisting of those pairs such that is a well-ordering. Then form a quotient set by identifying all well-ordered subsets that are isomorphic as well-ordered sets. This gives a set of well-order types, or ordinal numbers, which can itself be well-ordered by the general theory of ordinal numbers.
The Hartogs number of is this well-ordered set, the set of all order types of well-ordered subsets of . It is denoted . If is the cardinality of , then let be the cardinality or ordinal rank (as desired) of the Hartogs number of ; this is called the Hartogs number of .
There are other ways to encode . A subset with a well-ordering can be specified through the collection of its initial segments or down-sets, i.e., a suitable family of subsets of named by an element of . Thus the set of well-orderings of subsets of can be defined as a suitable subset of . Similarly, an equivalence class of such structures corresponding to a given order type is also definable as a subset of , i.e., is named by a suitable element of , so which is the set of such equivalence classes is definable as a subset of .
All of the defining formulas in this description involve only bounded quantification, i.e., can be expressed in the language of BZC or in ETCS. The proof that is well-ordered (by existence of -coalgebra morphisms between representatives of order types) can be enacted in these theories without using the axiom of choice, hence the basic theory of can be carried out in BZ (bounded Zermelo set theory, without choice).
There is no injection .
This theorem is to Cantor's theorem as Burali-Forti's paradox is to Russell's paradox. This observation alone hints how the proof goes:
As observed before, is well-ordered. Suppose there were an injection ; then gives a bijection of onto its image . By transport of structure, uniquely admits a well-ordering for which is an isomorphism of well-ordered sets. Using this well-ordering, there is an initial segment inclusion
which takes to (the order type of) . Since there can be at most one initial segment inclusion between well-orders (cf. simulation), must coincide with the isomorphism , which is onto. This means , representing its isomorphism class , is order-isomorphic to a well-ordered set for some , say by . Again, by uniqueness of initial segment inclusions, coincides with the inclusion , so this inclusion is onto and so . This in turn implies , a contradiction.
According to this theorem, using the usual ordering of cardinal numbers, . So if this is a total order (a statement equivalent to the axiom of choice), we can say that .
Even without choice, however, we can say this: If is an ordinal number such that , then . (Notice that we've shifted our thinking of the Hartogs number from a cardinal to an ordinal.) That is, is the smallest ordinal number whose cardinal number is not at most . This doesn't use any form of choice except for excluded middle; we only need choice to conclude that .
Define a relation from to where if and are isomorphic as well-ordered sets. Then defines a monic partial function whose domain is an initial segment of . If , then witnesses . Otherwise there is a least such that the restriction of to has no upper bound in (implying ). By downward closure, it follows that is onto, hence witnesses , where the codomain is isomorphic to a well-ordered subset of by definition of , and contradicting .
The axiom of choice also implies the well-ordering theorem, that any set can be well-ordered. Thus with choice, is (now as a cardinal again) the smallest cardinal number greater than ; this explains the notation .
In ZF (without C, the axiom of choice), a set can be well-ordered if there is an injection , for any subset of a well-ordered set inherits a well-order. As an amusing illustration of this principle, we will prove an old result due to Sierpiński, following Gillman:
If the generalized continuum hypothesis holds, then the axiom of choice holds, i.e., ZF + GCH implies AC.
(Recall the GCH as formulated in ZF: for infinite sets , if , then or , letting denote the cardinality as usual and where means there is a monomorphism .)
In fact we will show that any set can be well-ordered, which implies AC (see the article Zorn's lemma). We start with a technical trick: any can be embedded in a set with the property (consider for example ), and then it suffices to well-order such , since we can then pull back the well-ordering along the embedding to well-order . Iterated power sets of also have that property.
Now, the Hartogs number can be constructed explicitly in ZF as a subset of the triple power set . We will show for that under GCH, the hypothesis , true for , leads to one of two conclusions:
(whence can be well-ordered), or
.
If we land in case 2, then we loop around and feed that conclusion back into the hypothesis and iterate. Iterating this, we cannot descend through case 2 all the way down to , so after a few iterations we wind up in case 1 anyway: can be well-ordered.
To show this, we need a spot of cardinal arithmetic in ZF. First, we already observed that any for has the property . Second, we claim
whose ZF-proof we give in a moment. Granting the claim, let us continue. We have
or just
By GCH, one of those two inequalities is an equality. If the first inequality is an equality, then we conclude , which lands us in case 2. If the second inequality is an equality, then the claim applies and we conclude , in which case and we land in case 1.
So we are done except for the claim. Given bijections , , let be the evident composite
where denotes first projection. Let be an element not in the image of , e.g., (Cantor's theorem). It follows that under the bijection , those elements of that map to elements of the fiber can only belong to the summand . Thus it is a subset of that maps bijectively onto , and this proves .
Methods somewhat similar to those used to prove GCH implies AC can be used to establish equivalent forms of AC.
(Tarski) Over ZF (or ETCS without choice), the axiom of choice holds iff every infinite set can be put into bijection with its square: .
The more interesting direction is the “if”, so we assume every infinite set can be put into bijection with its square.
It suffices to prove that every can be well-ordered. WLOG we prove this for (Dedekind) infinite , since every embeds in a Dedekind infinite set (such as ), and we can pull back a well-order on the latter along such an embedding to one on the former.
For infinite , let be the disjoint union , and let be a bijection. We claim that for all , there exist such that . If that were not true, then there would exist such that for all we have , or in other words for all we have , so that defines an injection . This is impossible.
By the claim, for each there is a least pair , considered in lexicographic order, such that . This assignment defines an embedding into a well-ordered set, so that inherits a well-order by restriction along the embedding, and we are done.
A very similar method establishes the following claim.
Over ZF, AC is equivalent to the statement that every inhabited set admits a group structure.
Every inhabited finite set admits a cyclic group structure, and under AC any infinite set can be put in bijection with the collection of its finite subsets, which forms a group under symmetric difference.
Conversely, suppose admits a group structure. Then for every , there exist such that . For if that were not true, then there exists such that for all , we have , i.e., for all we have , which implies left multiplication by defines an injection , contradiction.
So for each , there exists a least in lexicographic order such that . This again defines an embedding into a well-ordered set , and we are done.
For a natural number regarded as the cardinal number of a finite set, is the usual successor . This result uses excluded middle; else we get the plump successor of , which may be rather larger.
For the cardinality of the set of all natural numbers, the Hartogs number is the smallest uncountable ordinal. Assuming the axiom of choice (countable choice and excluded middle are enough), we have as a cardinal.
In general, we get a sequence of infinite cardinalities of well-orderable sets; assuming excluded middle, every infinite well-orderable cardinality shows up in this sequence. Assuming the axiom of choice, every infinite cardinal shows up, and we have . (Actually, there's no real need to begin with infinite cardinals; if we started with instead of and instead of , then absolutely every cardinality or well-orderable cardinality would appear.)
Friedrich Hartogs, Über das Problem der Wohlordnung , Math. Ann. 76 no.4 (1915) pp.438-443. (gdz)
Radu Diaconescu, On Comparability in a Topos , Proc. AMS 98 no.3 (1986) pp.389-393. (pdf)
Leonard Gillman, Two Classical Surprises Concerning the Axiom of Choice and the Continuum Hypothesis, Amer. Math. Monthly 109 (June-July 2002), 544-553. (pdf)
The last section of Gillman’s paper is based on Sierpiński’s 1947 proof which may be found here.
The spelling Hartogs’ number, or even Hartog’s number, is also in use. The latter based presumably on a misapprehension since the concept was originally proposed by the German mathematician Friedrich Hartogs (1874-1943) in 1915. ↩
Last revised on December 24, 2022 at 22:36:21. See the history of this page for a list of all contributions to it.