la_3到其双对偶formula_68的自然映射formula_13，定义为formula_70formula_13常是单射；当且仅当formula_3的维数有限时，formula_13是个同构。
连续对偶空间.处理拓扑向量空间时，我们一般仅对该空间射到其基域的连续线性泛函感兴趣。由此导致连续对偶空间之概念，此乃其代数对偶空间之一子空间。向量空间"formula_3"之连续对偶记作"formula_3"′。此脉络下可迳称连续对偶为"对偶"。线性赋范向量空间"formul