Conjunto vaco

El conjunto vaco es aquel que no tiene elementos.

En matemticas, el conjunto vaco es el conjunto que no contiene ningn elemento. Puesto que lo nico que define a un conjunto son sus elementos, el conjunto vaco es nico. Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco. En una teora axiomtica de conjuntos, la existencia de un conjunto vaco se postula.
ndice
[ocultar]

1 Notacin 2 Propiedades 3 Vase tambin 4 Referencias

Notacin[editar editar cdigo]

Smbolo del conjunto vaco

El conjunto vaco es denotado por los smbolos:

derivados de la letra de las lenguas danesa y noruega, entre otras. Esta notacin fue introducida por Andr Weil en 1939.1 Otra notacin comn para el conjunto vaco es la notacin extensiva, especificando sus elementos (ninguno) entre llaves:

Propiedades[editar editar cdigo]

El conjunto vaco es nico ya que lo nico que distingue a un conjunto son sus elementos:

Dos conjuntos sin elementos son iguales.

Esto justifica hablar de el conjunto vaco y no de un conjunto vaco. Adems, el conjunto vaco posee ciertas propiedades:

El nico subconjunto del conjunto vaco es l mismo:

El nmero de elementos o cardinal del conjunto vaco es cero:

En particular, el conjunto vaco es un conjunto finito.

Muchas afirmaciones sobre el conjunto vaco son trivialmente ciertas, debido a la siguiente propiedad:

Sea una propiedad expresada mediante un predicado (como ser mortal o ser un nmero primo). Entonces todos los elementos del conjunto vaco poseen esa propiedad.

Este teorema es cierto porque el conjunto vaco no tiene elementos, y decir todo hombre en es inmortal es lo mismo que afirmar que no hay ningn hombre mortal en , y esto ltimo es trivialmente cierto. Adems, el conjunto vaco acta como el cero en las operaciones del lgebra de conjuntos:

Para todo conjunto A, el conjunto vaco es subconjunto de A:

Para todo conjunto A, la unin de A con el conjunto vaco es A:

Para todo conjunto A, la interseccin de A con el conjunto vaco resulta en el conjunto vaco:

Para todo conjunto A, el producto cartesiano de A y el conjunto vaco es vaco:

Adicionalmente, el conjunto potencia del conjunto vaco es el que contiene slo al mismo conjunto vaco, es decir, { }. Por lo tanto, el nmero cardinal de es .

Xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

Conjunto potencia
No debe confundirse con Potencia de un conjunto. En matemticas, el conjunto potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos del mismo. Por ejemplo, el conjunto potencia de A = {1, 2, 3} es:

El conjunto potencia de A tambin se denomina conjunto de las partes de A, o conjunto de partes de A se denota por P(A) o 2A.
ndice
[ocultar]

1 Definicin 2 Propiedades

2.1 Cardinal

3 lgebras de Boole 4 Axioma del conjunto potencia 5 Referencias

Definicin[editar editar cdigo]

El conjunto potencia de A es la clase o coleccin de los subconjuntos de A:

El conjunto potencia de A (o conjunto de partes o conjunto de las partes) es el conjunto P(A) formado por todos los subconjuntos de A:

El conjunto potencia de A tambin se denota por 2A. Ejemplos

El conjunto potencia de A = {a, 2, c} es:

El conjunto potencia de B = { x } es:

Propiedades[editar editar cdigo]

El conjunto potencia de cualquier conjunto siempre contiene ciertos subconjuntos fijos, por lo que nunca es vaco:

El conjunto vaco est en el conjunto potencia de cualquier subconjunto:

Un conjunto cualquiera siempre es un elemento de su conjunto potencia:

Cardinal[editar editar cdigo]

El nmero de elementos del conjunto potencia es precisamente una potencia del nmero de elementos en el conjunto original:

El cardinal del conjunto potencia de un conjunto finito A es 2 elevado al cardinal de A':

Esta relacin es el origen de la notacin 2A para el conjunto potencia. Una manera de deducirla es mediante los coeficientes binomiales. Si el conjunto A tiene n elementos, el nmero de subconjuntos con k elementos es igual al nmero combinatorio C(n, k). Un subconjunto de A puede tener 0 elementos como mnimo, y n como mximo, y por lo tanto:

Esta propiedad tambin puede obtenerse observando que el conjunto potencia de A es equivalente al conjunto de funciones condominio A y codominio {0, 1}, f : A {0, 1}. Cada funcin corresponde entonces con un subconjunto, si se interpreta la imagen de un elemento como un indicador de si dicho elemento pertenece al subconjunto: 0 indica no pertenece, 1 indica pertenece. El nmero de estas funciones carectersticas de A es precisamente 2n, si |A| = n. En el caso de un conjunto infinito la identificacin entre subconjuntos y funciones es igualmente vlida, y el cardinal del conjunto potencia sigue siendo igual a 2|A|, en trminos de cardinales infinitos y su aritmtica. En particular, el conjunto potencia siempre tiene un cardinal superior al del conjunto original, como

establece el teorema de Cantor, por lo que nunca existe una aplicacin biyectivaentre un conjunto y su conjunto potencia.