向量

向量（，在中国大陆物理、工程领域通称-{矢}-量），是同时具有数值和方向，且满足平行四边形法则的几何对象。向量是数学、物理学和工程科学等多个自然科学领域中的基本概念。
理论数学中对向量的定义为任何在称为向量空间的代数结构中的元素。向量常常以符号与箭头共同标示以作为区别。与向量相对的概念称为纯-{}-量。
一些物理量虽然具有方向性，但只能使用算术加法，不符合向量加法，所以不是向量，如角移、电压及电流。
不同学科中的向量.
数学.
在线性代数中，向量经常采用更抽象的向量空间（线性空间）来定义，向量是向量空间中的基本构成元素。
向量空间是基于物理学或几何学中的空间概念，依其代数性质所形成的抽象概念。向量空间相伴的纯量未必是实数，也可以是复数等域。欧几里得空间便是向量空间的一种。
向量空间中的元素就可被称为向量。除欧几里德向量外，也存在一般的向量空间，例如所有次数不大于3的复系数多项式的集合、所有6×6实对称矩阵的集合、区间[0, 1]上的所有实值连续函数的集合、所有收敛于0的复数数列的集合等。
物理学与工程学.
向量可以描述许多常见的物理量，如运动学中的位移、速度、加速度，力学中的力、力矩，电磁学中的电流密度、磁矩、电磁波等等。
物理学和一般的几何学中涉及的向量概念严格意义上应当被称为欧几里得向量或几何向量。定义具有物理意义上的数值和方向的向量概念则需引进定义范数和内积的欧几里得空间。
固定向量.
在一些上下文中，尤其在物理学领域，有些向量会与起点有关（如一个力与其的作用点有关，质点运动速度与该质点的位置有关），因而假设向量有确定的起点和终点，当起点和终点改变后，构成的向量不再是原来的向量。这样的向量也被称为固定向量。例子之一是运动学中常见的物理量位置向量。
自由向量.
在特定情境下，因为向量的共同性质皆具有数值和方向，引此向量的起点和终点变得未必如此重要。两个起点不一样的向量，只要数值相等，方向相同，就可以称为是同一个向量。这样的向量被称为自由向量。在数学中，一般只研究自由向量，并且数学中所指的向量就是指自由向量。也就是只要数值以及方向一样，即可视为同一向量，与向量的起始点并无关系。一些文献中会提到向量空间带有一个特定的原点，这时可能会默认向量的起点是原点。
表示方法.
形式表示.
符号形式实际上只是对向量规定的一个概念化代号。向量在包括数学和物理等诸多领域均被广泛采用，优点是简洁明了，缺点则是高度抽象化，既缺少几何形象性，又缺少定量精确性。
带箭头字母.
数学上的向量通常可用加向右箭头的小写字母表示，如formula_1, formula_2, formula_3。有时也有用加箭头的大写字母表示数学量，如微积分中的面积元formula_4。给定两点formula_5、formula_6时，也可确定一固定向量：如确定一个始于点从formula_5终于点formula_6的向量，符号表示为：formula_9，此符号广泛运用于手写标示。
在表示物理学上的矢量也可用加箭头的小写字母表示，如速度formula_3、摩擦力formula_11、动量formula_12。
物理学还有许多物理量以含有箭头的大写字母表示，如电场formula_13、磁场formula_14、力formula_15。
粗体字母.
向量也可用粗体小写字母表示，如formula_16，许多书本会采用此种记法，但缺点是区分粗体字有时不容易，例如 formula_17和 formula_18肉眼看易混淆。
几何表示.
直观上，向量通常被标示为一个带箭头的有向线段。线段的长度表示向量的大小（或称模长），向量的方向即箭头所指的方向，可以记为formula_19。该种表示的优点是具有强烈的几何直观形象性，缺点是在纸面上作图繁琐，不便定量分析。
而遇到某些特殊情况（如表示磁场的磁通量密度）需要表示与记载纸面垂直的向量，则会使用圆圈中打叉或打点的方式来表示（如右图）。圆圈中带点的记号（⊙）表示由纸下方指向纸上方的向量，而圆圈中带叉的记号（⊗）则表示由纸的上方指向纸下方的向量。由于这种记号不表示向量的大小，所以必须时需要在旁边或其它地方另外注明。
代数表示.
代数表示指在指定了一个坐标系之后，用一个向量在该坐标系下的坐标来表示该向量，兼具了符号的抽象性和几何形象性，因而具有最高的实用性，被广泛采用于需要定量分析的情形。
对于自由向量，将向量的起点平移到坐标原点后，向量就可以用一个坐标系下的一个点来表示，该点的坐标值即向量的终点坐标。
设有一向量formula_20，有坐标系formula_21。在formula_21中定义好若干个特殊的基本向量（称为基向量，各个基向量共同组成该坐标系下的基底）formula_23，formula_24，...，formula_25之后，则向量在各个基方向的投影值即为对应的坐标值，各个投影值组成的有序数组，称为该向量在坐标系formula_21的坐标，是向量的唯一表示，即与向量的终点一一对应。换言之，其它的向量只需通过将这些基本向量拉伸后再按照平行四边形法则进行向量加法即可表示（通常被称为“用基底线性表出一个向量”，即该向量是基向量的某种线性组合），即：
其中formula_28, ..., formula_29分别为formula_20在formula_23，formula_25方向的投影。当基底已知，可直接省略各基向量的符号，类似于坐标系上的点，直接用坐标表示为：
在矩阵运算中，更常将向量写成类似于矩阵的列向量或行向量。在线性代数中所指的向量，通常默认为列向量。如一个向量formula_34，可写成：
其中，上者为列向量写法，下者为行向量写法；此处采中国大陆定义。
值得注意的是：
对于由两个点确定的向量，同样可以用坐标进行表示，详见向量运算。
在常见的三维空间直角坐标系Oxyz里，基本向量就是以横轴（Ox）、竖轴（Oy）以及纵轴（Oz）为方向的三个长度为1的单位向量formula_40、formula_41、formula_42。这三个向量取好以后，其它的向量就可以透过三元数组来表示，因为他们可以表示成一定倍数的三个基本向量的总和。比如说一个标示为（"2","1","3"）的向量就是2个向量formula_40加上1个向量formula_41加上3个向量formula_42得到的向量，即：
特殊向量.
类似于数字中的1（单位元）、相反数（加法逆元）、0（加法单位元），向量中有单位向量（单位元）、反向量（加法逆元）、零向量（加法单位元）、等概念量。此外，还有方向向量、相等向量等概念。
单位向量.
对于任意向量formula_1，不论方向如何，若其数值为单位长度，则称其为formula_1方向上的单位向量（）。单位向量通常被记为formula_49。
特殊地，三维笛卡尔坐标系上的三个基向量formula_50，formula_51，formula_52都是单位向量。
反向量.
一个向量formula_53的反向量（）与它大小相等，但方向相反，一般记作formula_54。如果向量formula_19是向量formula_56的反向量，那么formula_56也是formula_19的反向量。
另外，向量formula_1的反向量也可按如下定义：
零向量.
始点与终点重合，即大小为0的向量，被称为零向量（），记以数字0上加箭头，即formula_60。有时亦可以用粗体的0表示，如formula_61。在坐标表示下，不论含有多少分量，不论指向任何方向，若所有的分量均为0的向量即为零向量。关于零向量有两点值得一提：
零向量可以如下进行形式化定义：
举例来说，一个人跑了100米，然后反方向跑回来。他的移动距离是200米，位移则是零向量。在这个情况下，零向量的方向平行于他跑回来的方向，所以可以是任何方向。
等向量.
不论起点终点，两向量长度、方向相等，即为等向量或相等向量（）。
对于任意向量formula_1，若其一个相等向量为formula_64，则对formula_64和数字-1进行系数积运算后得到的向量formula_66即formula_1的反向量。
另外，类似于反向量的定义，向量formula_1等向量也可按如下定义：
方向向量.
方向向量（）的形式化定义如下：
一般地，所有方向相同的向量之间互为方向向量。
向量的性质.
有向线段.
有向线段的概念建构于向量的方向与长度，差别在于多定义了始点与终点。在文字描述时，如果已知某有向线段的始点和终点分别是formula_69和formula_70，则此线段的长度称为线段的模或绝对值，可以记为formula_71，即formula_72，此线段带有正负号的模称为有向线段的数量，可以记为formula_73，此时formula_74。
大小.
向量的大小（）也称模长、长度。几何上，当确定了单位长度后作图所得的向量的长度，即为向量的大小，记作formula_75。在有限维赋范线性空间中，向量的模长也称为范数（），记作formula_76。已知向量的坐标，就可以知道它的模长。
设向量formula_77，其范数的计算表达式由弗罗贝尼乌斯范数（一种同时适用于向量和矩阵的范数计算方法）给出：
formula_78。
特殊地，对于"n" 维欧几里得空间 Rn上的向量formula_77，其模长或范数为：
formula_80。
更特殊地，对于三维笛卡尔坐标系下的向量formula_81，其模长为：
formula_82。
夹角.
向量的夹角（）是对于两个向量而言的概念。对于任意两个给定的向量formula_1和formula_64，二者的夹角即将二者图示化后两箭头所夹之角formula_85。由于夹角具有互补性，因此在不同的出发规定、不同的旋转方向下，所得夹角亦不同。
向量的夹角可由内积的定义导出计算公式，即：
-{|zh-hant:线性相依性;zh-cn:线性相关性}-.
-{|zh-hant:线性相依;zh-cn:线性相关}-.
对于formula_87个向量formula_88，formula_89，…，formula_90，如果存在一组不全为零的formula_87个数formula_92、formula_93、…、formula_94，使得formula_95，那么，称formula_87个向量formula_97，formula_98，…，formula_99 为-{|zh-cn:线性相依;zh-hant:线性相关}-（）。
-{|zh-hant:线性独立;zh-cn:线性无关}-.
如果这样不全为零的formula_87个数不存在，即上述向量等式仅当formula_92 =formula_93 = … = formula_94 = 0时才能成立，就称向量formula_97，formula_98，…，formula_99 为-{|zh-cn:线性独立;zh-hant:线性无关}-（）。
向量运算.
向量的大小是相对的，在有需要时，会规定单位向量，以其长度作为1。每个方向上都有一个单位向量。
向量之间可以如数字一样进行运算。常见的向量运算有：加法、减法、数与向量之间的乘法（数量积）以及向量与向量之间的乘法（外积），但向量的除法没有定义。
加法与减法.
向量的加法满足平行四边形法则和三角形法则。具体地，两个向量formula_19和formula_56相加，得到的是另一个向量。这个向量可以表示为formula_19和formula_56的起点重合后，以它们为邻边构成的平行四边形的一条对角线（以共同的起点为起点的那一条，见下图左），或者表示为将formula_19的终点和formula_56的起点重合后，从formula_19的起点指向formula_56的终点的向量：
两个向量formula_19和formula_56的相减，则可以看成是向量formula_19加上一个与formula_56大小相等，方向相反的向量。又或者，formula_19和formula_56的相减得到的向量可以表示为formula_19和formula_56的起点重合后，从formula_56的终点指向formula_19的终点的向量：
当这两个向量数值、方向都不同，基本向量formula_125时，向量和计算为
并且有如下的不等关系：
此外，向量的加法也满足交换律和结合律。
向量与积.
向量空间分为有限维向量空间与无限维向量空间。在有限维向量空间中，可以找到一组（有限个）向量formula_128，使得任意一个向量formula_53都可以唯一地表示成这组向量的线性组合：
其中的标量formula_131是随着向量formula_53而确定的。这样的一组向量称为向量空间的基。给定了向量空间以及一组基后，每个向量就可以用一个数组来表示了。两个向量formula_53和formula_134相同，当且仅当表示它们的数组一样。
两个向量formula_3和 formula_137的和：
它们的数量积为：
而标量"k"与向量v的乘积则为：
系数积（纯量乘法、数乘）.
一个标量"k"和一个向量formula_53之间可以做乘法，得出的结果是另一个与formula_53方向相同或相反，大小为formula_53的大小之｜"k"｜倍的向量，可以记成formula_144 ，该种运算被称为系数积。-1乘以任意向量会得到它的反向量，0乘以任何向量都会得到零向量 formula_60。
-{zh-hant:内积;zh-cn:数量积}-（数量积、纯量积）.
内积是向量与向量的乘积，其结果为一个纯量。
几何上，-{zh-hant:内积;zh-cn:数量积}-可以定义如下：设 formula_19、formula_56 为两个任意向量，它们的夹角为 formula_148，则他们的-{zh-hant:内积;zh-cn:数量积}-为：
formula_149即 formula_56 向量在 formula_19 向量方向上的投影长度（同方向为正反方向为负号），与 formula_19 向量长度的乘积。
-{zh-hant:内积;zh-cn:数量积}-被广泛应用于物理中，如做功就是用力的向量乘位移的向量，即 formula_153。
外积（叉积、叉乘、向量积）.
外积也是向量与向量的乘积，不过需要注意的是，它的结果是个向量。它的几何意义是所得的向量与被乘向量所在平面垂直，方向由右手定则规定，大小是两个被乘向量张成的平行四边形的面积。所以向量积不满足交换律。举例来说 formula_154 但是 formula_155。
设有向量formula_156、formula_157，
则其向量积的矩阵表达式可用下列符号表示：
向量三重积（混合积）.
三个向量formula_19、formula_56和formula_161的三重积定义为，物理意义为三向量始于同点时所构成的体积：
线性组合.
若formula_163、formula_164为平面上两个不平行的非零向量，则平面上的每一个向量formula_165都可以唯一表示为formula_166的形式。这种表示方式，称为向量的线性组合。
关于向量运算的定理.
向量与定比分点、中点公式.
在实际应用中，向量运算时常会运用到定比分点定理。
设平面直角坐标系formula_167原点formula_168，内有点formula_169，点formula_170，点formula_171，点formula_172在点formula_5、formula_6之间，且
formula_175，则：
formula_176
特殊地，当formula_177，
formula_178
相应的有中点formula_172坐标：
formula_180
实际上，上述结论可以推广到空间向量中。
设空间直角坐标系formula_181内原点为formula_182，有点formula_183，formula_184，formula_5、formula_6点间有一点formula_172，且
formula_175，
则：formula_189
中点formula_172坐标：
formula_191
附：平面几何中定比分点定理的证明.
设平面直角坐标系formula_167内原点formula_168，有点formula_169，点formula_170，点formula_171，点formula_172在点formula_5、formula_6之间，且formula_200，则：
formula_201，
formula_202