The Hahn-Banach Theorems

Abstract

In a Hilbert space, we can introduce the notion of orthogonal coordinates through an orthogonal base, and these coordinates are the values of bounded linear functional defined by the vectors of the base. This suggests that we consider continuous linear functional, in a linear topological space, as generalized coordinates of the space. To ensure the existence of non-trivial continuous linear functional in a general locally convex linear topological space, we must rely upon the Hahn-Banach extension theorems.