Table of Contents
The relationship between cardinality and the Axiom of Choice (AC) is a fundamental topic in set theory and mathematical logic. It explores how the concept of size or cardinality of sets interacts with the principles that allow for the selection of elements from collections of sets.
Understanding Cardinality
Cardinality measures the “size” of a set, indicating whether two sets have the same number of elements. For finite sets, this is straightforward, but for infinite sets, it becomes more complex. Sets are considered to have the same cardinality if there exists a one-to-one correspondence between their elements.
The smallest infinite cardinal is ℵ₀ (aleph-null), which represents the size of the set of natural numbers. Larger infinities, such as the set of real numbers, have different cardinalities, like 2^ℵ₀, the cardinality of the continuum.
The Axiom of Choice (AC)
The Axiom of Choice states that for any collection of non-empty sets, it is possible to select exactly one element from each set, even if the collection is infinite. This axiom is independent of the standard Zermelo-Fraenkel set theory (ZF), meaning it cannot be proved or disproved from ZF alone.
AC has many equivalent formulations, such as Zorn’s Lemma and the Well-Ordering Theorem, which are essential tools in modern mathematics. However, it also leads to some counterintuitive results, like the Banach-Tarski Paradox.
The Connection Between Cardinality and AC
The relationship between cardinality and the Axiom of Choice is intricate. AC is often used to prove that all sets can be well-ordered, meaning every set has an order type corresponding to an ordinal. This is crucial because it allows mathematicians to compare the sizes of all sets via their well-orderings.
Without AC, some sets may not be well-orderable, making the comparison of their cardinalities problematic. For example, the existence of non-measurable sets and certain pathological examples relies on the failure of AC.
Implications for Infinite Sets
In the absence of AC, infinite sets may have different properties. Some may not be comparable in terms of cardinality, and the continuum hypothesis (CH), which concerns the size of the continuum relative to ℵ₁, becomes independent of ZF + AC.
When AC is assumed, it simplifies the theory of infinite cardinals, allowing for a more uniform understanding of set sizes. It ensures that every set can be assigned a well-order, making the comparison of infinite cardinalities consistent across mathematics.
Conclusion
The relationship between cardinality and the Axiom of Choice highlights the foundational role of AC in set theory. It enables mathematicians to compare sizes of infinite sets systematically and underpins many results in modern mathematics. Understanding this relationship is key to appreciating the structure and limitations of set-theoretic frameworks.