点积有两种定义方式:代数方式和几何方式。通过在欧氏空间中引入笛卡尔坐标系,向量之间的点积既可以由向量坐标的代数运算得出,也可以通过引入两个向量的长度和角度等几何概念来求解。
两个向量 = [a1, a2,…, an]和
= [b1, b2,…, bn]的点积定义为:
这里的Σ是求和符号,而n是向量空间的维数。
例如,两个三维向量和的点积是
点积还可以写为:
。
这里,是行向量
的转置,而
是
的行列式。
使用上面的例子,一个1×3矩阵(行向量)乘以一个3×1矩阵(列向量)的行列式就是结果(通过矩阵乘法得到1×1矩阵,再利用行列式得出标量答案):
。
在欧几里得空间中,点积可以直观地定义为
这里 || 表示
的模(长度),
表示两个向量之间的角度。
注意:点积的形式定义和这个定义不同;在形式定义中,和
的夹角是通过上述等式定义的。
这样,两个互相垂直的向量的点积总是零。若和
都是单位向量(长度为1),它们的点积就是它们的夹角的余弦。那么,给定两个向量,它们之间的夹角可以通过下列公式得到:
这个运算可以简单地理解为:在点积运算中,第一个向量投影到第二个向量上(这里,向量的顺序是不重要的,点积运算是可交换的),然后通过除以它们的标量长度来“标准化”。这样,这个分数一定是小于等于1的,可以简单地转化成一个角度值。
欧氏空间中向量在向量
上的标量投影是指
这里是
和
的夹角。从点积的几何定义
不难得出,两个向量的点积:
可以理解为向量
在向量
上的投影再乘以
的长度。
点积的两种定义中,只需给定一种定义,另外一种定义就可以推出。
由几何定义推出代数定义
设是空间的一组标准正交基,可以得出:
上文中已经得知两个向量点积的几何定义实际上就是一个向量在另外一个向量上的投影,故在任一标准基的点积
就是
在此标准基向量上的投影,而根据向量自身的定义,这个投影即为
。因此:
由代数定义推出几何定义
应用余弦定理。注意:这个证明采用三维向量,但可以推广到维的情形。
考虑向量
.
重复使用勾股定理得到
.
而由代数定义
,
所以,根据向量点积的代数定义,向量和自身的点积就是其长度的平方。
引理1
现在,考虑两个从原点出发的向量和
,夹角
。第三个向量
定义为
,
构造以,
,
为边的三角形,采用余弦定理,有
.
根据引理1,用点积代替向量长度的平方,有
. (1)
同时,根据定义 ≡
-
,有
,
根据分配律,得
. (2)
连接等式(1)和(2)有
.
简化等式即得
,
以上即为向量点积的几何定义。
需要注意的是,点积的几何解释通常只适用于 (
)。在高维空间,其他的域或模中,点积只有一个定义,那就是
点积可以用来计算合力和功。若为单向量,则点积即为
在方向
的投影,即给出了力在这个方向上的分解。功即是力和位移的点积。
点积具有以下性质。
满足交换律:
,
从定义即可证明( 为
与
的夹角):
对向量加法满足分配律:
点积是双线性算子:
在乘以标量时满足:
不满足结合律。因为标量()与向量(
)的点积没有定义,所以结合律相关的表达式
和
都没有良好的定义
两个非零向量和
是正交的,当且仅当
如果是单位向量,则点积给出
在方向
上投影的大小,如果方向相反则带有负号。分解向量对求向量的和经常是有用的,比如在力学中计算合力。
不像普通数的乘法服从消去律,如果,则总是等于
,除非
等于零。而对于点积:
如果并且:
则根据分配律可以得出:;进而:
如果垂直于,则可能,因而
可能;否则。
内积(3)物理学中力学的力做功的问题,经常用到点积计算。
计算机图形学常用来进行方向性判断,如两向量点积大于0,则它们的方向朝向相近;如果小于0,则方向相反。
向量内积是人工智能领域中的神经网络技术的数学基础之一。
此方法被用于动画渲染(Animation-Rendering)。
在一个向量空间中,定义在
上的正定对称双线性形式函数即是
的数量积,而添加有一个数量积的向量空间即是内积空间。