学习视频来源:麻省理工公开课_线性代数导论 讲师:Gilbert Strang
http://open.163.com/special/opencourse/daishu.html
Lecture 4 A的LU分解
Basic facts 基础公式
inverse of a product 乘积的逆
已知 A A 和两个矩阵的逆,求 AB A B 的逆。易见 ABB−1A−1=I A B B − 1 A − 1 = I ,而 AB(AB)−1=I A B ( A B ) − 1 = I ,因此 (AB)−1=B−1A−1 ( A B ) − 1 = B − 1 A − 1 (关于乘积的逆的顺序,老师这里举了一个很有意思的例子:就像先脱鞋子再脱袜子,其逆动作应该是先穿袜子再穿鞋子)。
inverse of a transpose 转置的逆
AA−1=I A A − 1 = I ,分别对等号两边进行转置。单位矩阵行列转换后还是单位矩阵。而左边要分别转置两个矩阵,再以相反顺序相乘(转置的运算规则),因此 (A−1)TAT=I ( A − 1 ) T A T = I ,又因为 (AT)−1AT=I ( A T ) − 1 A T = I ,所以 (A−1)T=(AT)−1 ( A − 1 ) T = ( A T ) − 1 。对于单个矩阵而言,转置和逆两种运算的顺序可以颠倒。
A=LU
消元的目的,是为了正确认识矩阵的概念。 A=LU A = L U 是最基础的矩阵分解。
主元都不为 0
假设有可逆矩阵 A A ,可以进行消元,主元都不为 0,最终得到矩阵。从 A A 到的联系,就有了lower matrix 矩阵 L L 。
- 矩阵
(1−401) ( 1 0 − 4 1 ) (2817)=(2013) ( 2 1 8 7 ) = ( 2 1 0 3 ) <=> E21A=U E 21 A = U ,变成 A=LU A = L U 的形式为 (2817)=L(2013) ( 2 1 8 7 ) = L ( 2 1 0 3 ) ,显然这里 L=E−12,1=(1401) L = E 2 , 1 − 1 = ( 1 0 4 1 )
- 3×3 3 × 3 矩阵
假设无行互换,只需要如下消元步骤得到 U U : 。 A=(E3,2E3,1E2,1)−1U A = ( E 3 , 2 E 3 , 1 E 2 , 1 ) − 1 U , L=E−12,1E−13,1E−13,2 L = E 2 , 1 − 1 E 3 , 1 − 1 E 3 , 2 − 1 。
- 为什么要用 L L 的形式?
⎛⎝⎜⎜100010001⎞⎠⎟⎟ ( 1 0 0 0 1 0 0 0 1 ) ⎛⎝⎜⎜1−20010001⎞⎠⎟⎟=⎛⎝⎜⎜10001−5000⎞⎠⎟⎟ ( 1 0 0 − 2 1 0 0 0 1 ) = ( 1 0 0 0 1 0 0 − 5 0 ) ⎛⎝⎜⎜1−20010001⎞⎠⎟⎟=⎛⎝⎜⎜1−21001−5001⎞⎠⎟⎟ ( 1 0 0 − 2 1 0 0 0 1 ) = ( 1 0 0 − 2 1 0 10 − 5 1 )
接着计算逆 L=E−12,1E−13,1E−13,2=⎛⎝⎜⎜120010001⎞⎠⎟⎟ L = E 2 , 1 − 1 E 3 , 1 − 1 E 3 , 2 − 1 = ( 1 0 0 2 1 0 0 0 1 ) ⎛⎝⎜⎜100015001⎞⎠⎟⎟=⎛⎝⎜⎜120015001⎞⎠⎟⎟ ( 1 0 0 0 1 0 0 5 1 ) = ( 1 0 0 2 1 0 0 5 1 )
消元乘数还在 L L 里。如果我们要求出,若不存在行互换,则不需要任何运算,只需要把所有消元乘数都写进来。
对于一个 n×n n × n 的矩阵 A A ,需要进行多少次消元?
每一步确定一个主元需要的步数依次递减, (n−1)2 ( n − 1 ) 2 ,··· 12 1 2 (除了第一列的下面那些元素变 0 以外,其他列的元素也要相应的做乘法和加法的运算,运算次数针对的对象是每一个元素,并非每一行。一个行做一次运算相当于这行的 n n 个元素都要做运算,所以第一次一共是),他们的总和为什么约等于 13n3 1 3 n 3 ? 我们其实可以用微积分来考虑。对 ∫n1x2dx ∫ 1 n x 2 d x 积分可以得到 13n3 1 3 n 3 。微积分考虑的是连续情况下的“求和”,而线性代数是离散的。主元存在 0
- 置换
置换矩阵可以用来进行行互换。列出所有 3×3 3 × 3 置换行的矩阵: ⎛⎝⎜⎜100010001⎞⎠⎟⎟ ( 1 0 0 0 1 0 0 0 1 ) , ⎛⎝⎜⎜010100001⎞⎠⎟⎟ ( 0 1 0 1 0 0 0 0 1 ) , ⎛⎝⎜⎜00101010⎞⎠⎟⎟ ( 0 0 1 0 1 0 1 0 ) , ⎛⎝⎜⎜10000101⎞⎠⎟⎟ ( 1 0 0 0 0 1 0 1 ) , ⎛⎝⎜⎜001100010⎞⎠⎟⎟ ( 0 1 0 0 0 1 1 0 0 ) , ⎛⎝⎜⎜010001100⎞⎠⎟⎟ ( 0 0 1 1 0 0 0 1 0 ) 。两两相乘这些矩阵,以及这些矩阵的逆,结果还是在这 6 个当中。而且我们还可以发现置换矩阵一个很奇妙的特性:其逆等于其转置。
- 置换