Concept
From any collection of non-empty sets, one can pick one element from each — sounds trivial, but implies the Banach-Tarski paradox.
Understand it in one breath
"With shoes you can pick by rule (always the left); with socks you must just choose." Russell's metaphor. Finite collections need no separate axiom, while arbitrary infinite families do. Gödel established the AC direction and Cohen the ¬AC direction in 1963; together, assuming ZF is consistent, their relative-consistency results established that AC is independent of ZF.
At a glance
What AC implies | Counterintuitive consequence |
|---|---|
Every vector space has a basis | Even enormous function spaces with uncountable dimension |
Tychonoff’s theorem (a product of compact spaces is compact) | A pillar of functional analysis |
Equivalent to Zorn’s lemma | Existence of maximal elements — central to abstract algebra |
Banach–Tarski paradox | Disassemble one ball into two identical balls |
Well-ordering theorem — every set can be well ordered | Even ℝ can be well ordered, though no explicit ordering is known |
Non-measurable sets exist | Vitali set — no measure can be assigned consistently |
"Choosing one sock from each pair" produces astonishing consequences. Gödel established the AC direction and Cohen the ¬AC direction in 1963; together their relative-consistency results established that AC is independent of ZF.
Key formula
Modern applications
Functional analysis (including Hahn–Banach), compactness in topology, and abstract algebra.
Beyond MathVoyage
Loading…