Fact-checked by Grok 2 weeks ago

Hahn–Banach theorem

The Hahn–Banach theorem is a central result in functional analysis asserting that if X is a real or complex normed linear space, M \subseteq X is a linear subspace, and \ell \in M^* is a bounded linear functional on M, then there exists a bounded linear functional \tilde{\ell} \in X^* extending \ell (i.e., \tilde{\ell}|_M = \ell) such that \|\tilde{\ell}\|_{X^*} = \|\ell\|_{M^*}.^[1] The theorem originated in finite-dimensional settings with Eduard Helly's 1912 proof of a related extension result for continuous linear functionals on finite-dimensional spaces.^[1] It was independently rediscovered and generalized to infinite-dimensional real normed spaces by Hans Hahn in his 1927 paper "Über lineare Gleichungssysteme in linearen Räumen," published in the Journal für die reine und angewandte Mathematik, and by Stefan Banach in his 1929 paper "Sur les fonctionnelles linéaires," published in Studia Mathematica; the complex case was extended later.^[2] These works established the theorem as a foundational tool, relying on the axiom of choice via Zorn's lemma or equivalent principles, though constructivist alternatives exist in restricted cases.^[2] Beyond its analytic form for functional extension, the theorem has geometric variants, such as the separation theorem, which states that for a convex set C in a normed space and a point x \notin C, there exists a hyperplane strictly separating x from C.^[1] This duality between analytic and geometric perspectives underscores its versatility. The theorem's proof typically proceeds by iteratively extending the functional one dimension at a time while controlling the norm via a supporting sublinear functional, ensuring the process can be globalized using the axiom of choice.^[1] The Hahn–Banach theorem profoundly shapes modern functional analysis by enabling the development of dual spaces, where the continuous dual X^* separates points in X, facilitating the study of reflexive spaces and ensuring Hausdorff weak topologies in many contexts.^[1] It underpins key results like the existence of supporting hyperplanes in convex optimization and duality theorems for Banach spaces, with applications extending to statistical physics for thermodynamic limits, mathematical economics for equilibrium models, and numerical methods in optimization.^[1] Without it, the structure of infinite-dimensional analysis would lack much of its current coherence and power.^[2]

Historical Background

Origins

The Hahn–Banach theorem originated in the work of Austrian mathematician Hans Hahn during the late 1920s, amid the burgeoning field of functional analysis in post-World War I Europe. Hahn introduced the theorem in his 1927 paper, where he proved an extension result for real linear functionals defined on subspaces of normed linear spaces, preserving the norm. This formulation relied on a transfinite induction argument, a precursor to later choice-based methods, and was presented in the context of solving linear equation systems in abstract linear spaces.^[3]^[2] Building on Hahn's ideas, Polish mathematician Stefan Banach independently developed and generalized the theorem two years later. In his 1929 paper, Banach extended the result to complex spaces and incorporated sublinear functionals, providing the version for bounded linear functionals on normed spaces that became canonical. This work appeared in the inaugural volume of Studia Mathematica, a journal founded by Banach and his collaborator Hugo Steinhaus to advance research in analysis.^[4]^[2] The theorem's emergence reflected the vibrant mathematical environments of the era: Hahn's contributions stemmed from the Vienna school, influenced by earlier Austrian analysts like Eduard Helly, while Banach's innovations were shaped by the influential Lwów–Warsaw school in Poland, which flourished after World War I and emphasized rigorous abstraction in infinite-dimensional spaces. These parallel developments laid the foundational chronology for the theorem's role in functional analysis.^[5]^[2]

Key Developments

Following the initial formulations by Hahn in 1927 and Banach in 1929, the theorem underwent significant integration into the framework of Banach space theory during the 1930s, primarily through the efforts of Stefan Banach and Juliusz Schauder. Banach's seminal 1932 monograph Théorie des opérations linéaires embedded the theorem as a foundational tool for normed linear spaces, enabling the systematic study of linear operators and establishing key duality relations between a space and its continuous dual via norm-preserving extensions of functionals.^[6] This work highlighted the theorem's role in proving properties like the closed range theorem, thereby linking operator ranges directly to dual space structures.^[6] Schauder further advanced these integrations in the early 1930s by applying the theorem to topological vector spaces and operator theory, connecting it to concepts of compactness, spectral theory, and fixed-point theorems.^[6] His contributions emphasized the theorem's utility in dual operators and weak topologies, facilitating broader applications in functional analysis and enhancing the understanding of infinite-dimensional spaces beyond strict normed settings.^[6] These developments collectively solidified the theorem's centrality in duality theory, where it ensures the existence of sufficiently many continuous linear functionals to characterize Banach spaces algebraically and topologically.^[6] In the mid-20th century, Mahlon M. Day provided important clarifications on the theorem's geometric corollaries during the 1940s, particularly through explorations of separation theorems that interpreted functional extensions in terms of hyperplane separations of convex sets.^[6] This work offered a more intuitive geometric perspective, influencing subsequent studies in convex analysis and optimization within normed spaces.^[7] Concurrently, the theorem exerted a profound influence on John von Neumann's operator theory in the 1930s, supporting extensions in Hilbert spaces through duality principles, as seen in his bicommutant theorem and developments on projections and partial isometries.^[6] These applications underscored the theorem's versatility in bridging algebraic and topological aspects of operator algebras on Hilbert spaces.

Core Theorem

Analytic Statement

The analytic form of the Hahn–Banach theorem addresses the extension of linear functionals defined on subspaces of vector spaces, bounded above by sublinear functionals, without reference to any topology. A real-valued function p: X \to \mathbb{R} on a vector space X (over \mathbb{R} or \mathbb{C}) is called sublinear if it satisfies the subadditivity condition p(x + y) \leq p(x) + p(y) for all x, y \in X and positive homogeneity p(\lambda x) = \lambda p(x) for all \lambda \geq 0 and x \in X.^[8] A functional f: M \to \mathbb{F} (where \mathbb{F} = \mathbb{R} or \mathbb{C}, and M \subseteq X is a subspace) is linear if f(\alpha x + \beta y) = \alpha f(x) + \beta f(y) for all scalars \alpha, \beta \in \mathbb{F} and x, y \in M.^[9] For real vector spaces, the theorem states: Let X be a vector space over \mathbb{R}, M a subspace of X, p: X \to \mathbb{R} a sublinear functional, and f: M \to \mathbb{R} a linear functional such that f(x) \leq p(x) for all x \in M. Then there exists a linear functional F: X \to \mathbb{R} extending f (i.e., F|_M = f) such that F(x) \leq p(x) for all x \in X.^[8]^[9] The theorem adapts to complex vector spaces by reducing to the real case via real and imaginary parts. Specifically, let X be a vector space over \mathbb{C}, M a subspace, p: X \to \mathbb{R} a sublinear functional satisfying p(\lambda x) = |\lambda| p(x) for all \lambda \in \mathbb{C} and x \in X, and f: M \to \mathbb{C} linear with |f(x)| \leq p(x) for all x \in M. Then there exists a linear functional F: X \to \mathbb{C} extending f such that |F(x)| \leq p(x) for all x \in X. This follows by applying the real theorem to the real part \operatorname{Re} f (dominated by p) and constructing the imaginary part analogously using i x, yielding the modulus bound.^[10]^[9]

