Scribd
Cargar
96 vistas1 página

Zermelo PDF

El documento presenta los axiomas fundamentales de la teoría de conjuntos de Zermelo-Fraenkel, que son la base para la construcción de conjuntos en matemáticas. Incluye el Axioma de Extensionalidad, el Axioma de Existencia del Conjunto Vacío, el Axioma del Par, el Axioma de la Unión, el Axioma de las Partes, el Axioma de Comprensión y el Axioma de Regularidad. Cada axioma establece principios clave sobre la igualdad, existencia y formación de conjuntos.

Cargado por

Rodrigo Andres Araneda Morales
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
96 vistas1 página

Zermelo PDF

El documento presenta los axiomas fundamentales de la teoría de conjuntos de Zermelo-Fraenkel, que son la base para la construcción de conjuntos en matemáticas. Incluye el Axioma de Extensionalidad, el Axioma de Existencia del Conjunto Vacío, el Axioma del Par, el Axioma de la Unión, el Axioma de las Partes, el Axioma de Comprensión y el Axioma de Regularidad. Cada axioma establece principios clave sobre la igualdad, existencia y formación de conjuntos.

Cargado por

Rodrigo Andres Araneda Morales
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Teoría de Conjuntos I ZF 1a.

parte

AXIOMAS DE LA TEORIA DE CONJUNTOS


ZERMELO - FRAENKEL

ZF 1 : Axioma de Extensionalidad :
Dos conjuntos son iguales si tienen los mismos elementos.
∀x∀y ∀ww ∈ x  w ∈ y  x  y

ZF 2 : Axioma de Existencia o del Conjunto Vacío :


Hay un conjunto sin elementos.
∃x∀yy ∉ x

ZF 3 : Axioma del Par :


Dados dos conjuntos hay otro cuyos elementos son estos dos.
∀x∀y∃z∀w w ∈ z  w  x ∨ w  y

ZF 4 : Axioma de la Unión :
Para cada conjunto hay otro cuyos elementos son los elementos de los elementos del
conjunto dado.
∀x∃z∀w w ∈ z  ∃yy ∈ x & w ∈ y

ZF 5 : Axioma de las Partes o Potencia :


Dado un conjunto hay otro cuyos elementos son todos sus subconjuntos.
∀x∃z∀w w ∈ z  w ⊆ x

donde w ⊆ x  ∀yy ∈ w  y ∈ x

ZF 6 : (Esquema de) Axioma de Comprensión o del Subconjunto :


Dados un conjunto y una propiedad, hay un conjunto cuyos elementos son aquellos
de este conjunto que tienen dicha propiedad.
∀x∃z∀w w ∈ z  w ∈ x & w

donde  es una ∈-fórmula en la cual la variable z no ocurre (o, no ocurre libre).

ABF : Axioma de Regularidad o Buena Fundación :


Todo conjunto no-vacio tiene un elemento ∈-minimal.
∀x x ≠ ∅  ∃yy ∈ x & ∀zz ∈ y  z ∉ x

Rafael Rojas Barbachano

También podría gustarte