矢量
矢量(英语:)又称欧几里得矢量(),在物理、工程中又称量[1][注 1] ,指一个同时具有大小和方向,且满足平行四边形法则的几何对象。矢量是数学、物理学和工程科学等多个自然科学中的基本概念。

理论数学中矢量的定义为任何在称为矢量空间的代数结构中的元素。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是矢量[注 2]。
矢量常常在以符号加箭头标示以区别于其它量。与矢量相对的概念称标量、纯量、数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。
不同学科中的矢量
数学
在线性代数中,矢量常常采用更为抽象的矢量空间(也称为线性空间)来定义。矢量是矢量空间中的基本构成元素。
矢量空间是基于物理学或几何学中的空间概念,抽象出其代数性质所形成的一个概念,是一个满足一系列法则的代数结构。矢量空间相伴的纯量未必是实数,可以是复数、有理数等域。欧几里得空间便是线性空间的一种。矢量空间中的元素就可以被称为矢量,而欧几里得矢量则是特指欧几里得空间中的矢量。更一般的矢量空间,例如所有次数不大于3的复系数多项式的集合;所有6×6实对称矩阵的集合;区间[0, 1]上的所有实值连续函数的集合;所有收敛于0的复数数列的集合等。
物理学与工程学
在物理学和诸多任务程学科中,矢量更多地被称作矢量;矢量可以描述许多常见的物理量,如运动学中的位移、速度、加速度,力学中的力、力矩,电磁学中的电流密度、磁矩、电磁波等等。
物理学和一般的几何学中涉及的矢量概念严格意义上应当被称为欧几里得矢量或几何矢量。定义具有物理意义上的大小和方向的矢量概念则需要引进了定义了范数和内积的欧几里得空间。按照定义,欧几里得矢量由大小和方向构成。
固定矢量
在一些上下文中,尤其在物理学领域,有些矢量会与起点有关(如一个力与其的作用点有关,质点运动速度与该质点的位置有关),因而假设矢量有确定的起点和终点[2],当起点和终点改变后,构成的矢量就不再是原来的矢量。这样的矢量也被称为固定矢量。例子之一是运动学中常见的物理量位置矢量。
自由矢量

在另一些时候,由于矢量的共性都具有大小和方向,会认为矢量的起点和终点并不那么重要。两个起点不一样的矢量,只要大小相等,方向相同,就可以称为是同一个矢量。这样的矢量被称为自由矢量。在数学中,一般只研究自由矢量,并且数学中所指的矢量就是指自由矢量。也就是只要大小以及方向一样,即可视为同一矢量,与矢量的起始点并无关系。一些文献中会提到矢量空间带有一个特定的原点,这时可能会默认矢量的起点是原点。[3]
表示方法
形式表示
使用符号的形式实际上只是对矢量规定的一个概念化代号。矢量在包括数学和物理等诸多领域均被广泛采用,优点是简洁明了,缺点是高度形式和抽象,既缺少几何形象性又缺少定量精确性。
带箭头字母

数学上的矢量通常可用加向右箭头的小写字母表示,如, , 。有时也有用加箭头的大写字母表示数学量,如微积分中的面积元。给定两点、时,也可确定一固定矢量:如确定一个始于点从终于点的矢量,符号表示为:
本方法被广泛用于手写。
粗体字母
矢量也可用粗体小写字母表示,如,许多书本会采用此种记法,但缺点是区分粗体字有时不容易,例如 和 肉眼看易混淆。
几何表示
直观上,矢量通常被标示为一个带箭头的有向线段。线段的长度表示矢量的大小(或称模长),矢量的方向即箭头所指的方向,可以记为。该种表示的优点是具有强烈的几何直观形象性,缺点是在纸面上作图繁琐,不便定量分析。

而遇到某些特殊情况(如表示磁场的磁感应强度)需要表示与记载纸面垂直的矢量,则会使用圆圈中打叉或打点的方式来表示(如右图)。圆圈中带点的记号(⊙)表示由纸下方指向纸上方的矢量,而圆圈中带叉的记号(⊗)则表示由纸的上方指向纸下方的矢量。由于这种记号不表示矢量的大小,所以必须时需要在旁边或其它地方另外注明。
代数表示

