Skip to main content

矩阵

参考资料

引入

矩阵 是按 矩形阵列 排列的数表,记为 A=(aij)m×nA=(a_{ij})_{m\times n},表示 mmnn 列。

矩阵的真正威力在于:它可以表示 线性变换。矩阵乘法对应 变换的复合

基本运算

加法与数乘

(A+B)ij=aij+bij,(kA)ij=kaij(A+B)_{ij}=a_{ij}+b_{ij},\quad (kA)_{ij}=ka_{ij}

要求 A,BA,B 同型

矩阵乘法

AAm×nm\times nBBn×pn\times p,则 C=ABC=ABm×pm\times p,其中:

cij=k=1naikbkjc_{ij}=\sum_{k=1}^{n}a_{ik}b_{kj}
tip

矩阵乘法 不满足交换律ABBAAB\ne BA(一般情况下)。但满足结合律、分配律。

行列数能对上才能相乘:「左列 = 右行」。

转置

(AT)ij=aji(A^T)_{ij}=a_{ji}

重要性质

(A+B)T=AT+BT,(kA)T=kAT(A+B)^T=A^T+B^T,\quad (kA)^T=kA^T (AB)T=BTAT,(AT)T=A(AB)^T=B^T A^T,\quad (A^T)^T=A

特殊矩阵

名称定义
零矩阵 OO所有元素为 00
单位矩阵 EE对角线为 11,其余为 00AE=EA=AAE=EA=A
对角矩阵非对角线元素全为 00
对称矩阵AT=AA^T=A
反对称矩阵AT=AA^T=-A,对角线必为 00
正交矩阵ATA=AAT=EA^T A=AA^T=E,即 A1=ATA^{-1}=A^T

逆矩阵

定义

若存在 BB 使 AB=BA=EAB=BA=E,称 AA 可逆BB 为其 逆矩阵,记为 A1A^{-1}

可逆的判定

AA 可逆     A0    r(A)=n    Ax=0\iff |A|\ne 0\iff r(A)=n\iff A\vec x=\vec 0 只有零解。

求逆方法

伴随矩阵法

A1=1AAA^{-1}=\frac{1}{|A|}A^*

其中伴随矩阵 AA^* 的元素是 代数余子式的转置Aij=AjiA^*_{ij}=A_{ji}

初等变换法:对 (AE)(A\,|\,E) 做行变换,化为 (EA1)(E\,|\,A^{-1})

运算性质

(A1)1=A,(kA)1=1kA1(k0)(A^{-1})^{-1}=A,\quad (kA)^{-1}=\frac{1}{k}A^{-1}\,(k\ne 0) (AB)1=B1A1,(AT)1=(A1)T,A1=1A(AB)^{-1}=B^{-1}A^{-1},\quad (A^T)^{-1}=(A^{-1})^T,\quad |A^{-1}|=\frac{1}{|A|}

初等变换

三种 初等行(列)变换

  1. 交换两行:rirjr_i\leftrightarrow r_j
  2. 某行乘非零常数:krikr_i
  3. 某行加另一行的 kk 倍:ri+krjr_i+kr_j

初等矩阵

对单位矩阵 EE 做一次初等变换得到的矩阵。左乘 等价于 行变换右乘 等价于 列变换

行阶梯形 & 行最简形

  • 行阶梯形:非零行的首非零元(主元)所在列号严格递增。
  • 行最简形:在行阶梯形基础上,主元为 11 且主元所在列其余元素为 00

任何矩阵都可经初等行变换化为唯一的行最简形。

矩阵的秩

定义

矩阵 AA r(A)r(A) = 行阶梯形中非零行的个数 = AA 的最高阶非零子式的阶数。

性质

0r(A)min(m,n)0\le r(A)\le\min(m,n) r(AT)=r(A),r(kA)=r(A)(k0)r(A^T)=r(A),\quad r(kA)=r(A)\,(k\ne 0) r(A+B)r(A)+r(B),r(AB)min(r(A),r(B))r(A+B)\le r(A)+r(B),\quad r(AB)\le\min(r(A),r(B))

满秩

  • 列满秩r(A)=nr(A)=n
  • 行满秩r(A)=mr(A)=m
  • 方阵 AA 满秩     A0    A\iff |A|\ne 0\iff A 可逆。

分块矩阵

把矩阵划分为若干 子块,可按子块作为「元素」进行运算(前提是分块方式相容)。

常见分块

(A1OOA2)1=(A11OOA21)\begin{pmatrix}A_1&O\\O&A_2\end{pmatrix}^{-1}=\begin{pmatrix}A_1^{-1}&O\\O&A_2^{-1}\end{pmatrix} AOCB=AB\begin{vmatrix}A&O\\C&B\end{vmatrix}=|A|\cdot|B|