矢量

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

许多的箭头代表了许多矢量。

理论数学中矢量的定义为任何在称为矢量空间的代数结构中的元素。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是矢量[注 2]

矢量常常在以符号加箭头标示以区别于其它量。与矢量相对的概念称标量纯量数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。

不同学科中的矢量

数学

线性代数中,矢量常常采用更为抽象的矢量空间(也称为线性空间)来定义。矢量是矢量空间中的基本构成元素。

矢量空间是基于物理学几何学中的空间概念,抽象出其代数性质所形成的一个概念,是一个满足一系列法则的代数结构。矢量空间相伴的纯量未必是实数,可以是复数、有理数等欧几里得空间便是线性空间的一种。矢量空间中的元素就可以被称为矢量,而欧几里得矢量则是特指欧几里得空间中的矢量。更一般的矢量空间,例如所有次数不大于3的复系数多项式的集合;所有6×6实对称矩阵的集合;区间[0, 1]上的所有实值连续函数的集合;所有收敛于0的复数数列的集合等。

物理学与工程学

在物理学和诸多任务程学科中,矢量更多地被称作矢量;矢量可以描述许多常见的物理量,如运动学中的位移速度加速度,力学中的力矩,电磁学中的电流密度磁矩电磁波等等。

物理学和一般的几何学中涉及的矢量概念严格意义上应当被称为欧几里得矢量几何矢量。定义具有物理意义上的大小和方向的矢量概念则需要引进了定义了范数内积欧几里得空间。按照定义,欧几里得矢量由大小和方向构成。

固定矢量

在一些上下文中,尤其在物理学领域,有些矢量会与起点有关(如一个力与其的作用点有关,质点运动速度与该质点的位置有关),因而假设矢量有确定的起点和终点[2],当起点和终点改变后,构成的矢量就不再是原来的矢量。这样的矢量也被称为固定矢量。例子之一是运动学中常见的物理量位置矢量

自由矢量

的位置可自由移动

在另一些时候,由于矢量的共性都具有大小和方向,会认为矢量的起点和终点并不那么重要。两个起点不一样的矢量,只要大小相等,方向相同,就可以称为是同一个矢量。这样的矢量被称为自由矢量。在数学中,一般只研究自由矢量,并且数学中所指的矢量就是指自由矢量。也就是只要大小以及方向一样,即可视为同一矢量,与矢量的起始点并无关系。一些文献中会提到矢量空间带有一个特定的原点,这时可能会默认矢量的起点是原点。[3]

表示方法

形式表示

使用符号的形式实际上只是对矢量规定的一个概念化代号。矢量在包括数学和物理等诸多领域均被广泛采用,优点是简洁明了,缺点是高度形式和抽象,既缺少几何形象性又缺少定量精确性。

带箭头字母

一从A指向B的矢量

数学上的矢量通常可用加向右箭头的小写字母表示,如, , 。有时也有用加箭头的大写字母表示数学量,如微积分中的面积元。给定两点时,也可确定一固定矢量:如确定一个始于点从终于点的矢量,符号表示为:

本方法被广泛用于手写。

在表示物理学上的矢量也可用加箭头的小写字母表示,如速度摩擦力动量

物理学还有许多物理量用加箭头的大写字母表示,如电场强度磁场强度,

粗体字母

矢量也可用粗体小写字母表示,如,许多书本会采用此种记法,但缺点是区分粗体字有时不容易,例如 肉眼看易混淆。

几何表示

直观上,矢量通常被标示为一个带箭头的有向线段。线段的长度表示矢量的大小(或称模长),矢量的方向即箭头所指的方向,可以记为。该种表示的优点是具有强烈的几何直观形象性,缺点是在纸面上作图繁琐,不便定量分析。

垂直于纸面的矢量的表示方式

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

代数表示

在三维笛卡尔坐标系中体现出的矢量

代数表示指在指定了一个坐标系之后,用一个矢量在该坐标系下的坐标来表示该矢量,兼具了符号的抽象性和几何形象性,因而具有最高的实用性,被广泛采用于需要定量分析的情形。 对于自由矢量,将矢量的起点平移到坐标原点后,矢量就可以用一个坐标系下的一个点来表示,该点的坐标值即矢量的终点坐标。

