Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 3
Repaso de los Axiomas de
Zermelo–Fraenkel. Naim Nuñez Morales.
En estas notas haremos un repaso de los axiomas propuestos por Zermelo y enriqueci- dos por Fraenkel para la teoría de Conjuntos. Nuestro primer axioma nos da el criterio para la igualdad conjuntista. Axioma de Extensionalidad. ³ ¡ ¢ ´ ∀x ∀y ∀z z ∈ x ←→ z ∈ y −→ x = y (ZF1 )
El segundo axioma nos garantiza una teoría no vacía.
Axioma de Existencia. “Hay un conjunto que no tiene elementos.” ¡ ¢ ∃x ∀y y ∉ x (ZF2 )
Notación. Denotamos por ; al único conjunto (por extensionalidad) que no tiene elemen- tos, al que llamamos el conjunto vacío.
Los siguientes son de tipo constructivo, nos aseguran la existencia de ciertos conjuntos a partir de otros conjuntos dados de antemano. Axioma de Par. ³ ¡ ¢´ ∀x ∀y ∃z ∀w w ∈ z ←→ w = x ∨ w = y (ZF3 )
Notación. Si tenemos conjuntos u, y v, el único conjunto
± x y ªuna fórmula ± como se requiere ª en el esquema anterior, denotamos como u ∈ x ϕ (u) o como u u ∈ x & ϕ (u) al único conjunto cuya existencia asegura ZF6 .
En vista de los axiomas anteriores, definimos x + = x ∪ { x }.
El siguiente es el último de los axiomas de existencia, en este caso asegura la existencia de un conjunto inductivo. Axioma de Infinito. h ³ ¡ ¢´ ³ ´i ∃w ∃x x ∈ w & ∀v v ∉ w & ∀z z ∈ w −→ z ∪ { z } ∈ w (ZF7 )
Con todas nuestras convenciones, lo anterior se puede reescribir como:
³ ¢´ + ¡ ∃w ; ∈ w & ∀z z ∈ w −→ z ∈ w
Axioma de Buena Fundación.
³ ¡ ¢´ ∀x x 6= ; −→ ∃z z ∈ x & z ∩ x = ; (ABF)
El siguiente axioma dice, de forma intuitiva, que las imágenes de conjuntos bajo funcionales también resultan ser conjuntos.
Teoría de Conjuntos III. z Naim Nuñez Morales.
3
Esquema Axiomático de Sustitución o Reemplazo. Sea ϕ x, y una fórmula escrita en el
¡ ¢
lenguaje de la Teoría de Conjuntos.
h ¢i ∀x ∃z ϕ ( x, z ) & ∀w ϕ ( x, w ) −→ z = w −→ ¡ (ZF8 ) h i ∀u ∃v ∀w w ∈ v ←→ ∃y y ∈ u & ϕ ( y, w ) ¡ ¢
Así, el sistema de axiomas que nos interesará durante este semestre, ya que vamos a trabajar en la consistencia de AFA, es
Los axiomas anteriores son redundantes, pero por ahora no nos preocuparemos en esa parte de la “elegancia”. A veces nos interesará presentar resultados que requieran de ABF, para esos casos denotamos por ZF a la teoría cuyos axiomas son ZF− + ABF. Axioma de Elección. h ³ [ ¡ ¢´i ∀x ; ∉ x −→ ∃ f f : x → x & ∀y ∈ x f ( y ) ∈ y (AE)
