产生由formula_3映射到formula_5的同构。
到双对偶空间内的单射.存在一个由formula_3到其双对偶formula_68的自然映射formula_13，定义为formula_70formula_13常是单射；当且仅当formula_3的维数有限时，formula_13是个同构。
连续对偶空间.处理拓扑向量空间时，我们一般仅对该空间射到其基域的连续线性泛函感兴趣。由此导致连续对偶空间之概念，此乃其代数对偶空间之一子空间。向量空间"f