Axiom of choice
The Axiom of Choice (AC) is a foundational axiom in axiomatic set theory that asserts: given any collection of nonempty sets, there exists a choice function that selects exactly one element from each set in the collection.[1] Formally, if X is a set whose elements are nonempty sets, then there is a function f: X \to \bigcup X such that f(x) \in x for every x \in X.[2] The axiom was first explicitly formulated by the German mathematician Ernst Zermelo in 1904, in his proof of the well-ordering theorem, which states that every set can be well-ordered.[3] Zermelo's original statement, drawn from a letter to David Hilbert, posited that for any subset of a set, one can arbitrarily choose an element from it to construct a well-ordering.[1] In 1908, Zermelo incorporated AC into his axiomatization of set theory, where it appeared as the sixth axiom, justifying the existence of such selections without constructive methods.[4] This formulation sparked immediate controversy among mathematicians like Henri Poincaré and Bertrand Russell, who questioned its intuitive validity and potential to lead to non-constructive proofs.[1] Within Zermelo-Fraenkel set theory (ZF), AC is independent, meaning it cannot be proved or disproved from the other axioms; its adoption forms ZFC, the standard system underpinning most modern mathematics.[1] AC is logically equivalent to several other principles, including Zorn's lemma—which states that every partially ordered set with upper bounds for all chains has a maximal element—and the well-ordering principle, which guarantees a well-ordering for any set.[5] These equivalences, established in the mid-20th century, allow AC to underpin theorems in algebra, analysis, and topology, such as the existence of bases for vector spaces and the Hahn-Banach theorem.[6] However, AC implies paradoxical results, like the Banach-Tarski theorem, which shows a sphere can be decomposed into finitely many pieces and reassembled into two spheres of the same size, highlighting its non-intuitive consequences.[1] Despite debates, AC is widely accepted in mainstream mathematics for its utility, though alternatives like ZF without AC are explored in constructive mathematics.[2]Formal Statement
Definition
The axiom of choice, often abbreviated as AC, is a fundamental principle in set theory that states: for any set X consisting of nonempty sets, there exists a choice function f: X \to \bigcup_{A \in X} A such that f(A) \in A for all A \in X.[1] This formulation guarantees the existence of a function that selects exactly one element from each set in the collection X, without specifying how the selection is made.[1] Here, the set X is a collection of nonempty sets, meaning every element of X is itself a set with at least one member; the union \bigcup_{A \in X} A denotes the set comprising all elements that belong to any set in X; and the choice function f is a mapping from X to this union that ensures the selected element from each A actually resides in A.[1] These concepts presuppose the basic framework of set theory, including the notions of sets, membership, and functions as sets of ordered pairs.[7] In the context of axiomatic set theory, the axiom of choice serves as an additional axiom beyond the Zermelo-Fraenkel axioms (ZF), which provide the core structure for sets including axioms of extensionality, pairing, union, power set, infinity, replacement, foundation, and separation.[7] When AC is included with ZF, the resulting system is known as Zermelo-Fraenkel set theory with choice (ZFC), the standard foundation for most modern mathematics.[7] AC cannot be derived from the ZF axioms alone, making it a genuinely independent postulate.[1] The axiom was first explicitly formulated by Ernst Zermelo in 1904, in his paper "Beweis, daß jede Menge wohlgeordnet werden kann" (Proof that every set can be well-ordered), where he employed it to establish the well-ordering theorem. This introduction addressed foundational challenges in Cantor's set theory by formalizing an intuitive selection principle that had been implicitly used in earlier proofs.[1]Nomenclature
The axiom of choice is conventionally abbreviated as AC in the mathematical literature on set theory.[1] The standard foundational system consisting of the Zermelo–Fraenkel axioms together with AC is denoted ZFC, where ZF refers to the Zermelo–Fraenkel axioms without choice.[1] Central terminology includes the concept of a choice function. For a collection X of nonempty sets, a choice function on X is a function f: X \to \bigcup_{A \in X} A such that f(A) \in A for every A \in X.[1] AC is equivalently formulated as the assertion that every set of nonempty sets admits a choice function. The Cartesian product of a family of sets \{A_i \mid i \in I\} is the set \prod_{i \in I} A_i consisting of all functions f: I \to \bigcup_{i \in I} A_i with f(i) \in A_i for each i \in I; in other words, it is the set of all choice functions on the indexed family.[1] For infinite families, the notation \prod_{A \in X} A denotes the Cartesian product over the indexed collection X, and AC implies that this product is nonempty whenever each A \in X is nonempty, providing a uniform way to select elements simultaneously from infinitely many sets.[1] Another key term is well-ordering: a well-ordering on a set is a total order in which every nonempty subset has a least element. The well-ordering theorem, equivalent to AC, states that every set admits a well-ordering.[1] AC is distinct from the axiom of dependent choice (DC), a weaker principle that guarantees the existence of choice functions along sequences where each selection depends on the previous one via a given relation.[1]Variants
The axiom of choice admits several equivalent formulations that provide alternative perspectives on the same foundational principle in set theory. These variants often arise in different mathematical contexts, such as order theory, topology, and choice principles restricted to specific structures, while preserving logical equivalence to the standard axiom under Zermelo–Fraenkel set theory (ZF).[1] Zorn's lemma is a key equivalent statement in the study of partially ordered sets: if every chain in a partially ordered set P has an upper bound in P, then P contains a maximal element.[1] This formulation relates to the axiom of choice by facilitating proofs of maximal elements in inductive settings, without directly invoking selections from arbitrary families of sets.[1] The well-ordering theorem offers another equivalent: every set can be well-ordered, meaning there exists a total order on the set such that every nonempty subset has a least element.[1] Formulated by Ernst Zermelo in 1904, this variant connects the axiom of choice to ordinal numbers and transfinite induction, emphasizing the existence of linear extensions for any collection.[1] In topology, Tychonoff's theorem serves as an equivalent topological variant: the product of any collection of compact topological spaces, equipped with the product topology, is compact.[1] First proved by Andrey Tychonoff in 1930, this statement highlights the axiom's role in preserving compactness under infinite products, bridging set-theoretic choice with continuous structures.[1] Restricted forms of the axiom provide weaker alternatives that suffice for many applications but do not imply the full axiom. The axiom of dependent choice (DC) states that if X is a nonempty set and R is a binary relation on X such that for every x \in X there exists y \in X with x\, R\, y, then there exists a sequence (x_n)_{n \in \mathbb{N}} in X such that x_n\, R\, x_{n+1} for all n.[1] DC, introduced by Paul Bernays in 1942, is strictly weaker than the axiom of choice yet implies the axiom of countable choice and supports sequential constructions in analysis and algebra.[1] The axiom of multiple choice, another variant equivalent to the full axiom, asserts that for every family of nonempty sets, there exists a function that assigns to each set in the family a nonempty finite subset of it.[8] This form generalizes the standard choice by allowing finite selections per set, relating to the axiom through the ability to iteratively refine choices into single elements.[8]Basic Properties
Finite sets
The axiom of choice holds trivially for finite families of nonempty sets in Zermelo–Fraenkel set theory (ZF), without requiring the full axiom of choice as an additional assumption.[1] To see this, consider a finite family \{A_i \mid i \in n\}, where n is a finite ordinal (i.e., n = 0, 1, 2, \dots) and each A_i is nonempty. A choice function f: n \to \bigcup_{i \in n} A_i satisfies f(i) \in A_i for all i \in n. The existence of such an f is proved by mathematical induction on n.[1] For the base case n = 1, the family consists of a single nonempty set A_0. ZF proves the existence of an element x \in A_0 (by the definition of nonempty sets), so define f(0) = x, yielding the required choice function. Assume the statement holds for families of size n, and consider a family of size n+1 = \{A_i \mid i \in n+1\}. By the induction hypothesis, there exists a choice function g: n \to \bigcup_{i \in n} A_i with g(i) \in A_i for i \in n. Since A_n is nonempty, select an element y \in A_n. Define f: n+1 \to \bigcup_{i \in n+1} A_i by f(i) = g(i) for i \in n and f(n) = y. This f is the desired choice function for the larger family. By induction, choice functions exist for all finite families of nonempty sets. This result underscores that the axiom of choice is nontrivial only for infinite families, where no such explicit inductive construction is possible in ZF alone.[1] For a simple example, suppose the family consists of two nonempty sets A and B. ZF allows the construction of the ordered pair (A, B) and selection of elements a \in A and b \in B, yielding the choice function f = \{(0, a), (1, b)\}.Countable choice
The axiom of countable choice, often denoted as AC_\omega or CC, asserts that if \{A_n \mid n \in \mathbb{N}\} is a countable collection of nonempty sets, then there exists a choice function f: \mathbb{N} \to \bigcup_{n \in \mathbb{N}} A_n such that f(n) \in A_n for every n \in \mathbb{N}.[9] This principle is a weakened version of the full axiom of choice (AC), restricting the selection to countably many sets rather than arbitrary collections.[10] One key implication of CC is that the countable union of countable sets is countable. To see this, suppose \{B_n \mid n \in \mathbb{N}\} is a countable family of countable sets. For each n, since B_n is countable, there exists a surjection g_n: \mathbb{N} \to B_n. By CC, there is a choice function h: \mathbb{N} \to \{g_n \mid n \in \mathbb{N}\} selecting one such surjection g_n for each n. The union \bigcup_{n \in \mathbb{N}} B_n can then be enumerated via the surjection (n,k) \mapsto h(n)(k) from \mathbb{N} \times \mathbb{N} to the union, and since \mathbb{N} \times \mathbb{N} is countable, the union is countable.[10] This result fails in ZF without CC, as demonstrated by models where such unions have cardinality \aleph_1.[10] CC is strictly weaker than AC but independent of the Zermelo-Fraenkel axioms (ZF). While AC implies CC, ZF alone does not prove CC, and there exist models of ZF where CC holds and others where it fails. For instance, the Feferman-Lévy model constructed using Cohen's forcing method shows that it is consistent with ZF that the real numbers \mathbb{R} form a countable union of countable sets yet are uncountable, violating CC. Conversely, models like L(\mathbb{R}) under determinacy axioms can satisfy ZF + CC without full AC.[10] The axiom of countable choice is closely related to the axiom of dependent choice (DC), which allows sequential choices based on a relation on a nonempty set. Specifically, DC implies CC, as one can construct a tree of partial choice functions and use DC to select an infinite branch yielding a full choice function for the countable family. For countable families of nonempty subsets, the restricted form of DC (countable dependent choice) is equivalent to CC, since the non-dependent choices can be simulated by a full relation on the product space.[11] However, in general, CC does not imply DC, as there are models of ZF + CC where DC fails.Applications
Usage in set theory and beyond
In set theory, the axiom of choice (AC) plays a fundamental role in establishing foundational results, such as the existence of a basis for every vector space over a field. This theorem asserts that any vector space admits a Hamel basis, a linearly independent spanning set, which is essential for dimension theory and isomorphism classifications in linear algebra.[12] The proof relies on Zorn's lemma, an equivalent formulation of AC, to extend partial bases to maximal ones.[12] Beyond pure set theory, AC underpins key extensions in functional analysis, notably the Hahn-Banach theorem, which guarantees the extension of bounded linear functionals from subspaces to the entire space while preserving norms.[13] This result, proven using Zorn's lemma, is indispensable for duality theory and separation principles in normed spaces.[13] In analysis, AC is vital for exploring the boundaries of Lebesgue measure, particularly in demonstrating the existence of non-measurable subsets of the real line, which cannot be assigned a consistent measure under the standard Lebesgue framework.[14] Such constructions, often via Vitali sets, reveal that Lebesgue measure fails to extend to all subsets of \mathbb{R} without violating additivity or translation invariance.[14] A striking counterintuitive consequence arises in the Banach-Tarski paradox, where AC enables the decomposition of a three-dimensional ball into finitely many pieces that can be rigidly reassembled into two balls of the same size, underscoring the paradoxical nature of infinite sets under AC.[15] This result, originally established in 1924, highlights how AC permits non-intuitive equipartitions in Euclidean spaces.[15] In topology, AC supports Tychonoff's theorem, which states that the product of any collection of compact topological spaces is compact in the product topology, a cornerstone for infinite-dimensional spaces and spectral theory.[16] The proof invokes AC to ensure the non-emptiness of certain filter systems or to apply Zorn's lemma in constructing compactifications.[16] Similarly, the Stone-Čech compactification of a Tychonoff space exists via AC, embedding the space densely into a compact Hausdorff space that universally extends continuous functions to normal spaces.[17] In algebra, AC guarantees the existence of maximal ideals in every nonzero commutative ring with unity, proven by applying Zorn's lemma to the poset of proper ideals ordered by inclusion.[18] This theorem is crucial for quotient rings and residue field constructions.[18] Historically, Ernst Zermelo introduced AC in 1904 explicitly to prove the well-ordering theorem, demonstrating that every set, including the continuum of real numbers, admits a well-ordering. This application marked AC's debut as a tool for transcending countable constructions in set theory.Illustrative examples
One of the most famous consequences of the axiom of choice is the Banach-Tarski paradox, which demonstrates that a solid ball in three-dimensional Euclidean space can be partitioned into a finite number of disjoint subsets that can be reassembled, using only rigid motions (rotations and translations), into two balls identical to the original. This counterintuitive result relies on the axiom of choice to construct the required decomposition by selecting representatives from orbits under the action of a free non-abelian subgroup of the special orthogonal group SO(3), highlighting how AC enables "pathological" partitions that defy intuitive notions of volume preservation.[19] Another illustrative example is the construction of a non-Lebesgue measurable set, such as the Vitali set, which shows that the axiom of choice implies the existence of subsets of the real line without a well-defined Lebesgue measure. To build the Vitali set, partition the interval [0,1) into equivalence classes where two numbers are equivalent if their difference is rational; the axiom of choice is then used to pick exactly one representative from each uncountably many class, forming the set V. The rational translates of V are disjoint and their union covers [0,1), so if V had positive measure, the total measure would exceed 1, while zero measure would make it less than 1, leading to a contradiction.[20] The axiom of choice also guarantees the existence of a Hamel basis for any vector space over a field, including the real numbers \mathbb{R} as a vector space over the rationals \mathbb{Q}. A Hamel basis is a linearly independent set B such that every real number is a unique finite rational linear combination of elements from B; AC is essential to select such a basis from the uncountably many possible spanning sets, as no explicit construction is possible without it. This basis enables the definition of discontinuous linear functionals on \mathbb{R}, such as those that violate the intermediate value theorem for additive functions, by assigning arbitrary values to basis elements and extending linearly. Hilbert's paradox of the Grand Hotel offers a more accessible analogy to the role of choice principles in handling countable infinities, akin to the axiom of countable choice. Imagine a hotel with countably infinite rooms, all occupied; to accommodate a new guest, instruct each occupant to move to the next room, freeing the first— a process that, when generalized to infinitely many new arrivals, involves systematically reassigning rooms via a bijection between natural numbers, illustrating how countable choice facilitates such rearrangements without leaving anyone out.[21]Philosophical Considerations
Criticism and historical acceptance
The Axiom of Choice (AC) was explicitly formulated by Ernst Zermelo in 1904 to provide a rigorous foundation for his proof of the well-ordering theorem, asserting that every set can be well-ordered.[1] This introduction marked a pivotal moment in set theory, but it immediately provoked intense debate, with critics questioning its intuitive validity and necessity.[22] Zermelo's axiom, which posits the existence of a choice function for any collection of nonempty sets without specifying how to construct it, was seen by some as an unjustified assumption that bypassed explicit construction.[2] Opposition to AC was notably led by L.E.J. Brouwer, whose intuitionistic program, initiated in his 1907 dissertation, emphasized constructive proofs and rejected non-constructive principles like AC during the 1907–1920s.[23] Brouwer argued that mathematics should reflect mental constructions, viewing AC as incompatible with this view because it relies on impredicative methods and the law of excluded middle.[24] Key figures diverged on the issue: David Hilbert strongly supported AC, defending Zermelo's 1904 proof and later incorporating a version known as the epsilon axiom into his formalist program to justify classical mathematics.[25] In contrast, Hermann Weyl expressed reservations, influenced by Brouwer's intuitionism; in his 1918 work Das Kontinuum, Weyl attempted a predicative, intuitionistic reformulation of analysis that avoided AC and impredicative definitions, though he eventually returned to classical methods by the 1920s.[26] A major criticism of AC centers on its non-constructive nature, which asserts the existence of selections without providing an algorithm or explicit method to identify them, raising philosophical concerns about the foundations of existence proofs in mathematics.[1] This non-constructivity enables paradoxical results, such as the Banach-Tarski theorem (1924), which uses AC to show that a three-dimensional ball can be partitioned into finitely many pieces that can be reassembled into two balls identical to the original. Kurt Gödel's 1938 proof established the relative consistency of AC with the Zermelo-Fraenkel axioms, demonstrating that assuming AC does not lead to contradictions within standard set theory if the base theory is consistent. By the mid-20th century, AC had achieved widespread acceptance among mathematicians, becoming a cornerstone of Zermelo-Fraenkel set theory with choice (ZFC), the standard foundational framework for most modern mathematics.[1] This adoption reflected its utility in proving essential theorems across analysis, algebra, and topology, despite ongoing philosophical debates. Today, while a minority in constructive or intuitionistic traditions withhold full support, AC remains integral to mainstream mathematical practice.[1]Constructive mathematics
In constructive mathematics, based on intuitionistic logic, the axiom of choice (AC) is generally rejected because certain formulations of it imply the law of excluded middle (LEM), a principle that intuitionists view as non-constructive since it does not correspond to an effective proof method.[27] Specifically, in intuitionistic set theory, AC fails to be a theorem and can even be outright false in key contexts, as it relies on non-intuitionistic existential assumptions that cannot be algorithmically verified.[27] This incompatibility arises because intuitionistic logic requires existence claims to be backed by explicit constructions, whereas AC permits selections without specifying how to make them.[28] As alternatives, weaker choice principles that align with constructive ideals are often adopted. The axiom of dependent choice (DC), which asserts the existence of infinite sequences in relationally defined trees without maximal elements, is widely accepted because it supports recursive, step-by-step constructions that intuitionists can explicitly describe.[29] Similarly, the axiom of countable choice (CC), allowing selections from countably many non-empty sets, is embraced in many constructive frameworks as it corresponds to effective enumerations.[29] These principles enable much of analysis and algebra without invoking the full non-constructive power of AC.[29] In formal systems like intuitionistic Zermelo-Fraenkel set theory (IZF), AC does not hold, leading to significant implications for infinite collections. For instance, IZF proves the existence of non-empty sets but cannot guarantee choice functions for uncountable families of such sets, as "uncountability" in the constructive sense lacks a decidable basis for simultaneous selection across all members without additional non-intuitionistic axioms. This failure highlights how constructive set theory prioritizes provably inhabited sets and explicit operations over arbitrary existences. Errett Bishop's approach to constructive analysis further illustrates this selective use of choice axioms. Bishop's framework develops the real numbers and classical analysis results—such as continuity and integration—while eschewing the full AC in favor of countable choice, which suffices for sequential constructions in metric spaces and avoids non-effective proofs.[29] This allows for a robust, computationally grounded real analysis that aligns with intuitionistic principles.[29]Independence
Proof of independence
The independence of the axiom of choice (AC) from the Zermelo–Fraenkel axioms of set theory (ZF) was demonstrated through relative consistency proofs that show neither AC nor its negation leads to a contradiction assuming the consistency of ZF alone. These results, achieved using advanced model-theoretic techniques, established that AC cannot be either proved or disproved within ZF. In 1938, Kurt Gödel constructed the inner model known as the constructible universe, denoted L, which satisfies all axioms of ZF and additionally validates both AC and the generalized continuum hypothesis (GCH). Gödel showed that if ZF is consistent, then so is ZF + AC + GCH, as L provides a model where every set is constructible and thus well-orderable, ensuring the truth of AC.[30] This inner model approach demonstrates the consistency of AC relative to ZF by embedding a universe where choice functions exist for any collection of nonempty sets. Complementing Gödel's work, Paul Cohen introduced the technique of forcing in 1963 to prove the consistency of the negation of AC relative to ZF. Using forcing, Cohen constructed generic extensions of the universe of sets in which AC fails.[31] This method involves adding new sets via a partial order that controls the properties of the extended model, ensuring that no choice function exists for certain families of sets while preserving the axioms of ZF. The combination of Gödel's inner model construction for consistency and Cohen's forcing for the consistency of the negation establishes the full independence of AC from ZF: AC is neither a theorem nor a contradiction within the ZF framework.[30][31] These techniques have since become foundational in set theory for investigating the independence of other axioms.Models without AC
In set theory, explicit models of Zermelo-Fraenkel set theory (ZF) without the axiom of choice (AC) demonstrate its independence by exhibiting structures where AC fails while ZF holds. These models often introduce pathological sets, such as infinite Dedekind-finite sets, to violate AC. One seminal construction is Paul Cohen's forcing model from 1963, which adds a countable collection of pairwise disjoint pairs of reals without a choice function selecting one from each pair, resulting in an infinite Dedekind-finite set of reals.[32] In this model, derived via the forcing method, the ground model is extended by generic filters that preserve ZF but ensure no well-ordering exists for certain infinite sets, thereby negating AC.[32] Fraenkel-Mostowski models, introduced by Abraham Fraenkel in 1922 and refined by Andrzej Mostowski, provide earlier independence proofs using permutation models with urelements (atoms). These models construct the universe as a symmetric submodel of a model with a set A of atoms, where permutations of A generate an equivalence relation on sets built from atoms, and only symmetric sets are retained.[33] In the basic Fraenkel model, A is countably infinite with the group of all permutations of A and finite supports, yielding a model where the set of atoms lacks a choice function, as any potential selector would not be symmetric under finite permutations.[33] Mostowski's linear ordering variant uses a group of order-preserving permutations with countable supports, producing a model where atoms cannot be well-ordered, further illustrating AC's failure for sets of atoms.[34] Robert Solovay's 1970 model, assuming the consistency of an inaccessible cardinal, constructs a forcing extension of L(\mathbb{R}) where ZF holds along with dependent choice (DC), but every set of reals is Lebesgue measurable.[35] This measurability implies the negation of AC, as the existence of a non-measurable Vitali set requires a well-ordering of the reals, which is absent here.[35] Additionally, in this model, every set of reals has the Baire property and satisfies the perfect set property, reinforcing the failure of AC without introducing non-measurable or meager sets.[35] These models collectively highlight diverse ways AC can fail: Cohen's via generic extensions adding amorphous sets, Fraenkel-Mostowski via symmetry restrictions on atoms, and Solovay's via measure-theoretic regularity on the reals, all while maintaining core ZF principles.Related Axioms
Equivalent formulations
The axiom of choice (AC), when added to Zermelo-Fraenkel set theory (ZF), is equivalent to several foundational statements across mathematics. These equivalences hold in the sense that each can be proved from the others over ZF, allowing them to serve interchangeably in derivations. Key among them are Zorn's lemma and the well-ordering theorem, which provide alternative formulations often more convenient for specific proofs. Other equivalents appear in algebra, topology, and category theory, highlighting AC's broad implications.Zorn's Lemma
Zorn's lemma states that if every chain in a partially ordered set (poset) has an upper bound, then the poset contains a maximal element.[18] This is equivalent to AC over ZF. One standard proof that AC implies Zorn's lemma proceeds by contradiction: assume the inductive poset P has no maximal element. For each x \in P, the set of elements strictly above x is nonempty, so AC allows selection of a function f: P \to P with f(x) > x for all x. This strict order-preserving map leads to a contradiction with the inductiveness of P, as detailed arguments show the existence of an infinite ascending chain without upper bound or via transfinite construction. The full proof involves analyzing orbits under f or using equivalent principles like the Hausdorff maximal principle.[5] Conversely, Zorn's lemma implies AC: for a collection \{X_i\}_{i \in I} of nonempty disjoint sets, form the poset of partial choice functions (subsets of \bigcup X_i selecting at most one element per X_i), ordered by extension. Every chain has an upper bound (their union), so by Zorn's lemma, there is a maximal such function, which must select one element from each X_i.[18]Well-Ordering Theorem
The well-ordering theorem asserts that every nonempty set can be well-ordered.[36] This is equivalent to AC over ZF. AC implies the well-ordering theorem via transfinite construction: for a nonempty set X, let \mathcal{W} be the set of all well-orderings on subsets of X. Order \mathcal{W} by end-extension. \mathcal{W} is nonempty (singletons are well-orderable) and inductive (unions of chains yield well-orderings). By Zorn's lemma (or directly via AC), \mathcal{W} has a maximal element, whose domain must be all of X.[36] The converse is simpler: if every set is well-orderable, then for a family \{X_i\}_{i \in I} of nonempty sets, well-order the disjoint union \bigcup X_i and define the choice function by selecting the least element in each X_i's initial segment.[36]Other Equivalents
In linear algebra, AC is equivalent to the statement that every vector space has a basis. To see AC implies this, let V be a vector space over a field F. Consider the poset of linearly independent subsets of V, ordered by inclusion; it is inductive (unions of chains remain independent), so Zorn's lemma yields a maximal independent set, which spans V. The converse follows by applying AC-equivalent principles to construct bases in the power set poset.[12] In topology, Tychonoff's theorem—that the product of compact topological spaces is compact—is equivalent to AC over ZF. AC implies Tychonoff's via Zorn's lemma applied to finite subproducts and filters of closed sets. Conversely, Tychonoff's implies AC by considering products of discrete two-point spaces (corresponding to choice functions) and showing their compactness yields selections.[16]Category-Theoretic Formulation
In category theory, AC is equivalent to the statement that every small category admits a choice functor, which selects an object from each isomorphism class and provides isomorphisms to a skeleton. More precisely, this is tied to the existence of skeletons in small categories: AC implies every small category has a skeleton (a full subcategory with pairwise non-isomorphic objects equivalent to the original), via choice of representatives from isomorphism classes. The converse holds by constructing global choice functions from skeletal embeddings into the category of sets.[37]Table of Equivalents by Field
| Field | Equivalent Statement | Reference |
|---|---|---|
| Algebraic | Every vector space has a basis | [12] |
| Algebraic | Every commutative ring with identity has a maximal ideal | [18] |
| Analytic | Hahn–Banach theorem (extension of linear functionals) | [38] |