Borwein’s norm duality theorem establishes the equality between the outer (inner) norm of a sublinear mapping and the inner (outer) norm of its adjoint mappings. In this note we provide an extended version of this theorem with a new and self-contained proof relying only on the Hahn-Banach theorem. We also give examples showing that the assumptions of the theorem cannot be relaxed.

We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL0 over RCA0. We show that the separation theorem for separably closed convex sets is equivalent to ACA0 over RCA0. Our strategy for proving these geometrical Hahn–Banach...

We give the basic de nitions for pointfree functional analysis and present constructive proofs of the Alaoglu and Hahn Banach theorems in the set ting of formal topology Introduction We present the basic concepts and de nitions needed in a pointfree approach to functional analysis via formal topology Our main results are the constructive proofs of localic formulations of the Alaoglu and Helly H...

We establish, in innnite dimensional Banach space, a nonconvex separation property for general closed sets that is an extension of Hahn-Banach separation theorem. We provide some consequences in optimization, in particular the existence of singular multipliers and show the relation of our principle with the extremal principle of Mordukhovich.

Some new results which generalize the Hahn-Banach theorem from scalar or vector-valued case to set-valued case are obtained. The existence of the Borwein-strong subgradient and Yang-weak subgradient for set-valued maps are also proven. we present a new Lagrange multiplier theorem and a new Sandwich theorem for set-valued maps.