ABSTRACT. A self-contained and brief proof is given of the equivalence of the Hahn-Banach extension property (HB) and the conditional order completeness of the range space (LUB). Various other equivalences are discussed.
Introduction.Let Y be an ordered vector space. This is to say that Y is a real vector space endowed with an associated partial order induced by a convex cone S (containing zero) by ii > X2 if xi -X2 lies in S. Recall that Y is said to be conditionally order complete or to have the least upper bound property (LUB) if every nonempty subset A of Y with an upper bound has a least upper bound, sup A [4]. Since > is antisymmetric only when S is pointed, these suprema are generally not unique. Now Y is said to have the Hahn-Banach extension property (HB) if the following holds. Suppose that X is a real vector space and that p: X -► Y is a sublinear operator (with respect to S). Let M be a vector subspace of X and let T: M -*Y be linear with Tm < p(m) for all m in M. Then there exists a linear operator To: X -► Y extending T and dominated by p on X [4]. If the extension is only asserted to exist when M is a hyperplane we say Y has the Hahn-Banach extension property for hyperplanes. Suppose that Y is a topological vector space while X is constrained to lie in some subclass of topological vector spaces C (for example, Banach spaces or ¿i spaces). We say that Y has the continuous Hahn-Banach property for C if extensions exist for continuous linear operators dominated on closed subspaces by continuous sublinear operators between X and Y.That (HB) and (LUB) are equivalent was originally shown by Silverman and Yen [12, 4], assuming that S is linearly closed. That linear closure follows from (LUB) is straightforward.Much less immediate was the proof that (HB) implies linear closure, due to Bonnice and Silverman [1,2].Their arguments were incomplete and were finally made adequate by To [13]. These arguments, while geometric, are lengthy ad involve considrable case analysis. Elster and Nehse [5,6], using the Bonnice-Silverman-To-Yen proof as a basis, have shown the equivalence of a variety of other convex optimization and positive operator theoretic results.Recently, Ioffe [9] has established the equivalence of (HB) and (LUB) as a consequence of a more general result on linear selections for fans [8,9]. In this note we wish to show that, using the same vector space, same hyperplane and essentially the