Conjunto Vacio

Conjunto vacío
Artículo
Discusión
Leer
Editar
Ver historial
Herramientas
Apariencia
Texto
Pequeño
Estándar
Grande
Anchura
Estándar
Ancho
El conjunto vacío es aquel que no tiene elementos.
Desde principios del siglo XX, en la matemática, particularmente en la teoría

axiomática de Conjuntos de ZF o la teoría intuitiva de conjuntos, el conjunto vacío
es el que no posee elemento alguno. Puesto que lo único que define a un conjunto es
la propiedad que satisfacen sus elementos, el conjunto vacío es único.
Algunas propiedades de los conjuntos son obviamente ciertas para el conjunto vacío.
En una teoría axiomática de conjuntos, la existencia de un conjunto vacío se
postula.
Definición y notación
Símbolo del conjunto vacío
El conjunto vacío es el conjunto que no tiene elementos.
El conjunto vacío es denotado por los símbolos: ∅ o ∅ {\displaystyle \emptyset \,}

derivados de la letra Ø de las lenguas danesa y noruega, entre otras. Esta notación
fue introducida por André Weil en 1939.1 Otra notación común para el conjunto vacío
es la notación extensiva, especificando sus elementos (ninguno) entre llaves:
{ } {\displaystyle \{\}\,}
El conjunto vacío ∅ {\displaystyle \emptyset \ } es el conjunto de todos los

elementos x {\displaystyle x} tal que x ≠ x {\displaystyle x\neq x}.
Expresión analítica : Sea el conjunto en el espacio vectorial R S = { x ∈ Z : x 2 −

x − 2 = 0 } . {\displaystyle S=\{x\in \mathbf {Z} :x^{2}-x-2=0\}.}. Entonces S = ∅
{\displaystyle S=\varnothing }2
Propiedades
Es necesario y legítimo hablar de «el conjunto vacío» y no de «un conjunto vacío».

El conjunto vacío posee ciertas propiedades:
El único subconjunto del conjunto vacío es él mismo:
A ⊆ ∅ si y solo si A = ∅ {\displaystyle A\subseteq \varnothing \;{\

text{ si y solo si }}\;A=\varnothing }
El número de elementos o cardinal del conjunto vacío es cero:
| ∅ | = 0 {\displaystyle |\varnothing |=0}
En particular, el conjunto vacío es un conjunto finito.
Muchas afirmaciones sobre el conjunto vacío son trivialmente ciertas, debido a la

siguiente propiedad:
Sea una propiedad expresada mediante un predicado (como «ser mortal» o «ser un
número primo»). Entonces todos los elementos del conjunto vacío poseen esa
propiedad.
Este teorema es cierto porque el conjunto vacío no tiene elementos, y decir «todo
hombre en ∅ es inmortal» es lo mismo que afirmar que «no hay ningún hombre mortal
en ∅», y esto último es trivialmente cierto. Además, el conjunto vacío actúa como
el cero en las operaciones del álgebra de conjuntos:
Para todo conjunto A, el conjunto vacío es subconjunto de A:
∅ ⊆ A {\displaystyle \varnothing \subseteq A}
Para todo conjunto A, la unión de A con el conjunto vacío es A:
A ∪ ∅ = A {\displaystyle A\cup \varnothing =A}
Para todo conjunto A, la intersección de A con el conjunto vacío resulta en

el conjunto vacío:
A ∩ ∅ = ∅ {\displaystyle A\cap \varnothing =\varnothing }
Para todo conjunto A, el producto cartesiano de A y el conjunto vacío es

vacío:
A × ∅ = ∅ × A = ∅ {\displaystyle A\times \varnothing =\varnothing \times

A=\varnothing }
Adicionalmente, el conjunto potencia del conjunto vacío es el que contiene sólo al

mismo conjunto vacío, es decir, { ∅ }. Por lo tanto, el número cardinal de P ( ∅ )
= { ∅ } {\displaystyle {\mathcal {P}}(\varnothing )=\{\varnothing \}} es | P ( ∅ )
| = 1 {\displaystyle |{\mathcal {P}}(\varnothing )|=1}.
Otras propiedades
La intersección de un conjunto y su complementario es el conjunto vacío. En

