En matemáticas , un número cardinal , o cardinal para abreviar, es lo que comúnmente se denomina número de elementos de un conjunto . En el caso de un conjunto finito , su número cardinal, o cardinalidad , es por tanto un número natural . Para tratar el caso de conjuntos infinitos , se han introducido los números cardinales infinitos , que a menudo se denotan con la letra hebrea ( aleph ) marcada con un subíndice que indica su rango entre los cardinales infinitos.
La cardinalidad se define en términos de funciones biyectivas . Dos conjuntos tienen la misma cardinalidad si, y sólo si , existe una correspondencia uno a uno (biyección) entre los elementos de los dos conjuntos. En el caso de conjuntos finitos, esto concuerda con la noción intuitiva de número de elementos. En el caso de conjuntos infinitos, el comportamiento es más complejo. Un teorema fundamental de Georg Cantor muestra que es posible que conjuntos infinitos tengan diferentes cardinalidades y, en particular, la cardinalidad del conjunto de números reales es mayor que la cardinalidad del conjunto de números naturales. También es posible que un subconjunto propio de un conjunto infinito tenga la misma cardinalidad que el conjunto original, algo que no puede suceder con subconjuntos propios de conjuntos finitos.
Hay una secuencia transfinita de números cardinales:
Esta secuencia comienza con los números naturales incluido el cero (cardinales finitos), a los que siguen los números aleph . Los números aleph están indexados por números ordinales . Si el axioma de elección es verdadero, esta secuencia transfinita incluye todos los números cardinales. Si el axioma de elección no es verdadero (ver Axioma de elección § Independencia ), hay infinitos cardinales que no son números aleph.
La cardinalidad se estudia por sí misma como parte de la teoría de conjuntos . También es una herramienta utilizada en ramas de las matemáticas, incluida la teoría de modelos , la combinatoria , el álgebra abstracta y el análisis matemático . En la teoría de categorías , los números cardinales forman un esqueleto de la categoría de conjuntos .
La noción de cardinalidad, tal como se entiende ahora, fue formulada por Georg Cantor , el creador de la teoría de conjuntos , en 1874-1884. La cardinalidad se puede utilizar para comparar un aspecto de conjuntos finitos. Por ejemplo, los conjuntos {1,2,3} y {4,5,6} no son iguales , sino que tienen la misma cardinalidad , es decir, tres. Esto se establece por la existencia de una biyección (es decir, una correspondencia uno a uno) entre los dos conjuntos, como la correspondencia {1→4, 2→5, 3→6}.
Cantor aplicó su concepto de biyección a conjuntos infinitos [1] (por ejemplo el conjunto de números naturales N = {0, 1, 2, 3, ...}). Por lo tanto, llamó a todos los conjuntos que tienen una biyección con N conjuntos numerables (contablemente infinitos) , que comparten el mismo número cardinal. Este número cardinal se llama aleph -null . A los números cardinales de conjuntos infinitos los llamó números cardinales transfinitos .
Cantor demostró que cualquier subconjunto ilimitado de N tiene la misma cardinalidad que N , aunque esto pueda parecer contrario a la intuición. También demostró que el conjunto de todos los pares ordenados de números naturales es numerable; esto implica que el conjunto de todos los números racionales también es numerable, ya que todo racional puede representarse por un par de números enteros. Posteriormente demostró que el conjunto de todos los números algebraicos reales también es numerable. Cada número algebraico real z puede codificarse como una secuencia finita de números enteros, que son los coeficientes de la ecuación polinómica de la que es solución, es decir, la n-tupla ordenada ( a 0 , a 1 , ..., a n ) , a i ∈ Z junto con un par de racionales ( b 0 , b 1 ) tales que z es la raíz única del polinomio con coeficientes ( a 0 , a 1 , ..., an ) que se encuentra en el intervalo ( segundo 0 , segundo 1 ).
En su artículo de 1874 " Sobre una propiedad de la colección de todos los números algebraicos reales ", Cantor demostró que existen números cardinales de orden superior, al demostrar que el conjunto de números reales tiene una cardinalidad mayor que la de N. Su prueba utilizó un argumento con intervalos anidados , pero en un artículo de 1891 demostró el mismo resultado utilizando su ingenioso y mucho más simple argumento diagonal . El nuevo número cardinal del conjunto de números reales se llama cardinalidad del continuo y Cantor utilizó el símbolo para ello.
Cantor también desarrolló gran parte de la teoría general de los números cardinales; demostró que existe un número cardinal transfinito más pequeño ( , aleph-null), y que para cada número cardinal hay un cardinal siguiente más grande
Su hipótesis del continuo es la proposición de que la cardinalidad del conjunto de números reales es la misma que . Esta hipótesis es independiente de los axiomas estándar de la teoría matemática de conjuntos, es decir, no se puede probar ni refutar a partir de ellos. Esto fue mostrado en 1963 por Paul Cohen , complementando el trabajo anterior de Kurt Gödel en 1940.
En el uso informal, un número cardinal es lo que normalmente se denomina número de contar , siempre que se incluya el 0: 0, 1, 2,.... Pueden identificarse con los números naturales que comienzan por 0. Los números de contar son exactamente lo que se puede definir formalmente como los números cardinales finitos . Los cardinales infinitos solo ocurren en matemáticas y lógica de nivel superior .
Más formalmente, un número distinto de cero se puede utilizar para dos propósitos: describir el tamaño de un conjunto o describir la posición de un elemento en una secuencia. Para conjuntos y secuencias finitos es fácil ver que estas dos nociones coinciden, ya que para cada número que describe una posición en una secuencia podemos construir un conjunto que tenga exactamente el tamaño correcto. Por ejemplo, 3 describe la posición de 'c' en la secuencia <'a','b','c','d',...>, y podemos construir el conjunto {a,b,c}, que tiene 3 elementos.
Sin embargo, cuando se trata de conjuntos infinitos , es esencial distinguir entre los dos, ya que las dos nociones son de hecho diferentes para conjuntos infinitos. Considerar el aspecto de posición conduce a números ordinales , mientras que el aspecto de tamaño se generaliza mediante los números cardinales descritos aquí.
La intuición detrás de la definición formal de cardinal es la construcción de una noción del tamaño relativo o "grandeza" de un conjunto, sin referencia al tipo de miembros que tiene. Para conjuntos finitos esto es fácil; simplemente se cuenta el número de elementos que tiene un conjunto. Para comparar los tamaños de conjuntos más grandes, es necesario apelar a nociones más refinadas.
Un conjunto Y es al menos tan grande como un conjunto X si existe una aplicación inyectiva de los elementos de X a los elementos de Y. Un mapeo inyectivo identifica cada elemento del conjunto X con un elemento único del conjunto Y. Esto se entiende más fácilmente con un ejemplo; supongamos que tenemos los conjuntos X = {1,2,3} e Y = {a,b,c,d}, entonces usando esta noción de tamaño, observaríamos que existe un mapeo:
que es inyectivo y, por tanto, concluir que Y tiene cardinalidad mayor o igual a X . El elemento d no tiene ningún mapeo de elementos, pero esto está permitido ya que solo requerimos un mapeo inyectivo, y no necesariamente un mapeo biyectivo . La ventaja de esta noción es que puede extenderse a conjuntos infinitos.
Luego podemos extender esto a una relación de estilo igualdad. Se dice que dos conjuntos X e Y tienen la misma cardinalidad si existe una biyección entre X e Y. Según el teorema de Schroeder-Bernstein , esto equivale a que haya una aplicación inyectiva de X a Y y una aplicación inyectiva de Y a X. Luego escribimos | X | = | Y |. El número cardinal de X en sí mismo a menudo se define como la a menos ordinal con | un | = | X |. [2] Esto se llama asignación cardinal de von Neumann ; para que esta definición tenga sentido, se debe demostrar que todo conjunto tiene la misma cardinalidad que algún ordinal; esta afirmación es el principio de buen ordenamiento . Sin embargo, es posible discutir la cardinalidad relativa de los conjuntos sin asignar explícitamente nombres a los objetos.
El ejemplo clásico utilizado es el de la paradoja del hotel infinito, también llamada paradoja del Gran Hotel de Hilbert . Supongamos que hay un posadero en un hotel con un número infinito de habitaciones. El hotel se llena y llega un nuevo huésped. Es posible acomodar al huésped adicional pidiéndole al huésped que estaba en la habitación 1 que se traslade a la habitación 2, al huésped de la habitación 2 que se mueva a la habitación 3, y así sucesivamente, dejando la habitación 1 vacía. Podemos escribir explícitamente un segmento de este mapeo:
Con esta asignación podemos ver que el conjunto {1,2,3,...} tiene la misma cardinalidad que el conjunto {2,3,4,...}, ya que una biyección entre el primero y el segundo tiene sido mostrado. Esto motiva la definición de conjunto infinito como cualquier conjunto que tenga un subconjunto propio de la misma cardinalidad (es decir, un conjunto infinito de Dedekind ); en este caso {2,3,4,...} es un subconjunto propio de {1,2,3,...}.
Al considerar estos objetos grandes, uno también podría querer ver si la noción de orden de conteo coincide con la de cardinal definida anteriormente para estos conjuntos infinitos. Sucede que no es así; Al considerar el ejemplo anterior, podemos ver que si existe algún objeto "uno mayor que el infinito", entonces debe tener la misma cardinalidad que el conjunto infinito con el que comenzamos. Es posible utilizar una noción formal diferente para el número, llamada ordinales , basada en las ideas de contar y considerar cada número por turno, y descubrimos que las nociones de cardinalidad y ordinalidad son divergentes una vez que salimos de los números finitos.
Se puede demostrar que la cardinalidad de los números reales es mayor que la de los números naturales recién descritos. Esto se puede visualizar utilizando el argumento diagonal de Cantor ; Las cuestiones clásicas de cardinalidad (por ejemplo, la hipótesis del continuo ) se ocupan de descubrir si existe algún cardinal entre algún par de otros cardinales infinitos. En tiempos más recientes, los matemáticos han estado describiendo las propiedades de cardinales cada vez más grandes.
Dado que la cardinalidad es un concepto tan común en matemáticas, se utilizan una variedad de nombres. La igualdad de cardinalidad a veces se denomina equipotencia , equipolencia o equinumerosidad . Se dice así que dos conjuntos con la misma cardinalidad son, respectivamente, equipotentes , equipotentes o equinumeros .
Formalmente, asumiendo el axioma de elección , la cardinalidad de un conjunto X es el menor número ordinal α tal que exista una biyección entre X y α. Esta definición se conoce como asignación cardinal de von Neumann . Si no se asume el axioma de elección, entonces se necesita un enfoque diferente. La definición más antigua de la cardinalidad de un conjunto X (implícita en Cantor y explícita en Frege y Principia Mathematica ) es como la clase [ X ] de todos los conjuntos que son equinumeros con X. Esto no funciona en ZFC u otros sistemas relacionados de teoría de conjuntos axiomáticos porque si X no está vacío, esta colección es demasiado grande para ser un conjunto. De hecho, para X ≠ ∅ hay una inyección del universo en [ X ] al asignar un conjunto m a { m } × X , y así, según el axioma de limitación de tamaño , [ X ] es una clase adecuada. Sin embargo, la definición funciona en la teoría de tipos y en Nuevos Fundamentos y sistemas relacionados. Sin embargo, si restringimos de esta clase a aquellos equinumeros con X que tienen el menor rango , entonces funcionará (este es un truco debido a Dana Scott : [3] funciona porque la colección de objetos con cualquier rango dado es un conjunto ).
La asignación cardinal de Von Neumann implica que el número cardinal de un conjunto finito es el número ordinal común de todos los posibles ordenamientos de ese conjunto, y la aritmética cardinal y ordinal (suma, multiplicación, potencia, resta propia) da las mismas respuestas para números finitos. números. Sin embargo, difieren para números infinitos. Por ejemplo, en aritmética ordinal mientras que en aritmética cardinal, aunque la asignación de von Neumann pone . Por otro lado, el truco de Scott implica que el número cardinal 0 es , que también es el número ordinal 1, y esto puede resultar confuso. Un posible compromiso (para aprovechar el alineamiento en aritmética finita y al mismo tiempo evitar la dependencia del axioma de elección y la confusión en aritmética infinita) es aplicar la asignación de von Neumann a los números cardinales de conjuntos finitos (aquellos que pueden estar bien ordenados y no lo están). equipotente a subconjuntos propios) y utilizar el truco de Scott para los números cardinales de otros conjuntos.
Formalmente, el orden entre los números cardinales se define de la siguiente manera: | X | ≤ | Y | significa que existe una función inyectiva de X a Y. El teorema de Cantor-Bernstein-Schroeder establece que si | X | ≤ | Y | y | Y | ≤ | X | entonces | X | = | Y |. El axioma de elección es equivalente a la afirmación de que dados dos conjuntos X e Y , | X | ≤ | Y | o | Y | ≤ | X |. [4] [5]
Un conjunto X es infinito de Dedekind si existe un subconjunto propio Y de X con | X | = | Y |, y Dedekind-finito si dicho subconjunto no existe. Los cardinales finitos son sólo los números naturales , en el sentido de que un conjunto X es finito si y sólo si | X | = | norte | = n para algún número natural n . Cualquier otro conjunto es infinito .
Asumiendo el axioma de elección, se puede demostrar que las nociones de Dedekind corresponden a las estándar. También se puede demostrar que el cardinal ( aleph nulo o aleph-0, donde aleph es la primera letra del alfabeto hebreo , representada ) del conjunto de números naturales es el cardinal infinito más pequeño (es decir, cualquier conjunto infinito tiene un subconjunto de cardinalidad ). El siguiente cardinal más grande se denota por , y así sucesivamente. Para cada ordinal α, hay un número cardinal y esta lista agota todos los infinitos números cardinales.
Podemos definir operaciones aritméticas con números cardinales que generalizan las operaciones ordinarias para números naturales. Se puede demostrar que para cardinales finitos estas operaciones coinciden con las operaciones habituales para números naturales. Además, estas operaciones comparten muchas propiedades con la aritmética ordinaria.
Si se cumple el axioma de elección, entonces cada cardinal κ tiene un sucesor, denotado κ + , donde κ + > κ y no hay cardinales entre κ y su sucesor. (Sin el axioma de elección, utilizando el teorema de Hartogs , se puede demostrar que para cualquier número cardinal κ, existe un cardinal mínimo κ + tal que ) Para cardinales finitos, el sucesor es simplemente κ + 1. Para cardinales infinitos, el El cardenal sucesor difiere del ordinal sucesor .
Si X e Y son disjuntos , la suma viene dada por la unión de X e Y. Si los dos conjuntos aún no están separados, entonces se pueden reemplazar por conjuntos disjuntos de la misma cardinalidad (por ejemplo, reemplazar X por X ×{0} e Y por Y ×{1}).
Cero es una identidad aditiva κ + 0 = 0 + κ = κ .
La suma es asociativa ( κ + μ ) + ν = κ + ( μ + ν ).
La suma es conmutativa κ + μ = μ + κ .
La suma no es decreciente en ambos argumentos:
Suponiendo el axioma de elección, la suma de infinitos números cardinales es fácil. Si κ o μ es infinito, entonces
Asumiendo el axioma de elección y, dado un cardinal infinito σ y un cardinal μ , existe un cardinal κ tal que μ + κ = σ si y sólo si μ ≤ σ . Será único (e igual a σ ) si y sólo si μ < σ .
El producto de cardenales proviene del producto cartesiano .
κ ·0 = 0· κ = 0.
κ · μ = 0 → ( κ = 0 o μ = 0).
Se trata de una identidad multiplicativa κ ·1 = 1· κ = κ .
La multiplicación es asociativa ( κ · μ ) · ν = κ · ( μ · ν ).
La multiplicación es conmutativa κ · μ = μ · κ .
La multiplicación no es decreciente en ambos argumentos: κ ≤ μ → ( κ · ν ≤ μ · ν y ν · κ ≤ ν · μ ).
La multiplicación se distribuye sobre la suma: κ ·( μ + ν ) = κ · μ + κ · ν y ( μ + ν )· κ = μ · κ + ν · κ .
Suponiendo el axioma de elección, la multiplicación de infinitos números cardinales también es sencilla. Si κ o μ es infinito y ambos son distintos de cero, entonces
Asumiendo el axioma de elección y, dado un cardinal infinito π y un cardinal μ distinto de cero , existe un cardinal κ tal que μ · κ = π si y sólo si μ ≤ π . Será único (e igual a π ) si y sólo si μ < π .
La exponenciación está dada por
donde X Y es el conjunto de todas las funciones de Y a X. [6]
La exponenciación no es decreciente en ambos argumentos:
2 | X | es la cardinalidad del conjunto de potencias del conjunto X y el argumento de la diagonal de Cantor muestra que 2 | X | > | X | para cualquier conjunto X . Esto prueba que no existe un cardenal más grande (porque para cualquier cardenal κ , siempre podemos encontrar un cardenal más grande 2 κ ). De hecho, la clase de los cardenales es una clase propia . (Esta prueba falla en algunas teorías establecidas, en particular en Nuevos Fundamentos ).
Todas las proposiciones restantes de esta sección asumen el axioma de elección:
Si 2 ≤ κ y 1 ≤ μ y al menos uno de ellos es infinito, entonces:
Usando el teorema de König , se puede demostrar κ < κ cf( κ ) y κ < cf(2 κ ) para cualquier cardinal infinito κ , donde cf( κ ) es la cofinalidad de κ .
Suponiendo el axioma de elección y, dado un cardinal infinito κ y un cardinal finito μ mayor que 0, el cardinal ν satisfactorio será .
Suponiendo el axioma de elección y, dado un cardinal infinito κ y un cardinal finito μ mayor que 1, puede haber o no un cardinal λ que satisfaga . Sin embargo, si tal cardinal existe, es infinito y menor que κ , y cualquier cardinalidad finita ν mayor que 1 también satisfará .
El logaritmo de un número cardinal infinito κ se define como el menor número cardinal μ tal que κ ≤ 2 μ . Los logaritmos de infinitos cardinales son útiles en algunos campos de las matemáticas, por ejemplo en el estudio de invariantes cardinales de espacios topológicos , aunque carecen de algunas de las propiedades que poseen los logaritmos de números reales positivos. [7] [8] [9]
La hipótesis del continuo (CH) establece que no hay cardinales estrictamente entre y. El último número cardinal también suele denotarse por ; es la cardinalidad del continuo (el conjunto de los números reales ). En este caso
De manera similar, la hipótesis del continuo generalizado (GCH) establece que para cada cardinal infinito , no hay cardinales estrictamente entre y . Se ha demostrado que tanto la hipótesis del continuo como la hipótesis del continuo generalizado son independientes de los axiomas habituales de la teoría de conjuntos, los axiomas de Zermelo-Fraenkel junto con el axioma de elección ( ZFC ).
De hecho, el teorema de Easton muestra que, para los cardinales regulares , las únicas restricciones que ZFC impone a la cardinalidad de son las de , y que la función exponencial no es decreciente.
Notas
Bibliografía
