定义在向量空间 
的子空间上的线性泛函，且被定义在 
上的次线性函数支配，则它具有一个线性扩张，该线性扩张也被该次线性函数支配。
哈恩-巴拿赫定理
使用 Wolfram|Alpha 探索
参考文献
Casti, J. L. "哈恩-巴拿赫定理。" 第 4 章，载于 Five More Golden Rules: Knots, Codes, Chaos, and Other Great Theories of 20th-Century Mathematics. New York: Wiley, pp. 155-205, 2000.Zeidler, E. Applied Functional Analysis: Applications to Mathematical Physics. New York: Springer-Verlag, 1995.在 Wolfram|Alpha 上被引用
哈恩-巴拿赫定理引用为
魏斯坦, 埃里克·W. "哈恩-巴拿赫定理。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Hahn-BanachTheorem.html