1. 排列和逆序数的概念:
1) n级排列: 由1,2,3,,n 共计n个数所形成的序列成为n级排列。
2) n级排列的若干性质:
(1)n级排列有n! 种。
(2)排列的逆序数的定义:遍历除最后一个元素的所有元素,该元素后面每有一个比它小的,成为一个逆序,逆序之和成为逆序数,逆序数的奇偶性也成为该排列的奇偶性。
其中完全从小到大的配列称为标准排列。从定义可知,其逆序数 == 0.
(3)在全部的n级排列中,奇偶排列各占一半,即n!/2 个。
(4) 把排列中任意两个元素对调,其奇偶性发生改变;
(5)任何一个n级排列经过k次对换,均可变为标准排列
2. n阶行列式的定义:
通过二阶三阶行列式可以得出n阶行列式的定义:n阶行列式的定义为:
∑ [(-1)^t] a1p1 a2p2 a3p3 (t为 p1, p2, pn的逆序数)
n阶行列式即所有不同行且不同列的元素的乘积,其中行标为标准排列;列标无要求,
根据排列的概念,n个列表的排列工有n!个。其中一半偶排列,一般奇排列。
3. 几种特殊的行列式:
1) 上三角行列式 / 下三角行列式:均等于其主对角线的乘积。
其中上三角行列式需要从最后一行倒着网上推理,下三角行列式需要从上往下推理。
4. 行列式的性质:注意:所有行列式的性质均由排列的性质,以及行列式计算的特点推导出来。
1) 转置行列式与原来的行列式相同===行列式行和列其中之一标准排列,另外的一个元素取逆序数即可========行列式中行和列是同等地位的。
2) 交换两行或者两列,行列式变符号。(1是排列对换后变号,2是行列式中的每一项都有某行的元素,该元素的符号变号以后,即行列式展开式中每一项都会变号)
3) 行列式中某一行的公因子可以提出来,因为行列式中一行的元素肯定是分配在展开式中的各项的,所以可以一起提出来。
4) 行列式中有两行完全相同,则此行列式的值为0.
5) 某行元素数乘,然后加到另外一行,行列式不变。
行列式的计算一般是先化简为上下三角行列式,化简的方法有三种:
(1)交换两行或者两列
(2)某行的公因子可以提出来
(3)某行数乘后加到零一行上。
5. 行列式按行/列展开:
1) 缘由:低阶行列式比高阶行列式好算。所以考虑展开高阶的行列式
2)余子式 和 代数余子式的概念:
(1) 余子式:将第 i 行 j 列 元素 aij 所在的行和列元素都删除,剩余的元素组成的n-1阶行列式,成为元素aijde 余子式,记座 Mij
(2) 代数余子式: Aij = (-1)^(i+j) * Mij 即在代数余子式的前面加上符号,符号是-1的(i+j)次幂。
2) 行列式可以展开为 某一行的各个元素与其代数余子式的乘积之和。
即分别求出某一行各个元素的代数余子式,然后将各个元素与对应的代数余子式相乘,最后做和,得到的值与原行列式相等。
行列式的展开实际使用的时候,仍然是先化简,将某行化简到0尽可能多,这样就能从实用角度实际减少行列式的计算量,而非计算多个代数余子式(一般化简到某行/列只有一个非零项),这样就能实际降低阶数。
6. 克莱姆法则:
1) n个未知数 组成的n个线性方程组(所谓线性,即未知数的最高幂次为1),
2) 由n个n元方程组的系数组成的行列式,成为系数行列式。
===============================================
《从线性变换的角度理解行列式的意义》
1. 假设二维平面坐标系中的两个向量[0;1] [1;0] (MAT中列向量用分号隔开)
2. 有一个二维的行列式【4,1;1,2】
3. n阶行列式与 n维向量相乘,要想得到n维向量,只能是n阶行列式左乘向量,得到n维向量。
4. 2中的两个向量被3中的行列式左乘,得到的两个新的向量为 【1;2】 和 【4;1】
5. 由以上述两个向量为边的四边形的面积为 7.00
推导过程如下:
结论:行列式代表的是由其n个列向量所围成的面积或者体积。
行列式除了表示所围成的多边形面积或者多变体的体积之外,还可以表示变换后(用方阵左乘各个向量)的面积(体积)与原来的面积(体积)之比。
===============================================
关于行列式的几何意义与其性质的关系说明:
1. 平行四边形的面积==axb = a*b*sin<a,b>
向量乘积有两种:内积和外积,区别如下:
简而言之,内积结果是标量, 外积结果是ab的法向量(注意外积不满足交换律)
行列式的另一个物理意义就是两个列向量(行向量)外积的数值。(注意只是摸,不带方向)
对于线性代数的几何意义有专门且系统的解释,详见《线性代数的几何意义》一书。
7. 补充:行列式实际就是一个二维的数组,按照排列与对换的法则展开的一种多项式求和,其物理意义是什么?需要了解,以及行列式产生的缘由是什么,都需要了解。
1) n元线性方程组(所谓线性,即仅包含未知数的1次幂,不包含2次及以上的次数)
2)