07, Septiembre 2024
Sofia Paredes
32.387.315
Arquitectura sección 101Q3
HISTORIA DEL CONJUNTO VACÍO
Hasta finales del siglo XIX, ningún matemático había logrado describir el
infinito más allá de la idea de que es un valor absolutamente
inalcanzable. Georg Cantor fue el primero en abordar a fondo un
concepto tan abstracto; y lo hizo desarrollando la Teoría de conjuntos,
que le llevó a la sorprendente conclusión de que hay infinitos de
distintos tamaños.
El conjunto vacío fue introducido por primera vez por el
matemático alemán Georg Cantor y lo definió como un
conjunto que no contiene elementos. Según Cantor, el
conjunto vacío es un caso especial de conjunto
Otros autores han abordado el concepto de conjunto vacío de manera variada. Por ejemplo,
Gottlob Frege, matemático alemán, lo describe como un conjunto que no tiene elementos.
Por su parte, los filósofos lógicos como Kurt Gödel y Russell hablan del conjunto vacío
como una clase que no tiene miembros.
Los conjuntos han estado presentes desde nuestros primeros años, como consecuencia del
paradigma formalista de D. Hilbert y la influencia del grupo Bourbaki en la enseñanza de la
matemática desde mediados del Siglo XX
El hecho de concebir objetos matemáticos no definibles fue idea de D. Hilbert, quien
consideró nuestras limitantes cognitivas y de lenguaje. Esto le permitió construir un primer
sistema formal en la geometría.
Las notaciones comunes para el conjunto vacío incluyen “{}”, “Ø”. Este último símbolo
fue introducido por el grupo Bourbaki (específicamente André Weil) en 1939, inspirado en
la letra Ø en los alfabetos daneses y noruegos. En el pasado, “0” se utilizó ocasionalmente
como símbolo para el conjunto vacío, pero ahora se considera un uso indebido de la
notación.
Aunque no se tenga una definición de conjunto, a principio del Siglo XX se inventaron
sistemas formales, como el de Zermelo- Francken, que concibieron axiomas básicos para la
existencia de los conjuntos, con el propósito de reconstruir toda la matemática desde los
sistemas numéricos hacia adelante. Bajo esta axiomática formal es posible demostrar
fehacientemente que el objeto matemático sin elementos cumple con los axiomas de
existencia de conjuntos, por lo tanto, es un conjunto.
Si bien 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
La existencia del conjunto vacío es un tema de interés en las teorías axiomáticas de
conjuntos. Algunas de estas teorías incluyen un axioma específico que asegura la existencia
del conjunto vacío. En cambio, en otras teorías, la existencia del conjunto vacío se deduce a
partir de otros axiomas. Este enfoque varía según el marco teórico adoptado, pero en
cualquier caso, siempre existe el conjunto vacío.
A pesar de su aparente simplicidad, el conjunto vacío tiene muchas propiedades
interesantes. En el contexto de la teoría de conjuntos, muchas afirmaciones que podrían
parecer ambiguas o indefinidas adquieren un sentido claro cuando se aplican al conjunto
vacío (que también es un conjunto). Esto lo convierte en un objeto de estudio en sí mismo,
para comprender mejor las propiedades y la lógica de los conjuntos en general.