展开 内积空间一定是赋范线性空间