Lista de declaraciones independientes de ZFC

Los enunciados matemáticos que se analizan a continuación son demostrablemente independientes de ZFC (la teoría de conjuntos axiomáticos canónicos de las matemáticas contemporáneas, que consiste en los axiomas de Zermelo-Fraenkel más el axioma de elección ), suponiendo que ZFC es consistente . Un enunciado es independiente de ZFC (a veces expresado como "indecidible en ZFC") si no puede ser probado ni refutado a partir de los axiomas de ZFC.

En 1931, Kurt Gödel demostró sus teoremas de incompletitud , estableciendo que muchas teorías matemáticas, incluida la ZFC, no pueden demostrar su propia consistencia. Suponiendo la ω-consistencia de dicha teoría, el enunciado de consistencia tampoco puede ser refutado, lo que significa que es independiente. Unos años más tarde, se definieron otros enunciados aritméticos que son independientes de cualquier teoría de ese tipo, véase por ejemplo el truco de Rosser .

Las siguientes afirmaciones de teoría de conjuntos son independientes de ZFC, entre otras:

• la hipótesis del continuo o CH (Gödel produjo un modelo de ZFC en el que CH es verdadero, mostrando que CH no puede ser refutado en ZFC; Paul Cohen luego inventó el método de forzar para exhibir un modelo de ZFC en el que CH falla, mostrando que CH no puede ser probado en ZFC. Los siguientes cuatro resultados de independencia también se deben a Gödel/Cohen.);
• la hipótesis del continuo generalizado (HCG);
• Una afirmación independiente relacionada es que si un conjunto x tiene menos elementos que y , entonces x también tiene menos subconjuntos que y . En particular, esta afirmación falla cuando las cardinalidades de los conjuntos potencia de x e y coinciden;
• el axioma de constructibilidad ( V = L );
• el principio del diamante (◊);
• Axioma de Martín (MA);
• MA + ¬CH (independencia demostrada por Solovay y Tennenbaum ). ^[1]
• Cada árbol de Aronszajn es especial (EATS);

Tenemos las siguientes cadenas de implicaciones:

V = L → ◊ → CH,

V = L → GCH → CH,

CH → MA,

y (ver sección sobre teoría del orden):

◊ → ¬ SH ,

MA + ¬CH → COME → SH.

Varias afirmaciones relacionadas con la existencia de cardinales grandes no pueden probarse en ZFC (suponiendo que ZFC es consistente). Estas son independientes de ZFC siempre que sean consistentes con ZFC, lo que la mayoría de los teóricos de conjuntos de trabajo creen que es el caso. Estas afirmaciones son lo suficientemente fuertes como para implicar la consistencia de ZFC. Esto tiene la consecuencia (a través del segundo teorema de incompletitud de Gödel ) de que su consistencia con ZFC no puede probarse en ZFC (suponiendo que ZFC es consistente). Las siguientes afirmaciones pertenecen a esta clase:

• Existencia de cardenales inaccesibles
• Existencia de los cardenales Mahlo
• Existencia de cardinales mensurables (conjeturada por primera vez por Ulam )
• Existencia de cardenales supercompactos

Se puede demostrar que las siguientes afirmaciones son independientes de ZFC suponiendo la consistencia de un cardinal grande adecuado:

• Axioma de forzamiento propio
• Axioma de coloración abierta
• El máximo de Martín
• Existencia de 0 ^#
• Hipótesis de los cardenales singulares
• Determinación proyectiva (e incluso el axioma completo de determinación si no se supone el axioma de elección )

Existen muchos invariantes cardinales de la línea real, relacionados con la teoría de la medida y con afirmaciones relacionadas con el teorema de categorías de Baire , cuyos valores exactos son independientes de ZFC. Si bien se pueden demostrar relaciones no triviales entre ellos, la mayoría de los invariantes cardinales pueden ser cualquier cardinal regular entre ℵ ₁ y 2 ^{ℵ ₀} . Esta es un área de estudio importante en la teoría de conjuntos de la línea real (ver diagrama de Cichon ). MA tiene una tendencia a establecer la mayoría de los invariantes cardinales interesantes iguales a 2 ^{ℵ ₀} .

Un subconjunto X de la recta real es un conjunto cero de medida fuerte si para cada secuencia ( ε _n ) de reales positivos existe una secuencia de intervalos ( I _n ) que cubre X y tal que I _n tiene longitud como máximo ε _n . La conjetura de Borel, de que todo conjunto cero de medida fuerte es contable, es independiente de ZFC.

Un subconjunto X de la recta real es -denso si cada intervalo abierto contiene -muchos elementos de X. Si todos los conjuntos -densos son isomorfos en orden es independiente de ZFC. ^[2]$estilo de visualización {\aleph _{1}}$$estilo de visualización {\aleph _{1}}$$estilo de visualización {\aleph _{1}}$

El problema de Suslin pregunta si una lista corta específica de propiedades caracteriza al conjunto ordenado de números reales R . Esto es indecidible en ZFC. ^[3] Una línea de Suslin es un conjunto ordenado que satisface esta lista específica de propiedades pero no es isomorfo en orden a R . El principio de diamante ◊ prueba la existencia de una línea de Suslin, mientras que MA + ¬CH implica EATS ( todo árbol de Aronszajn es especial ), ^[4] lo que a su vez implica (pero no es equivalente a) ^[5] la inexistencia de líneas de Suslin. Ronald Jensen demostró que CH no implica la existencia de una línea de Suslin. ^[6]

La existencia de árboles Kurepa es independiente de ZFC, asumiendo la consistencia de un cardinal inaccesible . ^[7]