Proof Outline

The proof of the Hahn–Banach theorem in its analytic form relies on Zorn's lemma to construct a maximal linear extension of the given functional while respecting the sublinear bound p. Consider the collection \mathcal{E} of all pairs (H, g), where H is a subspace of the vector space X containing the initial subspace M, and g: H \to \mathbb{K} (with \mathbb{K} = \mathbb{R} or \mathbb{C}) is a linear functional such that g agrees with the original functional f on M and g(x) \leq p(x) for all x \in H.^[11] Order \mathcal{E} partially by inclusion: (H_1, g_1) \preceq (H_2, g_2) if H_1 \subseteq H_2 and g_2 extends g_1 on H_1. Any chain in \mathcal{E} has an upper bound formed by taking the union of the subspaces and defining the functional on the union via the consistent values from the chain elements, preserving linearity and the inequality with p. By Zorn's lemma, \mathcal{E} admits a maximal element (H^*, g^*).^[12] To show H^* = X, suppose otherwise and select y \in X \setminus H^*. The goal is to extend g^* to the one-dimensional enlargement H^* + \mathbb{K} y. For the real case, this requires finding a scalar c \in \mathbb{R} such that g^*(x) + \lambda c \leq p(x + \lambda y) for all x \in H^* and \lambda \in \mathbb{R}. The possible values of c form a non-empty interval bounded below by \sup_{x \in H^*} \frac{g^*(x) - p(x + y)}{-1} (adjusted for direction) and above by \inf_{x \in H^*} \frac{p(x + y) - g^*(x)}{1}, with sublinearity of p ensuring the lower bound does not exceed the upper bound. The complex case reduces to the real case via real and imaginary parts. Such a c yields a consistent extension, contradicting maximality of (H^*, g^*). Thus, g^* extends f to all of X while satisfying g^* \leq p.^[13]^[11]

Continuous Extension Version

Normed Space Formulation

In the context of normed vector spaces, the Hahn–Banach theorem provides a continuous extension result for bounded linear functionals defined on subspaces. Specifically, let X be a complex normed vector space and M a linear subspace of X. If f: M \to \mathbb{C} is a continuous linear functional satisfying \|f\| \leq 1, where \|f\| = \sup_{\|x\| \leq 1, x \in M} |f(x)|, then there exists a continuous linear functional F: X \to \mathbb{C} such that F|_M = f and \|F\| \leq 1.^[1]^[14] This normed space formulation is equivalent to the more general analytic form of the theorem, where the norm \|\cdot\| on X serves as a sublinear functional p(x) = \|x\|. The sublinearity follows from the properties \|cx\| = |c| \|x\| for scalars c \in \mathbb{C} (adjusted for the real part in proofs) and the triangle inequality \|x + y\| \leq \|x\| + \|y\|, allowing the extension to preserve the bound |F(x)| \leq p(x) for all x \in X.^[15] The preservation of boundedness ensures that the extension F satisfies |F(x)| \leq \|x\| for every x \in X, directly implying the operator norm condition since \|F\| = \sup_{\|x\| \leq 1} |F(x)| \leq 1. This bridges the analytic statement—free of topological assumptions—to topological settings in normed spaces, guaranteeing the existence of sufficiently many continuous linear functionals to characterize the dual space X^*.^[1]

Proof

The proof of the continuous extension version of the Hahn–Banach theorem for normed spaces is derived from the analytic form, which guarantees the existence of a linear extension bounded by a sublinear functional. Consider a real normed linear space X with norm \|\cdot\|, a linear subspace M \subseteq X, and a continuous linear functional f: M \to \mathbb{R} satisfying \|f\| = 1, so |f(x)| \leq \|x\| for all x \in M. The functional p(x) = \|x\| is sublinear, as it satisfies p(x + y) \leq p(x) + p(y) and p(\lambda x) = \lambda p(x) for \lambda \geq 0. Applying the analytic theorem yields a linear extension F: X \to \mathbb{R} such that F|_M = f and F(x) \leq p(x) for all x \in X. Similarly, applying the theorem to -f gives -F(x) \leq p(x), so |F(x)| \leq \|x\| for all x \in X. Thus, F is continuous with \|F\| \leq 1. Since \|F|_M\| = \|f\| = 1, it follows that \|F\| = 1. For a general \|f\| = c < \infty, scale by defining f_1 = f/c and extend as above to obtain the desired norm-preserving extension.^[4]^[1] For the complex case, the argument proceeds by reducing to the real case. Let f = u + i v, where u = \operatorname{Re} f and v = \operatorname{Im} f are real linear functionals on M (viewed as a real space) satisfying |u(y)| \leq \|y\| and |v(y)| \leq \|y\| for y \in M. Extend u to a real linear functional U: X \to \mathbb{R} with |U(x)| \leq \|x\| using the real theorem, and similarly extend v to V: X \to \mathbb{R} with |V(x)| \leq \|x\|. Define F(x) = U(x) + i V(x). Then F is complex linear, agrees with f on M, and |F(x)| \leq \|x\| since |F(x)|^2 = U(x)^2 + V(x)^2 \leq 2 \|x\|^2, but more precisely, by rotating: for any x, there exists \theta such that |F(x)| = \operatorname{Re}(e^{-i\theta} F(x)) \leq \|x\|, using the extension of the rotated real part. An alternative construction defines F(x) = g(x) + i g(i x), where g extends \operatorname{Re} f, ensuring the norm bound via similar rotation arguments. The full extension to X is then obtained by Zorn's lemma applied to the partially ordered set of such partial extensions, each preserving the norm bound.^[15]^[16] To verify the continuity bound in the complex case, note that for any x \in X and \theta \in [0, 2\pi), \operatorname{Re}(e^{-i\theta} F(x)) \leq \|x\| by the real extension bound on the rotated functional, implying |F(x)| \leq \|x\|. This bound holds iteratively, ensuring the global extension remains continuous.^[1]^[16]

Non-Locally Convex Cases