设有一矢量,有坐标系。在中定义好若干个特殊的基本矢量(称为基矢量,各个基矢量共同组成该坐标系下的基底,...,之后,则矢量在各个基方向的投影值即为对应的坐标值,各个投影值组成的有序数组,称为该矢量在坐标系坐标,是矢量的唯一表示,即与矢量的终点一一对应。换言之,其它的矢量只需通过将这些基本矢量拉伸后再按照平行四边形法则进行矢量加法即可表示(通常被称为“用基底线性表出一个矢量”,即该矢量是基矢量的某种线性组合),即:

其中, ..., 分别为方向的投影。当基底已知,可直接省略各基矢量的符号,类似于坐标系上的点,直接用坐标表示为:

矩阵运算中,更常将矢量写成类似于矩阵列矢量行矢量。在线性代数中所指的矢量,通常默认为列矢量。如一个矢量,可写成:

其中,上者为列矢量写法,下者为行矢量写法;此处采中国大陆定义。

值得注意的是:

  • 维列矢量可视作矩阵,维行矢量可视作矩阵。
  • 中国大陆,横向的元素组称为「」,纵向的称为「」,而在台湾则相反,横向称为「」,纵向称为「」[4]。详见矩阵

对于由两个点确定的矢量,同样可以用坐标进行表示,详见矢量运算

在常见的三维空间直角坐标系Oxyz里,基本矢量就是以横轴(Ox)、竖轴(Oy)以及纵轴(Oz)为方向的三个长度为1的单位矢量。这三个矢量取好以后,其它的矢量就可以通过三元数组来表示,因为他们可以表示成一定倍数的三个基本矢量的总和。比如说一个标示为(2,1,3)的矢量就是2个矢量加上1个矢量加上3个矢量得到的矢量,即:

特殊矢量

类似于数字中的1(单比特)、相反数(加法逆元)、0(加法单比特),矢量中有单位矢量(单比特)、反矢量(加法逆元)、零矢量(加法单比特)、等概念量。此外,还有方向矢量、相等矢量等概念。

单位矢量

对于任意矢量,不论方向如何,若其大小为单位长度,则称其为方向上的单位矢量()。单位矢量通常被记为

特殊地,三维笛卡尔坐标系上的三个基矢量都是单位矢量。

反矢量

一个矢量反矢量()与它大小相等,但方向相反,一般记作。如果矢量是矢量的反矢量,那么也是的反矢量[5]

另外,矢量的反矢量也可按如下定义:

零矢量

始点与终点重合,即大小为0的矢量,被称为零矢量(),记以数字0上加箭头,即。有时亦可以用粗体的0表示,如。在坐标表示下,不论含有多少分量,不论指向任何方向,若所有的分量均为0的矢量即为零矢量。关于零矢量有两点值得一提:

  1. 零矢量依旧具有方向性,但方向不定。[5]。因此,零矢量与任一矢量平行。[6]
  2. 零矢量不等于数量0,它们是两种性质完全不同的对象,即

零矢量可以如下进行形式化定义:

等矢量

不论起点终点,两矢量长度、方向相等,即为等矢量相等矢量()。

对于任意矢量,若其一个相等矢量为,则对和数字-1进行数乘运算后得到的矢量的反矢量。

另外,类似于反矢量的定义,矢量等矢量也可按如下定义:

方向矢量

方向矢量()的形式化定义如下:

一般地,所有方向相同的矢量之间互为方向矢量。

矢量的性质

有向线段

一个以点A为起点,B为终点的有向线段。

有向线段的概念建构于矢量的方向与长度,差别在于多定义了始点终点。在文本描述时,如果已知某有向线段起点终点分别是AB,此线段的长度可以记为,即

大小

矢量的大小()也称模长长度。几何上,当确定了单位长度后作图所得的矢量的长度,即为矢量的大小,记作。在有限维赋范线性空间中,矢量的模长也称为范数(),记作。已知矢量的坐标,就可以知道它的模长。

设矢量,其范数的计算表达式由弗罗贝尼乌斯范数(一种同时适用于矢量和矩阵的范数计算方法)给出: [7]

特殊地,对于n欧几里得空间 Rn上的矢量,其模长或范数为:

更特殊地,对于三维笛卡尔坐标系下的矢量,其模长为:

夹角

具有夹角

矢量的夹角()是对于两个矢量而言的概念。对于任意两个给定的矢量,二者的夹角即将二者图示化后两箭头所夹之角。由于夹角具有互补性,因此在不同的出发规定、不同的旋转方向下,所得夹角亦不同。

矢量的夹角可由数量积的定义导出计算公式,即:

对于个矢量,…,,如果存在一组不全为零的个数、…、,使得,那么,称个矢量,…, ()。

如果这样不全为零的个数不存在,即上述矢量等式仅当 = = … = = 0时才能成立,就称矢量,…, ()。[8]

矢量运算

矢量的大小是相对的,在有需要时,会规定单位矢量,以其长度作为1。每个方向上都有一个单位矢量[5]

矢量之间可以如数字一样进行运算。常见的矢量运算有:加法减法、数与矢量之间的乘法数量积)以及矢量与矢量之间的乘法(矢量积),但矢量的除法没有定义[9]