La existencia de una partición del número ordinal en dos colores sin ningún subconjunto secuencialmente cerrado incontable monocromático es independiente de ZFC, ZFC + CH y ZFC + ¬CH, asumiendo la consistencia de un cardinal de Mahlo . ^{[8] [9] [10]} Este teorema de Shelah responde a una pregunta de H. Friedman .${\displaystyle \omega _{2}}$

En 1973, Saharon Shelah demostró que el problema de Whitehead ("¿es cada grupo abeliano A con Ext ¹ (A, Z ) = 0 un grupo abeliano libre ?") es independiente de ZFC. ^[11] Un grupo abeliano con Ext ¹ (A, Z ) = 0 se llama grupo de Whitehead; MA + ¬CH demuestra la existencia de un grupo de Whitehead no libre, mientras que V = L demuestra que todos los grupos de Whitehead son libres. En una de las primeras aplicaciones del forzamiento propio , Shelah construyó un modelo de ZFC + CH en el que hay un grupo de Whitehead no libre. ^{[12] [13]}

Considérese el anillo A = R [ x , y , z ] de polinomios en tres variables sobre los números reales y su cuerpo de fracciones M = R ( x , y , z ). La dimensión proyectiva de M como A -módulo es 2 o 3, pero es independiente de ZFC si es igual a 2; es igual a 2 si y solo si se cumple CH. ^[14]

Un producto directo de un número contable de campos tiene dimensión global 2 si y sólo si se cumple la hipótesis del continuo. ^[15]

Se puede escribir un polinomio concreto p ∈ Z [ x ₁ , ..., x ₉ ] tal que la afirmación "hay enteros m ₁ , ..., m ₉ con p ( m ₁ , ..., m ₉ ) = 0" no puede ser probada ni refutada en ZFC (asumiendo que ZFC es consistente). Esto se desprende de la resolución de Yuri Matiyasevich del décimo problema de Hilbert ; el polinomio se construye de modo que tenga una raíz entera si y solo si ZFC es inconsistente. ^[16]

Una versión más fuerte del teorema de Fubini para funciones positivas, donde ya no se supone que la función sea medible sino simplemente que las dos integrales iteradas están bien definidas y existen, es independiente de ZFC. Por un lado, CH implica que existe una función en el cuadrado unitario cuyas integrales iteradas no son iguales —la función es simplemente la función indicadora de un ordenamiento de [0, 1] equivalente a un buen ordenamiento del cardinal ω ₁ . Se puede construir un ejemplo similar usando MA . Por otro lado, la consistencia del teorema fuerte de Fubini fue demostrada por primera vez por Friedman . ^[17] También se puede deducir de una variante del axioma de simetría de Freiling . ^[18]

La conjetura del espacio normal de Moore, es decir, que todo espacio normal de Moore es metrizable , puede ser refutada suponiendo la hipótesis del continuo o suponiendo tanto el axioma de Martin como la negación de la hipótesis del continuo, y puede ser probada suponiendo un cierto axioma que implica la existencia de cardinales grandes . Por lo tanto, suponiendo cardinales grandes, la conjetura del espacio normal de Moore es independiente de ZFC. ^[19]

La existencia de un espacio S es independiente de ZFC. En particular, está implícita en la existencia de una línea de Suslin. ^[20]

Garth Dales y Robert M. Solovay demostraron en 1976 que la conjetura de Kaplansky , es decir, que todo homomorfismo algebraico del álgebra de Banach C(X) (donde X es un espacio de Hausdorff compacto ) en cualquier otra álgebra de Banach debe ser continuo, es independiente de ZFC. CH implica que para cualquier X infinito existe un homomorfismo discontinuo en cualquier álgebra de Banach. ^[21]

Consideremos el álgebra B ( H ) de operadores lineales acotados en el espacio de Hilbert separable de dimensión infinita H . Los operadores compactos forman un ideal bilateral en B ( H ). La cuestión de si este ideal es la suma de dos ideales propiamente más pequeños es independiente de ZFC, como lo demostraron Andreas Blass y Saharon Shelah en 1987. ^[22]

Charles Akemann y Nik Weaver demostraron en 2003 que la afirmación "existe un contraejemplo del problema de Naimark que es generado por ℵ ₁ elementos" es independiente de ZFC.

Miroslav Bačák y Petr Hájek demostraron en 2008 que la afirmación "todo espacio de Asplund de densidad ω ₁ tiene una renormalización con la propiedad de intersección de Mazur" es independiente de ZFC. El resultado se muestra utilizando el axioma de máximo de Martin , mientras que Mar Jiménez y José Pedro Moreno (1997) habían presentado un contraejemplo suponiendo CH.

Como lo demuestran Ilijas Farah ^[23] y N. Christopher Phillips y Nik Weaver, ^[24] la existencia de automorfismos externos del álgebra de Calkin depende de supuestos teóricos de conjuntos más allá de ZFC.

El problema de Wetzel , que pregunta si todo conjunto de funciones analíticas que toma como máximo un número contable de valores distintos en cada punto es necesariamente contable, es verdadero si y sólo si la hipótesis del continuo es falsa. ^[25]

La conjetura de Chang es independiente de ZFC y supone la consistencia de un cardinal de Erdős .

Marcia Groszek y Theodore Slaman dieron ejemplos de afirmaciones independientes de ZFC sobre la estructura de los grados de Turing. En particular, sobre si existe un conjunto de grados máximamente independientes de tamaño menor que el continuo. ^[26]

• ¿Cuáles son algunas afirmaciones que suenan razonables e independientes de ZFC?, mathoverflow.net