In general topological vector spaces that are not locally convex, the continuous extension version of the Hahn–Banach theorem fails to hold without further conditions. While the normed space formulation guarantees the extension of a continuous linear functional defined on a subspace to the entire space while preserving continuity and boundedness by the norm, this relies on the local convexity inherent to normed topologies. For arbitrary topological vector spaces, continuous extension is possible only if the space admits a continuous sublinear functional dominating the original functional on the subspace; however, the existence of such a continuous sublinear functional on the whole space implies that the space is locally convex. Similarly, the presence of an absorbing balanced convex neighborhood is equivalent to local convexity, underscoring the limitations in non-locally convex settings. A prominent counterexample occurs in the space L^p([0,1]) for $0 < p < 1, equipped with the p-norm topology \|f\|_p = \left( \int_0^1 |f|^p \, dx \right)^{1/p}. This space is a complete metrizable topological vector space but not locally convex, as it lacks non-trivial open convex subsets other than the empty set and the whole space. Moreover, its continuous dual is trivial, consisting only of the zero functional. Consider any one-dimensional subspace Y, spanned by a non-zero function g \in L^p([0,1]). The linear functional f: Y \to \mathbb{R} defined by f(ag) = a (for a \in \mathbb{R}) is continuous on Y with the induced topology. However, it cannot be extended to a continuous linear functional on the entire space, since any such extension would be a non-zero element of the dual, which does not exist.^[17] As a partial replacement in non-convex cases, Ernest Michael's selection theorem provides a tool for constructing continuous selections from lower hemicontinuous multivalued maps with closed convex values into Banach spaces, under paracompact domain conditions. This theorem, developed in the 1950s, enables the proof of extension results for certain non-linear or multivalued functionals in settings where the standard Hahn–Banach fails due to lack of convexity, such as in optimization problems over non-convex domains or in selecting extensions from sets of possible linear approximations. For instance, it can be applied to ensure the existence of continuous extensions in spaces where the graph of possible extensions forms a suitable multivalued map.^[18]

Geometric Versions

Separation Theorems

The Hahn–Banach separation theorems provide geometric interpretations of the analytic extension principles, enabling the separation of disjoint convex sets in locally convex topological vector spaces by continuous linear functionals. These results are particularly useful in optimization and convex analysis, where they guarantee the existence of hyperplanes distinguishing sets based on topological conditions.^[19] In a locally convex space X over \mathbb{R}, consider two nonempty disjoint convex sets A and B such that A has nonempty interior. There exists a nonzero continuous linear functional f \in X^* and a real number \gamma such that

f(a) < \gamma \leq f(b) \quad \forall a \in A, \, b \in B.

This basic separation theorem holds without requiring compactness, relying solely on the openness of A to ensure proper distinction.^[20]^[19] A stronger form applies when enhanced topological assumptions are met: if A is compact and B is closed in the locally convex space X, then there exists a continuous linear functional f \in X^* and reals c < d such that

f(a) \leq c < d \leq f(b) \quad \forall a \in A, \, b \in B.

This strict separation underscores the role of compactness in achieving a gap between the images of the sets under f, preventing overlap even at boundaries.^[20]^[19] These theorems derive as corollaries from the analytic Hahn–Banach extension principle by focusing on the affine hulls of the sets. Specifically, translate so that $0 \in A, consider the Minkowski difference C = A - B, and define a sublinear functional p(x) = \inf \{ t > 0 : x/t \in C \} on a suitable subspace, then extend it to a linear functional on X that separates the origin from C, yielding the desired hyperplane.^[19]^[14]

Supporting Hyperplanes

In locally convex topological vector spaces, the supporting hyperplane theorem provides a geometric interpretation of the Hahn–Banach theorem, characterizing the boundary behavior of convex sets through continuous linear functionals. Specifically, let X be a real locally convex topological vector space, C \subseteq X a nonempty closed convex set, and x \in \partial C a boundary point of C. Then there exists a continuous linear functional f: X \to \mathbb{R} such that

f(x) = \sup_{y \in C} f(y).

Without loss of generality, by translating via subtraction of the constant f(x), this can be normalized so that \sup_{y \in C} f(y) = f(x) = 0, implying that the hyperplane H = \{ z \in X \mid f(z) = 0 \} supports C at x, with C contained in the closed half-space \{ z \in X \mid f(z) \leq 0 \}.^[21]^[22] This theorem is a direct corollary of the Hahn–Banach separation theorem, as the boundary condition \partial C = \overline{C} \setminus \operatorname{int} C ensures that x \notin \operatorname{int} C, allowing separation of the singleton \{x\} from \operatorname{int} C by a hyperplane. The equivalence between the supporting hyperplane theorem and the separation theorem arises because a supporting hyperplane at a boundary point effectively separates that point from the interior of the set, and conversely, separation results can be specialized to yield supporting hyperplanes by considering translated and scaled versions of the convex set relative to the boundary point.^[14]^[23] In optimization theory, the supporting hyperplane theorem plays a foundational role in convex programming, where it justifies the existence of separating hyperplanes at optimal points, enabling the derivation of necessary and sufficient conditions like KKT (Karush–Kuhn–Tucker) points for constrained minimization over convex feasible sets. For instance, at a local minimum x^* of a convex function over a closed convex constraint set C, the theorem guarantees a supporting hyperplane that aligns the objective gradient with the feasible region's boundary, facilitating duality and sensitivity analysis.

Balanced Neighborhoods

In topological vector spaces (TVS), the geometric versions of the Hahn–Banach theorem often require the topology to feature balanced absorbing sets to ensure effective separation of disjoint convex sets. A subset U of a TVS is balanced if \lambda U \subset U for all scalars \lambda with |\lambda| \leq 1, providing the necessary symmetry for scalar multiplication. When the TVS has a fundamental system of balanced absorbing neighborhoods at the origin—meaning every neighborhood contains such a set—the separation theorem guarantees that for two disjoint convex sets A and B with A open, there exists a continuous linear functional f and a real number \alpha such that \operatorname{Re} f(a) < \alpha \leq \operatorname{Re} f(b) for all a \in A, b \in B. This formulation extends the standard separation results to more general non-normable spaces, relying on the balance property to preserve continuity and linearity during extension.^[24] In complex TVS, a stronger condition involves disked sets, which are convex and balanced (also called circled). If the topology admits a basis of closed disked absorbing neighborhoods, the full Hahn–Banach duality holds: the continuous dual separates points, and closed convex sets can be strictly separated from points not in them via continuous linear functionals. Specifically, for a closed convex set C and a point x_0 \notin C, there exists a continuous linear functional f with \|f\| = 1 such that \operatorname{Re} f(x_0) = \sup_{c \in C} \operatorname{Re} f(c). This disked basis ensures that the Minkowski gauge associated with these neighborhoods behaves as a seminorm, facilitating the extension of functionals while maintaining boundedness. Such spaces achieve a duality theory analogous to that in normed spaces, but without requiring completeness or metrizability.^[24] The requirement for balance distinguishes these versions from purely convex formulations, as the absence of balance can lead to failures in separation. For instance, in ordered vector spaces equipped with the order topology—where neighborhoods are not necessarily balanced due to the asymmetry of the positive cone—the Hahn–Banach separation may not hold for certain disjoint convex sets, as linear functionals cannot adequately exploit the lack of scalar symmetry to achieve strict separation. This highlights the necessity of balanced structures for the theorem's applicability in broader TVS contexts, beyond locally convex or normed settings.^[24]

