thumb|upright=0.6|El conjunto vacío es aquel que no tiene elementos. Desde principios del , 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.

Historia El concepto de "conjunto vacío", representa la idea de un conjunto que no contiene elementos. Su desarrollo es fundamental en la historia de la teoría de conjuntos y las matemáticas, particularmente en la transición de las nociones clásicas de números y colecciones a un marco más formal y abstracto para entender los objetos matemáticos.

La historia del conjunto vacío puede rastrearse hasta los primeros fundamentos de la teoría de conjuntos en el . La formalización de la teoría de conjuntos comenzó con el trabajo de Georg Cantor a finales de 1800. Cantor es conocido por desarrollar la teoría de la cardinalidad, que se centra en los tamaños de los conjuntos infinitos.Cantor, Georg. Beiträge zur Begründung der transfiniten Mengenlehre (Contributions to the Foundation of the Theory of Transfinite Numbers). (1895) Vieweg 142 pag. ISBN: 978-3-528-04480-0 Aunque Cantor no definió explícitamente el conjunto vacío, su trabajo sentó las bases para desarrollos posteriores. Trataba los conjuntos como colecciones de objetos y estaba interesado en las propiedades de estas colecciones, lo que preparó el terreno para tratamientos más rigurosos de los conjuntos y sus elementos.

La primera mención explícita del conjunto vacío apareció con los trabajos de Richard Dedekind y Giuseppe Peano,Peano, Giuseppe. Arithmetices principia, nova methodo exposita (The Principles of Arithmetic, Exposed by a New Method). (1889) Bocca 112 pag. ISBN: 978-1-60558-266-4 quienes, basándose en las ideas de Cantor, estaban formalizando los fundamentos de la aritmética y el álgebra. Dedekind, en particular, estaba interesado en definir los números en términos de conjuntos. Su trabajo sobre los números naturales incluyó definir el 0 como el conjunto vacío ∅, lo que marcó un momento importante en el desarrollo del concepto.Dedekind, Richard. Was sind und was sollen die Zahlen? (What are Numbers and What Should They Be?). (1888) Vieweg 78 pag. ISBN: 978-3-528-19282-2 Esta visión vinculaba el conjunto vacío directamente con la idea de "nada", ya que representaba la ausencia de elementos en una colección.

Sin embargo, no fue hasta principios del , con el desarrollo de la teoría formal de conjuntos por Ernst Zermelo y Abraham Fraenkel, que el conjunto vacío se integró completamente en un marco matemático riguroso. Los axiomas de Zermelo de 1908 para la teoría de conjuntosZermelo, Ernst. Untersuchungen über die Grundlagen der Mengenlehre (Investigations in the Foundations of Set Theory). (1908) Springer 103 pag. ISBN: 978-3-642-61189-7 (más tarde refinados en la teoría de conjuntos de Zermelo-Fraenkel, o ZFC) hicieron del conjunto vacío un componente fundamental del sistema axiomático. Los axiomas de Zermelo-FraenkelFraenkel, Abraham A., et al. Zermelo-Fraenkel Set Theory: With the Axiom of Choice. (1973) North-Holland 150 pag. ISBN: 978-0-444-86574-2 incluyen un axioma de "extensionalidad", que esencialmente afirma que los conjuntos están determinados por sus elementos, y un axioma del "conjunto vacío", que garantiza la existencia de un conjunto sin elementos.

La inclusión del conjunto vacío como un objeto fundamental en la teoría de conjuntos tiene consecuencias de gran alcance en las matemáticas modernas. Sirve como el bloque de construcción para conjuntos más complejos y es crucial para comprender la estructura de objetos matemáticos, como funciones, relaciones y espacios topológicos. Su utilidad se extiende a casi todas las ramas de las matemáticas, desde la lógica hasta la topología, y es esencial en la formalización de demostraciones matemáticas, donde el conjunto vacío a menudo representa un caso base o la condición nula en definiciones inductivas y recursivas.

Definición y notación thumb|right|upright=0.6|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 derivados de la letra Ø de las lenguas danesa y noruega, entre otras. Esta notación fue introducida por André Weil en 1939. Página 114. 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 es el conjunto de todos los elementos tal que .

Expresión analítica : Sea el conjunto en el espacio vectorial R . Entonces Yu. M. Korshunov Fundamentos de la cibernética Editorial Mir Moscú s/f

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:

Muchas afirmaciones sobre el conjunto vacío son trivialmente ciertas, debido a la siguiente 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:

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 es .

Otras propiedades La intersección de un conjunto y su complementario es el conjunto vacío. En símbolos: . El conjunto es abierto y cerrado. La diferencia de cualquier conjunto consigo mismo es el conjunto vacío. . En la diferencia simétrica definida en un conjunto potencia , el conjunto vacío es el elemento neutro, esto es, . 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. . El conjunto vacío es elemento del conjunto potencia de cualquier conjunto, necesariamente. .Carlos Vega: Notas de Matemática, Editorial de la Universidad de San Marcos 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. figura como elemento propio de toda topología sobre X. Notación: . Y es cerrado, a la vez que abierto en cualquier topología.Lipschitz:Topología Colección Schaumm La intersección del interior del conjunto A con el interior de su complementario es donde . La intersección del interior con su frontera es . El conjunto tal que es igual a .Casimiro Kuratowski Introducción a la teoría de conjuntos y a la topología En cálculo de probabilidades el conjunto vacío representa el suceso imposible y P(∅) = 0.Moya y otro:Probabilidad e inferencia estadística

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.Bruckner, A.N., Bruckner, J.B., y Thomson, B.S. (2008). ¡Análisis real elemental, 2ª edición, p. 9. 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 que se define como menor que cualquier otro número real aumentado, y el infinito positivo , denotado por , que se define como mayor que cualquier otro número real aumentado), obtenemos que:

y

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 es un conjunto entonces hay exactamente una función desde el hacia 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 . Entonces tenemos , , , y así sucesivamente.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. 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, , 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ó para denotar « no contiene ningún punto». Esta notación 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ó como un conjunto existente por sí mismo, o si Cantor simplemente utilizó como un predicado de vacío. Zermelo aceptó en sí mismo como un conjunto, pero lo consideró un «conjunto impropio».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.

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.