代数表示指在指定了一个坐标系之后,用一个矢量在该坐标系下的坐标来表示该矢量,兼具了符号的抽象性和几何形象性,因而具有最高的实用性,被广泛采用于需要定量分析的情形。 对于自由矢量,将矢量的起点平移到坐标原点后,矢量就可以用一个坐标系下的一个点来表示,该点的坐标值即矢量的终点坐标。
设有一矢量,有坐标系。在中定义好若干个特殊的基本矢量(称为基矢量,各个基矢量共同组成该坐标系下的基底),,...,之后,则矢量在各个基方向的投影值即为对应的坐标值,各个投影值组成的有序数组,称为该矢量在坐标系的坐标,是矢量的唯一表示,即与矢量的终点一一对应。换言之,其它的矢量只需通过将这些基本矢量拉伸后再按照平行四边形法则进行矢量加法即可表示(通常被称为“用基底线性表出一个矢量”,即该矢量是基矢量的某种线性组合),即:
其中, ..., 分别为在,方向的投影。当基底已知,可直接省略各基矢量的符号,类似于坐标系上的点,直接用坐标表示为:
在矩阵运算中,更常将矢量写成类似于矩阵的列矢量或行矢量。在线性代数中所指的矢量,通常默认为列矢量。如一个矢量,可写成:
其中,上者为列矢量写法,下者为行矢量写法;此处采中国大陆定义。
值得注意的是:
对于由两个点确定的矢量,同样可以用坐标进行表示,详见矢量运算。
在常见的三维空间直角坐标系Oxyz里,基本矢量就是以横轴(Ox)、竖轴(Oy)以及纵轴(Oz)为方向的三个长度为1的单位矢量、、。这三个矢量取好以后,其它的矢量就可以通过三元数组来表示,因为他们可以表示成一定倍数的三个基本矢量的总和。比如说一个标示为(2,1,3)的矢量就是2个矢量加上1个矢量加上3个矢量得到的矢量,即:
特殊矢量
类似于数字中的1(单比特)、相反数(加法逆元)、0(加法单比特),矢量中有单位矢量(单比特)、反矢量(加法逆元)、零矢量(加法单比特)、等概念量。此外,还有方向矢量、相等矢量等概念。
反矢量
一个矢量的反矢量()与它大小相等,但方向相反,一般记作。如果矢量是矢量的反矢量,那么也是的反矢量[5]。
另外,矢量的反矢量也可按如下定义:
对于给定矢量,若∃矢量,使得成立,则矢量称为矢量的反矢量。 |
零矢量
始点与终点重合,即大小为0的矢量,被称为零矢量(),记以数字0上加箭头,即。有时亦可以用粗体的0表示,如。在坐标表示下,不论含有多少分量,不论指向任何方向,若所有的分量均为0的矢量即为零矢量。关于零矢量有两点值得一提:
零矢量可以如下进行形式化定义:
给定一n 维矢量,若对于任意的同维矢量,总有成立,则矢量称为n 维零矢量,通常被记作或。 |
等矢量
不论起点终点,两矢量长度、方向相等,即为等矢量或相等矢量()。
对于任意矢量,若其一个相等矢量为,则对和数字-1进行数乘运算后得到的矢量即的反矢量。
另外,类似于反矢量的定义,矢量等矢量也可按如下定义:
对于给定矢量,若存在矢量,使得成立,则矢量称为矢量的相等矢量。 |
方向矢量
方向矢量()的形式化定义如下:
对于任意矢量,若存在一个矢量,两者的方向相同(大小可以不同),则是的一个方向矢量。 |
一般地,所有方向相同的矢量之间互为方向矢量。
矢量的性质
有向线段

有向线段的概念建构于矢量的方向与长度,差别在于多定义了始点与终点。在文本描述时,如果已知某有向线段的起点和终点分别是A和B,此线段的长度可以记为,即。
大小
矢量的大小()也称模长、长度。几何上,当确定了单位长度后作图所得的矢量的长度,即为矢量的大小,记作。在有限维赋范线性空间中,矢量的模长也称为范数(),记作。已知矢量的坐标,就可以知道它的模长。
设矢量,其范数的计算表达式由弗罗贝尼乌斯范数(一种同时适用于矢量和矩阵的范数计算方法)给出: [7]。
特殊地,对于n 维欧几里得空间 Rn上的矢量,其模长或范数为: 。
更特殊地,对于三维笛卡尔坐标系下的矢量,其模长为: 。
夹角