Applications

Partial Differential Equations

The Hahn–Banach theorem plays a crucial role in the analysis of partial differential equations (PDEs) by enabling the extension of bounded linear functionals defined on subspaces, which facilitates the construction of weak solutions and ensures their properties in appropriate function spaces. In the context of boundary value problems, this extension principle allows solutions defined on restricted domains or subspaces to be lifted to the full space while preserving continuity and boundedness norms. This is particularly valuable in Sobolev spaces, where weak formulations of PDEs are standard, as it underpins the duality between test functions and distributions.^[25] A key application arises in extending the right-hand side from subspaces to the entire space, such as in Sobolev spaces W^{1,p}(\Omega) for boundary value problems. For instance, consider the Poisson equation -\Delta u = f in a domain \Omega with Dirichlet boundary conditions; the right-hand side f, initially defined as a functional on a subspace of compactly supported functions, can be extended using the Hahn–Banach theorem to a bounded linear functional on the full Sobolev space, ensuring the solution's existence and stability under the norm \|u\|_{W^{1,p}} = \left( \int_\Omega |u|^p + |\nabla u|^p \, dx \right)^{1/p}. This extension preserves the operator norm and aligns with the dual space characterization W^{-1,p'}(\Omega), where p' is the conjugate exponent, allowing for the representation of right-hand sides as distributions. Such techniques are essential for proving well-posedness in elliptic PDEs via the Lax–Milgram theorem, where the extension guarantees that the bilinear form remains coercive and continuous.^[25]^[26] In the specific case of uniqueness for the Dirichlet problem in linear elliptic PDEs, the Hahn–Banach theorem is employed to extend a bounded linear functional associated with a subsolution, leading to the construction of the Green's function and separation arguments. For the equation Au - Pu = 0 in a domain with boundary C, where A is elliptic and P a lower-order operator, define a functional L_w = u(w) on the subspace of functions f = Au - Pu vanishing on C; the theorem extends this to the full Banach space of continuous functions while respecting the sublinear bound |L_w| \leq b(f), where b(f) derives from positive admissible functions v \geq 0 on C satisfying Av - Pv \geq f. The resulting Green's function G(w, z) = S(w, z) - L_w[(A - P)S(\cdot, z)], with S a parametrix vanishing on C, satisfies the PDE with a singularity at z = w and zero boundary values, and uniqueness follows from its minimality among positive fundamental solutions via symmetry G(w, z) = G(z, w) and the extended functional's separation properties.^[27] The theorem also finds application in distribution theory for PDEs, where it enables the extension of test functionals to broader spaces of smooth functions. In the theory of distributions, a continuous linear functional T defined on a suitable subspace of the space of test functions \mathcal{D}(\Omega) (compactly supported smooth functions) can be extended to all of \mathcal{D}(\Omega) if it satisfies a boundedness condition like |Tf| \leq C \|f\|_\infty; Hahn–Banach ensures this extension preserves the distributional norm, allowing generalized solutions to PDEs such as \partial_u T = f to be defined weakly across the domain. This is critical for handling singularities or irregular data in hyperbolic or parabolic equations, where the extended functional represents the solution as a distribution satisfying the PDE in the sense of \langle T, \phi \rangle = \int f \phi for test functions \phi.^[25]^[26]

Reflexive Banach Spaces

The Hahn–Banach theorem is instrumental in characterizing reflexive Banach spaces, particularly through its role in establishing the isometry of the canonical embedding J: X \to X^{**} and in the proof of James' theorem, which links reflexivity to the norm-attainment property of continuous linear functionals. For any x \in X with \|x\| = 1, the norm \|Jx\| = \sup \{ |f(x)| : f \in X^*, \|f\| \leq 1 \} equals 1 because, for any \epsilon > 0, the Hahn–Banach theorem allows extension of a suitable functional from the one-dimensional subspace spanned by x to one on X achieving f(x) > 1 - \epsilon with \|f\| = 1. Thus, reflexivity, defined as J being surjective (i.e., X^{**} = X), relies on Hahn–Banach to ensure that elements of the bidual correspond precisely to those in X without gaps in the dual representation.^[28] James' theorem provides a precise characterization: a Banach space X is reflexive if and only if every continuous linear functional f \in X^* attains its norm on the closed unit ball B_X = \{ x \in X : \|x\| \leq 1 \}, meaning there exists x_0 \in B_X such that f(x_0) = \|f\| (assuming real scalars for simplicity; the complex case follows similarly).^[28] The forward implication—that reflexivity implies norm attainment—stems from the fact that in a reflexive space, B_X is weakly compact by the Eberlein–Šmulian theorem, and since f is weakly continuous, the continuous image f(B_X) is compact in \mathbb{R}, so the supremum is achieved at some point in B_X. Here, Hahn–Banach underpins the weak topology via duality, ensuring the relevant functionals define the weak neighborhoods. The converse direction, that norm attainment implies reflexivity, is more intricate and heavily utilizes the Hahn–Banach theorem. Assuming every f \in X^* attains its norm but X is non-reflexive, so J(X) \neq X^{**}, there exists \hat{x} \in X^{**} \setminus J(X) with \|\hat{x}\| = 1. The proof constructs a sequence (x_n) in the unit sphere of X weakly approximating \hat{x} in the weak* topology on X^{**}, but such that no weak limit exists in X; this leads to weak* closure issues for the convex hull of \{0\} \cup \{ x_n \}. Using Hahn–Banach, one extends a suitable sublinear functional from the span of this sequence to all of X^{**}, yielding a functional g \in (X^{**})^* = X (by reflexivity of the dual) with \|g\| = 1 but g failing to attain its norm on B_X, contradicting the assumption. This contradiction shows that Hahn–Banach extensions "fill the dual gaps," ensuring X^{**} = X precisely when no such unattaining functional exists.^[28]

Fredholm Theory

