点积有两种定义方式:代数方式和几何方式。通过在欧氏空间中引入笛卡尔坐标系,向量间的点积既可以由向量坐标的代数运算得出,也可以通过引入两向量的长度和角度等几何概念来求解。
代数定义
向量 和 的点积定义为:
-
这里的Σ是求和符号,而n是向量空间的维度。
例如,三维向量 和 的点积是
-
点积还可以写为:
- 。
这里, 是列向量 的转置。
使用上面的例子,1×3矩阵(列向量)乘以3×1矩阵(行向量)的行列式就是结果(通过矩阵乘法得到1×1矩阵):
- 。
几何定义
在欧几里得空间中,点积可直观定义为
-
这里 | | 表示 的模(长度), 表示向量间的角度。
注意:点积的形式定义和这定义不同;在形式定义, 和 的夹角用上述等式定义。
这样,互相垂直的两条向量的点积总是零。若 和 都是单位向量(长度为1),它们的点积就是它们的夹角的余弦。那么,给定两条向量,它们之间的夹角可以以下公式得到:
-
这个运算可以简单地理解为:在点积运算中,第一向量投影到第二向量上(向量顺序这里在不重要,点积运算可交换),然后通过除以它们的标量长度来“标准化”。这样,这分数一定是小于等于1的,可以简单转化成角度值。
标量投影
欧氏空间中向量 在向量 上的标量投影是指对于向量B来说向量A的垂直度到向量B的代表长度
-
这里 是 和 的夹角。从点积的几何定义 不难得出,两向量的点积: 可以理解为向量 在向量 上的投影再乘以 的长度。
-
两种定义的等价性
点积的两种定义中,只需给定一种定义,另外一种定义就可以推出。
由几何定义推出代数定义
设 是 空间的一组标准正交基,可以得出:
-
上文中已经得知两条向量点积的几何定义实际上就是一条向量在另外一条向量上的投影,故 在任一标准基 的点积 就是 在此标准基向量上的投影,而根据向量自身的定义,这个投影即为 。因此:
-
由代数定义推出几何定义
应用余弦定理。
注意:这个证明采用三维向量,但可以推广到 维的情形。
考虑向量
- .
重复使用毕氏定理得到
- .
而由代数定义
- ,
所以,根据向量点积的代数定义,向量 和自身的点积就是其长度的平方。
- 引理1
-
现在,考虑从原点出发的两条向量 和 ,夹角 。第三条向量 定义为
- ,
构造以 , , 为边的三角形,采用余弦定理,有
- .
根据引理1,用点积代替向量长度的平方,有
- . (1)
同时,根据定义 ≡ - ,有
- ,
根据分配律,得
- . (2)
连接等式(1)和(2)有
- .
简化等式即得
- ,
以上即为向量点积的几何定义。
需要注意的是,点积的几何解释通常只适用于 ( )。在高维空间,其他的域或模中,点积只有一个定义,那就是
-
点积可以用来计算合力和功。若 为单向量,则点积即为 在方向 的投影,即给出了力在这个方向上的分解。功即是力和位移的点积。