加法与减法

矢量的加法满足平行四边形法则三角形法则。具体地,两个矢量相加,得到的是另一个矢量。这个矢量可以表示为的起点重合后,以它们为邻边构成的平行四边形的一条对角线(以共同的起点为起点的那一条,见下图左),或者表示为将的终点和的起点重合后,从的起点指向的终点的矢量:

矢量 a 加矢量 b
矢量 a 加矢量 b

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

矢量 a 减矢量 b
矢量 a 减矢量 b

当这两个矢量数值、方向都不同,基本矢量时,矢量和计算为

并且有如下的不等关系:

此外,矢量的加法也满足交换律结合律[5]

矢量与积

矢量空间分为有限矢量空间与无限维矢量空间。在有限维矢量空间中,可以找到一组(有限个)矢量,使得任意一个矢量都可以唯一地表示成这组矢量的线性组合:

其中的标量是随着矢量而确定的。这样的一组矢量称为矢量空间的基。给定了矢量空间以及一组基后,每个矢量就可以用一个数组来表示了[10]。两个矢量相同,当且仅当表示它们的数组一样。

两个矢量的和:

它们的数量积为:

[7]

而标量k与矢量v的乘积则为:

[7]

一个标量k和一个矢量之间可以做乘法,得出的结果是另一个与方向相同或相反,大小为的大小之|k|倍的矢量,可以记成 [5]。该种运算被称为数乘。-1乘以任意矢量会得到它的反矢量,0乘以任何矢量都会得到零矢量

数量积也叫点积,它是矢量与矢量的乘积,其结果为一个纯量(非矢量)。几何上,可以定义如下:

为两个任意矢量,它们的夹角为 ,则他们的为:

[7]

矢量在 矢量方向上的投影长度(同方向为正反方向为负号),与 矢量长度的乘积。 被广泛应用于物理中,如做功就是用力的矢量乘位移的矢量,即

矢量积

矢量积也叫叉积外积,它也是矢量与矢量的乘积,不过需要注意的是,它的结果是个矢量。它的几何意义是所得的矢量与被乘矢量所在平面垂直,方向由右手定则规定,大小是两个被乘矢量张成的平行四边形的面积。所以矢量积不满足交换律。举例来说 但是

设有矢量

则其矢量积的矩阵表达式可用下列符号表示:

混合积

三个矢量的混合积定义为,物理意义为三矢量始于同点时所构成的体积:

关于矢量运算的定理

矢量与定比分点、中点公式

在实际应用中,矢量运算时常会运用到定比分点定理。

平面直角坐标系Oxy

设平面直角坐标系原点,内有点,点,点,点在点之间,且

,则:



特殊地,当


相应的有中点坐标:

实际上,上述结论可以推广到空间矢量中。
设空间直角坐标系内原点为,有点点间有一点,且


则:

中点坐标:



附:平面几何中定比分点定理的证明

设平面直角坐标系内原点,有点,点,点,点在点之间,且,则:



注释

  1. 矢量及标量的英语皆由威廉·哈密顿创造。矢量源于拉丁语 vector(搬运人),汉语概念可想作是箭矢——箭头箭尾不同,两侧不一致,有特定指向。矢量的对应概念标量源于英语 scale(标度),拉丁语 scāla(梯子),相对于箭矢,汉语可想作是标枪——中间粗两端细,两侧一致,没有特定的指向。
  2. 特别地,电流属既有大小、又有正负方向的量,但由于其运算不满足平行四边形法则,公认为其不属于矢量。

参见

参考文献

  1. https://www.termonline.cn/search?searchText=%E7%9F%A2%E9%87%8F
  2. 同济大学数学系. . 高等教育出版社. 2014. ISBN 978-7-04-039662-1.,第1页
  3. 许以超. . 上海科学技术出版社. 1966.,第29至30页
  4. 周建华. . 台湾: 中央图书出版社. 2002. ISBN 9789576374913 (中文).
  5. 俞正光,李永乐. . 清华大学出版社. 1998. ISBN 978-7-302-02854-3.,第112至116页
  6. 人民教育出版社课程教材研究所中学数学课程教材研究开发中心编. . 人民教育出版社. 2007. ISBN 978-7-107-20334-3.,第76页
  7. 同济大学应用数学系编. . 高等教育出版社. 2003. ISBN 978-7-040-11941-1.,第113页
  8. 同济大学应用数学系编. . 高等教育出版社. 2003. ISBN 978-7-040-11941-1.,第82页
  9. David K. Cheng. . 2014: 第19页. ISBN 9781292026565.
  10. 同济大学应用数学系编. . 高等教育出版社. 2003. ISBN 978-7-040-11941-1.,第144至145页
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.