向量(vector)是空间中重要的元素, 它可以将代数运算直接引入几何中, 是线性空间的几何基础.
概念及表示
空间中向量又称矢量, 它是指有大小和方向的量. 通常, 我们可以用加粗的小写字母(印刷体)或小写字母上加右箭头来表示, 如
, 一个向量也可以用有向线段
来表示, 向量的大小用这条线段的长度
表示, 向量的方向用
到
的指向表示.
我们可以知道两个向量相等当且仅当它们的大小和方向相等, 而与位置无关. 如果两个向量在经过平移后重合, 我们就可断言这两个向量相等.
向量
的大小也叫做向量
的长度, 或向量
的模(长), 记为
.
特别的, 我们把长度为零的向量称为零向量, 记为
, 手写体记为
, 零向量不定义方向, 或者说, 零向量的方向是任意的;我们把长度为
的向量称为单位向量, 与
同向的单位向量记作
;我们把与向量
大小相等方向相反的向量称为
的反向量, 记作
.
向量的运算
向量加法
向量加法的三角形法则:对于向量
,作有向线段
和
分别表示
,我们就把
表示的向量
称为向量
与
的和,记作
,也就是
。
向量加法的平行四边形法则:对于向量
,从同一起点
作有向线段
和
分别表示
,再以
和
为边作平行四边形
,我们就把
表示的向量
称为向量
与
的和,记作
。
容易知道, 向量的加法与两种法则中起点的选择无关.
(1). 如图(1), 作
表示
表示
表示
则


(2). 如图(2), 作
表示
表示
, 以
和
为边作平行四边形
则
, 且
, 从而
(3). 作
表示
表示
, 则有
这证明了
有右单位元, 由于向量加法是可交换的, 所以
有单位元.
(4). 作
表示
, 则
这证明了
有右逆元, 由于向量加法是可交换的, 所以
有逆元.
加法的逆元常称为负元.
向量数乘
现定义向量的数量乘法运算:实数
与向量
的乘积
是一个向量, 它的大小为
当
时, 其方向与
相同, 当
时, 其方向与
相反, 当
时,
, 所以
.
性质1和2由定义直接得到, 下证明3和4.
证(3) 当
时, 等式两侧都为
(或皆为
), 等式成立.
当
时, 若
, 则
和
同向, 所以
和
同向, 且有
若
不妨设
分以下三种情况
①若
则
所以等式成立.

②若

考虑到

由前者

情况的证明易得

③若

由于

与

同号, 于是由前者

情况的证明可知
![{\displaystyle {\begin{array}{rcl}~~[(\lambda +\mu )+(-\lambda )]{\vec {a}}&=&(\lambda +\mu ){\vec {a}}+(-\lambda ){\vec {a}}\end{array}}}](https://services.fandom.com/mathoid-facade/v1/media/math/render/svg/16b475c262ce032002e43bef9d5ebf47aac26fe5)

类似②的讨论可得结果.
向量三角不等式
对于任意向量

, 都有

当且仅当

时取等号.
向量的线性组合
对于一组向量
和一组实数
, 称向量
为向量组
的一个线性组合, 称
为该组合的系数.
将向量组的每个向量的起点移至同一点之后, 如果它们的终点在同一直线(平面)上, 称这些向量是共线(共面)的.
向量空间的一组元素中, 若没有向量可用有限个其他向量的线性组合所表示, 则称为线性无关或线性独立, 反之则称为线性相关. 所以, 我们可以证明“两个向量共线当且仅当它们是线性相关的”以及“三个向量共面当且仅当它们是线性相关的”. 这将在线性代数中作为推论给出, 这里仅证明它们的等价命题.
向量

共线当且仅当存在不全为零的实数

, 使得下列式子成立.

向量

共面当且仅当存在不全为零的实数

, 使得下列式子成立.

由以上证明, 我们可以得出下面三点共线和四点共面的结论:
三点

共线当且仅当任取一点

, 存在不全为零的实数

, 使得下列式子成立.
且
四点

共面当且仅当任取一点

, 存在不全为零的实数

, 使得下列式子成立.
且
同时我们也会得到下面点在线面上的相关结论:
点

在直线

上当且仅当任取一点

, 存在实数

, 使得下列式子成立.
且
点

在平面

上当且仅当任取一点

, 存在实数

, 使得下列式子成立.
且
最后我们再引出下一节要用到的一个定理, 这个定理可以说明空间中给定三个不共面的向量后其余任意向量表法唯一.
空间中任意给定三个不共面的向量

则存在唯一的实数

使得空间中任意一个向量

, 我们就把向量

称为这个空间的一个基底, 把向量

用下面的有序数对表示:
或