A cardinal set measures the size of a set in mathematics, including infinite collections. This concept, called cardinality, determines whether sets have the same number of elements, are larger, or smaller.
Cardinality assigns a cardinal number to each set, representing its size. For finite sets, this is straightforward: the cardinal number equals the count of elements. For infinite sets, cardinality reveals different levels of infinity.
Cardinal sets fall into two categories:
| Type | Description | Example |
|---|---|---|
| Finite | Sets with a limited number of elements | {1, 2, 3} has cardinality 3 |
| Infinite | Sets with unbounded elements | The set of natural numbers ℕ has cardinality ℵ₀ (aleph-null) |
People often confuse cardinality with ordinality, which measures position rather than size. While both use aleph numbers (ℵ₀, ℵ₁, etc.), they serve different purposes. Another mistake is assuming all infinite sets have the same cardinality-some infinities are larger than others.
Consider two sets: A = {a, b, c} and B = {x, y}. Set A has cardinality 3, while set B has cardinality 2. Since 3 ≠ 2, the sets have different sizes. For infinite sets, the natural numbers ℕ and even numbers 2ℕ both have cardinality ℵ₀, proving they're the same size despite 2ℕ being a subset of ℕ.
When I first encountered cardinality, I was surprised to learn that some infinite sets could be the same size even when one is a proper subset of the other. This counterintuitive result, known as the Cantor-Bernstein-Schroeder theorem, challenged my understanding of infinity.