Conjunto vacío

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 $\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:

\{\}\,

El conjunto vacío $\emptyset \$ es el conjunto de todos los elementos $x$ tal que $x\neq x$ .

Expresión analítica : Sea el conjunto en el espacio vectorial R $S=\{x\in \mathbf {Z} :x^{2}-x-2=0\}.$ . Entonces $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\subseteq \varnothing \;{\text{ si y solo si }}\;A=\varnothing$

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

$|\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$ :

$\varnothing \subseteq A$

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

$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\cap \varnothing =\varnothing$

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

$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, ${\emptyset}$ . Por lo tanto, el número cardinal de ${\mathcal {P}}(\varnothing )=\{\varnothing \}$ es $|{\mathcal {P}}(\varnothing )|=1$ .

Otras propiedades

La intersección de un conjunto y su complementario es el conjunto vacío. En símbolos: $A\cap A^{c}=\varnothing$ .
El conjunto $\varnothing$ es abierto y cerrado.
La diferencia de cualquier conjunto consigo mismo es el conjunto vacío. $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\ \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\neq l\Rightarrow A_{k}\cap A_{l}=\varnothing$ .
El conjunto vacío es elemento del conjunto potencia de cualquier conjunto, necesariamente. $\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.
$\varnothing$ figura como elemento propio de toda topología sobre X. Notación: $\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^{\circ }\cap B^{\circ }=\varnothing$ donde $B=X\setminus A$ .
La intersección del interior con su frontera es $A^{\circ }\cap \partial A=\varnothing$ .
El conjunto $A=\{x/x\in {\mathcal {R}}\}$ tal que $|x|<0$ es igual a $\varnothing$ ^[5].
En cálculo de probabilidades el conjunto vacío representa el suceso imposible y P(∅) = 0^[6].

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 $-\infty \!\,,$ que se define como menor que cualquier otro número real aumentado, y el infinito positivo , denotado por $+\infty \!\,,$ , que se define como mayor que cualquier otro número real aumentado), obtenemos que:

$\sup \varnothing =\min(\{-\infty ,+\infty \}\cup \mathbb {R} )=-\infty ,$ y $\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$ es un conjunto entonces hay exactamente una función $f$ desde el $\varnothing$ hacia $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(\alpha )=\alpha \cup \{\alpha \}$ . Entonces tenemos $0=\varnothing$ , $1=0\cup \{0\}=\{\varnothing \}$ , $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, $\mathbb {N} _{0}$ , tal que se satisfagan los Axiomas de Peano de la aritmética.

Existencia cuestionada

Cuestiones históricas

En el contexto de los conjuntos de números reales, Cantor utilizó $P\equiv O$ para denotar « $P$ no contiene ningún punto». Esta notación $\equiv O$ se utilizó en definiciones; por ejemplo, Cantor definió dos conjuntos como disjuntos si su intersección tiene ausencia de puntos; sin embargo, es discutible si Cantor consideró $O$ como un conjunto existente por sí mismo, o si Cantor simplemente utilizó $\equiv O$ como un predicado de vacío. Zermelo aceptó $O$ en sí mismo como un conjunto, pero lo consideró un «conjunto impropio».^[9]

Teoría axiomática de conjuntos

En la teoría de conjuntos de Zermelo, la existencia del conjunto vacío está asegurada por el axioma de conjunto vacío, y su unicidad se deriva del axioma de extensionalidad. Sin embargo, el axioma del conjunto vacío puede mostrarse redundante al menos de dos maneras:

La lógica de primer orden estándar implica, simplemente a partir de los axiomas lógicos, que "algo" existe, y en el lenguaje de la teoría de conjuntos, esa cosa debe ser un conjunto. Ahora bien, la existencia del conjunto vacío se deriva fácilmente del axioma de separación.

Incluso utilizando la lógica libre (que no implica lógicamente que algo exista), ya existe un axioma que implica la existencia de al menos un conjunto, a saber, el axioma del infinito.

Cuestiones filosóficas

Aunque el conjunto vacío es un concepto matemático estándar y ampliamente aceptado, sigue siendo una curiosidad ontológica, cuyo significado y utilidad debaten filósofos y lógicos.

El conjunto vacío no es lo mismo que nada; más bien, es un conjunto con nada adentro y un conjunto siempre es algo. Este problema puede superarse considerando un conjunto como una bolsa: una bolsa vacía sigue existiendo, sin duda. Darling (2004) explica que el conjunto vacío no es nada, sino «el conjunto de todos los triángulos con cuatro lados, el conjunto de todos los números que son mayores que nueve pero menores que ocho, y el conjunto de todas las movimientos de apertura en ajedrez que implican un rey.»^[10]

El silogismo popular

"Nada es mejor que la felicidad eterna; un bocadillo de jamón es mejor que nada; por lo tanto, un bocadillo de jamón es mejor que la felicidad eterna"

