向量
向量(英語:)又称欧几里得向量(),在物理、工程中通称量[1][2][註 1] ,指一个同时具有大小和方向,且满足平行四边形法则的几何對象。向量是数学、物理学和工程科学等多个自然科學中的基本概念。
理论数学中向量的定义为任何在稱為向量空间的代數結構中的元素。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是向量[註 2]。
向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量、纯量、数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。
不同学科中的向量
数学
在线性代数中,向量常常采用更为抽象的向量空间(也称为线性空间)来定义。向量是向量空间中的基本构成元素。
向量空间是基于物理学或几何学中的空间概念,抽象出其代數性質所形成的一个概念,是一個满足一系列法则的代數結構。向量空間相伴的純量未必是實數,可以是複數、有理數等域。欧几里得空间便是线性空间的一种。向量空间中的元素就可以被称为向量,而欧几里得向量则是特指欧几里得空间中的向量。更一般的向量空間,例如所有次數不大於3的複係數多項式的集合;所有6×6實對稱矩陣的集合;區間[0, 1]上的所有實值連續函數的集合;所有收斂於0的複數數列的集合等。
物理学与工程学
在物理学和诸多工程学科中,向量更多地被称作矢量;矢量可以描述许多常见的物理量,如运动学中的位移、速度、加速度,力学中的力、力矩,电磁学中的电流密度、磁矩、电磁波等等。
物理学和一般的几何学中涉及的向量概念严格意义上应当被称为欧几里得向量或几何向量。定义具有物理意义上的大小和方向的向量概念则需要引进了定义了范数和内积的欧几里得空间。按照定义,欧几里得向量由大小和方向构成。
固定向量
在一些上下文中,尤其在物理学领域,有些向量会与起点有关(如一个力与其的作用点有关,质点运动速度与该质点的位置有关),因而假设向量有确定的起点和终点[3],当起点和终点改变后,构成的向量就不再是原来的向量。这样的向量也被称为固定向量。例子之一是运动学中常见的物理量位置矢量。
自由向量
在另一些时候,由于向量的共性都具有大小和方向,会认为向量的起点和终点并不那么重要。两个起点不一样的向量,只要大小相等,方向相同,就可以称为是同一个向量。这样的向量被称为自由向量。在数学中,一般只研究自由向量,并且数学中所指的向量就是指自由向量。也就是只要大小以及方向一樣,即可視為同一向量,與向量的起始點並無關係。一些文献中会提到向量空间带有一个特定的原点,这时可能会默认向量的起点是原点。[4]
表示方法
形式表示
使用符号的形式实际上只是对向量规定的一个概念化代号。向量在包括数学和物理等诸多领域均被广泛采用,优点是简洁明了,缺点是高度形式和抽象,既缺少几何形象性又缺少定量精确性。
带箭头字母
数学上的向量通常可用加向右箭头的小写字母表示,如, , 。有时也有用加箭头的大写字母表示数学量,如微积分中的面积元。给定两点、时,也可确定一固定向量:如确定一个始于点从终于点的向量,符号表示为:
本方法被广泛用于手写。
粗体字母
向量也可用粗体小写字母表示,如,许多書本会采用此种记法,但缺点是區分粗體字有時不容易,例如 和 肉眼看易混淆。
几何表示
直观上,向量通常被标示为一个带箭头的有向线段。线段的长度表示向量的大小(或称模长),向量的方向即箭头所指的方向,可以記為。该种表示的优点是具有强烈的几何直观形象性,缺点是在纸面上作图繁琐,不便定量分析。
而遇到某些特殊情况(如表示磁场的磁感应强度)需要表示与记载纸面垂直的向量,则会使用圆圈中打叉或打点的方式来表示(如右图)。圆圈中带点的记号(⊙)表示由纸下方指向纸上方的向量,而圆圈中带叉的记号(⊗)则表示由纸的上方指向纸下方的向量。由于这种记号不表示向量的大小,所以必须时需要在旁边或其它地方另外注明。
代数表示
代数表示指在指定了一个坐标系之后,用一个向量在该坐标系下的坐标来表示该向量,兼具了符号的抽象性和几何形象性,因而具有最高的实用性,被广泛采用于需要定量分析的情形。 对于自由向量,将向量的起点平移到坐标原点后,向量就可以用一个坐标系下的一个点来表示,该点的坐标值即向量的终点坐标。
设有一向量,有坐标系。在中定义好若干个特殊的基本向量(称为基向量,各个基向量共同组成该坐标系下的基底),,...,之后,则向量在各个基方向的投影值即为对应的坐标值,各个投影值组成的有序数组,稱為该向量在坐标系的坐标,是向量的唯一表示,即与向量的终点一一对应。换言之,其它的向量只需通过将这些基本向量拉伸后再按照平行四边形法则进行向量加法即可表示(通常被称为“用基底线性表出一个向量”,即该向量是基向量的某种线性组合),即:
其中, ..., 分别为在,方向的投影。当基底已知,可直接省略各基向量的符号,类似于坐标系上的点,直接用坐标表示为:
在矩阵运算中,更常將向量写成类似于矩阵的列向量或行向量。在线性代数中所指的向量,通常默认为列向量。如一个向量,可写成:
其中,上者为列向量写法,下者为行向量写法;此处採中国大陆定义。
值得注意的是:
对于由两个点确定的向量,同样可以用坐标进行表示,详见向量運算。
在常见的三维空间直角坐标系Oxyz里,基本向量就是以横轴(Ox)、竖轴(Oy)以及纵轴(Oz)为方向的三个长度为1的单位向量、、。这三个向量取好以后,其它的向量就可以透過三元数组来表示,因為他們可以表示成一定倍数的三個基本向量的總和。比如说一个标示为(2,1,3)的向量就是2个向量加上1个向量加上3个向量得到的向量,即:
特殊向量
类似于數字中的1(单位元)、相反数(加法逆元)、0(加法单位元),向量中有单位向量(单位元)、反向量(加法逆元)、零向量(加法单位元)、等概念量。此外,还有方向向量、相等向量等概念。
反向量
一個向量的反向量()與它大小相等,但方向相反,一般記作。如果向量是向量的反向量,那麼也是的反向量[6]。
另外,向量的反向量也可按如下定义:
对于给定向量,若∃向量,使得成立,则向量称为向量的反向量。 |
零向量
始點與終點重合,即大小为0的向量,被称为零向量(),记以数字0上加箭头,即。有时亦可以用粗体的0表示,如。在坐标表示下,不论含有多少分量,不论指向任何方向,若所有的分量均为0的向量即为零向量。关于零向量有两点值得一提:
零向量可以如下进行形式化定义:
给定一n 维向量,若对于任意的同维向量,总有成立,则向量称为n 维零向量,通常被记作或。 |
等向量
不论起点终点,兩向量長度、方向相等,即為等向量或相等向量()。
对于任意向量,若其一个相等向量为,则对和数字-1进行数乘运算后得到的向量即的反向量。
另外,类似于反向量的定义,向量等向量也可按如下定义:
对于给定向量,若存在向量,使得成立,则向量称为向量的相等向量。 |
方向向量
方向向量()的形式化定义如下:
对于任意向量,若存在一个向量,两者的方向相同(大小可以不同),则是的一个方向向量。 |
一般地,所有方向相同的向量之间互为方向向量。
向量的性质
有向線段
有向線段的概念建構於向量的方向與長度,差別在於多定義了始點與終點。在文字描述時,如果已知某有向線段的起點和終點分别是A和B,此線段的長度可以記為,即。
大小
向量的大小()也称模长、长度。几何上,当确定了单位长度后作图所得的向量的长度,即为向量的大小,记作。在有限维赋范线性空间中,向量的模长也称为范数(),记作。已知向量的坐标,就可以知道它的模长。
设向量,其范数的计算表达式由弗罗贝尼乌斯范数(一种同时适用于向量和矩阵的范数计算方法)给出: [8]。
特殊地,对于n 维欧几里得空间 Rn上的向量,其模长或范数为: 。
更特殊地,对于三维笛卡尔坐标系下的向量,其模长为: 。
夹角
向量的夹角()是对于两个向量而言的概念。对于任意两个给定的向量和,二者的夹角即将二者图示化后两箭头所夹之角。由于夹角具有互补性,因此在不同的出发规定、不同的旋转方向下,所得夹角亦不同。
向量的夹角可由数量积的定义导出计算公式,即:
对于个向量,,…,,如果存在一组不全為零的个数、、…、,使得,那么,称个向量,,…, 或()。
如果这样不全為零的个数不存在,即上述向量等式仅当 = = … = = 0时才能成立,就称向量,,…, 或()。[9]
向量運算
向量的大小是相对的,在有需要时,会规定单位向量,以其长度作为1。每个方向上都有一个单位向量[6]。
向量之间可以如数字一样进行运算。常见的向量运算有:加法、减法、数与向量之间的乘法(数量积)以及向量与向量之间的乘法(向量积),但向量的除法沒有定義[10]。
加法与减法
向量的加法满足平行四边形法则和三角形法则。具体地,两个向量和相加,得到的是另一个向量。这个向量可以表示为和的起点重合后,以它们为邻边构成的平行四边形的一条对角线(以共同的起点为起点的那一条,见下图左),或者表示为将的终点和的起点重合后,从的起点指向的终点的向量:
两个向量和的相减,则可以看成是向量加上一个与大小相等,方向相反的向量。又或者,和的相减得到的向量可以表示为和的起点重合后,从的终点指向的终点的向量:
当这两个向量数值、方向都不同,基本向量时,向量和计算为
并且有如下的不等关系:
向量与積
向量空间分为有限维向量空间与无限维向量空间。在有限维向量空间中,可以找到一组(有限个)向量,使得任意一个向量都可以唯一地表示成这组向量的线性组合:
其中的标量是随着向量而确定的。这样的一组向量称为向量空间的基。给定了向量空间以及一组基后,每个向量就可以用一个数组来表示了[11]。两个向量和相同,当且仅当表示它们的数组一样。
两个向量和 的和:
它们的数量积为:
而标量k与向量v的乘积则为:
一个标量k和一个向量之间可以做乘法,得出的结果是另一个与方向相同或相反,大小为的大小之|k|倍的向量,可以记成 [6]。该种运算被称为或数乘。-1乘以任意向量会得到它的反向量,0乘以任何向量都会得到零向量 。
数量积也叫点积,它是向量与向量的乘积,其结果為一個純量(非向量)。几何上,可以定义如下:
设 、 为两个任意向量,它们的夹角为 ,则他们的为:
即 向量在 向量方向上的投影長度(同方向為正反方向為負號),與 向量長度的乘積。 被广泛应用于物理中,如做功就是用力的向量乘位移的向量,即 。
向量积
向量积也叫叉积,外积,它也是向量与向量的乘积,不过需要注意的是,它的结果是个向量。它的几何意义是所得的向量与被乘向量所在平面垂直,方向由右手定则规定,大小是两个被乘向量張成的平行四边形的面积。所以向量积不满足交换律。舉例來說 但是 。
设有向量、,
则其向量积的矩阵表达式可用下列符號表示:
混合积
三个向量、和的混合积定义为,物理意義為三向量始於同點時所構成的體積:
关于向量运算的定理
向量与定比分点、中点公式
在实际应用中,向量运算时常会运用到定比分点定理。
设平面直角坐标系原点,内有点,点,点,点在点、之间,且
,则:
特殊地,当,
相应的有中点坐标:
实际上,上述结论可以推广到空间向量中。
设空间直角坐标系内原点为,有点,,、点间有一点,且
,
则:
中点坐标:
附:平面几何中定比分点定理的证明
设平面直角坐标系内原点,有点,点,点,点在点、之间,且,则:
,
注释
参考文献
- 物理学名词审定委员会.物理学名词 [S/OL].全国科学技术名词审定委员会,公布. 3版.北京:科学出版社, 2019: 2. 科学文库.
- 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页