The Fredholm alternative provides a fundamental dichotomy for the solvability of equations of the form (\lambda I - K)x = y, where \lambda \neq 0 is a scalar and K is a compact linear operator on a Banach space X. Specifically, either the homogeneous equation (\lambda I - K)x = 0 has only the trivial solution and (\lambda I - K)x = y has a unique solution for every y \in X, or the homogeneous equation has nontrivial solutions and (\lambda I - K)x = y is solvable if and only if y is orthogonal to the kernel of the adjoint operator (\lambda I - K)^*, meaning f(y) = 0 for all f \in \ker (\lambda I - K)^*. This result extends to more general forms like Tx - \lambda x = y for \lambda \neq 0, where compactness ensures that the kernels and cokernels are finite-dimensional.^[29] The Hahn–Banach theorem is essential in establishing this alternative, particularly through the extension of bounded linear functionals to separate the range of \lambda I - K from points outside it. Suppose (\lambda I - K)x = y has no solution for some y; then the subspace \operatorname{ran} (\lambda I - K) (closed for such Fredholm operators) can be separated from y by Hahn–Banach, yielding a nonzero continuous functional f \in X^* such that f(z) = 0 for all z \in \operatorname{ran} (\lambda I - K) but f(y) \neq 0. This implies (\lambda I - K)^* f = 0, so f \in \ker (\lambda I - K)^* and f(y) \neq 0, providing the precise orthogonality condition for nonsolvability. Conversely, if \ker (\lambda I - K)^* = \{0\}, no such separating functional exists, forcing \operatorname{ran} (\lambda I - K) = X and ensuring surjectivity. In the context of resolvents, Hahn–Banach aids in extending functionals defined on images or kernels of compact perturbations, such as (I - K)^{-1} for compact K, to verify finite-dimensional cokernels. The cokernel dimension equals \dim \ker (\lambda I - K)^*, and dual extensions via Hahn–Banach confirm that the annihilator of \operatorname{ran} (\lambda I - K) coincides with \ker (\lambda I - K)^*, underpinning the index theorem for Fredholm operators. This application highlights how Hahn–Banach enables the geometric separation needed to analyze kernel-image relations in compact operator settings.^[29]

Generalizations

Seminorm Extensions

The Hahn–Banach theorem generalizes to seminorms on vector spaces, enabling the extension of linear functionals that are bounded above by a given seminorm. Specifically, let X be a complex vector space, p: X \to [0, \infty) a seminorm, M \subseteq X a subspace, and \ell: M \to \mathbb{C} a linear functional satisfying |\ell(m)| \leq p(m) for all m \in M. Then there exists a linear extension \tilde{\ell}: X \to \mathbb{C} such that |\tilde{\ell}(x)| \leq p(x) for all x \in X.^[30] If \ell is continuous with respect to the locally convex topology induced by p, then so is \tilde{\ell}.^[30] This result extends further to families of seminorms \{p_i\}_{i \in I} that generate the topology of a locally convex space X. A linear functional \ell on a subspace M \subseteq X that satisfies |\ell(m)| \leq p_i(m) for each i \in I and all m \in M admits an extension \tilde{\ell}: X \to \mathbb{K} that remains bounded by every p_i, ensuring \tilde{\ell} is continuous with respect to the topology generated by \{p_i\}.^[31] Such simultaneous bounds preserve the topological properties defined by the family, as the extension respects the separating nature of the seminorms.^[30] A key tool in this context is the Minkowski functional associated with a convex, balanced, and absorbing set U in X, defined as

p(x) = \inf \{ t > 0 : x \in t U \}.

This p is a seminorm that induces the topology near the origin, and extending a functional bounded by p yields a continuous extension on the whole space.^[30] In spaces where the topology arises from such functionals, like those generated by a family of seminorms, this construction ensures compatibility with the overall structure. In LF-spaces, which are strict inductive limits of Fréchet spaces and thus locally convex, the Hahn–Banach theorem guarantees the extension of continuous linear functionals from closed subspaces to continuous functionals on the entire space.^[32] This equivalence holds because continuity in LF-spaces corresponds to boundedness with respect to the countable family of seminorms defining each Fréchet factor, allowing Hahn–Banach applications at each stage to preserve the inductive limit topology.^[32]

Vector-Valued Forms

The vector-valued Hahn–Banach theorem generalizes the classical result to the extension of continuous linear operators taking values in a Banach space. Specifically, let X be a Banach space, M a subspace of X, Y an injective Banach space, and f: M \to Y a continuous linear operator satisfying \|f(m)\|_Y \leq p(m) for all m \in M, where p: X \to [0, \infty) is a sublinear functional. Then there exists a continuous linear extension F: X \to Y such that F|_M = f and \|F(x)\|_Y \leq p(x) for all x \in X. Injective Banach spaces, such as \ell^1 or L^1(\mu), are precisely those for which such extensions always exist, preserving the operator norm when p is the norm on X. This contrasts with the scalar case, where no such injectivity condition on the codomain is needed, as the reals or complexes are trivially injective. The sublinear bound p generalizes the norm preservation, allowing applications beyond uniform continuity. The proof relies on scalarization: for each \varphi \in Y^*, the composition \varphi \circ f: M \to \mathbb{R} (or \mathbb{C}) is a continuous linear functional bounded by p, since |\varphi(f(m))| \leq \|\varphi\|_{Y^*} \|f(m)\|_Y \leq \|\varphi\|_{Y^*} p(m). By the scalar Hahn–Banach theorem, extend \varphi \circ f to \tilde{\varphi}: X \to \mathbb{R} with |\tilde{\varphi}(x)| \leq \|\varphi\|_{Y^*} p(x). The family \{\tilde{\varphi} : \varphi \in Y^* \} defines a bounded linear map from X to Y^{**}, but since Y is injective, this map factors through an extension into Y itself, ensuring F(x) \in Y. This theorem finds applications in the theory of tensor products of Banach spaces, where extensions of operators facilitate the identification of completed tensor norms and the study of operator ideals. For instance, it ensures that certain bilinear forms on product spaces extend to the full tensor product, aiding in the approximation of operators. Similarly, in Banach module theory, it supports extensions of module homomorphisms, preserving bounds and enabling constructions in non-commutative geometry.

Invariant and Maximal Extensions

