向量内积的定义和基本性质