Axiom of countable choice

Concept in mathematics

Each set in the countable sequence of sets (Si) = S1, S2, S3, ... contains a non-zero, and possibly infinite (or even uncountably infinite), number of elements. The axiom of countable choice allows us to arbitrarily select a single element from each set, forming a corresponding sequence of elements (xi) = x1, x2, x3, ...

The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. That is, given a function A {\displaystyle A} with domain N {\displaystyle \mathbb {N} } (where  N {\displaystyle \mathbb {N} } denotes the set of natural numbers) such that  A ( n ) {\displaystyle A(n)} is a non-empty set for every  n ∈ N {\displaystyle n\in \mathbb {N} } , there exists a function  f {\displaystyle f} with domain  N {\displaystyle \mathbb {N} } such that  f ( n ) ∈ A ( n ) {\displaystyle f(n)\in A(n)} for every  n ∈ N {\displaystyle n\in \mathbb {N} } .

## Applications

[edit]

ACω is particularly useful for the development of mathematical analysis, where many results depend on having a choice function for a countable collection of sets of real numbers. For instance, in order to prove that every accumulation point x {\displaystyle x} of a set  S ⊆ R {\displaystyle S\subseteq \mathbb {R} } is the limit of some sequence of elements of  S ∖ { x } {\displaystyle S\setminus \\{x\\}} , one needs (a weak form of) the axiom of countable choice. When formulated for accumulation points of arbitrary metric spaces, the statement becomes equivalent to ACω.

The ability to perform analysis using countable choice has led to the inclusion of ACω as an axiom in some forms of constructive mathematics, despite its assertion that a choice function exists without constructing it.[1]

### Example: infinite implies Dedekind-infinite

[edit]

As an example of an application of ACω, here is a proof (from ZF + ACω) that every infinite set is Dedekind-infinite:[2]

Let  X {\displaystyle X} be infinite. For each natural number  n {\displaystyle n} , let  A n {\displaystyle A_{n}} be the set of all  n {\displaystyle n} -tuples of distinct elements of  X {\displaystyle X} . Since  X {\displaystyle X} is infinite, each  A n {\displaystyle A_{n}} is non-empty. Application of ACω yields a sequence  ( B n ) n ∈ N {\displaystyle (B_{n})_{n\in \mathbb {N} }} where each  B n {\displaystyle B_{n}} is an  n {\displaystyle n} -tuple. One can then concatenate these tuples into a single sequence  ( b n ) n ∈ N {\displaystyle (b_{n})_{n\in \mathbb {N} }} of elements of  X {\displaystyle X} , possibly with repeating elements. Suppressing repetitions produces a sequence  ( c n ) n ∈ N {\displaystyle (c_{n})_{n\in \mathbb {N} }} of distinct elements, where

c n = b k {\displaystyle c_{n}=b_{k}} , with  k = min { i ∣ ∀ j < n b i ≠ c j } {\displaystyle k=\min\\{i\mid \forall _{j<n}b_{i}\neq c_{j}\\}} .

This  i {\displaystyle i} exists, because when selecting  c n {\displaystyle c_{n}} it is not possible for all elements of  B n + 1 {\displaystyle B_{n+1}} to be among the  n {\displaystyle n} elements selected previously. So  X {\displaystyle X} contains a countable set. The function that maps each  c n {\displaystyle c_{n}} to  c n + 1 {\displaystyle c_{n+1}} (and leaves all other elements of  X {\displaystyle X} fixed) is a one-to-one map from  X {\displaystyle X} into  X {\displaystyle X} which is not onto, proving that  X {\displaystyle X} is Dedekind-infinite.[2]

## Relation to other axioms

[edit]

### Stronger and independent systems

[edit]

The axiom of countable choice (ACω) is strictly weaker than the axiom of dependent choice (DC),[3] which in turn is weaker than the axiom of choice (AC). DC, and therefore also ACω, hold in the Solovay model, constructed in 1970 by Robert M. Solovay as a model of set theory without the full axiom of choice, in which all sets of real numbers are measurable.[4]

Urysohn's lemma (UL) and the Tietze extension theorem (TET) are independent of ZF+ACω: there exist models of ZF+ACω in which UL and TET are true, and models in which they are false. Both UL and TET are implied by DC.[5]

### Weaker systems

[edit]

Paul Cohen showed that ACω is not provable in Zermelo–Fraenkel set theory (ZF) without the axiom of choice.[6] However, some countably infinite sets of non-empty sets can be proven to have a choice function in ZF without any form of the axiom of choice. For example,  V ω ∖ { ∅ } {\displaystyle V_{\omega }\setminus \\{\emptyset \\}} has a choice function, where  V ω {\displaystyle V_{\omega }} is the set of hereditarily finite sets, i.e. the first set in the Von Neumann universe of non-finite rank. The choice function is (trivially) the least element in the well-ordering. Another example is the set of proper and bounded open intervals of real numbers with rational endpoints.

ZF+ACω suffices to prove that the union of countably many countable sets is countable. These statements are not equivalent: Cohen's First Model supplies an example where countable unions of countable sets are countable, but where ACω does not hold.[7]