The invariant Hahn–Banach theorem extends the classical result to preserve symmetry under actions of groups of bounded linear operators. Specifically, consider a normed linear space X with a subspace Y \subseteq X and a continuous linear functional f \in Y^*. Let \Gamma be a group of bounded linear operators on X such that \Gamma(Y) \subseteq Y, the operators in \Gamma commute with each other, and f \circ T = f for all T \in \Gamma. Then there exists a continuous linear functional F \in X^* such that F|_Y = f, \|F\| = \|f\|, and F \circ T = F for all T \in \Gamma. This version ensures that the extension respects the invariance of the original functional under the group action, which is particularly useful when \Gamma consists of isometries or unitary operators. For instance, in a Hilbert space, if \Gamma is the unitary group generated by a representation of a compact group, the extension maintains equivariance, allowing the construction of invariant functionals on larger spaces while preserving the group's symmetry. In the context of representation theory, such invariant extensions facilitate the study of amenable representations on locally convex spaces. For weakly almost periodic representations of semigroups, the theorem guarantees the existence of invariant linear Hahn–Banach extension operators on invariant subspaces, linking amenability to the availability of invariant means and supporting applications in coefficient compactifications.^[33] Maximal extensions in the Hahn–Banach framework refer to linear functionals that are dominated by a sublinear functional p and cannot be properly extended to a larger subspace while maintaining the domination F(x) \leq p(x) for all x. To obtain such an extension, apply Zorn's lemma to the partially ordered set of all pairs (M, g), where M is a subspace containing the original domain and g is a linear extension of the original functional dominated by p on M; ordered by inclusion. This yields a maximal element (M_{\max}, F_{\max}), and if M_{\max} \neq X, a contradiction arises by extending further to a one-dimensional enlargement, implying M_{\max} = X.^[34] These maximal dominated extensions are essential for proving density results or uniqueness in certain spaces, and in representation theory, they ensure the existence of maximal invariant functionals that capture the full symmetry of group actions without further enlargement.^[33]

Nonlinear Variants

The sublinear extension theorem, a foundational nonlinear variant of the Hahn–Banach theorem, asserts that if a real vector space X is equipped with a sublinear functional p: X \to \mathbb{R}, and M \subset X is a subspace with a linear functional f: M \to \mathbb{R} satisfying f(x) \leq p(x) for all x \in M, then there exists a linear extension \tilde{f}: X \to \mathbb{R} such that \tilde{f}(x) \leq p(x) for all x \in X.^[35] This result, which builds on the analytic form of the classical theorem, enables the preservation of inequalities defined by nonlinear bounds in extensions.^[2] Further generalizations extend this to convex functionals, where the majorant is a convex function rather than merely sublinear. In this setting, a convex functional defined on a subspace can be extended to the entire space while remaining below a given convex majorant, provided the space satisfies suitable topological conditions such as local convexity.^[35] Such extensions, akin to those discussed in Bourbaki's treatment of topological vector spaces, rely on separation principles for convex sets and apply in optimization contexts where linearity is insufficient.^[36] The proof typically mirrors the sublinear case but leverages the epigraph of the convex function for separation arguments. Nonlinear Hahn–Banach theorems also arise in the study of monotone operators, particularly for solving variational inequalities in Banach spaces. For a monotone operator T from a reflexive Banach space into its dual and a closed convex set K, the theorem guarantees the existence of solutions to \langle T(u), v - u \rangle \geq 0 for all v \in K by extending separating hyperplanes to handle the nonlinear monotonicity.^[37] This variant, pioneered in works on nonlinear operators, connects directly to fixed-point theory and equilibrium problems in infinite-dimensional settings.^[38] These nonlinear extensions often impose additional assumptions, such as reflexivity of the space or strict convexity of the domain sets, to ensure maximality or existence; without them, counterexamples arise in non-complete or non-convex environments.^[37] For set-valued monotone operators, further conditions like upper semicontinuity are typically required to adapt the separation via Hahn–Banach principles.^[39]

Converse Results

Statements

The Hahn–Banach extension property (HBEP) for a topological vector space X is the condition that for every vector subspace M of X and every continuous linear functional f: M \to \mathbb{R} (or \mathbb{C}), there exists a continuous linear functional F: X \to \mathbb{R} (or \mathbb{C}) such that F|_M = f. The Hahn–Banach theorem establishes that every Hausdorff locally convex topological vector space has the HBEP. A basic converse holds for F-spaces, which are complete metrizable topological vector spaces: if an F-space has the HBEP, then it is locally convex. This result, due to Kalton, shows that the extension property forces the topology to be locally convex under the assumptions of completeness and metrizability.^[40] For normed spaces, the HBEP holds by the standard Hahn–Banach theorem regardless of completeness, as normed spaces are locally convex by definition.

Implications

The converse results to the Hahn–Banach theorem provide key characterizations of certain classes of topological vector spaces (TVS). Specifically, in the context of complete metrizable TVS, the Hahn–Banach extension property (HBEP)—whereby every continuous linear functional defined on a closed subspace admits a continuous extension to the entire space—holds if and only if the space is locally convex. This equivalence highlights the structural role of completeness in ensuring that extension properties align with local convexity.^[41] In incomplete normed spaces, counterexamples illustrate limitations of these extension properties. For instance, non-locally convex incomplete metrizable TVS fail to satisfy the HBEP, as continuous linear functionals on certain closed subspaces cannot be continuously extended, underscoring that completeness is essential for the full characterization to hold. Such examples demonstrate how the absence of completeness disrupts the converse implications, even in spaces that might otherwise appear suitable for extension. These converse results also connect to characterizations of barrelled spaces within locally convex TVS. A locally convex TVS is barrelled if every absorbing convex set closed in the Mackey topology (or equivalently, the intersection of all continuous seminorms bounding it) is a neighborhood of the origin. Broader implications link these converses to automatic continuity theorems. In spaces satisfying the HBEP, linear maps that are continuous on dense subspaces or satisfy mild regularity conditions automatically extend to continuous operators on the whole space, facilitating results in automatic continuity where continuity follows from behavior on meager sets or dense domains without additional assumptions.^[41]

Axiomatic Connections

Axiom of Choice Dependence

The standard proof of the Hahn–Banach theorem employs Zorn's lemma to establish the existence of maximal extensions of linear functionals, and Zorn's lemma is equivalent to the axiom of choice (AC) within Zermelo–Fraenkel set theory (ZF).^[15] In ZF without AC, the full Hahn–Banach theorem is not provable, as evidenced by models such as Cohen's second model where the theorem fails despite the consistency of ZF.^[42] Furthermore, the theorem follows from the ultrafilter theorem (or equivalently, the Boolean prime ideal theorem), a weakened form of AC.^[43] In certain models of ZF, the Hahn–Banach theorem aligns closely with AC in strength; for instance, the existence of non-trivial bounded linear functionals on every infinite-dimensional Banach space implies the theorem itself. However, the theorem's reliance on choice principles has led to investigations showing it is not fully equivalent to AC, though it implies significant consequences like the existence of bases in vector spaces under additional assumptions.^[2] Historically, Stefan Banach's original 1932 proof of the theorem, presented in his monograph Théorie des opérations linéaires, incorporated principles equivalent to the axiom of choice, building on earlier work by Helly and Riesz without explicitly addressing constructivity.^[44] Subsequent developments have identified choice-free alternatives, particularly for separable normed spaces, where the continuous Hahn–Banach property—allowing norm-preserving extensions of bounded linear functionals—holds in ZF alone, without invoking full AC.^[42] In such cases, proofs rely solely on the axiom of dependent choices (DC), a weaker principle than AC that enables constructive arguments via countable extensions.^[43] These separable variants avoid ultrafilters entirely, providing effective methods in spaces like Hilbert spaces with countable dense subsets.^[45]

