偶空间中的任一线性泛函对偶空间都能表示成某个formula_94的形式，所以formula_90是一个满射。结合以上性质可以推出，formula_90是一个等距同构。在这个同构的意义下，我们常说的对偶空间“是”。以上性质说明，当大于1的时候，是一个自反空间：的二次对偶空间（对偶空间的对偶空间）“是”它自己（在同构的意义下）。具体来说，从formula_90出发，可以构造出以下的关系：formula_99与formula_100的复合映射是从映射到其二次对偶空间的赋值嵌入映射：从而作为两个等距同构的