Mathematics
Cardinal Arithmetic with Transfinite Numbers Beyond the Continuum
Quick fact
For any infinite cardinal κ, the sum and product with any smaller or equal cardinal μ simply equal κ: κ + μ = κ · μ = max(κ, μ). This means that the continuum 𝔠 added to itself is still 𝔠, and 𝔠 multiplied by itself is still 𝔠.
Why this is interesting
You've heard that some infinities are bigger than others, but did you know that when you add two infinite numbers together, the sum is exactly the same size? So what does it mean to multiply or raise them to powers?
Read the full explanation
Understanding Cardinal Arithmetic with Transfinite Numbers Beyond the Continuum
When we talk about cardinal numbers, we're not talking about ordinary numbers—we're talking about the sizes of sets. Two sets have the same cardinality when there is a one-to-one correspondence between their elements. Cantor's theorem shows that the set of real numbers, with cardinality 𝔠 (the continuum), is strictly larger than the set of natural numbers, with cardinality ℵ₀. Now, how do we 'add' or 'multiply' such infinite sizes? We define cardinal arithmetic in terms of set operations: the sum of two cardinals is the size of the disjoint union of two sets of those sizes, and the product is the size of their Cartesian product. The surprising result is that for infinite cardinals, both addition and multiplication are 'absorbent': adding or multiplying by a smaller or equal cardinal leaves the larger cardinal unchanged. For example, ℵ₀ + ℵ₀ = ℵ₀, because the even numbers and odd numbers together just give the natural numbers again. Similarly, ℵ₀ · ℵ₀ = ℵ₀, because pairs of natural numbers can be listed in a grid and counted. So infinite cardinal arithmetic collapses the familiar operations into just 'taking the maximum.'
A deeper explanation
The mechanism behind this absorption is the ability to 'copy' an infinite set without increasing its size. For any infinite set A, you can partition it into two parts each as big as A itself, or even map A × A onto A. This is possible because infinite sets are 'self-similar' in a way finite sets are not. However, the real adventure begins with exponentiation. The cardinal exponential κ^μ is defined as the set of all functions from a set of size μ to a set of size κ. Even with finite κ, this can produce huge cardinals: for example, 2^ℵ₀ is the cardinality of the power set of the naturals, which is 𝔠. With Cantor's theorem, κ < 2^κ for any cardinal κ, so starting from any cardinal, you can always build a strictly larger one. This shows that there is an infinite hierarchy of infinite cardinals: ℵ₀, ℵ₁, ℵ₂, ... and beyond. However, cardinal exponentiation is surprisingly wild: the value of 2^ℵ₀, for instance, cannot be determined from the usual axioms of set theory (ZFC). It might be ℵ₁, ℵ₂, or many other possibilities. This is why cardinal arithmetic beyond the continuum is a central topic in modern set theory, where deep results like Easton's theorem show that the behavior of exponentiation on regular cardinals is almost completely unconstrained by ZFC.