Links to Other Theorems

The Hahn–Banach theorem serves as a foundational tool in functional analysis, establishing deep connections to other major theorems through its implications for duality, separation of sets, and operator properties. In particular, it underpins the Banach–Alaoglu theorem, which states that the closed unit ball in the dual space of a normed space is compact in the weak* topology; this compactness relies on the Hahn–Banach theorem's ability to extend linear functionals, thereby enriching the structure of dual spaces and enabling weak convergence arguments.^[2] A prominent link exists with separation theorems, where the Hahn–Banach separation theorem extends the classical weak hyperplane separation theorem from finite-dimensional Euclidean spaces to general normed vector spaces. Specifically, for two disjoint convex sets in a normed space, with one having nonempty interior, the theorem guarantees a continuous linear functional that separates them strictly, generalizing the supporting hyperplane theorem and facilitating proofs of convexity-related results in infinite dimensions.^[14] The theorem also interconnects with the "big three" theorems of Banach space theory: the uniform boundedness principle, the open mapping theorem, and the closed graph theorem. These theorems together provide key results on the boundedness, surjectivity, and continuity of linear operators between Banach spaces.^[46] Beyond core functional analysis, the Hahn–Banach theorem relates to fixed-point and combinatorial results, such as the Markov–Kakutani fixed-point theorem, whose invariant extensions depend on Hahn–Banach for group actions on linear functionals. Additionally, through minimax and game-theoretic lenses, it connects to Menger's theorem (on disjoint paths in graphs) and Helly's theorem (on intersecting convex sets), where Hahn–Banach-type separations provide analytic proofs of these discrete results.^[46]^[47]

References

