导一个标量函数formula_23，由以下的方法定义：这个formula_25是一个从formula_6射到标量域formula_2上的连续线性泛函，所以formula_28。因而可以定义一个映射：这个映射称作“赋值映射”，是一个线性映射。根据哈恩－巴拿赫定理，映射formula_30是单射，并且保持范数：这说明，映射formula_30将空间formula_1等距地映射到其在formula_34中的像：formula_35上。而映射的像formula_35不一定是formula_34的全部，有可能只