考えるベクトル空間Xが（有限次元とは限らない）ノルム空間のとき、（有限次元の場合には関係ないが）解析学的なことも考えないといけないので、ここではXはバナッハ空間であることを仮定する。
当底层向量空间X是(不必需有限维)赋范向量空间，需要考虑无关于有限维情况的分析问题，假定现在X是巴拿赫空间。