La teoría de conjuntos de Zermelo-Fraenkel (abreviada ZF) es un sistema de axiomas utilizado para describir la teoría de conjuntos. Cuando se añade el axioma de elección a ZF, el sistema se llama ZFC. Es el sistema de axiomas utilizado en la teoría de conjuntos por la mayoría de los matemáticos actuales.

Tras el descubrimiento de la paradoja de Russell en 1901, los matemáticos quisieron encontrar una forma de describir la teoría de conjuntos que no tuviera contradicciones. Ernst Zermelo propuso una teoría de conjuntos en 1908. En 1922, Abraham Fraenkel propuso una nueva versión basada en el trabajo de Zermelo.

Resumen y naturaleza formal

ZF (Zermelo–Fraenkel) es una teoría axiomática en la lógica de primer orden cuyo único símbolo no lógico es la relación de pertenencia (∈). Los axiomas de ZF intentan capturar las propiedades básicas que deben satisfacer los conjuntos y evitan las comprensiones indiscriminadas que dieron lugar a paradojas como la de Russell. Cuando se incluye el axioma de elección se obtiene ZFC, el marco formal más usado como fundamento de las matemáticas modernas.

Axiomas principales de ZF (intuitivos)

Los enunciados siguientes dan una descripción accesible de los axiomas estándar de ZF; varias de estas formulaciones aparecen en forma de esquemas axiomáticos (es decir, hay una instancia para cada fórmula apropiada).

  • Extensionalidad: dos conjuntos son iguales si tienen los mismos elementos.
  • Existencia del conjunto vacío: existe un conjunto sin elementos (∅).
  • Par: para cualesquiera a y b existe el conjunto {a, b}.
  • Unión: para cualquier conjunto de conjuntos existe su unión.
  • Conjunto potencia: para cada conjunto X existe su conjunto de subconjuntos P(X).
  • Infinito: existe al menos un conjunto infinito (por ejemplo, análogo a los naturales).
  • Separación (o comprensión restringida): dado un conjunto y una propiedad definible, existe el subconjunto de los elementos que satisfacen esa propiedad —esto evita la comprensión indiscriminada que conduce a paradojas.
  • Reemplazo: la imagen de un conjunto por una función definible es de nuevo un conjunto (esquema que garantiza la formación de conjuntos por recursión/transporte).
  • Regularidad (Fundación): todo conjunto no vacío tiene un elemento disjunto de él; excluye cadenas descendentes infinitas por ∈ y evita conjuntos «autoreferenciales».

El axioma de elección y ZFC

El axioma de elección (AC) afirma, en una formulación informal, que para cualquier familia de conjuntos no vacíos existe una función que selecciona un elemento de cada miembro de la familia. AC tiene muchas equivalencias útiles en matemáticas, como el teorema del buen ordenamiento (todo conjunto puede bienordenarse) y el lema de Zorn. Cuando se añade AC a ZF se obtiene ZFC. Muchas pruebas clásicas en álgebra, análisis funcional y otras áreas usan AC, aunque en algunos casos se pueden construir pruebas sin él.

Consecuencias y resultados importantes

  • ZF (y ZFC) permiten definir números ordinales y cardinales, desarrollar la teoría de funciones, estructuras algebraicas y prácticamente toda la matemática habitual desde un punto de vista formal.
  • La jerarquía de Von Neumann (V) y la construcción de conjuntos por etapas ofrecen una visión de cómo se generan los conjuntos en niveles sucesivos.
  • Equivalencias del axioma de elección: teorema del buen ordenamiento, lema de Zorn, y otras proposiciones útiles en análisis y álgebra.

Independencia y consistencia relativa

Dos resultados históricos claves son:

  • Kurt Gödel (1938–1940): construyó el universo constructible L y demostró que si ZF es consistente entonces ZF + AC + GCH (la hipótesis del continuo generalizada) es consistente. En otras palabras, AC y GCH no llevan a contradicción añadida si ZF ya es consistente.
  • Paul Cohen (1963): introdujo la técnica del forcing y mostró que tanto la hipótesis del continuo (CH) como el axioma de elección (AC) son independientes de ZF en el sentido de que existen modelos de ZF donde CH es falsa y modelos donde es verdadera; asimismo existen modelos de ZF en los que AC falla. Así, ni AC ni CH se pueden probar ni refutar desde ZF solo (salvo agregar otros axiomas).

Estas demostraciones muestran que ciertas preguntas fundamentales (por ejemplo, el valor de 2^{ℵ0}) no se resuelven únicamente a partir de los axiomas de ZF; eso motivó el estudio de axiomas adicionales (por ejemplo, axiomas de grandes cardinales) y de criterios de «elegibilidad» para nuevos axiomas.

Modelos, paradojas y limitaciones

  • ZF evita la paradoja de Russell mediante las axiomas de separación y reemplazo: sólo se forman subconjuntos de un conjunto ya existente según propiedades definibles, en lugar de permitir la formación de «el conjunto de todos los x tales que P(x)» sin restricciones.
  • Por la compacidad y el teorema de Löwenheim–Skolem existen modelos de ZF que son «contables» desde la perspectiva externa (paradoja de Skolem), lo que muestra limitaciones en intuiciones de tamaño absoluto al trabajar con teorías de primer orden.
  • La consistencia de ZF no puede ser demostrada dentro de ZF si ZF es consistente (por teoremas de incompletitud de Gödel), por lo que las pruebas de consistencia se hacen habitualmente de forma relativa: «si ZF es consistente, entonces ZF+X es consistente».

Modelos importantes y extensiones

  • El universo constructible L de Gödel: un modelo interno de ZF en el que valen AC y GCH; útil para resultados de consistencia relativa.
  • Técnicas de forcing (Cohen): permiten construir modelos de ZF donde ciertas proposiciones (como CH) son falsas, mostrando independencia.
  • Añadir axiomas de grandes cardinales: muchas investigaciones exploran axiomas adicionales que fortalecen ZF y tienen consecuencias profundas en la teoría de conjuntos y otras áreas.

Importancia como fundamento de las matemáticas

ZFC es el marco estándar para «formalizar» la mayor parte de la matemática moderna: estructuras algebraicas, teoría de números, análisis, topología, etc., se pueden codificar en términos de conjuntos y probar dentro de ZFC. Sin embargo, la independencia de ciertos enunciados muestra que la elección de axiomas puede influir en el desarrollo de teorías más allá de lo que ZF por sí sola determina.

Lecturas y temas relacionados

  • Estudios sobre la jerarquía de Von Neumann y la construcción del universo V.
  • Introducción al forcing y a la teoría de modelos para entender resultados de independencia.
  • Artículos sobre axiomas adicionales: axiomas deterministas, axiomas de grandes cardinales y sus consecuencias.

En resumen, ZF y ZFC constituyen la formulación axiomática más difundida de la teoría de conjuntos, ofreciendo una base sólida y flexible para formalizar la mayor parte de la matemática, al tiempo que plantean preguntas profundas sobre qué axiomas adicionales (si los hay) deben adoptarse para resolver enunciados independientes.