Documentos de Académico
Documentos de Profesional
Documentos de Cultura
En teoría axiomática de conjuntos, la axioma del conjunto vacío Es un axioma de Kripke-Platek la teoría de conjuntos y la variante de la teoría de conjuntos general de que Burgess (2005) llama
"ST", y una verdad demostrable en la teoría de conjuntos de Zermelo y Axiomas de Zermelo-Fraenkel, con o sin el axioma de elección.
Declaración formal
En el lenguaje formal de los axiomas de Zermelo-Fraenkel, el axioma dice lo siguiente:
o en palabras:
Interpretación
Podemos usar el axioma de extensionalidad para demostrar que sólo hay un conjunto vacío. Ya que es único que podemos darle un nombre. Se llama la
conjunto vacio ( denotado por {} o ∅). El axioma, se indica en lenguaje natural, es en esencia:
Esta fórmula es un teorema y considerado cierto en todas las versiones de la teoría de conjuntos. La única controversia es sobre cómo debe ser justificada: por lo que es un
axioma; derivando desde un axioma set-existencia (o lógica) y el axioma de separación; derivando desde el axioma de infinito; o algún otro método.
En algunas formulaciones de ZF, el axioma de conjunto vacío es en realidad repite en el axioma del infinito. Sin embargo, hay otras formulaciones de ese axioma que no presuponen la
existencia de un conjunto vacío. Los axiomas ZF también se pueden escribir con un símbolo constante que representa el conjunto vacío; a continuación, el axioma del infinito utiliza este
símbolo sin necesidad de que esté vacío, mientras que se necesita el axioma del conjunto vacío afirmar que en realidad es vacía
Además, a veces se considera teorías conjunto en el que no existen conjuntos infinitos, y luego el axioma de conjunto vacío todavía puede ser necesaria. Sin embargo, ningún axioma de la teoría
de conjuntos o lógica que implica la existencia de cualquier conjunto implicará la existencia del conjunto vacío, si uno tiene el esquema del axioma de la separación. Esto es cierto, puesto que el
conjunto vacío es un subconjunto de cualquier conjunto que consiste en aquellos elementos que satisfacen una fórmula contradictoria.
En muchas formulaciones de la lógica de predicados de primer orden, la existencia de al menos un objeto está siempre garantizada. Si la axiomatización de la teoría de conjuntos se
formula en un sistema de este tipo lógico con el esquema del axioma de la separación como axiomas, y si la teoría no hace distinción entre conjuntos y otros tipos de objetos (que tiene
para ZF, KP, y teorías similares), entonces la existencia del conjunto vacío es un teorema.
Si la separación no se postula como un esquema del axioma, pero deriva como un esquema teorema del esquema de sustitución (como se hace a veces), la situación es más
complicada, y depende de la formulación exacta del esquema de sustitución. La formulación usada en el esquema de axioma artículo de recambio sólo permite construir la
imagen Fa] cuando un está contenido en el dominio de la función clase F; a continuación, la derivación de separación requiere el axioma de conjunto vacío. Por otro lado, la
restricción de la totalidad de F a menudo se deja caer a partir del esquema de sustitución, en cuyo caso se implica el esquema de separación sin necesidad de utilizar el axioma
Burgess, John, 2005. La fijación de Frege. Princeton Univ. Prensa. Paul Halmos, la teoría de conjuntos ingenua. Princeton, NJ: D. Van Nostrand Company,
1960. Reproducido por Springer-Verlag, Nueva York, 1974. ISBN 0-387-90092-6 (edición Springer-Verlag). Jech, Thomas, 2003. Teoría de conjuntos: el
tercer milenio edición, revisada y ampliada
. Saltador. ISBN 3-540-
44085-2.
Kunen, Kenneth, 1980. Teoría de conjuntos: Una introducción a la independencia pruebas . Elsevier. ISBN 0-444-86839-9.
Esta página fue editado por última vez el 18 de noviembre de 2017, a las 20:04.
El texto está disponible bajo la Licencia Creative Commons Reconocimiento-Compartir bajo la misma; cláusulas adicionales pueden aplicar. Al utilizar este sitio, usted acepta las
condiciones de uso y política de privacidad. Wikipedia ® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.