对偶赋范空间

如果 是一个赋范线性空间，那么在 上的连续线性泛函的集合被称为 的对偶（或共轭）空间。当配备范数 时，一个对偶赋范空间是一个 Banach 空间。