矢量的夹角()是对于两个矢量而言的概念。对于任意两个给定的矢量和,二者的夹角即将二者图示化后两箭头所夹之角。由于夹角具有互补性,因此在不同的出发规定、不同的旋转方向下,所得夹角亦不同。
矢量的夹角可由数量积的定义导出计算公式,即:
对于个矢量,,…,,如果存在一组不全为零的个数、、…、,使得,那么,称个矢量,,…, 或()。
如果这样不全为零的个数不存在,即上述矢量等式仅当 = = … = = 0时才能成立,就称矢量,,…, 或()。[8]
矢量运算
矢量的大小是相对的,在有需要时,会规定单位矢量,以其长度作为1。每个方向上都有一个单位矢量[5]。
矢量之间可以如数字一样进行运算。常见的矢量运算有:加法、减法、数与矢量之间的乘法(数量积)以及矢量与矢量之间的乘法(矢量积),但矢量的除法没有定义[9]。
加法与减法
矢量的加法满足平行四边形法则和三角形法则。具体地,两个矢量和相加,得到的是另一个矢量。这个矢量可以表示为和的起点重合后,以它们为邻边构成的平行四边形的一条对角线(以共同的起点为起点的那一条,见下图左),或者表示为将的终点和的起点重合后,从的起点指向的终点的矢量:

两个矢量和的相减,则可以看成是矢量加上一个与大小相等,方向相反的矢量。又或者,和的相减得到的矢量可以表示为和的起点重合后,从的终点指向的终点的矢量:

当这两个矢量数值、方向都不同,基本矢量时,矢量和计算为
并且有如下的不等关系:
矢量与积
矢量空间分为有限维矢量空间与无限维矢量空间。在有限维矢量空间中,可以找到一组(有限个)矢量,使得任意一个矢量都可以唯一地表示成这组矢量的线性组合:
其中的标量是随着矢量而确定的。这样的一组矢量称为矢量空间的基。给定了矢量空间以及一组基后,每个矢量就可以用一个数组来表示了[10]。两个矢量和相同,当且仅当表示它们的数组一样。
两个矢量和 的和:
它们的数量积为:
而标量k与矢量v的乘积则为:
一个标量k和一个矢量之间可以做乘法,得出的结果是另一个与方向相同或相反,大小为的大小之|k|倍的矢量,可以记成 [5]。该种运算被称为或数乘。-1乘以任意矢量会得到它的反矢量,0乘以任何矢量都会得到零矢量 。
数量积也叫点积,它是矢量与矢量的乘积,其结果为一个纯量(非矢量)。几何上,可以定义如下:
设 、 为两个任意矢量,它们的夹角为 ,则他们的为:
即 矢量在 矢量方向上的投影长度(同方向为正反方向为负号),与 矢量长度的乘积。 被广泛应用于物理中,如做功就是用力的矢量乘位移的矢量,即 。
矢量积
矢量积也叫叉积,外积,它也是矢量与矢量的乘积,不过需要注意的是,它的结果是个矢量。它的几何意义是所得的矢量与被乘矢量所在平面垂直,方向由右手定则规定,大小是两个被乘矢量张成的平行四边形的面积。所以矢量积不满足交换律。举例来说 但是 。
设有矢量、,
则其矢量积的矩阵表达式可用下列符号表示:
混合积
三个矢量、和的混合积定义为,物理意义为三矢量始于同点时所构成的体积:
关于矢量运算的定理
矢量与定比分点、中点公式
在实际应用中,矢量运算时常会运用到定比分点定理。

设平面直角坐标系原点,内有点,点,点,点在点、之间,且
,则:
特殊地,当,
相应的有中点坐标:
实际上,上述结论可以推广到空间矢量中。
设空间直角坐标系内原点为,有点,,、点间有一点,且
,
则:
中点坐标:
附:平面几何中定比分点定理的证明
设平面直角坐标系内原点,有点,点,点,点在点、之间,且,则:
,
注释
参考文献
- https://www.termonline.cn/search?searchText=%E7%9F%A2%E9%87%8F
- 同济大学数学系. . 高等教育出版社. 2014. ISBN 978-7-04-039662-1.,第1页
- 许以超. . 上海科学技术出版社. 1966.,第29至30页
- 周建华. . 台湾: 中央图书出版社. 2002. ISBN 9789576374913 (中文).
- 俞正光,李永乐. . 清华大学出版社. 1998. ISBN 978-7-302-02854-3.,第112至116页
- 人民教育出版社课程教材研究所中学数学课程教材研究开发中心编. . 人民教育出版社. 2007. ISBN 978-7-107-20334-3.,第76页
- 同济大学应用数学系编. . 高等教育出版社. 2003. ISBN 978-7-040-11941-1.,第113页
- 同济大学应用数学系编. . 高等教育出版社. 2003. ISBN 978-7-040-11941-1.,第82页
- David K. Cheng. . 2014: 第19页. ISBN 9781292026565.
- 同济大学应用数学系编. . 高等教育出版社. 2003. ISBN 978-7-040-11941-1.,第144至145页