内积空间

在向量空间的基础上增添了一个额外的结构：内积。
内积是一对向量和一个标量的映射。
能够让我们严格地谈论向量之间的夹角和长度，并进一步谈论向量之间的正交性。