In the proof of Hahn-Banach Theorem, we first form the collection of all linear functionals on vector subspaces that extend a given functional f and that are dominated by a sub-linear functional p.
I was wondering why can we assume the existence of such extensions?
Can anybody help? I am a beginner in functional analysis. Thanks.