Número cardinal

Número cardinal
Este artículo trata sobre la definicón elemental de número cardinal. Para la definición en teoría de conjuntos, véase Número cardinal (teoría de conjuntos).

El cardinal indica el número o cantidad de elementos de un conjunto, sea esta cantidad finita o infinita. Los números cardinales constituyen una generalización interesante del concepto de número natural, permitiendo comparar la cantidad de elementos de conjuntos infinitos. Dado un conjunto A\,, el cardinal de este conjunto se simboliza mediante |A|\,, \mbox{n}(A)\,, \mbox{card}(A)\, o \#A. Por ejemplo: si A tiene 3 elementos el cardinal se indica así: |A| = 3.

Contenido

Historia

El concepto de número cardinal fue desarrollado y propuesto por Georg Cantor, en 1874, quien lo amplió a conjuntos infinitos, ya que para conjuntos finitos el concepto de cardinal es trivial.

Primero estableció el concepto de cardinalidad como una herramienta para comparar conjuntos finitos. Por ejemplo, los conjuntos {1,2,3} y {2,3,4} no son iguales pero tienen la misma cardinalidad, llamada tres.

Cantor definió el conteo usando la correspondencia biunívoca, la cual mostraba fácilmente que dos conjuntos finitos tenían la misma cardinalidad si había una relación biyectiva entre sus elementos. Esta correspondencia uno a uno le sirvió para crear un concepto de conjunto infinito, el cual posee todos sus elementos relacionados de forma biyectiva con el conjunto de números naturales (N = {1, 2, 3, ...}).

Nombró el cardinal de \mathbb{N}: \aleph_0. Incluso probó que varios conjuntos infinitos formados por naturales (como los pares) tienen cardinalidad \aleph_0, debido a que era posible establecer la relación biunívoca con N.

Propiedades del cardinal de un conjunto

Los conjuntos pueden ser divididos en clases de equivalencia definidas en función de la relación de equivalencia que incluye a un par de conjuntos si y sólo si entre éstos existe una biyección. Cardinalidad de un conjunto sería la clase de equivalencia a la cual éste pertenece. Tener dos conjuntos A,B con la misma cardinalidad (o sea, que pertenezcan al mismo cardinal) se denota:

\left | A \right | = \left | B \right |, o bien \# A= \# B

La existencia de una función inyectiva entre dos conjuntos también define una relación de orden entre sus cardinales; es decir:

