格—赋范空间上的Hahn—Banach定理

本文置赋范空间上的线性泛函延拓问题的经典结果Hahn—Banach定理于格—赋范空间之上,给出了严格的证明,格—赋范空间乃是赋范空间概念的推广,或说赋范空间是特殊的格—赋范空间,因此这里实际上是Hahn—Banach定理推广于格—赋范空间之上。