Axiom of Choice

Axiom of Choice The Axiom of Choice is a principle in Set theory asserting that for any family of nonempty sets there exists a choice function selecting one element from each set. It was formulated by Ernst Zermelo and later analyzed by John von Neumann, Paul Cohen, Kurt Gödel, and others in the development of Zermelo–Fraenkel set theory and has deep connections to results in Topology, Functional analysis, Measure theory, and Algebra.

Statement

The axiom states that given any indexed family {A_i}_{i∈I} of nonempty sets there exists a function f with domain I such that f(i)∈A_i for every i∈I; this formulation was proposed by Ernst Zermelo in 1904 and formalized within Zermelo–Fraenkel by later authors including Abraham Fraenkel and Thoralf Skolem. Equivalent formulations appear in the literature of Georg Cantor and Richard Dedekind and are often presented alongside axioms like Axiom of Extensionality, Axiom of Replacement, and Axiom of Regularity in axiomatizations such as ZF and ZFC. Variants include choice for finite families, countable choice studied by L. E. J. Brouwer and Errett Bishop, and global choice treated in models considered by Paul Bernays and John von Neumann.

Equivalent formulations and consequences

The axiom is equivalent to several mathematical statements: every set can be well-ordered (the Well-Ordering Theorem), Tychonoff's theorem for products of compact spaces in Topology, Zorn's Lemma used in proofs in Algebra and Functional analysis, and the existence of bases for vector spaces in Linear algebra. These equivalences were established by figures such as Ernst Zermelo (Well-Ordering), Max Zorn (Zorn's Lemma), and formalized in expositions by Alonzo Church and Paul Cohen; consequences include the Hamel basis results in Lebesgue integration contexts, existence results in Module theory, and pathologies like the Banach–Tarski paradox noted by Stefan Banach and Alfred Tarski. Related equivalences involve the Boolean prime ideal theorem studied by Marshall Stone and combinatorial principles examined by Paul Erdős and André Weil.

Independence and historical development

Zermelo introduced the principle during debates with contemporaries including Georg Cantor and David Hilbert; later, Kurt Gödel showed relative consistency results by constructing the constructible universe L, demonstrating that ZFC does not disprove the axiom, while Paul Cohen used forcing to prove independence by producing models of ZF in which the axiom fails. The independence proof by Cohen earned connections to techniques later used in areas influenced by Solomon Lefschetz and Andrey Kolmogorov, and historical discussion involves responses by Luitzen Brouwer and the intuitionists at institutions like the Mathematical Institute of the University of Amsterdam. Debates in the mid-20th century featured mathematicians such as John von Neumann and Haskell Curry in foundations seminars at places like Princeton University and Institute for Advanced Study.

Applications in mathematics

The axiom underpins existence proofs across Algebraic geometry, Number theory, Functional analysis, and Category theory: construction of bases in vector spaces used in Hermann Weyl's work, proofs of existence of maximal ideals in Commutative algebra credited to Emmy Noether's school, and selection theorems in Topology applied to results by Maurice Fréchet and André Weil. It supports foundational results such as existence of nonprincipal ultrafilters connected to Ultrafilter lemma and studies by Kurt Gödel and Jerzy Łoś in model theory; it also enables nonconstructive proofs in Ergodic theory and existence statements in Differential geometry that arose in work by Marston Morse and Shing-Tung Yau.

Controversies and alternative axioms

The axiom sparked controversies involving intuitionists like Luitzen Brouwer and constructivists such as Errett Bishop, who criticized nonconstructive consequences, and prompted development of alternative frameworks: constructive set theories by Per Martin-Löf, Bishop-style constructive mathematics, Neumann–Bernays–Gödel set theory considered by Paul Bernays, and axioms like the Boolean prime ideal theorem, Dependent Choice, and Determinacy studied by Donald A. Martin and Kenneth Kunen. Debates continued in forums at institutions like Cambridge University and University of Göttingen and involved critics and defenders including Wacław Sierpiński, Jean-Pierre Serre, and Solomon Feferman.

Category:Set theory