Kardinaalsus

Kardinaalsus is a mathematical concept related to the size of sets. It is a generalization of the notion of finite cardinality, which is simply the number of elements in a finite set. For infinite sets, cardinal numbers are used to compare their sizes. Two sets are said to have the same cardinal number if there exists a bijection (a one-to-one correspondence) between them.

The smallest infinite cardinal number is denoted by $\aleph_0$ (aleph-null) and represents the cardinality of the set of natural numbers. Any set that can be put into a one-to-one correspondence with the natural numbers is called countably infinite. The set of integers and the set of rational numbers are examples of countably infinite sets.

A larger cardinal number is that of the continuum, denoted by $c$, which is the cardinality of the set of real numbers. Georg Cantor proved that $c$ is strictly greater than $\aleph_0$, meaning that the set of real numbers is uncountably infinite. The continuum hypothesis, which states that there is no cardinal number strictly between $\aleph_0$ and $c$, is a famous unsolved problem in set theory.

The arithmetic of cardinal numbers is defined in a way that extends the arithmetic of finite numbers. For instance, the sum of two cardinal numbers corresponds to the cardinality of the union of disjoint sets with those cardinalities. The product of two cardinal numbers corresponds to the cardinality of the Cartesian product of sets with those cardinalities. For infinite cardinals, these operations have specific rules, such as $\aleph_0 + \aleph_0 = \aleph_0$ and $\aleph_0 \times \aleph_0 = \aleph_0$.