símbolos: A ∩ A c = ∅ {\displaystyle A\cap A^{c}=\varnothing }.
El conjunto ∅ {\displaystyle \varnothing } es abierto y cerrado.
La diferencia de cualquier conjunto consigo mismo es el conjunto vacío. A ∖ A =
∅ {\displaystyle A\setminus A=\varnothing }.
En la diferencia simétrica definida en un conjunto potencia , el conjunto vacío
es el elemento neutro, esto es, A Δ ∅ = A {\displaystyle A\ \Delta \varnothing
=A}.
En una partición de un conjunto inducida por una relación de equivalencia, la
intersección de dos clases distintas es el conjunto vacío. k ≠ l ⇒ A k ∩ A l = ∅ {\
displaystyle k\neq l\Rightarrow A_{k}\cap A_{l}=\varnothing }.
El conjunto vacío es elemento del conjunto potencia de cualquier conjunto,
necesariamente. ∅ ∈ P ( A ) {\displaystyle \varnothing \in {\mathcal {P}}(A)}3.
La unión de una familia vacía de conjuntos es el conjunto vacío.
La intersección de una familia vacía de conjuntos es el conjunto vacío.
∅ {\displaystyle \varnothing } figura como elemento propio de toda topología
sobre X. Notación: ∅ ∈ T ( X ) {\displaystyle \varnothing \in T(X)}. Y es cerrado,
a la vez que abierto en cualquier topología.4
La intersección del interior del conjunto A con el interior de su
complementario es A ∘ ∩ B ∘ = ∅ {\displaystyle A^{\circ }\cap B^{\circ }=\
varnothing } donde B = X ∖ A {\displaystyle B=X\setminus A}.
La intersección del interior con su frontera es A ∘ ∩ ∂ A = ∅ {\displaystyle
A^{\circ }\cap \partial A=\varnothing }.
El conjunto A = { x / x ∈ R } {\displaystyle A=\{x/x\in {\mathcal {R}}\}} tal
que | x | < 0 {\displaystyle |x|<0} es igual a ∅ {\displaystyle \varnothing }5.
En cálculo de probabilidades el conjunto vacío representa el suceso imposible y
P(∅) = 06.
En otras áreas de las matemáticas

Números reales extendidos
Dado que el conjunto vacío no tiene miembros cuando se considera como un

subconjunto de cualquier conjunto ordenado, cada miembro de ese conjunto será un
límite superior e inferior para el conjunto vacío. Por ejemplo, cuando se ve como
un subconjunto de los números reales, con su orden habitual, representado por una
recta numérica real, cada número real es un límite superior e inferior para el
conjunto vacío.7 Cuando se ve como un subconjunto de los valores reales extendidos
formados al agregar dos "números" o "puntos" a los números reales (es decir,
infinito negativo, denotado − ∞ , {\displaystyle -\infty \!\,,} que se define como
menor que cualquier otro número real aumentado, y el infinito positivo , denotado
por + ∞ , {\displaystyle +\infty \!\,,}, que se define como mayor que cualquier
otro número real aumentado), obtenemos que:
sup ∅ = min ( { − ∞ , + ∞ } ∪ R ) = − ∞ ,
{\displaystyle \sup \varnothing =\min(\{-\infty ,+\infty \}\cup \mathbb {R} )=-\
infty ,} y
inf ∅ = max ( { − ∞ , + ∞ } ∪ R ) = + ∞ .
{\displaystyle \inf \varnothing =\max(\{-\infty ,+\infty \}\cup \mathbb {R} )=+\
infty .}
En otras palabras, el límite superior más pequeño (sup o supremum) del conjunto
vacío es infinito negativo, mientras que el límite inferior más grande (inf o
infimum) es infinito positivo. Por analogía con lo anterior, en el dominio de los
valores reales extendidos, el infinito negativo es el elemento idéntico para los
operadores máximo y supremo, mientras que el infinito positivo es el elemento
identidad para los operadores mínimo e ínfimo.
Topología
En cualquier espacio topológico X, el conjunto vacío es abierto por definición, al