[1]
[PDF] The Hahn–Banach theorem
MATHEMATICS 3103 (Functional Analysis). YEAR 2012–2013, TERM 2. HANDOUT #6: THE HAHN–BANACH THEOREM AND DUALITY OF. BANACH SPACES. The Hahn–Banach theorem. Let ...
[2]
[PDF] The Hahn-Banach Theorem: The Life and Times - UCI Mathematics
Abstract. Without the Hahn-Banach theorem, functional analysis would be very dif- ferent from the structure we know today. Among other things, it has proved ...
[3]
Über lineare Gleichungssysteme in linearen Räumen. - EuDML
Hahn, Hans. "Über lineare Gleichungssysteme in linearen Räumen.." Journal für die reine und angewandte Mathematik 157 (1927): 214-229.
[4]
Sur les fonctionnelles linéaires - EuDML
Sur les fonctionnelles linéaires. S. Banach · Studia Mathematica (1929). Volume: 1, Issue: 1, page 211-216; ISSN: 0039-3223 ...
[5]
Hans Hahn (1879 - 1934) - Biography - MacTutor
Hans Hahn was an Austrian mathematician who is best remembered for the Hahn-Banach theorem. He also made important contributions to the calculus of variations, ...
[6]
None
Below is a merged summary of the key developments of the Hahn-Banach Theorem in the 1930s, consolidating all information from the provided segments into a comprehensive response. To retain the maximum amount of detail in a dense and organized format, I will use a table in CSV format for key contributions, followed by a narrative summary that integrates additional context, advancements, and duality links. This approach ensures all information is preserved while maintaining clarity and structure.
[7]
From linear to metric functional analysis - PNAS
Jul 9, 2021 · The theory of Banach spaces is a further abstraction where the elements are thought of less as functions but rather just as points in a linear ...
[8]
https://www.math.purdue.edu/~iswanso/functionalanalysis.pdf
[9]
[PDF] John von Neumann and the Theory of Operator Algebras *
A family of operators acting on a Hilbert space is called von Neumann algebra if it contains the adjoint, the linear combinations and the products of its ...
[10]
[PDF] Functional Analysis - Purdue Math
Theorem 11.3 (Hahn–Banach Theorem) Let X be a vector space over R. Let p : X → R be a sublinear functional. Let M be a subspace of X and f0 a linear functional ...
[11]
None
Below is a merged summary of the Hahn-Banach Theorem from Kreyszig's *Introductory Functional Analysis with Applications*, consolidating all the information provided across the segments. To retain maximum detail in a dense and organized format, I will use a combination of narrative text and a table in CSV format for key details such as theorem statements, definitions, and sources. The narrative will provide an overview and context, while the table will capture specific details systematically.
[12]
The Hahn-Banach Theorem (Complex Version) - Mathonline - Wikidot
Recall from The Hahn-Banach Theorem (Real Version) page that if is a linear space and is a subspace and if is a sublinear functional such that and is a -linear ...
[13]
[PDF] HAHN-BANACH THEOREM
Mar 3, 2019 · Theorem (Hahn-Banach). Given a real linear vector space X and a subspace M, let p be a sublinear functional on X, and f a linear functional on ...
[14]
[PDF] proof of the hahn-banach theorem
PROOF OF THE HAHN-BANACH THEOREM ... L∞ = ∪α∈chainLα and if x ∈ L∞ then x ∈ Lα for some α ∈ chain so that we can set f∞(x) = fα(x) . By Zorn's lemma there exists ...
[15]
[PDF] 18.102 S2021 Lecture 5. Zorn's Lemma and the Hahn-Banach ...
We'll prove the Hahn-Banach theorem today, which explains how to extend bounded linear functionals on a subspace to the whole normed vector space, ...
[16]
[PDF] The Hahn-Banach separation Theorem and other separation results
Aug 18, 2014 · This paper will introduce and prove several theorems involving the separation of convex sets by hyperplanes, along with other interesting ...Missing: original | Show results with:original
[17]
245B, Notes 6: Duality and the Hahn-Banach theorem - Terence Tao
Jan 26, 2009 · A fundamental tool in understanding duality of normed vector spaces will be the Hahn-Banach theorem, which is an indispensable tool for exploring the dual of a ...
[18]
[PDF] Banach Spaces - UC Davis Math
Theorem 5.58 (Hahn-Banach) If Y is a linear subspace of a normed linear space. X and ψ : Y → R is a bounded linear functional on Y with kψk = M, then there is.<|control11|><|separator|>
[19]
[PDF] Lp-SPACES FOR 0 <p< 1 - KEITH CONRAD
The most fundamental theorem about Banach spaces is the Hahn-Banach theorem, which links the original Banach space with its dual space. What we want to ...Missing: separation | Show results with:separation
[20]
Continuous Selections. I - jstor
There exists a l.s.c. carrier 4 from the closed unit interval X to the non-empty, open, convex subsets of a Banach space Y for which there exists no selection.
[21]
[PDF] 3. The Hahn-Banach separation theorem - Paul Klein
The Hahn-Banach separation theorem. Page 11. Proof of the Hahn-Banach separation theorem - b) b): By Theorem 1.10 there is a neighborhood V of 0 such that. (A ...
[22]
[PDF] V.7 Separation theorems in locally convex spaces
Theorem 35 (Hahn-Banach separation theorem). Let X be a LCS, let A, B ⊂. X be nonempty disjoint convex subsets. (a) If the interior of A is nonempty, there ...
[23]
[PDF] Topic 8: Separation theorems
is also a closed convex set. It is also clear that the result is ... boundary point of C, then there is a nonzero continuous linear functional properly.
[24]
[PDF] 5.5. Geometric Versions of Hahn-Banach Theorem
May 6, 2017 · Mimicing the idea of separating sets in R2 with lines, we give several separation theorems where sets are separated by hyperplanes. Note. Recall ...
[25]
[PDF] Hahn-Banach theorem - People
It is known that Hahn-Banach is strictly weaker than the axiom of choice, but cannot be proven in ZF. Let us derive some consequences of the theorem. The main ...
[26]
[PDF] TOPOLOGICAL VECTOR SPACES, DISTRIBUTIONS AND KERNELS
... TREVES. April 1967. Paris. Page 6. PART I. Topological. Vector Spaces. Spaces of ... Hahn-Banach, in Part 11, and switch quickly back to complex numbers ...
[27]
[PDF] Functional Analysis, Sobolev Spaces and Partial Differential Equations
The Sobolev spaces occur in a wide range of questions, in both pure and applied mathematics. They appear in linear and nonlinear PDEs that arise, for example, ...
[28]
[PDF] Notes on Partial Differential Equations John K. Hunter - UC Davis Math
The maximum principle gives a uniqueness result for the Dirichlet problem for the Poisson equation. Theorem 2.18. Suppose that Ω is a bounded, connected ...
[29]
Weak compactness and reflexivity | Israel Journal of Mathematics
R. C. James,Reflexivity and the supremum of linear functionals, Ann. of Math ... Pełczyński,A proof of Eberlein-Šmulian theorem by an application of basic ...<|control11|><|separator|>
[30]
[PDF] Hahn Banach theorem - SISSA People Personal Home Pages
(7) If X is a normed space, define the duality map as. (5.1) x 7→ F(x) = n. ` ∈ X∗ : k`kX* = kxkX, `x = kxk2. X o . Use Hahn-Banach theorem to show that F(x) 6= ...
[31]
[PDF] Hahn-Banach theorems 1. Continuous Linear Functionals 2 ...
Jul 17, 2008 · Second, continuous linear functionals on subspaces of a locally convex topological vectorspace have continuous extensions to the whole space.
[32]
[PDF] Distributions: Topology and Sequential Compactness.
and by scaling M we can ensure that t = 1 so that M0 is balanced. ... [4] François Treves, Topological Vector Spaces, Distributions and Kernels, Academic Press,.
[33]
https://doi.org/10.1007/s41478-020-00223-3
[34]
[PDF] Hahn–Banach extension theorem - Paul Delatte
Dec 31, 2022 · Note that the theorem is often stated under the stronger condition that p is a sublinear functional (recall that every sublinear functional is ...Missing: statement | Show results with:statement
[35]
Hahn-Banach Theorems for Convex Functions - SpringerLink
We start from a basic version of the Hahn-Banach theorem, of which we provide a proof based on Tychonoff's theorem on the product of compact intervals.
[36]
2.3. Hahn–Banach and Convexity
Jan 7, 2023 · The Hahn–Banach Theorem deals with bounded linear functionals on a subspace of a Banach space X and asserts that every such functional extends ...
[37]
Variational inequalities via the Hahn-Banach theorem
F. E. Browder, Nonlinear monotone operators and convex sets in Banach space. Bull. Amer. Math. Soc.71, 780–785 (1965).
[38]
Nonlinear Operators of Monotone Type in Reflexive Banach Spaces ...
In this paper we are concerned with nonlinear operators of monotone type from a reflexive Banach space X into the dual space X*. Such operators have.
[39]
On the Development of Nonlinear Operator Theory
Nonlinear Hahn–Banach theorem. The Hahn–Banach theorem states that a linear functional on a subspace of a vector space X can be extended to the entire space ...
[40]
[PDF] Basic sequences in F-spaces and their applications
The aim of this paper is to establish a conjecture of Shapiro (10) that an F-space (complete metric linear space) with the Hahn-Banach Extension Property is ...
[41]
Basic sequences in F-spaces and their applications
Jan 20, 2009 · ... Hahn-Banach Extension Property is locally convex. This result was proved by Shapiro for F-spaces with Schauder bases; other similar results ...
[42]
[PDF] Hahn-Banach theorems for convex functions - HAL
Jan 4, 2013 · We start from a basic version of the Hahn-Banach theorem, of which we provide a proof based on Tychonoff's theorem on the product of compact.
[43]
[PDF] the hahn-banach property and the axiom of choice
We say, that E satisfies the Hahn-Banach property if, for every sublinear functional p : E → R, for every subspace F of E and every linear functional f : F → R ...
[44]
Hahn-Banach theorem in nLab
### Summary of Hahn-Banach Theorem and Axiom of Choice
[45]
(PDF) The Hahn-Banach Theorem - ResearchGate
Jun 13, 2016 · In the first part of this paper, we provide several historical facts on the famous Hyers-Ulam stability theorems, Hahn-Banach extension ...
[46]
The Hahn‐Banach Property and the Axiom of Choice - Dodu - 1999
Nov 17, 2010 · We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn- ...
[47]
Some problems in functional analysis inspired by Hahn Banach type ...
Oct 12, 2013 · As a cornerstone of functional analysis, Hahn Banach theorem constitutes an indispensable tool of modern analysis where its impact extends ...
[48]
The Hahn-Banach theorem, Menger's theorem, and Helly's theorem
Nov 30, 2007 · The Hahn-Banach theorem (at least in finite dimensions), which we interpret as a result describing all the obstructions to solving a system of linear ...