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:
“Stay-at-home mothers, . . . their self-esteem constantly assaulted, . . . are ever more fervently concerned that their offspring turn out better so they wont have to stoop to say I told you so. Working mothers, . . . their self-esteem corroded by guilt, . . . are praying their kids turn out functional so they can stop being defensive and apologetic and instead assert See? I did do it all.”
—Melinda M. Marshall (20th century)
“... the big courageous acts of life are those one never hears of and only suspects from having been through like experience. It takes real courage to do battle in the unspectacular task. We always listen for the applause of our co-workers. He is courageous who plods on, unlettered and unknown.... In the last analysis it is this courage, developing between man and his limitations, that brings success.”
—Alice Foote MacDougall (18671945)