se utiliza a menudo para demostrar la relación filosófica entre el concepto de nada y el conjunto vacío. Darling escribe que el contraste puede verse reescribiendo las afirmaciones «Nada es mejor que la felicidad eterna» y «[Un] bocadillo de jamón es mejor que nada» en tono matemático. Según Darling, la primera equivale a «El conjunto de todas las cosas que son mejores que la felicidad eterna es ∅ » y la segunda a «El conjunto {sándwich de jamón} es mejor que el conjunto ∅ ». El primero compara elementos de conjuntos, mientras que el segundo compara los conjuntos en sí.^[10]

El filósofo Jonathan Lowe sostiene que si bien el conjunto vacío

fue sin duda un hito importante en la historia de las matemáticas, ... no deberíamos asumir que su utilidad en el cálculo depende de que realmente denote algún objeto.

también es el caso que:

Todo lo que se nos dice sobre el conjunto vacío es que (1) es un conjunto, (2) no tiene miembros, y (3) es único entre los conjuntos por no tener miembros. Sin embargo, hay muchas cosas que «no tienen miembros», en el sentido de la teoría de conjuntos— a saber, todos los no-conjuntos. Está perfectamente claro por qué estas cosas no tienen miembros, ya que no son conjuntos. Lo que no está claro es cómo puede haber, únicamente entre los conjuntos, un conjunto que no tenga miembros. No podemos conjurar tal entidad en existencia por mera estipulación.«^[11]

George Boolos argumentó que mucho de lo obtenido hasta ahora por la teoría de conjuntos puede obtenerse con la misma facilidad mediante cuantificación plural sobre individuos, sin reificar conjuntos como entidades singulares que tienen otras entidades como miembros.^[12]

Véase también

Referencias

↑ Weil, André (1992). The apprenticeship of a mathematician. Birkhäuser. ISBN 9783764326500. Página 114.
↑ Yu. M. Korshunov Fundamentos de la cibernética Editorial Mir Moscú s/f
↑ Carlos Vega: Notas de Matemática, Editorial de la Universidad de San Marcos
↑ Lipschitz:Topología Colección Schaumm
↑ Casimiro Kuratowski Introducción a la teoría de conjuntos y a la topología
↑ Moya y otro:Probabilidad e inferencia estadística
↑ Bruckner, A.N., Bruckner, J.B., y Thomson, B.S. (2008). ¡Análisis real elemental, 2ª edición, p. 9.
↑ Halmos, Paul, Naive Set Theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4.
↑ A. Kanamori, «The Empty Set, the Singleton, and the Ordered Pair», p.275. Boletín de Lógica Simbólica vol. 9, no. 3, (2003). Consultado el 21 de agosto de 2023.
↑ ^a ^b D. J. Darling (2004). John Wiley and Sons, ed. El libro universal de las matemáticas. p. 106. ISBN 0-471-27047-4.
↑ E. J. Lowe (2005). Routledge, ed. Locke. E. J. Lowe. p. 87.
↑ George Boolos (1984), «Ser es ser el valor de una variable», The Journal of Philosophy 91: 430-49. Reimpreso en 1998, Lógica, lógica y lógica (Richard Jeffrey, y Burgess, J., eds.) Harvard University Press, 54-72.

Bibliografía

Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition).
Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.

Datos: Q226183
Multimedia: Nested set V4 / Q226183

[1] Weil, André (1992). The apprenticeship of a mathematician. Birkhäuser. ISBN 9783764326500. Página 114.

[2] Yu. M. Korshunov Fundamentos de la cibernética Editorial Mir Moscú s/f

[3] Carlos Vega: Notas de Matemática, Editorial de la Universidad de San Marcos

[4] Lipschitz:Topología Colección Schaumm

[5] Casimiro Kuratowski Introducción a la teoría de conjuntos y a la topología

[6] Moya y otro:Probabilidad e inferencia estadística

[7] Bruckner, A.N., Bruckner, J.B., y Thomson, B.S. (2008). ¡Análisis real elemental, 2ª edición, p. 9.

[8] Halmos, Paul, Naive Set Theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag edition). Reprinted by Martino Fine Books, 2011. ISBN 978-1-61427-131-4.

[9] A. Kanamori, «The Empty Set, the Singleton, and the Ordered Pair», p.275. Boletín de Lógica Simbólica vol. 9, no. 3, (2003). Consultado el 21 de agosto de 2023.

[«Darling»-10] D. J. Darling (2004). John Wiley and Sons, ed. El libro universal de las matemáticas. p. 106. ISBN 0-471-27047-4.

[Lowe-11] E. J. Lowe (2005). Routledge, ed. Locke. E. J. Lowe. p. 87.

[12] George Boolos (1984), «Ser es ser el valor de una variable», The Journal of Philosophy 91: 430-49. Reimpreso en 1998, Lógica, lógica y lógica (Richard Jeffrey, y Burgess, J., eds.) Harvard University Press, 54-72.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]