• Corpus ID: 13845776

Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice

  title={Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice},
  author={Asaf Karagila},
  journal={arXiv: Functional Analysis},
  • Asaf Karagila
  • Published 29 October 2020
  • Education
  • arXiv: Functional Analysis
This text is meant for analysis students who want to learn more about the effects of the axiom of choice on functional analysis, and the things that may go wrong in its absence. As this is a text aimed for analysis students, we will not focus on the set theoretic proofs or dwell on any particular set theoretic assumptions that are needed in order to prove certain results. 


On the relation of three theorems of functional analysis to the axiom of choice
In the following, we prove by extending methods of Rhineghost, that both the Arzel\`a--Ascoli theorem and the Fr\'echet--Kolmogorov theorem are equivalent to the axiom of countable choice for real
Elements of Set Theory
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone
A model of set-theory in which every set of reals is Lebesgue measurable*
We show that the existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed. In fact, even adjoining an axiom DC to ZF,
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show
The dual space of L∞ is L1
Consequences of the axiom of choice
Numerical list of forms Topical list of forms Models Notes References for relations between forms Bibliography Table 1 and Table 2 Subject index Author index Software.
All operators on a Hilbert space are bounded
Introduction. Following Solovay [2], let 'ZF' denote the axiomatic set theory of Zermelo-Fraenkel and let 'ZF + DC' denote the system obtained by adjoining a weakened form of the axiom of choice, DC,
The Existence of Non-Trivial Bounded Functionals Implies the Hahn-Banach Extension Theorem
We show that it is impossible to prove the existence of a linear (bounded or unbounded) functional on any L_∞/C_0 without an uncountable form of the axiom of choice. Moreover, we show that if on each