Several generalizations of the Hahn–Banach extension theorem to K-convex multifunctions were stated recently in the literature. In this note we provide an easy direct proof for the multifunction version of the Hahn–Banach–Kantorovich theorem and show that in a quite general situation it can be obtained from existing results. Then we derive the Yang extension theorem using a similar proof as wel...

We describe an implementation of a pointfree proof of the Alaoglu and the Hahn-Banach theorems in Type Theory. The proofs described here are formalisations of the proofs presented in \The Hahn-Banach Theorem in Type Theory" 4]. The implementation was partially developed simultaneously with 4] and it was a help in the development of the informal proofs.

1. Basic definitions 2. Riesz’ Lemma 3. Counter-examples for unique norm-minimizing element 4. Normed spaces of continuous linear maps 5. Dual spaces of normed spaces 6. Baire’s theorem 7. Banach-Steinhaus/uniform-boundedness theorem 8. Open mapping theorem 9. Closed graph theorem 10. Hahn-Banach theorem Many natural spaces of functions, such as C(K) for K compact, and C[a, b], have natural str...

The idea behind this article is to provide a unified and relatively nontechnical framework for treating the main existence theorems for continuous linear functionals in functional analysis, convex analysis, Lagrange multiplier theory, and minimax theory. While many of the results in this article are already known, our approach is new, and gives a large number of results with considerable econom...

By using Hahn-Banach theorem, a characterization of random approximations is obtained.

In this paper we discuss some fundamental results in real and functional analysis including the Riesz representation theorem, the Hahn-Banach theorem, and the Baire category theorem. We also discuss applications of these theorems to other topics in analysis.