大家好，又见面了，我是你们的朋友全栈君。

线性代数学习笔记（三）：

矩阵的理解之— 矩阵的秩与行列式

一、矩阵乘法

$m\ast n的矩阵A_{m\ast n}乘以n\ast k的矩阵B_{n\ast k}得到新的矩阵C，是一个m\ast k大小的矩阵。$
$C_{ij}=\sum _{a=1}^n{A}_{ia}\ast B_{aj}$

• 矩阵乘法运算：

1. 结合律成立：$(AB)C=A(BC)$
2. 数乘运算：$A_{m\ast n}=k\ast B_{m\ast n}，则A_{ij}=k\ast B_{ij}$
3. 交换律不成立：$BA\ne AB$

• 矩阵的红线：
  1）矩阵不可消去！
  2）矩阵不可交换！

矩阵运算构成环。
矩阵运算是封闭的！

• 那如何理解矩阵呢？
  从线性空间的角度去思考：

矩阵是线性空间中的线性变换。

二、矩阵的秩

2.1. 初等变换

任何一个混乱矩阵都能通过初等变换得到一个上三角矩阵或下三角矩阵。
通过初等变换，可以很容易得到矩阵的秩。
（初等变换不会改变矩阵的秩）。

如图示：

• 初等变换的规则：

（1）对调某两行/列；
（2）对某行/列乘以系数k；
（3）对某一行/列加上(减去)某一行/列的k倍。
使之变成一个上三角矩阵或下三角矩阵。

2.2. 秩

利用初定变换的规则，我们可以求出一个矩阵的最大线性无关组，最终目的是引出对“秩”的理解和定义。
把矩阵放到线性空间中，用线性空间的宏观角度能够更好的理解矩阵及矩阵的秩。

• 什么是矩阵的秩？
  理解线性空间中的线性相关和线性无关的概念后，秩的概念就会很容易的理解和得出。
  参见线性代数学习笔记（一）：线性空间的理解

三、矩阵的常见运算

3.1. 矩阵的转置

转置-T：$M^T=M_{i\ast j}^{-1}=M_{j\ast i}$

转置的性质：
$(AB{)}^T=B^T{A}^T$ 、$(ABC{)}^T=C^T{B}^T{A}^T$

• 厄米矩阵:

满足$M_{n\ast n}=\overline{M^T}$的矩阵叫厄米矩阵。
可测量的物理量都是厄米矩阵。

下图是一个常见的厄米矩阵：

3.2. 矩阵的逆

逆矩阵：$A^{-1}A=A{A}^{-1}=I=$
$$\left[\begin{array}{cccc}1& 0& ...& 0\\ 0& 1& ...& 0\\ ...& ...& 1& ...\\ 0& 0& 0& 1\end{array}\right]\text{\hspace{1em}(1)}$$

逆矩阵的性质：
1）$AB=I\to BA=I$ [互逆矩阵可交换]
2) 若$AB=I$（A、B都是n阶方阵），则A、B互逆。
3）$(AB{)}^{-1}=B^{-1}{A}^{-1}$，$(ABC{)}^{-1}=C^{-1}{B}^{-1}{A}^{-1}$
4) A满秩是A可逆的充分必要条件。

3.3. 常见运算的相关证明题

• –eg1：二维空间中的旋转：
  基底1$(\vec{x},\vec{y})$和基底2$({\vec{x}}^{\prime },{\vec{y}}^{\prime })$的互相转化：
  

• –eg2：A、B都是n阶方阵，若AB=I，求证A、B互逆。
  

• –eg3：求证$(AB{)}^{-1}=B^{-1}{A}^{-1}$。
  

• –eg4：若$A^2=A$，且$A\ne I$，求证$rank(A)\ne n$(或A不可逆)。
  ! [矩阵不能消去-不存在除法]:
  不能由$A^2=A$两边同消去A后得到$A=I$
  

• -eg5：若$A,B,A+B$均可逆，求解$(A^{-1}+B^{-1}{)}^{-1}$。
  

3.4. 相似矩阵

参见：线性代数学习笔记（二）：线性变换的理解中<2.5.3 相似矩阵>

四、矩阵的行列式

4.1. 等价类/等价关系

对于集合A={
$a_i$}，i是指标集。
等价关系满足：
  1）反身性：$a_i$~$a_i$
  2）互反性：$a_i$~$a_j\to$$a_j$~$a_i$
  3）传递性：$a_i$~$a_j$且$a_j$ ~ $a_s\to$ $a_i$~$a_s$

常见的等价关系：
1）相等关系：=
2）等高线上的点 等
3）矩阵相似是等价关系
常见的非等价关系：
1）不相等关系：>/<
2）垂直、正交 等

等价关系可以用来定义等价类。
等价类说白了就是根据属性相同/不同进行分类。

4.2. 行列式

只有方阵才有行列式。
对方阵M=$$\left[\begin{array}{cccc}{M}_{11}& M_{12}& ...& M_{1n}\\ M_{21}& M_{22}& ...& M_{2n}\\ ...& ...& ...& ...\\ M_{n1}& M_{n2}& ...& M_{nn}\end{array}\right]\text{\hspace{1em}(1)}$$
行列式的表示方式：$det(M)或|M|$。

