向量(vector,在中国大陆物理、工程领域通称矢量[1][2][注 1]),又称欧几里得向量(Euclidean vector)[来源请求],是同时具有大小和方向,且满足平行四边形法则的几何对象。向量是数学、物理学和工程科学等多个自然科学中的基本概念。
Quick Facts 线性代数, 向量 ...
线性代数
|
|
向量 · 向量空间 · 基底 · 行列式 · 矩阵
|
|
|
Close
理论数学中向量的定义为任何在称为向量空间的代数结构中的元素。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是向量[注 2]。
向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量、纯量、数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。
在线性代数中,向量常常采用更为抽象的向量空间(也称为线性空间)来定义。向量是向量空间中的基本构成元素。
向量空间是基于物理学或几何学中的空间概念,抽象出其代数性质所形成的一个概念,是一个满足一系列法则的代数结构。向量空间相伴的标量未必是实数,可以是复数、有理数等域。欧几里得空间便是线性空间的一种。向量空间中的元素就可以被称为向量,而欧几里得向量则是特指欧几里得空间中的向量。更一般的向量空间,例如所有次数不大于3的复系数多项式的集合;所有6×6实对称矩阵的集合;区间[0, 1]上的所有实值连续函数的集合;所有收敛于0的复数数列的集合等。
矢量可以描述许多常见的物理量,如运动学中的位移、速度、加速度,力学中的力、力矩,电磁学中的电流密度、磁矩、电磁波等等。
物理学和一般的几何学中涉及的向量概念严格意义上应当被称为欧几里得向量或几何向量。定义具有物理意义上的大小和方向的向量概念则需要引进了定义了范数和内积的欧几里得空间。按照定义,欧几里得向量由大小和方向构成。
在一些上下文中,尤其在物理学领域,有些向量会与起点有关(如一个力与其的作用点有关,质点运动速度与该质点的位置有关),因而假设向量有确定的起点和终点[3],当起点和终点改变后,构成的向量就不再是原来的向量。这样的向量也被称为固定向量。例子之一是运动学中常见的物理量位置矢量。
在另一些时候,由于向量的共性都具有大小和方向,会认为向量的起点和终点并不那么重要。两个起点不一样的向量,只要大小相等,方向相同,就可以称为是同一个向量。这样的向量被称为自由向量。在数学中,一般只研究自由向量,并且数学中所指的向量就是指自由向量。也就是只要大小以及方向一样,即可视为同一向量,与向量的起始点并无关系。一些文献中会提到向量空间带有一个特定的原点,这时可能会默认向量的起点是原点。[4]
使用符号的形式实际上只是对向量规定的一个概念化代号。向量在包括数学和物理等诸多领域均被广泛采用,优点是简洁明了,缺点是高度形式和抽象,既缺少几何形象性又缺少定量精确性。
直观上,向量通常被标示为一个带箭头的有向线段。线段的长度表示向量的大小(或称模长),向量的方向即箭头所指的方向,可以记为。该种表示的优点是具有强烈的几何直观形象性,缺点是在纸面上作图繁琐,不便定量分析。
而遇到某些特殊情况(如表示磁场的磁感应强度)需要表示与记载纸面垂直的向量,则会使用圆圈中打叉或打点的方式来表示(如右图)。圆圈中带点的记号(⊙)表示由纸下方指向纸上方的向量,而圆圈中带叉的记号(⊗)则表示由纸的上方指向纸下方的向量。由于这种记号不表示向量的大小,所以必须时需要在旁边或其它地方另外注明。
代数表示指在指定了一个坐标系之后,用一个向量在该坐标系下的坐标来表示该向量,兼具了符号的抽象性和几何形象性,因而具有最高的实用性,被广泛采用于需要定量分析的情形。
对于自由向量,将向量的起点平移到坐标原点后,向量就可以用一个坐标系下的一个点来表示,该点的坐标值即向量的终点坐标。
设有一向量,有坐标系。在中定义好若干个特殊的基本向量(称为基向量,各个基向量共同组成该坐标系下的基底),,...,之后,则向量在各个基方向的投影值即为对应的坐标值,各个投影值组成的有序数组,称为该向量在坐标系的坐标,是向量的唯一表示,即与向量的终点一一对应。换言之,其它的向量只需通过将这些基本向量拉伸后再按照平行四边形法则进行向量加法即可表示(通常被称为“用基底线性表出一个向量”,即该向量是基向量的某种线性组合),即:
其中, ..., 分别为在,方向的投影。当基底已知,可直接省略各基向量的符号,类似于坐标系上的点,直接用坐标表示为:
在矩阵运算中,更常将向量写成类似于矩阵的列向量或行向量。在线性代数中所指的向量,通常默认为列向量。如一个向量,可写成:
其中,上者为列向量写法,下者为行向量写法;此处采中国大陆定义。
值得注意的是:
- 维列向量可视作矩阵,维行向量可视作矩阵。
- 在中国大陆,横向的元素组称为“行”,纵向的称为“列”,而在台湾则相反,横向称为“列”,纵向称为“行”[5]。详见矩阵。
对于由两个点确定的向量,同样可以用坐标进行表示,详见向量运算。
在常见的三维空间直角坐标系Oxyz里,基本向量就是以横轴(Ox)、竖轴(Oy)以及纵轴(Oz)为方向的三个长度为1的单位向量、、。这三个向量取好以后,其它的向量就可以透过三元数组来表示,因为他们可以表示成一定倍数的三个基本向量的总和。比如说一个标示为(2,1,3)的向量就是2个向量加上1个向量加上3个向量得到的向量,即:
类似于数字中的1(单位元)、相反数(加法逆元)、0(加法单位元),向量中有单位向量(单位元)、反向量(加法逆元)、零向量(加法单位元)、等概念量。此外,还有方向向量、相等向量等概念。
对于任意向量,不论方向如何,若其大小为单位长度,则称其为方向上的单位向量(Unit vector)。单位向量通常被记为。
特殊地,三维笛卡尔坐标系上的三个基向量,,都是单位向量。
向量的大小(Magnitude)也称模长、长度。几何上,当确定了单位长度后作图所得的向量的长度,即为向量的大小,记作。在有限维赋范线性空间中,向量的模长也称为范数(Norm),记作。已知向量的坐标,就可以知道它的模长。
设向量,其范数的计算表达式由弗罗贝尼乌斯范数(一种同时适用于向量和矩阵的范数计算方法)给出:
[8]。
特殊地,对于n 维欧几里得空间 Rn上的向量,其模长或范数为:
。
更特殊地,对于三维笛卡尔坐标系下的向量,其模长为:
。
向量的大小是相对的,在有需要时,会规定单位向量,以其长度作为1。每个方向上都有一个单位向量[6]。
向量之间可以如数字一样进行运算。常见的向量运算有:加法、减法、数与向量之间的乘法(数量积)以及向量与向量之间的乘法(向量积),但向量的除法没有定义[10]。
向量的加法满足平行四边形法则和三角形法则。具体地,两个向量和相加,得到的是另一个向量。这个向量可以表示为和的起点重合后,以它们为邻边构成的平行四边形的一条对角线(以共同的起点为起点的那一条,见下图左),或者表示为将的终点和的起点重合后,从的起点指向的终点的向量:
两个向量和的相减,则可以看成是向量加上一个与大小相等,方向相反的向量。又或者,和的相减得到的向量可以表示为和的起点重合后,从的终点指向的终点的向量:
当这两个向量数值、方向都不同,基本向量时,向量和计算为
并且有如下的不等关系:
此外,向量的加法也满足交换律和结合律。[6]
向量空间分为有限维向量空间与无限维向量空间。在有限维向量空间中,可以找到一组(有限个)向量,使得任意一个向量都可以唯一地表示成这组向量的线性组合:
其中的标量是随着向量而确定的。这样的一组向量称为向量空间的基。给定了向量空间以及一组基后,每个向量就可以用一个数组来表示了[11]。两个向量和相同,当且仅当表示它们的数组一样。
两个向量和 的和:
它们的数量积为:
- [8]
而标量k与向量v的乘积则为:
- [8]
向量积也叫叉积,外积,它也是向量与向量的乘积,不过需要注意的是,它的结果是个向量。它的几何意义是所得的向量与被乘向量所在平面垂直,方向由右手定则规定,大小是两个被乘向量张成的平行四边形的面积。所以向量积不满足交换律。举例来说 但是 。
设有向量、,
则其向量积的矩阵表达式可用下列符号表示:
在实际应用中,向量运算时常会运用到定比分点定理。
设平面直角坐标系原点,内有点,点,点,点在点、之间,且
,则:
特殊地,当,
相应的有中点坐标:
实际上,上述结论可以推广到空间向量中。
设空间直角坐标系内原点为,有点,,、点间有一点,且
,
则:
中点坐标:
物理学名词审定委员会.物理学名词 [S/OL].全国科学技术名词审定委员会, 公布. 3版.北京:科学出版社, 2019: 2. 科学文库 (页面存档备份,存于互联网档案馆).
许以超. 《代数学引论》. 上海科学技术出版社. 1966.,第29至30页
成功高中 陈冠宏 老师. 向量的線性組合. LearnMode 学习吧. [2024.09.19] (中文(台湾)).