List of statements undecidable in ZFC

From Wikipedia, the free encyclopedia

This article does not cite any references or sources. (February 2007)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.

The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice), assuming that ZFC is consistent.

1 Functional analysis
2 Measure theory
3 Axiomatic set theory
4 Set theory of the real line
5 Group theory
6 Order theory

[edit] Functional analysis

Charles Akemann and Nik Weaver showed in 2003 that the statement "there exists a counterexample to Naimark's problem which is generated by $\aleph_1$ , elements" is independent of ZFC.

Garth Dales and Robert M. Solovay proved in 1976 that Kaplansky's conjecture as to whether there exists a discontinuous homomorphism from the Banach algebra C(X) (where X is some infinite compact Hausdorff topological space) into any other Banach algebra was independent of ZFC, but that the continuum hypothesis proves that for any infinite X there exists such a homomorphism into any Banach algebra.

[edit] Measure theory

The existence of strong versions of Fubini's theorem, where the function is no longer assumed to be measurable but merely that the two iterated integrals are well defined and exist, is independent of ZFC. Martin's Axiom implies that there exists a function on the unit square whose iterated integrals are not equal, while as a variant of Freiling's Axiom of Symmetry implies that in fact a strong Fubini type theorem for [0, 1] does hold, and whenever the two iterated integrals exist they are equal.

[edit] Axiomatic set theory

The consistency of ZFC was the first statement shown to be undecidable in ZFC.

The axiom V=L (that all sets are constructible) implies the generalized continuum hypothesis (which states that ℵ_n = ℶ_n for every ordinal n) and the combinatorial statement ◊, which both imply the continuum hypothesis (which states that ℵ₁ = ℶ₁). All these statements are independent of ZFC (as shown by Paul Cohen and Kurt Gödel).

Martin's axiom together with the negation of the continuum hypothesis is undecidable in ZFC.

The existence of large cardinal numbers, such as inaccessible cardinals, Mahlo cardinals etc., cannot be proved in ZFC, and few working set theorists expect them to be disproved. However it is not possible to formalize in ZFC a proof that ZFC cannot refute the existence of large cardinals (even under the added hypothesis that ZFC is itself consistent).

[edit] Set theory of the real line

There are many cardinal invariants of the real line, connected with measure theory and statements related to the Baire category theorem whose exact values are independent of ZFC (in a stronger sense than that the continuum hypothesis is in ZFC. While non-trivial relations can be proved between them, most cardinal invariants can be any regular cardinal between $\aleph_1$ and $2^{\aleph_0}$ ). This is a major area of study in set theoretic real analysis. Martin's axiom has a tendency to set most interesting cardinal invariants equal to $2^{\aleph_0}$ .

[edit] Group theory

The Whitehead problem ("is every abelian group A with Ext¹(A, Z) = 0 a free abelian group?") is independent of ZFC, as shown in 1973 by Saharon Shelah. A group with Ext¹(A, Z) = 0 which is not free abelian is called a Whitehead group; Martin's Axiom + the negation of the continuum hypothesis proves the existence of a Whitehead group, while V=L proves that no Whitehead group exists.

[edit] Order theory

The answer to Suslin's problem is independent of ZFC. ◊ proves the existence of a Suslin line, while Martin's axiom + the negation of the continuum hypothesis proves that no Suslin line exists.