Consequences of AC

Set Theory · Axiom Academy

From vector space bases to paradoxical decompositions - the profound and surprising implications of the Axiom of Choice 1. Every Vector Space Has a Basis For infinite-dimensional spaces, we can't "list" all basis vectors We use Zorn's Lemma (equivalent to AC) to show a maximal linearly independent set exists Without AC, there exist vector spaces with no basis! This theorem is fundamental to linear algebra and functional analysis. Without AC, much of modern mathematics would collapse. 2. Every Surjection Has a Right Inverse For each y ∈ Y , we need to choose some x ∈ f -1 ( y ) This is exactly a choice function on the family of preimages! In fact, this statement is equivalent to AC This innocent-looking result is actually one of the most direct manifestations of the Axiom of Choice. 3. Non-measurable Sets Exist (Vitali) Define an equivalence relation: x ~ y if x - y ∈ ℚ Use AC to choose one representative from each equivalence class in [0,1] This set V (the Vitali set) cannot have a Lebesgue measure This shows AC can produce "pathological" objects that defy our geometric intuition. Without AC, it's consistent that all subsets of ℝ are measurable! 4. Banach-Tarski Paradox Preview This uses AC in an essential way (specifically, the Well-Ordering Theorem) The pieces are non-measurable sets (like Vitali sets, but in 3D) This doesn't violate conservation of volume because the pieces have no volume! Often stated as: "You can turn one sphere into two spheres of the same size"

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