We work in the set theory without the axiom of choice: ZF. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gâteauxdifferentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f : F → R is a linear functional such that f ≤ p|F , then there exists a...

We prove a version of Hahn-Banach Theorem. and 1] provide the notation and terminology for this paper. The following propositions are true: (1) For all sets x, y and for every function f such that h hx; yi i 2 f holds y 2 rng f: (2) For every set X and for all functions f, g such that X dom f and f g holds fX = gX: (3) For every non empty set A and for every set b such that A 6 = fbg there exis...

The classical Hahn-Banach Theorem states that any linear bounded functional defined on a linear subspace of a normed space admits a norm-preserving linear bounded extension to the whole space. The constructive and computational content of this theorem has been studied by Bishop, Bridges, Metakides, Nerode, Shore, Kalantari, Downey, Ishihara and others and it is known that the theorem does not a...

ð2Þ ~ T 1⁄4 T ; 8 2 V: We use HBðV;W Þ to denote the set of Hahn–Banach operators. The classical Hahn–Banach theorem states that every rank-1 operator from V into W is a Hahn–Banach operator. It can also be restated in the following way: if dimW 1⁄4 1, then HBðV;W Þ 1⁄4 LðV;W Þ. Observe that the two statements above are slightly different. In the first case we describe a property of an operator...

The Hahn–Banach Theorem plays a crucial role in the second fundamental theorem of welfare economics. To date, all mathematical economics and advanced general equilibrium textbooks concentrate on using non-constructive or incomputable versions of this celebrated theorem. In this paper we argue for the introduction of constructive or computable Hahn–Banach theorems in mathematical economics and a...

(2)1 For every set X and for all functions f , g such that X ⊆ dom f and f ⊆ g holds f X = g X . (3) For every non empty set A and for every set b such that A 6= {b} there exists an element a of A such that a 6= b. (4) For all sets X , Y holds every non empty subset of X→̇Y is a non empty functional set. (5) Let B be a non empty functional set and f be a function. Suppose f = ⋃ B. Then dom f = ⋃...

This paper will introduce and prove several theorems involving the separation of convex sets by hyperplanes, along with other interesting related results. It will begin with some basic separation results in Rn, such as the Hyperplane Separation Theorem of Hermann Minkowski, and then it will focus on and prove the extension of this theorem into normed vector spaces, known as the Hahn-Banach Sepa...

Paul Garrett [email protected] http://www.math.umn.edu/ g̃arrett/ [This document is http://www.math.umn.edu/ ̃garrett/m/fun/notes 2012-13/05 banach.pdf] 1. Basic definitions 2. Riesz’ Lemma 3. Counter-example: non-existence of norm-minimizing element 4. Normed spaces of continuous linear maps 5. Dual spaces of normed spaces 6. Banach-Steinhaus/uniform-boundedness theorem 7. Open mapping theore...