定义 内积空间

定义了线性运算和内积的向量空间 ${\mathbb{R}}^n$ 称为内积空间, 以后仍然用 ${\mathbb{R}}^n$ 表示这个内积空间.