1 线性表示与线性方程组
以下设
为数域,向量均写成列向量。
定义 1.1 (线性表示). 设
。
若存在
,使得
则称
可由向量组
线性表示。
记
、
,则上述向量等式等价于方程组
线性表示的存在性与唯一性,分别对应方程组是否有解及解是否唯一。
表示第
个向量的第
个分量,即系数矩阵第
行、第
列的元素。
例题 1.2. 求
由
、、
构成的向量组的线性表示。
证明. 待定系数满足
第二式减第一式得
,第三式减第一式得
,回代得
。故所求表示的系数唯一,为
。 ◻
定义 1.3 (标准单位向量).
中第
个分量为
、其余分量为
的向量记为
,
称为第
个标准单位向量。
任意
都有唯一表示
因为
的第
个分量为
,
所以该向量等于
当且仅当
()。
2 二阶行列式
命题 2.1 (表示的唯一性). 若
可由
线性表示, 则表示唯一当且仅当齐次方程
只有零解。
证明. 若
与
是两组表示系数,两式相减得
。
若齐次方程只有零解,则
,表示唯一。
反之,若齐次方程有非零解
,
则在一组表示系数
上加上
,得到另一组不同的表示系数。 ◻
非零解指各分量不全为零,并非每个分量都非零。
定义 2.2. 设
、
,定义二阶行列式
行列式是由方阵确定的一个数。一阶行列式定义为
,不能将其与绝对值混淆。
命题 2.3. 齐次方程组
有非零解,当且仅当
。
证明. 若
,第一式乘
后减去第二式的
倍,得
;
第二式乘
后减去第一式的
倍,得
。
于是
,方程组只有零解。
若
,分以下情形讨论:
当
时,取
。
第一式显然成立,第二式左端为
,故这是非零解。
当第一行全为零而第二行非零时,
是非零解。
当两行全为零时,
是非零解。
综上,结论成立。 ◻
上述消元没有除以某个指定系数,因而也包含
的情形。 在
中,存在不全为零的
使
,等价于两向量共线,
其中包括含零向量的退化情形。
3 二阶行列式的几何意义
命题 3.1. 设
、,则以
为邻边的平行四边形面积为
证明.
若有一个向量为零,等式两边均为零。否则,设两向量的夹角为
。
由点积公式与平行四边形面积公式,
因此
由于
,所以
。 ◻
在标准直角坐标系中,以
为正向,
表示有向面积。对不共线的
,从
到
的较小转角
为逆时针时取正号,为顺时针时取负号。交换向量顺序,行列式变号,普通面积不变。
特别地,
当且仅当平行四边形退化,即
共线。
4 叉积与混合积
在
的标准右手直角坐标系中,设
、,其叉积为
点积的结果是数,叉积的结果是向量。由坐标公式直接展开可得
因此叉积垂直于两个原向量;当两向量非零、夹角为
时, 其长度为
,等于所张平行四边形的面积,方向由右手定则确定。
若两向量共线,则叉积为零。叉积满足
,且
定义 4.1 (混合积). 对
,数
称为它们的混合积。
命题 4.2. 以
为棱的平行六面体体积为
证明. 若
,底面退化,等式两边均为零。
否则,令
,则
是底面的单位法向量,
是高。由底面积乘高,
◻
混合积是有向体积,正、负分别对应有序向量组
的右手、左手定向。
混合积为零当且仅当三向量共面,这里将三个向量的起点置于同一点。 若
不共线,则
是其所在平面的法向量,
等价于
在该平面内;若
共线, 它们与任意
都共面,混合积也为零。
5 三阶行列式
混合积的坐标展开
设
由叉积、点积对加法的分配律,
右端共有
项。若
,则
;
若
而
或
,则叉积垂直于
,相应点积为零。
故只有
两两不同的六项可能非零。由标准单位向量的叉积关系,
从而
每项从三个列向量中各取一个分量;非零的基向量混合积要求所取行号互不相同,
因而每项也恰好从每行取一个元素。
定义 5.1 (三阶行列式). 设
的元素属于数域
,其三阶行列式定义为
实数情形下,三阶行列式等于三个列向量的混合积,其绝对值为平行六面体体积。
由于坐标公式只涉及加、减、乘运算,可将它作为任意数域上的定义,
但面积、体积的几何解释限于实数情形。
6 三阶行列式的性质
以下记
,其中
按列排列。
命题 6.1 (多重线性).
行列式对每一列分别线性。即对任意
,
对第二列、第三列也有相应等式。
证明. 六项公式中的每一项恰好含有第一列的一个分量。
将该分量替换为
,利用分配律展开,并按
分组,便得到所需等式。 对其余两列同理。 ◻
这里的线性是指固定其余各列,只对一列进行运算。因此
而当两列同时为向量之和时,必须分别展开:
命题 6.2 (反对称性). 交换任意两列,行列式变号:
证明. 在六项公式中交换相应两列,三个正项与三个负项一一对换,
所以所得行列式等于原行列式的相反数。 ◻
循环移动三列相当于交换两次,故
若两列相同,交换后行列式不变,而由反对称性又得到
,
故
。这里
,因此
。
结合多重线性,有
即把一列的倍数加到另一列上,行列式不变。
7 一般行列式
二阶与三阶行列式的每一项均从每行、每列各取一个元素。
为描述一般情形及各项的符号,引入排列与逆序数。
定义 7.1 (排列与逆序数). 将
各使用一次得到的序列
称为一个排列,所有排列的集合记为
。
若
而
,则称这两个位置构成一个逆序。
逆序总数记为
;逆序数为偶数的排列称为偶排列,为奇数的称为奇排列。
例如排列
中,
与后面的
分别构成逆序,故逆序数为
,是偶排列。
排列
的逆序数为
,是奇排列。
定义 7.2 (一般行列式). 设
的元素属于数域
,定义
对每个排列
,从第
行选取第
列的元素。
由于列号互不相同,每列也恰好取一次;将所取元素相乘,偶排列取正号,奇排列取负号。
共有
个排列,故定义式含
个形式项,每项含
个因子。 数值计算时,其中一些项可以为零。
三阶情形中,各项与排列的对应为
这与混合积得到的六项公式一致。混合积展开按每列选一行,
上述定义按每行选一列,二者选出的元素组合相同。
三阶行列式的对角线记忆法不能直接推广到四阶及以上。
阅读 / 下载 PDF