向量

title: 不同学科中的向量.
title: 数学.
content: 在线性代数中,向量常采用更为抽象的向量空间(也称为线性空间)来定义。向量是所谓向量空间中的基本构成元素。  向量空间是基于物理学或几何学中的空间概念而形成的一个抽象概念,是满足一系列法则的元素的集合,而欧几里得空间便是线性空间的一种。向量空间中的元素就可以被称为向量,而欧几里得向量则是特指欧几里得空间中的向量。
title: 物理学与工程学.
content: 在物理学和诸多工程学科中,向量更多地被称作矢量。许多常见的物理量都是用矢量描述,如运动学中的位移、速度、加速度,力学中的力、力矩,电磁学中的电流密度、磁矩、电磁波等等。  物理学和一般的几何学中涉及的向量概念严格意义上应当被称为欧几里得向量或几何向量。定义具有物理意义上的大小和方向的向量概念则需要引进了定义了范数和内积的欧几里得空间。按照定义,欧几里得向量由大小和方向构成。
title: 固定向量.
content: 在一些上下文中,尤其在物理学领域,有些向量会与起点有关(如一个力与其的作用点有关,质点运动速度与该质点的位置有关),因而假设向量有确定的起点和终点,当起点和终点改变后,构成的向量就不再是原来的向量。这样的向量也被称为固定向量。例子之一是运动学中常见的物理量位置矢量。
title: 自由向量.
content: 在另一些时候,由于向量的共性都具有大小和方向,会认为向量的起点和终点并不那么重要。两个起点不一样的向量,只要大小相等,方向相同,就可以称为是同一个向量。这样的向量被称为自由向量。在数学中,一般只研究自由向量,并且数学中所指的向量就是指自由向量。也就是只要大小以及方向一样,即可视为同一向量,与向量的起始点并无关系。一些文献中会提到向量空间带有一个特定的原点,这时可能会默认向量的起点是原点。
title: 表示方法.
title: 形式表示.
content: 使用符号的形式实际上只是对向量规定的一个概念化代号。向量在包括数学和物理等诸多领域均被广泛采用,优点是简洁明了,缺点是高度形式和抽象,既缺少几何形象性又缺少定量精确性。
title: 带箭头字母.
content: 数学上的向量通常可用加向右箭头的小写字母表示,如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。
title: 粗体字母.
content: 向量也可用粗体小写字母表示,如formula_16,许多书本会采用此种记法,但缺点是区分粗体字有时不容易,例如 formula_17和 formula_18肉眼看易混淆。
title: 几何表示.
content: 直观上,向量通常被标示为一个带箭头的有向线段。线段的长度表示向量的大小(或称模长),向量的方向即箭头所指的方向,可以记为formula_19。该种表示的优点是具有强烈的几何直观形象性,缺点是在纸面上作图繁琐,不便定量分析。  而遇到某些特殊情况(如表示磁场的磁感应强度)需要表示与记载纸面垂直的向量,则会使用圆圈中打叉或打点的方式来表示(如右图)。圆圈中带点的记号(⊙)表示由纸下方指向纸上方的向量,而圆圈中带叉的记号(⊗)则表示由纸的上方指向纸下方的向量。由于这种记号不表示向量的大小,所以必须时需要在旁边或其它地方另外注明。
title: 代数表示.
content: 代数表示指在指定了一个坐标系之后,用一个向量在该坐标系下的坐标来表示该向量,兼具了符号的抽象性和几何形象性,因而具有最高的实用性,被广泛采用于需要定量分析的情形。 对于自由向量,将向量的起点平移到坐标原点后,向量就可以用一个坐标系下的一个点来表示,该点的坐标值即向量的终点坐标。  设有一向量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,可写成:  其中,上者为列向量写法,下者为行向量写法。值得一提的是,"n"维列向量可被视作"n" × "1"矩阵,"n"维行向量可被视作"1" × "n" 矩阵。  对于由两个点确定的向量,同样可以用坐标进行表示,详见向量运算。  在常见的三维空间直角坐标系Oxyz里,基本向量就是以横轴(Ox)、竖轴(Oy)以及纵轴(Oz)为方向的三个长度为1的单位向量formula_36、formula_37、formula_38。这三个向量取好以后,其它的向量就可以透过三元数组来表示,因为他们可以表示成一定倍数的三个基本向量的总和。比如说一个标示为("2","1","3")的向量就是2个向量formula_36加上1个向量formula_37加上3个向量formula_38得到的向量,即:
title: 特殊向量.
content: 类似于数字中的1(单位元)、相反数(加法逆元)、0(加法单位元),向量中有单位向量(单位元)、反向量(加法逆元)、零向量(加法单位元)、等概念量。此外,还有方向向量、相等向量等概念。
title: 单位向量.
content: 对于任意向量formula_1,不论方向如何,若其大小为单位长度,则称其为formula_1方向上的单位向量()。单位向量通常被记为formula_45。  特殊地,三维笛卡尔坐标系上的三个基向量formula_46,formula_47,formula_48都是单位向量。
title: 反向量.
content: 一个向量formula_49的反向量()与它大小相等,但方向相反,一般记作formula_50。如果向量formula_19是向量formula_52的反向量,那么formula_52也是formula_19的反向量。  另外,向量formula_1反向量也可按如下定义:
title: 零向量.
content: 始点与终点重合,即大小为0的向量,被称为零向量(),记以数字0上加箭头,即formula_56。有时亦可以用粗体的0表示,如formula_57。在坐标表示下,不论含有多少分量,不论指向任何方向,若所有的分量均为0的向量即为零向量。关于零向量有两点值得一提:  零向量可以如下进行形式化定义:
title: 等向量.
content: 不论起点终点,两向量长度、方向相等,即为等向量或相等向量()。  对于任意向量formula_1,若其一个相等向量为formula_60,则对formula_60和数字-1进行数乘运算后得到的向量formula_62即formula_1的反向量。  另外,类似于反向量的定义,向量formula_1等向量也可按如下定义:
title: 方向向量.
content: 方向向量()的形式化定义如下:  一般地,所有方向相同的向量之间互为方向向量。
title: 向量的性质.
title: 有向线段.
content: 有向线段的概念建构于向量的方向与长度,差别在于多定义了始点与终点。在文字描述时,如果已知某有向线段的起点和终点分别是A和B,此线段的长度可以记为formula_65,即formula_66。
title: 大小.
content: 向量的大小()也称模长、长度。几何上,当确定了单位长度后作图所得的向量的长度,即为向量的大小,记作formula_67。在有限维赋范线性空间中,向量的模长也称为范数(),记作formula_68。已知向量的坐标,就可以知道它的模长。  设向量formula_69,其范数的计算表达式由弗罗贝尼乌斯范数(一种同时适用于向量和矩阵的范数计算方法)给出: formula_70。  特殊地,对于"n" 维欧几里得空间 R上的向量formula_69,其模长或范数为: formula_72。  更特殊地,对于三维笛卡尔坐标系下的向量formula_73,其模长为: formula_74。
title: 夹角.
content: 向量的夹角()是对于两个向量而言的概念。对于任意两个给定的向量formula_1和formula_60,二者的夹角即将二者图示化后两箭头所夹之角formula_77。由于夹角具有互补性,因此在不同的出发规定、不同的旋转方向下,所得夹角亦不同。  向量的夹角可由数量积的定义导出计算公式,即:
title: 线性相依性.
title: 线性相依.
content: 对于formula_79个向量formula_80,formula_81,...,formula_82,如果存在一组不全为零的formula_79个数formula_84、formula_85、...、formula_86,使得formula_87,那么,称formula_79个向量formula_89,formula_90,...,formula_91 线性相关或线性相依()。
title: 线性独立.
content: 如果这样不全为零的formula_79个数不存在,即上述向量等式仅当formula_84 =formula_85 =... = formula_86 = 0时才能成立,就称向量formula_89,formula_90,...,formula_91 线性无关或线性独立()。
title: 向量运算.
content: 向量的大小是相对的,在有需要时,会规定单位向量,以其长度作为1。每个方向上都有一个单位向量。  向量之间可以如数字一样进行运算。常见的向量运算有:加法、减法、数与向量之间的乘法(数量积)以及向量与向量之间的乘法(向量积)。
title: 加法与减法.
content: 向量的加法满足平行四边形法则和三角形法则。具体地,两个向量formula_19和formula_52相加,得到的是另一个向量。这个向量可以表示为formula_19和formula_52的起点重合后,以它们为邻边构成的平行四边形的一条对角线(以共同的起点为起点的那一条,见下图左),或者表示为将formula_19的终点和formula_52的起点重合后,从formula_19的起点指向formula_52的终点的向量: 两个向量formula_19和formula_52的相减,则可以看成是向量formula_19加上一个与formula_52大小相等,方向相反的向量。又或者,formula_19和formula_52的相减得到的向量可以表示为formula_19和formula_52的起点重合后,从formula_52的终点指向formula_19的终点的向量:  当这两个向量数值、方向都不同,基本向量formula_117时,向量和计算为  并且有如下的不等关系:  此外,向量的加法也满足交换律和结合律。
title: 向量与积.
content: 向量空间分为有限维向量空间与无限维向量空间。在有限维向量空间中,可以找到一组(有限个)向量formula_120,使得任意一个向量formula_49都可以唯一地表示成这组向量的线性组合: 其中的标量formula_123是随着向量formula_49而确定的。这样的一组向量称为向量空间的基。给定了向量空间以及一组基后,每个向量就可以用一个数组来表示了。两个向量formula_49和formula_126相同,当且仅当表示它们的数组一样。 两个向量formula_3和 formula_129的和: 它们的数量积为: 而标量"k"与向量v的乘积则为:
title: 纯量乘法.
content: 一个标量"k"和一个向量formula_49之间可以做乘法,得出的结果是另一个与formula_49方向相同或相反,大小为formula_49的大小的|"k"|倍的向量,可以记成formula_136 。该种运算被称为纯量乘法或数乘。-1乘以任意向量会得到它的反向量,0乘以任何向量都会得到零向量 formula_56。
title: 内积.
content: 数量积也叫点积,它是向量与向量的乘积,其结果为一个纯量(非向量)。几何上,内积可以定义如下:  设 formula_19、formula_52 为两个任意向量,它们的夹角为 formula_140,则他们的内积为:  即 formula_52 向量在 formula_19 向量方向上的投影长度(同方向为正反方向为负号),与 formula_19 向量长度的乘积。 内积被广泛应用于物理中,如做功就是用力的向量乘位移的向量,即 formula_145。
title: 向量积.
content: 向量积也叫叉积,外积,它也是向量与向量的乘积,不过需要注意的是,它的结果是个向量。它的几何意义是所得的向量与被乘向量所在平面垂直,方向由右手定则规定,大小是两个被乘向量张成的平行四边形的面积。所以向量积不满足交换律。举例来说 formula_146 但是 formula_147。  设有向量formula_148、formula_149,  则其向量积的矩阵表达式可用下列符号表示:
title: 混合积.
content: 三个向量formula_19、formula_52和formula_153的混合积定义为,物理意义为三向量始于同点时所构成的体积:
title: 关于向量运算的定理.
title: 向量与定比分点、中点公式.
content: 在实际应用中,向量运算时常会运用到定比分点定理。  设平面直角坐标系formula_155原点formula_156,内有点formula_157,点formula_158,点formula_159,点formula_160在点formula_5、formula_6之间,且  formula_163,则:  formula_164 特殊地,当formula_165,  formula_166  相应的有中点formula_160坐标: formula_168  实际上,上述结论可以推广到空间向量中。 设空间直角坐标系formula_169内原点为formula_170,有点formula_171,formula_172,formula_5、formula_6点间有一点formula_160,且  formula_163,  则:formula_177  中点formula_160坐标:  formula_179
title: 附:平面几何中定比分点定理的证明.
content: 设平面直角坐标系formula_155内原点formula_156,有点formula_157,点formula_158,点formula_159,点formula_160在点formula_5、formula_6之间,且formula_188,则:  formula_189, formula_190

Summary: 向量 (,物理、工程等也称作矢量 欧几里得向量)是数学、物理学和工程科学等多个自然科学中的基本概念。指一个同时具有大小和方向,且满足平行四边形法则的几何对象。理论数学中向量的定义为任何在向量空间中的元素。一般地,同时满足具有大小和方向两个性质的几何对象即可认为是向量(特别地,电流属既有大小、又有正负方向的量,但由于其运算不满足平行四边形法则,公认为其不属于向量)。向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量或数量,即只有大小、绝大多数情况下没有方向(电流是特例)、不满足平行四边形法则的量。