Functional Analysis
Garth Dales and Robert M. Solovay proved in 1976 that Kaplansky's conjecture, namely that there exists a discontinuous homomorphism from the Banach algebra C(X) (where X is some infinite compact Hausdorff space) into any other Banach algebra, was independent of ZFC. CH implies that for any infinite X there exists such a homomorphism into any Banach algebra.
Charles Akemann and Nik Weaver showed in 2003 that the statement "there exists a counterexample to Naimark's problem which is generated by ℵ1, elements" is independent of ZFC.
Miroslav Bačák and Petr Hájek proved in 2008 that the statement "every Asplund space of density character ω1 has a renorming with the Mazur intersection property" is independent of ZFC. The result is shown using Martin's maximum axiom, while Mar Jiménez and José Pedro Moreno (1997) had presented a counterexample assuming CH.
As shown by Ilijas Farah and N. Christopher Phillips, the existence of outer automorphisms of the Calkin algebra depends on set theoretic assumptions beyond ZFC.
Read more about this topic: List Of Statements Undecidable In ZFC
Famous quotes containing the words functional and/or analysis:
“Indigenous to Minnesota, and almost completely ignored by its people, are the stark, unornamented, functional clusters of concrete—Minnesota’s grain elevators. These may be said to express unconsciously all the principles of modernism, being built for use only, with little regard for the tenets of esthetic design.”
—Federal Writers’ Project Of The Wor, U.S. public relief program (1935-1943)
“Cubism had been an analysis of the object and an attempt to put it before us in its totality; both as analysis and as synthesis, it was a criticism of appearance. Surrealism transmuted the object, and suddenly a canvas became an apparition: a new figuration, a real transfiguration.”
—Octavio Paz (b. 1914)