Cardinalidad
La cardinalidad es la medida del número de elementos de un conjunto, y extiende el concepto de "tamaño" a los conjuntos infinitos.
Formula
|A| = \text{number of elements in } A
Definition
La cardinalidad es simplemente el conteo de cuántos elementos hay en un conjunto, el "tamaño" de un conjunto; para conjuntos finitos esto coincide con el conteo ordinario, pero el concepto se vuelve fascinante y extraño para los conjuntos infinitos. Dos conjuntos tienen la misma cardinalidad si existe una biyección (correspondencia uno a uno) entre ellos; $|\mathbb{N}| = |\mathbb{Z}| = |\mathbb{Q}|$ (todos infinitos numerables, denotados $\aleph_0$), pero $|\mathbb{R}| > |\mathbb{N}|$ (no numerable). Formalmente, la cardinalidad es una clase de equivalencia de conjuntos bajo biyección; el teorema de Cantor-Bernstein-Schroeder dice que si $|A| \le |B|$ y $|B| \le |A|$ entonces $|A| = |B|$, y la jerarquía cardinal continúa $\aleph_0, \aleph_1, \ldots$, con la Hipótesis del Continuo ($|\mathbb{R}| = \aleph_1$) independiente de ZFC.
Example
$|\{a, b, c\}| = 3$, $|\{1, 2, \ldots, 100\}| = 100$, $|\emptyset| = 0$, simplemente contando los elementos. La biyección $n \mapsto 2n$ empareja cada número natural con un número natural par, así que $|\mathbb{N}| = |\text{even naturals}|$, un resultado sorprendente para conjuntos infinitos, y el argumento diagonal de Cantor prueba que $|\mathbb{R}| > |\mathbb{N}|$ porque ninguna lista puede agotar todos los números reales. Aún más sorprendente, $|\mathbb{R}| = |\mathbb{R}^2| = |\mathbb{R}^n|$ para todo $n$ finito, lo que significa que el plano y la recta tienen la misma cardinalidad, un resultado que sorprendió al propio Cantor.
Key Insight
Para conjuntos finitos, la cardinalidad es simplemente contar, pero la cardinalidad infinita revela que "más elementos" no es toda la historia. La independencia de la Hipótesis del Continuo (probada por Godel y Cohen) muestra que hay preguntas genuinamente irresolubles en matemáticas, incluso sobre algo tan básico como el tamaño de los números reales.