### Equivalent forms

[edit]

There are many equivalent forms to the axiom of countable choice, in the sense that any one of them can be proven in ZF assuming any other of them. They include the following:[8][9]

* Every countable collection of non-empty sets has a choice function.[8]
* Every infinite collection of non-empty sets has an infinite sub-collection with a choice function.[8]
* Every σ-compact space (the union of countably many compact spaces) is a Lindelöf space (every open cover has a countable subcover).[8] A metric space is σ-compact if and only if it is Lindelöf.[9]
* Every second-countable space (it has a countable base of open sets) is a separable space (it has a countable dense subset).[8] A metric space is separable if and only if it is σ-compact.[9]
* Every sequentially continuous real-valued function in a metric space is a continuous function.[8]
* Every accumulation point of a subset of a metric space is a limit of a sequence of points from the subset.[9]
* The Rasiowa–Sikorski lemma MA ( ℵ 0 ) {\displaystyle (\aleph _{0})} , a countable form of Martin's axiom: in a preorder with the countable chain condition, every countable family of dense subsets has a filter intersecting all the subsets. (In this context, a set is called dense if every element of the preorder has a lower bound in the set.)[8]

## References

[edit]

1. ^ Bauer, Andrej (2017). "Five stages of accepting constructive mathematics". Bulletin of the American Mathematical Society. New Series. 54 (3): 481–498\. doi:10.1090/bull/1556. MR 3662915.
2. ^ a b Herrlich 2006, Proposition 4.13, p. 48.
3. ^ Jech, Thomas J. (1973). The Axiom of Choice. North Holland. pp. 130–131\. ISBN 978-0-486-46624-8.
4. ^ Solovay, Robert M. (1970). "A model of set-theory in which every set of reals is Lebesgue measurable". Annals of Mathematics. Second Series. 92 (1): 1–56\. doi:10.2307/1970696. ISSN 0003-486X. JSTOR 1970696. MR 0265151.
5. ^ Tachtsis, Eleftherios (2019), "The Urysohn lemma is independent of ZF + countable choice", Proceedings of the American Mathematical Society, 147 (9): 4029–4038, doi:10.1090/proc/14590, MR 3993794
6. ^ Potter, Michael (2004). Set Theory and its Philosophy : A Critical Introduction. Oxford University Press. p. 164\. ISBN 9780191556432.
7. ^ Herrlich, Horst (2006). "Section A.4". Axiom of Choice. Lecture Notes in Mathematics. Vol. 1876\. Springer. doi:10.1007/11601562. ISBN 3-540-30989-6. Retrieved 18 July 2023.
8. ^ a b c d e f g Howard, Paul; Rubin, Jean E. (1998). Consequences of the axiom of choice. Providence, Rhode Island: American Mathematical Society. ISBN 978-0-8218-0977-8. See in particular Form 8, p. 17–18.
9. ^ a b c d Herrlich, Horst (1997). "Choice principles in elementary topology and analysis" (PDF). Comment. Math. Univ. Carolinae. 38 (3): 545. See, in particular, Theorem 2.4, pp. 547–548.

* v
* t
* e

Set theory

Overview|

* Set (mathematics)

Axioms|

* Adjunction
* Choice
* countable
* dependent
* global
* Constructibility (V=L)
* Determinacy
* projective
* Extensionality
* Infinity
* Limitation of size
* Pairing
* Power set
* Regularity
* Union
* Martin's axiom

* Axiom schema
* replacement
* specification

Operations|

* Cartesian product
* Complement (i.e. set difference)
* De Morgan's laws
* Disjoint union
* Identities
* Intersection
* Power set
* Symmetric difference
* Union

* Concepts
* Methods

* Almost
* Cardinality
* Cardinal number (large)
* Class
* Constructible universe
* Continuum hypothesis
* Diagonal argument
* Element
* ordered pair
* tuple
* Family
* Forcing
* One-to-one correspondence
* Ordinal number
* Set-builder notation
* Transfinite induction
* Venn diagram

Set types|

* Amorphous
* Countable
* Empty
* Finite (hereditarily)
* Filter
* base
* subbase
* Ultrafilter
* Fuzzy
* Infinite (Dedekind-infinite)
* Recursive
* Singleton
* Subset · Superset
* Transitive
* Uncountable
* Universal

Theories|

* Alternative
* Axiomatic
* Naive
* Cantor's theorem

* Zermelo
* General
* Principia Mathematica
* New Foundations
* Zermelo–Fraenkel
* von Neumann–Bernays–Gödel
* Morse–Kelley
* Kripke–Platek
* Tarski–Grothendieck

* Paradoxes
* Problems

* Russell's paradox
* Suslin's problem
* Burali-Forti paradox

Set theorists|

* Paul Bernays
* Georg Cantor
* Paul Cohen
* Richard Dedekind
* Abraham Fraenkel
* Kurt Gödel
* Thomas Jech
* John von Neumann
* Willard Quine
* Bertrand Russell
* Thoralf Skolem
* Ernst Zermelo

This article incorporates material from axiom of countable choice on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template