igual que X. Dado que el complemento del conjunto abierto es cerrado, y el conjunto
vacío y X son complementarios entre sí, el conjunto vacío también es cerrado, lo
que lo convierte en un conjunto abierto-cerrado. Además, el conjunto vacío es
compacto por el hecho de que todo conjunto finito es compacto.
El cierre del conjunto vacío es vacío. Esto se conoce como "preservación de uniones
nulas".
Teoría de categorías
Si A {\displaystyle A} es un conjunto entonces hay exactamente una función f {\

displaystyle f} desde el ∅ {\displaystyle \varnothing } hacia A , {\displaystyle
A,} que es una función vacía. Por lo tanto, el conjunto vacío es el único objeto
inicial de la categoría de conjunto y función.
Un conjunto vacío se puede convertir en un espacio topológico, llamado espacio
vacío, de una sola manera: definiendo que el conjunto vacío sea abierto. Este
espacio topológico vacío es un objeto inicial único en la categoría de espacios
topológicos con mapas continuos. De hecho, es un objeto inicial estricto: solo el
conjunto vacío tiene una función de conjunto vacío.
Teoría de conjuntos
En la construcción ordinal de von Neumann, 0 se define como el conjunto vacío, y el
sucesor del ordinal se define como S ( α ) = α ∪ { α } {\displaystyle S(\alpha )=\
alpha \cup \{\alpha \}} . Entonces tenemos 0 = ∅ {\displaystyle 0=\varnothing }, 1
= 0 ∪ { 0 } = { ∅ } {\displaystyle 1=0\cup \{0\}=\{\varnothing \}}, 2 = 1 ∪ { 1 } =
{ ∅ , { ∅ } } {\displaystyle 2=1\cup \{1\}=\{\varnothing ,\{\varnothing \}\}}, y
así sucesivamente.8 La construcción de Von Neumann, junto con el axioma del
infinito, que garantiza la existencia de al menos un conjunto infinito, puede
usarse para construir el conjunto de números naturales, N 0 {\displaystyle \mathbb
{N} _{0}}, tal que se satisfagan los Axiomas de Peano de la aritmética.

Conjunto Vacio

Cargado por

Copyright:

Formatos disponibles

Conjunto Vacio

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Conjunto Vacio

Cargado por

Copyright:

Formatos disponibles

Conjunto vacío

El conjunto vacío es aquel que no tiene elementos.

Desde principios del siglo XX, en la matemática, particularmente en la teoría

El conjunto vacío es el conjunto que no tiene elementos.

El conjunto vacío es denotado por los símbolos: ∅ o ∅ {\displaystyle \emptyset \,}

El conjunto vacío ∅ {\displaystyle \emptyset \ } es el conjunto de todos los

Expresión analítica : Sea el conjunto en el espacio vectorial R S = { x ∈ Z : x 2 −

Es necesario y legítimo hablar de «el conjunto vacío» y no de «un conjunto vacío».

El único subconjunto del conjunto vacío es él mismo:

A ⊆ ∅ si y solo si A = ∅ {\displaystyle A\subseteq \varnothing \;{\

El número de elementos o cardinal del conjunto vacío es cero:

| ∅ | = 0 {\displaystyle |\varnothing |=0}

En particular, el conjunto vacío es un conjunto finito.

Muchas afirmaciones sobre el conjunto vacío son trivialmente ciertas, debido a la

Para todo conjunto A, el conjunto vacío es subconjunto de A:

∅ ⊆ A {\displaystyle \varnothing \subseteq A}

Para todo conjunto A, la unión de A con el conjunto vacío es A:

A ∪ ∅ = A {\displaystyle A\cup \varnothing =A}

Para todo conjunto A, la intersección de A con el conjunto vacío resulta en

A ∩ ∅ = ∅ {\displaystyle A\cap \varnothing =\varnothing }

Para todo conjunto A, el producto cartesiano de A y el conjunto vacío es

A × ∅ = ∅ × A = ∅ {\displaystyle A\times \varnothing =\varnothing \times

Adicionalmente, el conjunto potencia del conjunto vacío es el que contiene sólo al

La intersección de un conjunto y su complementario es el conjunto vacío. En

En otras áreas de las matemáticas

Dado que el conjunto vacío no tiene miembros cuando se considera como un

En cualquier espacio topológico X, el conjunto vacío es abierto por definición, al

Si A {\displaystyle A} es un conjunto entonces hay exactamente una función f {\

También podría gustarte