Applications of AC

Set Theory · Axiom Academy

How the Axiom of Choice powers fundamental theorems across mathematical disciplines In algebra, the Axiom of Choice guarantees the existence of fundamental structures that might otherwise be impossible to construct explicitly. Every vector space has a basis: Without AC, there exist vector spaces with no basis at all Every ring has a maximal ideal: Guaranteed by Zorn's Lemma, equivalent to AC Every field has an algebraic closure: Construction requires transfinite choices These results are so fundamental to algebra that working without AC would severely limit what we can prove. The existence of bases, for instance, is essential for dimension theory and linear transformations. 2. Analysis: Extension and Compactness Functional analysis relies heavily on AC for extension theorems and compactness results that are central to the field. Hahn-Banach Theorem: Every bounded linear functional can be extended. Requires AC in general, but only BPI for separable spaces Tychonoff's Theorem: The product of any collection of compact spaces is compact. Equivalent to AC Banach-Alaoglu Theorem: The closed unit ball in a dual space is weak-* compact. Uses Tychonoff 3. Topology: Products and Compactness General topology provides some of the most striking examples of theorems that are actually equivalent to the Axiom of Choice. Tychonoff's Theorem: Product of compact spaces is compact (equivalent to full AC) Every set can be well-ordered: Equivalent to AC, essential for ordinal-indexed constructions

This is the written version of the interactive lesson above. See the full Set Theory course.