\left | A \right | \le_{\#} \left | B \right | \Leftrightarrow \exists f:A \rightarrow B \text{, inyectiva}

La relación <_{\#} excluye la posibilidad que los cardinales sean iguales.
Es posible demostrar que si

\left | A \right | \le_{\#} \left | B \right | y \left | B \right | \le_{\#} \left | A \right | esto implica que \left | A \right | = \left | B \right |

El cardinal del conjunto vacío se denota convencionalmente como 0 (cero) y contiene al único conjunto vacío:

\text{card}(\varnothing) = 0

El primer cardinal infinito (en el sentido de que sus representantes son conjuntos infinitos) es el cardinal de los naturales, y se denota usualmente por ω. Se puede también demostrar que existe una función biyectiva entre los ordinales y los cardinales de conjuntos infinitos, tal que preserva el orden en ambos conjuntos (el orden de los ordinales y el \le_{\#}-orden en los cardinales). Esta función, llamada \aleph, induce un buen orden en los cardinales, y de aquí proviene la notación \aleph_0=\omega para el primer cardinal infinito, \aleph_1 para el siguiente, etc.

Cardinales transfinitos

Artículo principal: Número transfinito

Los números cardinales de algunos conjuntos se representan con símbolos especiales:

  • El cardinal de los números reales: \mbox{card}(\R) = c;
  • El cardinal de los números naturales: \mbox{card}(\N) = \aleph_0 (Alef-0).
  • El cardinal inmediatamente superior a \aleph_0: \aleph_1

Usando los axiomas de Zermelo-Fraenkel (ZF) puede comprobarse que los tres cardinales anteriores cumplen \aleph_0 < \aleph_1 \le c. La hipótesis del continuo afirma que de hecho c = \aleph_1. Gödel probó en 1938 que esta hipótesis es consistente con los axiomas ZF, y por tanto puede ser tomado como un axioma nuevo para la teoría de conjuntos. Sin embargo, en 1963 Paul Cohen probó que la negación de la hipótesis del continuo también es consistente con los axiomas ZF, lo cual prueba que dicha hipótesis es totalmente independiente de los axiomas ZF. Es decir, pueden construirse tanto "teorías de conjuntos cantorianas" en las que la hipótesis del continuo es una afirmación cierta, como "teorías de conjuntos no cantorianas" en las que la hipótesis del continuo sea falsa. Esta situación es similar a la de las geometrías no euclídeas.

Ejemplo de cálculo del cardinal de un conjunto

  • El cardinal conjunto finito A = {2,4,5} es 3. Demostración: En primer lugar resulta trivial probar que esta función es inyectiva: f: {2,4,5} → {1,2,3}:


f(x) = \begin{cases} 1, & \mbox{si }x\mbox{= 2} \\ 2, & \mbox{si }x\mbox{= 4} \\ 3, & \mbox{si }x\mbox{= 5} \end{cases}
  • El cardinal del conjunto infinito P = {x ∈ \mathbb{N} / x es par } formado por los números pares es \aleph_0. Para probarlo basta con definir las funciones:


\begin{matrix} f:P \longrightarrow \mathbb{N} & \qquad & \qquad & g:\mathbb{N} \longrightarrow P \\ x \mapsto f(x) =\frac{x}{2} & \qquad & \qquad & x \mapsto g(x) = 2x \end{matrix}


Demostrando la inyectividad de ambas, concluimos que f es biyectiva. La cardinalidad del conjunto es \aleph_0. Esto concluye la demostración. Aunque este resultado puede parecer contrario a la intuición, ya que se puede pensar que hay más naturales que pares (porque, por ejemplo, el 1 es natural y no está incluido en los pares), pero demostramos que estos conjuntos son equipotentes.

  • El conjunto de pares (o más generalmente de n-tuplas) de números naturales tiene un cardinal \aleph_0. Esto se puede probar numerando los pares de números naturales anti-diagonalmente. Otro modo de probar es que \mathbb{N} \times \mathbb{N} tiene el mismo cardinal que un subconjunto infinito de los naturales:

g: \mathbb{N}x\mathbb{N} → \mathbb{N} g(x, y) = 3x * 2y

Al ser 3 y 2 números primos, para cada par x, y obtendremos un número distinto. Entonces g es inyectiva y \operatorname{card}(\mathbb{Q}) \leq \operatorname{card}(\mathbb{N})


  • El conjunto de los Números racionales \mathbb{Q} tiene un cardinal igual a \aleph_0. Este resultado desafía un poco la intuición porque de un lado el conjunto de los racionales es "denso" en \mathbb{R} que tiene cardinal 2^{\aleph_0}, de hecho estudiando un poco la topología de los números reales, tenemos que entre dos números reales existe siempre un número racional, y entre dos racionales un real irracional. Eso podría hacer pensar que \mathbb{Q} y \mathbb{R} son comparables según el número de elementos, pero resulta que \mathbb{Q} sólo tiene tantos elementos como \mathbb{N}, siendo el número de elementos de \mathbb{R} un infinito muy superior al número de elementos de \mathbb{Q}.

Para comprobar que en efecto el conjunto \mathbb{Q} es numerable, y por tanto, tiene el mismo cardinal que los naturales podemos ver que existe una función inyectiva i_\mathbb{Q}
. Si un número racional q es igual a r/s siendo estos dos números primos relativos entre sí entonces definimos:

\begin{matrix} i_\mathbb{Q}:\mathbb{Q}\longrightarrow \mathbb{N} \times \mathbb{N} & \\ q \mapsto i_\mathbb{Q}(q) = (r,s) & \qquad [\operatorname{mcd}(r,s) = 1] \end{matrix}


Esto prueba que \mbox{card}(\mathbb{Q}) \le \mbox{card}(\mathbb{N} \times \mathbb{N}) y como \mbox{card}(\mathbb{N} \times \mathbb{N}) = \mbox{card}(\mathbb{N}) y los naturales son asimilables a un conjunto de los racionales tenemos la cadena de desigualdades:

\mbox{card}(\mathbb{N}) \le \mbox{card}(\mathbb{Q}) \le \mbox{card}(\mathbb{N} \times \mathbb{N}) \le \mbox{card}(\mathbb{N})


Por lo tanto: \operatorname{card}(\mathbb{Q}) = \operatorname{card}(\mathbb{N})

Aritmética de cardinales

Dados dos conjuntos disjuntos \scriptstyle \mathcal{A} y \scriptstyle \mathcal{B} con cardinales respectivos \scriptstyle A y \scriptstyle B se define la suma y la multiplicación de cardinales como:

A + B = |\mathcal{A} \cup \mathcal{B}|, \qquad A \cdot B = |\mathcal{A} \times \mathcal{B}|

Existen algunas relaciones aritméticas interesantes entre cardinales transfinitos:

A+B = \max(A,B)\, el cardinal de la unión de dos conjuntos coincide con el mayor cardinal.
A\cdot B = \max(A,B)\, El cardinal del producto cartesiano coincide con el mayor cardinal.

La exponenciación de cardinales se define a partir del conjunto de funciones de entre los dos conjuntos \scriptstyle \mathcal{A} y \scriptstyle \mathcal{B}:

A^B = \{f:\mathcal{B}\to\mathcal{A}\} = |\mathcal{A}^\mathcal{B}|

Con las definiciones anteriores es inmediato comprobar que:

\overbrace{A+\dots+A}^n = n\cdot A, \qquad \overbrace{A\cdot \dots \cdot A}^n = A^n

Cardinal del conjunto potencia

Existe una relación entre el cardinal de un conjunto y el conjunto de partes o conjunto potencia:

|A| = n \Rightarrow |P(A)| = 2^n


Donde | P(A) | es el cardinal del conjunto de partes.


Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Número cardinal (teoría de conjuntos) — Este artículo trata sobre números cardinales en teoría de conjuntos axiomática. Para una introducción más básica, véase Número cardinal. Comparación de los cardinales numerable y continuo. Cada sucesión binaria, compuesta por una cantidad… …   Wikipedia Español

  • Número cardinal — ► locución MATEMÁTICAS Cada uno de los números enteros en abstracto. * * * El cardinal indica el número o cantidad de los elementos constitutivos de un conjunto. Es interesante destacar que se diferencia del ordinal, porque el ordinal introduce… …   Enciclopedia Universal

  • cardinal — adjetivo 1. Que es el fundamento o la base principal de una cosa: Los principios cardinales de nuestra empresa son la fidelidad a la casa y la entrega al trabajo. virtud* cardinal. 2. Área: gramática [Adjetivo, pronombre numeral] que indica… …   Diccionario Salamanca de la Lengua Española

  • número — sustantivo masculino 1. Concepto matemático que expresa una cantidad en relación con una unidad. número cardinal. número entero. número fraccionario. número impar. número natural. número ordinal. número par. número primo. número quebrado. número… …   Diccionario Salamanca de la Lengua Española

  • número — (Del lat. numĕrus). 1. m. Mat. Expresión de una cantidad con relación a su unidad. 2. Signo o conjunto de signos con que se representa el número. 3. Cantidad de personas o cosas de determinada especie. 4. Condición, categoría, situación o clase… …   Diccionario de la lengua española

  • Cardinal — Saltar a navegación, búsqueda Cardinal puede referirse a: Número cardinal o nominativo. Punto cardinal. Stanford Cardinal, equipo deportivo de la universidad de Stanford, en Estados Unidos. Uva cardinal, variedad de uva de mesa. Cardinal (Madrid) …   Wikipedia Español

  • cardinal — (Del lat. cardinālis). 1. adj. Principal, fundamental. 2. (Porque tienen su principio en los cuatro puntos cardinales del Zodiaco, y, al entrar el Sol en ellos, empiezan respectivamente las cuatro estaciones del año). Astr. Se dice de los signos… …   Diccionario de la lengua española

  • Número — (Del lat. numerus.) ► sustantivo masculino 1 MATEMÁTICAS Ente abstracto o expresión de la cantidad en relación con la unidad. 2 MATEMÁTICAS Signo o conjunto de signos con que se representa este ente abstracto. SINÓNIMO cifra guarismo 3 Cantidad… …   Enciclopedia Universal

  • cardinal — (Del lat. cardinalis, principal.) ► adjetivo 1 Que es principal, esencial o primordial. SINÓNIMO fundamental 2 ASTRONOMÍA Relativo al punto de referencia que sirve para orientarse. 3 OCULTISMO Se refiere a los signos aries, tauro, libra y… …   Enciclopedia Universal

  • Número de Hartogs — En matemáticas, en particular en la teoría axiomática de conjuntos, un número de Hartogs es un tipo particular de número cardinal. En 1915, Friedrich Hartogs demostró que basta con los axiomas de Zermelo Fraenkel (es decir, no se requiere el… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”