哈恩巴拿赫延拓定理的应用