A structural version of the theorem of Hahn-Banach
We consider one of the basic results of functional analysis, the classical theorem of Hahn-Banach. This theorem gives the existence of a continuous linear functional on a given normed vectorspace extending a given continuous linear functional on a subspace with the same norm. In this paper we generalize this existence theorem to a result on the structure of the set of all these extensions.