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...

A non-trivial example of an L-topological space, the L-fuzzy real line is examined. Various L-topological properties and their relationships are developed. Extension theorems on the L-fuzzy real line as well as extension theorems on more general L-topological spaces follow. Finally, a theory of L-fuzzy vector spaces leads up to a fuzzy version of the Hahn-Banach theorem.

As a cornerstone of functional analysis, Hahn–Banach theorem constitutes an indispensable tool of modern analysis where its impact extends beyond the frontiers of linear functional analysis into several other domains of mathematics, including complex analysis, partial differential equations and ergodic theory besides many more. The paper is an attempt to draw attention to certain applications o...

We consider real spaces only. Definition. An operator T : X → Y between Banach spaces X and Y is called a Hahn-Banach operator if for every isometric embedding of the space X into a Banach space Z there exists a norm-preserving extension T̃ of T to Z. A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. This property is used to ch...

The Hahn-Banach theorem is one of the most fundamental theorems in the functional analysis theory. This theorem is well known in the case where the range space is the real number system as follows. Let p be a sublinear mapping from a vector space X into the real number system R, Y a subspace of X, and q a linear mapping from Y into R such that q ≤ p on Y. Then there exists a linear mapping g fr...

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...