4.2.1 行列式的定义1

引出行列式$det(M)$的第一种定义方式：

det(M)=${\sum }_{所有的排列}{M}_{1s(1)}{M}_{2s(2)}...M_{ns(n)}(-1{)}^{\sigma (s(1),s(2),...,s(n))}$

• 对定义1表达式的几点解释：

1. $s(1),s(2),...,s(n)$是对下标数字$1,2,...,n$的一种排列；
2. $M_{ns(n)}$
3. $\sigma (s(1),s(2),...,s(n))$就表示$s(1),s(2),...,s(n)$的这个排列中逆序数对的个数。
   逆序数对：用$\sigma (,...,)$表示一列数中逆序数对的个数。
   eg：$\sigma (4,1,3,2)=4$

• 对行列式表达式的理解：
  “$M_{1s(1)}\ast M_{2s(2)}\ast ...\ast M_{ns(n)}$“中：
    — 1,2,…,n表示第i行；
    — $s(1),s(2),...,s(n)$表示了一种确定的排列方式；
    — $M_{1s(1)}$则表示对第1行，我们取了第s(1)列位置的那个数。
    — $M_{is(i)}$表示对每一行选一个数，这个数位于第s(i)列。并且这一列在之前没有被取到过。
• 几个简单的行列式：
  对$M_{1\ast 1}、M_{2\ast 2}、M_{3\ast 3}$使用定义，得到其行列式表达式：
  

4.2.2 行列式的定义2

4.2.2.1 检测三维旋转

三维空间中的任何一个旋转都可以认为成先绕着y轴旋转$\alpha$°，z轴旋转$\beta$°得到的。
（$\alpha 和\beta$的选择能遍历所有的转动）
转动M由：先绕y轴旋转得到矩阵$M_1$，后z轴旋转得到矩阵$M_2$。所以$M=M_2\ast M_1$。
得到$M$=

对旋转操作得到的$M$，求其行列式$det(M)$得：
看上去说不出什么理由的行列式公式，我们带入旋转操作的变换后得出的结果竟然是1。
从这我们得到行列式的第二种定义方式。

4.2.2.2 行列式的定义2

行列式的定义2阐述了行列式的物理意义。
M为n*n阶的方阵。

$det(M)$所代表的的几何意义：

M代表：线性变换**体积元之比**。

对n维空间中的n维体积进行变换后，变换后的体积与原体积之比就是行列式。行列式最本质的东西就是微元的体积比。

• 考察体积之比与n维体积的形状无关：
  无论整体的形状是什么样子，最终我们考虑的是这个体积中某一微元的变换，微元都可以看做是一个小的矩形(表示为$\frac{dy}{dx}$)。
  因为是线性变换，整体的体积变换与每个小微元的变换是一样的。
  -eg1:
  
  -eg2:
  

– 用$det(M)$的这种几何意义看其性质：

1）对于矩阵乘法$A\ast B：det(AB)=det(A)det(B)$
2）$det(AB)=det(BA)$

(1) 用$det(M)$的几何意义理解性质1：
对于线性空间中向量$\vec{\alpha }$，对其分别做线性变换A和B，也就是$A(B\vec{\alpha })=(AB)\vec{\alpha }$：
先对$\vec{\alpha }$做线性变换$B$再做变换$A$等价于$(AB)$整体的线性变换作用到$\vec{\alpha }$上。
用行列式的观点看，对$\vec{\alpha }$的两个变换可以理解为：$\frac{V3}{V2}\ast \frac{V2}{V1}=\frac{V3}{V1}$。
(2) 性质2：
$det(A)det(B)=det(B)det(A)$(两个数相乘有交换律)
$det(A)det(B)=det(AB),det(B)det(A)=det(BA)$
所以$det(AB)=det(BA)$。

4.2.2.3 雅可比行列式

在高数中对行列式思想的例子。

4.2.2.4 行列式的定义3

行列式的第三种定义方式采用的思想是递归。

对方阵M，求其行列式如下：
$$det(M)=\{\begin{array}{ll}{\sum }_{k=1}^n(-1{)}^{k+1}{a}_{1k}det(M_{1k})& \text{k!=1}\\ a& \text{k=1}\end{array}$$

• 表达式的理解：
  $a_{1k}\times det(M_{1k})$：
  $a_{1k}$：方阵M中取出第1行第k列的那个元素；
  $det(M_{1k})$：方阵M除去第1行第k列所有元素外构成的(n-1)*(n-1)的方阵。相乘
  这是一种递归的思想，把求解n维的问题转换成求解n-1维的问题，不断递归，递归的出口：1×1的方阵的行列式等于它本身。
  
  而这种递归的思想是计算机喜欢的，手算的话容易晕。

五、矩阵的特征值与特征向量

详见：线性代数学习笔记（四）：矩阵的理解之— 矩阵的特征值与特征向量

六、线性代数核心定理

详见：线性代数学习笔记（五）：矩阵的理解之— 线性代数核心定理

七、线性空间和线性变换的理解

详见：线性代数学习笔记（一）：线性空间的理解

详见：线性代数学习笔记（二）：线性变换的理解