X是一个赋范线性空间，X上所有连续线性泛函全体按算子范数的定义构成Banach空间，称为X的共轭空间