On the pillars of Functional Analysis

Many authors consider that the main pillars of Functional Analysis are the Hahn–Banach Theorem, the Uniform Boundedness Principle and the Open Mapping Principle. The first one is derived from Zorn’s Lemma, while the latter two usually are obtained from Baire’s Category Theorem. In this paper we show that these three pillars should be either just two or at least eight, since the Uniform Boundedness Principle, the Open Mapping Principle and another five theorems are equivalent, as we show in a very elemental way. Since one can give an almost trivial proof of the Uniform Boundedness Principle that does not require the Baire’s theorem, we conclude that this is also the case for the other equivalent theorems that, in this way, are simultaneously proved in a simple, brief and concise way that sheds light on their nature.

Banach-Steinhaus Theorem for the Space P of All Primitives of Henstock-Kurzweil Integrable Functions

In this paper, it is shown how the Banach-Steinhaus theorem for the space P of all primitives of Henstock-Kurzweil integrable functions on a closed bounded interval, equipped with the uniform norm, can follow from the Banach-Steinhaus theorem for the Denjoy space by applying the classical Hahn-Banach theorem and Riesz representation theorem.

Banach Spaces

The first four sections of this chapter form its core and include classical topics such as bounded linear transformations, the open mapping theorem, the closed graph theorem, the uniform boundedness principle, and the Hahn-Banach theorem. The chapter includes a good number of applications of the four fundamental theorems of functional analysis. Sections 6.5 and 6.6 provide a good account of the properties of the spectrum and adjoint operators on Banach spaces. They may be largely bypassed, since the treatment of the corresponding topics for operators on Hilbert spaces in chapter 7 is self-contained. The section on weak topologies is more advanced and may be omitted if a brief introduction is the goal. The chapter is enriched by such topics as the best polynomial approximation, the Hilbert cube, Gelfand’s theorem, Schauder bases, complemented subspaces, and the Banach-Alaoglu theorem.

Strong submeasures and applications to non-compact dynamical systems

A strong submeasure on a compact metric space X is a sub-linear and bounded operator on the space of continuous functions on X. A strong submeasure is positive if it is non-decreasing. By the Hahn–Banach theorem, a positive strong submeasure is the supremum of a non-empty collection of measures whose masses are uniformly bounded from above. There are many natural examples of continuous maps of the form $f:U\rightarrow X$ , where X is a compact metric space and $U\subset X$ is an open-dense subset, where f cannot extend to a reasonable function on X. We can mention cases such as transcendental maps of $\mathbb {C}$ , meromorphic maps on compact complex varieties, or continuous self-maps $f:U\rightarrow U$ of a dense open subset $U\subset X$ where X is a compact metric space. For the aforementioned mentioned the use of measures is not sufficient to establish the basic properties of ergodic theory, such as the existence of invariant measures or a reasonable definition of measure-theoretic entropy and topological entropy. In this paper we show that strong submeasures can be used to completely resolve the issue and establish these basic properties. In another paper we apply strong submeasures to the intersection of positive closed $(1,1)$ currents on compact Kähler manifolds.