A student claims: 'The Axiom of Choice is needed to pick one element from each of the sets {1,2}, {3,4}, and {5,6}.' What is wrong with this claim?
ANothing — AC is always required whenever you make simultaneous choices
BThis is a finite collection; you can explicitly describe all picks without any axiom asserting existence
CAC only applies to sets of real numbers, not finite sets of integers
DThe axiom is needed, but only because there are three sets rather than two
For finite families of sets, you can simply list your choices: 'pick 1 from {1,2}, pick 3 from {3,4}, pick 5 from {5,6}.' The explicit description constitutes the choice function — no axiom is needed. AC becomes genuinely necessary only when the collection is infinite (specifically, uncountably infinite with no uniform selection rule). For countably infinite collections, you can often provide an explicit rule; it is the uncountable case with no available rule that requires the axiom.
Question 2 Multiple Choice
Why does proving that every surjective function f: A → B has a right inverse specifically require the Axiom of Choice when B is uncountably infinite?
ABecause uncountably infinite sets cannot have surjections onto them
BBecause for each b ∈ B you must simultaneously choose one element from the preimage f⁻¹(b), and no uniform rule for doing so may exist when B is uncountable
CBecause right inverses only exist for bijections, not surjections
DBecause the Axiom of Choice is only needed for constructing inverse functions, not for direct mappings
A right inverse g: B → A requires choosing, for each b ∈ B, one element of the preimage f⁻¹(b). When B is uncountable and the fibers f⁻¹(b) have no natural ordering or uniform selection rule, making infinitely many simultaneous choices is exactly what AC authorizes. This is why AC is equivalent to the statement 'every surjection has a right inverse' — both express the same capacity for uncountable simultaneous selection.
Question 3 True / False
The Axiom of Choice specifies a concrete procedure for selecting which element to pick from each set in a family.
TTrue
FFalse
Answer: False
This is the most important misconception about AC. The axiom only asserts that a choice function exists — it says nothing about which element to pick or how to construct the function. It is inherently non-constructive. This non-constructivity is both its power (it asserts existence in cases where no rule is available) and its philosophical cost (it licenses mathematical objects that cannot be explicitly exhibited, such as Vitali sets and Hamel bases).
Question 4 True / False
The Banach-Tarski paradox — which uses AC to 'decompose' a ball into pieces that reassemble into two balls — shows that the Axiom of Choice leads to a contradiction within ZFC.
TTrue
FFalse
Answer: False
Banach-Tarski is a genuine theorem of ZFC — it is not a contradiction. It is deeply counterintuitive, but it holds because the 'pieces' involved are non-measurable sets: they have no well-defined volume. The paradox reveals the price of non-constructivity, not a logical inconsistency. AC is consistent with ZF; this was established by Gödel (who showed AC cannot be refuted from ZF) and Cohen (who showed AC cannot be proved from ZF). Adding AC to ZF introduces no contradiction.
Question 5 Short Answer
Why does the Well-Ordering Theorem feel more 'shocking' than the Axiom of Choice even though the two are logically equivalent over ZF?
Think about your answer, then reveal below.
Model answer: AC's statement — that choice functions exist — sounds almost obvious for most intuitive cases. The Well-Ordering Theorem states that every set can be well-ordered, including the real numbers. This is shocking because we cannot exhibit any well-ordering of ℝ: no one can write down what the 'next real number after 0' would be in such an ordering. The theorem guarantees a well-ordering exists without providing any description of it — the non-constructivity that seems abstract in AC becomes viscerally strange when applied to ℝ.
The logical equivalence means the two statements have exactly the same mathematical content — if you assume one you can prove the other. But the phenomenology of surprise is different. AC's claim about choice functions fits our intuition for finite cases and is easy to accept. The Well-Ordering Theorem violates our intuition about the reals, which we think of as a continuum with no 'next element.' The gap between what we can assert (existence) and what we can exhibit (construction) is maximally visible there.