矩阵相似变换

pull/6/head
Cym10x 3 months ago
parent c0abbdd621
commit 813dc386d1

@ -140,7 +140,68 @@ $$\boldsymbol{\varepsilon}_3=\dfrac{\boldsymbol{\alpha}_1+2\boldsymbol{\alpha}_2
## 二次型
![[二次型]]
二次型,顾名思义,就是二次函数,只不过是 $n$ 元函数,当元数比较小时,我们可以清楚地画出它的图像,判断其正负性,然而一旦维度升高,我们是无法想象其空间几何构型的,只能从代数的角度了解其性质。因此引入二次型矩阵的概念,通过描述矩阵性质,进而得出函数的性质。
首先,需要注意的是,二次型矩阵是人为定义的矩阵(只要满足一一对应就可以),为了更好的性质,我们选择了实对称矩阵作为描述对象。
二次型中有许多 $x_ix_j$ 的交叉项,它会影响我们对函数正负的判断,而在矩阵上也就对应非对角线元素,我们想通过换元将交叉项消掉,只留下平方项。对应换元用线性代换思想描述就是 $\boldsymbol{X=CY}$ ,其中 $\boldsymbol C$ 可逆,然后也就是说 $f=\boldsymbol x^\mathrm T\boldsymbol A\boldsymbol x=(\boldsymbol C\boldsymbol Y)^\mathrm T\boldsymbol A(\boldsymbol C\boldsymbol Y)=\boldsymbol y^\mathrm T(\boldsymbol C^\mathrm T\boldsymbol A\boldsymbol C)\boldsymbol y$ ,视 $\boldsymbol Y$ 为新的变元,其对应的矩阵为 $\boldsymbol C^\mathrm T\boldsymbol A\boldsymbol C$,由于 $\boldsymbol C$ 是可逆变换,我们研究 $\boldsymbol y$,倒推回去就是研究 $\boldsymbol x$,(注意:可逆是非常重要的,并且经常被忽略),记 $\boldsymbol B=\boldsymbol C^\mathrm T\boldsymbol A\boldsymbol C$,回到最初想法“想通过换元将交叉项消掉,只留下平方项’’,换言之,通过找 $\boldsymbol C$ ,使得 $\boldsymbol B$ 变成对角阵。这也是贯穿二次型章节的一个重要问题。
我们称换元后得到只含平方项的函数为标准型,平方项前面的系数随便取,显然,标准型是无穷多的,因为换元是千奇百怪的。
继续抽丝剥茧称只含平方项的二次函数且平方项系数只为1-1或0的为规范性一个二次型的规范型是唯一的。
规范型的唯一性恰是二次型最核心的代数本质体现——无论我们选取何种可逆线性代换无论中间的标准型如何千变万化二次型中平方项系数为1、-1的项的个数始终固定不变这两个固定的个数便分别被称为二次型的**正惯性指数**与**负惯性指数**而系数为0的项的个数自然就是变元个数与正、负惯性指数之和的差值。
这一不变性并非偶然,而是由“惯性定理”严格保证的:任意一个实二次型,都可以通过可逆线性代换化为唯一的规范型,其正、负惯性指数是二次型本身固有的属性,与所选的线性代换无关。换句话说,惯性指数是二次型的“不变量”,它深刻反映了二次型在可逆变换下的本质特征,就像物体的质量一样,不随坐标系的转换而改变。而我们常用的化二次型为标准型的方法有正交变换法、配方法,本质上都依托可逆线性代换,与合同变换紧密关联,这些方法的步骤、特点及与惯性定理的关联,存在明确区别与内在联系,具体可梳理如下:
#### (一)配方法(可逆线性代换,最通用便捷)
配方法通过代数配方手段消去交叉项,直接构造可逆线性代换 $X=CY$ ,将二次型化为标准型,无需依赖矩阵的特征值、特征向量,适用所有实二次型。
**核心步骤**
1.若二次型含某变量的平方项(如 $x_1^2$ ),先将含 $x_1$ 的所有项归并,配成完全平方,消去含 $x_1$ 的交叉项;
2.对剩余变量重复上述步骤,直至所有交叉项消去,得到仅含平方项的标准型;
3.反向推导得到可逆线性代换 $X=CY$ ,对应的矩阵变换为 $C^TAC=\Lambda$ $\Lambda$ 为对角阵,对角元为标准型系数)。
**特点**操作简单、计算量小可灵活构造代换矩阵C但标准型系数不唯一随配方方式变化且C不一定是正交矩阵变换不保持几何度量如长度、夹角
#### (三)**正交变换法(特殊可逆代换,保几何度量)**
#### (四)**正交变换法利用实对称矩阵可正交对角化的性质构造正交矩阵Q满足 $Q^T=Q^{-1}$ ),使 $Q^TAQ=\Lambda$ ,其中 $\Lambda$ 的对角元为A的特征值对应的线性代换 $X=QY$ 为正交变换。**
**核心步骤**
1求二次型对应实对称矩阵A的全部特征值 $\lambda_1,\lambda_2,...,\lambda_n$
对每个特征值,求对应的特征向量,并将属于同一特征值的特征向量正交化;
2将所有正交化后的特征向量单位化得到正交矩阵Q
3作正交变换 $X=QY$ ,二次型化为标准型 $f=\lambda_1y_1^2+\lambda_2y_2^2+...+\lambda_ny_n^2$ 。
**特点**标准型系数为A的特征值具有唯一性不计顺序正交变换保持向量长度、夹角不变几何意义明确如旋转、反射变换但计算量较大需求解特征值和特征向量。
#### **(四)合同变换法(直接作用于矩阵,直观体现合同关系)**
合同变换法直接对实对称矩阵A进行初等变换通过“初等行变换+同步初等列变换”将A化为对角阵 $\Lambda$ 同步记录初等列变换得到可逆矩阵C本质是直接构造 $C^TAC=\Lambda$ 。
**核心步骤**
1构造分块矩阵 $\begin{pmatrix}A\\I\end{pmatrix}$ I为单位矩阵
2对A施行初等行变换的同时对整个分块矩阵的列施行相同的初等列变换使A化为对角阵 $\Lambda$
3此时下方单位矩阵I同步化为可逆矩阵C满足 $C^TAC=\Lambda$ ,对应线性代换 $X=CY$ ,二次型化为标准型 $f=\Lambda_{11}y_1^2+\Lambda_{22}y_2^2+...+\Lambda_{nn}y_n^2$ 。
**特点**直接关联矩阵合同关系直观体现二次型化标准型的本质标准型系数不唯一C由初等变换直接得到适用于需明确合同矩阵的场景计算量介于配方法与正交变换法之间。、方法间核心区别与关联
**区别**1. 本质不同正交变换法是特殊的合同变换Q为正交矩阵 $Q^T=Q^{-1}$ 配方法、合同变换法是一般合同变换2. 标准型系数正交变换法系数为特征值唯一不计顺序其余两种方法系数任意3. 几何意义仅正交变换保度量其余两种无几何约束4. 计算复杂度:配方法最简,正交变换法最繁。
**关联**:所有方法均基于可逆线性代换,本质都是矩阵的合同对角化;无论哪种方法得到的标准型,其正、负惯性指数均由惯性定理保证恒定,最终都可通过进一步代换化为唯一的规范型。
>[!danger] 待整合
>与一个**实对称矩阵** 相似:特征值及其几何重数、代数重数相等
>合同惯性相同正惯性指数、负惯性指数、0数都相同且本身也是**实对称矩阵**.

@ -19,6 +19,7 @@
>[!note] 证明:
>设维数等于 $n$ ,则空间 $W$ 中能取出 $n$ 个线性无关的向量作为基。而 $V$ 的维数也是 $n$,所以 $V$ 的基也只有 $n$ 个向量,所以刚刚取出来的那 $n$ 个向量也是$V$ 的基,故 $W=V$.
>[!warning] 有以下几个点需要注意:
>1. 零空间$\displaystyle\{\boldsymbol{0}\}$没有基;
>2. 一般来说,向量空间的基是不唯一的;
@ -48,7 +49,7 @@ $$称矩阵 $\boldsymbol{K}$ 为基 $T_1$ 到基 $T_2$ 的**过渡矩阵**.由
既然我们已经学了这么多的知识了,那不妨来做几道题试试吧!
>[!example] 例题1
>设$V=\{(x_1,x_2,x_3)^T|x_1+x_2+x_3=0,x_1,x_2,x_3\in\mathbb{R}\}$,证明$V$是一个向量空间,并求出它的一组基.
>设$V=\{(x_1,x_2,x_3)^\mathrm{T}|x_1+x_2+x_3=0,x_1,x_2,x_3\in\mathbb{R}\}$,证明$V$是一个向量空间,并求出它的一组基.
```text
@ -60,10 +61,14 @@ $$称矩阵 $\boldsymbol{K}$ 为基 $T_1$ 到基 $T_2$ 的**过渡矩阵**.由
```
>[!example] 例题2
>已知$\mathbb{R}^2$的两组基$\boldsymbol\alpha_1,\boldsymbol\alpha_2$和$\boldsymbol\varepsilon_1,\boldsymbol\varepsilon_2$.求一个非零向量$\boldsymbol\beta\in\mathbb{R}^2$,使得$\boldsymbol\beta$在两组基下有相同的坐标,其中$\boldsymbol\alpha_1=(2,-1)^T,\boldsymbol\alpha_2=(5,-4)^T;\boldsymbol\varepsilon_1=(1,0)^T,\boldsymbol\varepsilon_2=(0,1)^T.$
>已知$\mathbb{R}^2$的两组基$\boldsymbol\alpha_1,\boldsymbol\alpha_2$和$\boldsymbol\varepsilon_1,\boldsymbol\varepsilon_2$.求一个非零向量$\boldsymbol\beta\in\mathbb{R}^2$,使得$\boldsymbol\beta$在两组基下有相同的坐标,其中$\boldsymbol\alpha_1=(2,-1)^\mathrm{T},\boldsymbol\alpha_2=(5,-4)^\mathrm{T};\boldsymbol\varepsilon_1=(1,0)^\mathrm{T},\boldsymbol\varepsilon_2=(0,1)^\mathrm{T}.$
```text
@ -74,6 +79,11 @@ $$称矩阵 $\boldsymbol{K}$ 为基 $T_1$ 到基 $T_2$ 的**过渡矩阵**.由
```
好了,现在回到我们的主题:线性空间。先下定义:
@ -104,7 +114,7 @@ $$称矩阵 $\boldsymbol{K}$ 为基 $T_1$ 到基 $T_2$ 的**过渡矩阵**.由
上面第三个例子不要求大家掌握,但前两个还是得清楚的,这是书上明确给了的例子。
>[!example] 例题3
>设$V$是定义于区间$[a,b]$上取正值的所有函数的集合,我们定义$$f\oplus g=f\times g,\lambda \odot f=f^\lambda\qquad(f,g\in V,\lambda\in\mathbb{R}).$$证明:在上述运算下,$V$是实数域$\mathbb{R}$上的线性空间.
>证明多项式空间是线性空间。
```text
@ -118,8 +128,22 @@ $$称矩阵 $\boldsymbol{K}$ 为基 $T_1$ 到基 $T_2$ 的**过渡矩阵**.由
```
>[!example] 例题3.5
>设$V$是定义于区间$[a,b]$上取正值的所有函数的集合,我们定义$$f\oplus g=f\times g,\lambda \odot f=f^\lambda\qquad(f,g\in V,\lambda\in\mathbb{R}).$$证明:在上述运算下,$V$是实数域$\mathbb{R}$上的线性空间.
>[!note] **证明:**
>加法$\oplus$交换律、结合律显然成立.
>取常值映射$\text{c}:[a,b]\rightarrow\mathbb{R}^+,\text{c}(x)=1$,有 $\forall f\in V,(f\oplus\text{c})(x)=f(x)\times\text c(x)=f(x)\times1=f(x),$ 故映射 $\text{c}$ 为零元.
>对任意$f\in V$,取映射$\displaystyle g\in V:[a,b]\rightarrow\mathbb{R}^+,g(x)=\frac{1}{f(x)}$,则 $(f\oplus g)(x)=f(x)\times g(x)=1=\text{c}(x)$,故$g$为$f$的负元. 显然负元唯一.
> 取$\lambda=1$,显然$1\odot f=f^1=f$,故存在数乘单位元.
> 任取 $\displaystyle f,g\in V,x\in[a,b],\lambda\in\mathbb{R}$,则 $(f\oplus g)(x)=f(x)\cdot g(x)>0,\lambda\odot f(x)=(f(x))^\lambda>0,$ 故 $(f\oplus g),(\lambda\odot f)\in V$,即 $V$ 对上述加法和数乘封闭.
> 故在上述运算下,$V$是实数域$\mathbb{R}$上的线性空间.
$V$ 中的向量之间具有内在联系,例如任意的向量都可以由一组基线性表示,不同基之间也具有基变换的计算公式等。向量之间的联系可以用线性变换来描述,线性变换是线性空间 $V$ 到自身的一种特定映射。
用一个矩阵左乘一个向量,总能变成另一个向量。例如,用矩阵
$$
@ -133,7 +157,7 @@ $$
则称 $T$ 为 $U$ 到 $V$ 的**线性映射**。
特别地,若 $T$ 是线性空间 $V$ 到 $V$ 的一个线性映射,则称 $T$ 是 $V$ 上的一个**线性变换**。
> **注**:可加性和齐次性可以合并为 $T(k\boldsymbol{\alpha}+l\boldsymbol{\beta})=kT(\boldsymbol{\alpha})+lT(\boldsymbol{\beta})$,其中 $k,l \in \mathbb{R}$
> **注**:可加性和齐次性可以合并为 $T(k\boldsymbol{\alpha}+l\boldsymbol{\beta})=kT(\boldsymbol{\alpha})+lT(\boldsymbol{\beta})$,其中 $k,l \in \mathbb{R}$. 证明 $T$ 是线性变换就等价于证明 $T(k\boldsymbol{\alpha}+l\boldsymbol{\beta})=kT(\boldsymbol{\alpha})+lT(\boldsymbol{\beta})$.
>[!info] **定理**
>设 $V$ 是线性空间,$T$ 是 $V$ 上的线性变换,则有:
@ -171,6 +195,8 @@ $$
```
>[!example] 例题5
@ -189,6 +215,9 @@ $$
```
### 线性变换的矩阵表示
@ -227,7 +256,8 @@ $$
由 $\left[\boldsymbol{\beta}_1\;\boldsymbol{\beta}_2\;\dots\;\boldsymbol{\beta}_n\right]=\left[\boldsymbol{\alpha}_1\;\boldsymbol{\alpha}_2\;\dots\;\boldsymbol{\alpha}_n\right]C$,且 $$
\left[T(\boldsymbol{\alpha}_1)\;T(\boldsymbol{\alpha}_2)\;\dots\;T(\boldsymbol{\alpha}_n)\right]=\left[\boldsymbol{\alpha}_1\;\boldsymbol{\alpha}_2\;\dots\;\boldsymbol{\alpha}_n\right]A,$$ $$
\left[T(\boldsymbol{\beta}_1)\;T(\boldsymbol{\beta}_2)\;\dots\;T(\boldsymbol{\beta}_n)\right]=\left[\boldsymbol{\beta}_1\;\boldsymbol{\beta}_2\;\dots\;\boldsymbol{\beta}_n\right]B.$$
计算得:$$
由 $\boldsymbol \beta_i=c_{1i}\boldsymbol\alpha_1+\cdots+c_{ni}\boldsymbol\alpha_n$ 及线性变换的定义可知$$T(\boldsymbol\beta_i)=c_{1i}T(\boldsymbol\alpha_1)+\cdots+c_{ni}T(\boldsymbol\alpha_n),$$
从而:$$
\begin{aligned}
\left[T(\boldsymbol{\beta}_1)\;T(\boldsymbol{\beta}_2)\;\dots\;T(\boldsymbol{\beta}_n)\right]&=\left[T(\boldsymbol{\alpha}_1)\;T(\boldsymbol{\alpha}_2)\;\dots\;T(\boldsymbol{\alpha}_n)\right]C \\
&=\left[\boldsymbol{\alpha}_1\;\boldsymbol{\alpha}_2\;\dots\;\boldsymbol{\alpha}_n\right]AC \\
@ -252,6 +282,7 @@ $$
```
>[!example] 例题7
@ -259,8 +290,8 @@ $$
T\begin{bmatrix}x\\y\\z\end{bmatrix}=
\begin{bmatrix}x+y\\y-z\\z-x\end{bmatrix}.$$
设 $\mathbb{R}^3$ 的两组基 $$
\boldsymbol{e}_1=(1,0,0)^T,\;\boldsymbol{e}_2=(0,1,0)^T,\;\boldsymbol{e}_3=(0,0,1)^T;$$$$
\boldsymbol{v}_1=(1,-1,1)^T,\;\boldsymbol{v}_2=(2,1,1)^T,\;\boldsymbol{v}_3=(-1,3,1)^T.$$
\boldsymbol{e}_1=(1,0,0)^\mathrm{T},\;\boldsymbol{e}_2=(0,1,0)^\mathrm{T},\;\boldsymbol{e}_3=(0,0,1)^\mathrm{T};$$$$
\boldsymbol{v}_1=(1,-1,1)^\mathrm{T},\;\boldsymbol{v}_2=(2,1,1)^\mathrm{T},\;\boldsymbol{v}_3=(-1,3,1)^\mathrm{T}.$$
分别求 $T$ 在基 $\boldsymbol{e}_1,\boldsymbol{e}_2,\boldsymbol{e}_3$ 和基 $\boldsymbol{v}_1,\boldsymbol{v}_2,\boldsymbol{v}_3$ 下的矩阵表示。
```text
@ -277,7 +308,6 @@ T\begin{bmatrix}x\\y\\z\end{bmatrix}=
```
>[!summary] 习题
@ -294,8 +324,8 @@ T\begin{bmatrix}x\\y\\z\end{bmatrix}=
>3. 已知 $\mathbb{R}^3$ 中线性变换 $T$ 在基 $\boldsymbol{\alpha}_1,\boldsymbol{\alpha}_2,\boldsymbol{\alpha}_3$ 下的矩阵为 $$
A = \begin{bmatrix} 1&2&-1\\ -1&1&3\\ 1&1&1 \end{bmatrix},$$
求 $T$ 在基 $\boldsymbol{\alpha}_3,\boldsymbol{\alpha}_2,\boldsymbol{\alpha}_1$ 下的矩阵。
>4. 已知 $\boldsymbol{\alpha}_1=(1,1,1)^T,\;\boldsymbol{\alpha}_2=(1,1,0)^T,\;\boldsymbol{\alpha}_3=(1,0,0)^T$ 为 $\mathbb{R}^3$ 的一组基,$T$ 为 $\mathbb{R}^3$ 上的线性变换,且 $$
T(\boldsymbol{\alpha}_1)=(1,2,3)^T,\; T(\boldsymbol{\alpha}_2)=(0,1,2)^T,\; T(\boldsymbol{\alpha}_3)=(0,0,1)^T,$$
>4. 已知 $\boldsymbol{\alpha}_1=(1,1,1)^\mathrm{T},\;\boldsymbol{\alpha}_2=(1,1,0)^\mathrm{T},\;\boldsymbol{\alpha}_3=(1,0,0)^\mathrm{T}$ 为 $\mathbb{R}^3$ 的一组基,$T$ 为 $\mathbb{R}^3$ 上的线性变换,且 $$
T(\boldsymbol{\alpha}_1)=(1,2,3)^\mathrm{T},\; T(\boldsymbol{\alpha}_2)=(0,1,2)^\mathrm{T},\; T(\boldsymbol{\alpha}_3)=(0,0,1)^\mathrm{T},$$
求 $T$ 在基 $\boldsymbol{\alpha}_1 , \boldsymbol{\alpha}_2 , \boldsymbol{\alpha}_3$ 下的矩阵。
```text
@ -321,6 +351,13 @@ T\begin{bmatrix}x\\y\\z\end{bmatrix}=
@ -361,9 +398,9 @@ $A \sim B$.
> 原因是若$P^{-1}A_1P = A_2,\;Q^{-1}B_1Q = B_2$, 则$\begin{pmatrix}P & O \\O & Q\end{pmatrix}^{-1}\begin{pmatrix}A_1 & O \\O & B_1\end{pmatrix}\begin{pmatrix}P & O \\O & Q\end{pmatrix}=\begin{pmatrix}A_2 & O \\O & B_2\end{pmatrix}.$
>[!todo] 判断相似关系的步骤(一般是选择题)
>1. 判断特征值是否相等(先看迹,行列式,排除不了就算特征值)
>2. 根据 $\mathrm{rank}(A-kE)=\mathrm{rank}(B-kE)$ ,带几个好算的 $k$ 进去,看看秩是否相等,因为 $A-kE\sim B-kE$,有 $P^{-1}(A-kE)P= B-kE$,注意到 $P$ 可逆,故$\mathrm{rank}(A-kE)=\mathrm{rank}(B-kE)$.
>3. 如果特征值和行列式均相等,接着算重数,判断是否可对角化,根据相似的传递性得出结论. 注意:当代数重数,几何重数,特征值均相同时,两个矩阵不一定相似,例如:$\begin{pmatrix} 2 & 1 & 0 & 0 \\ 0 & 2 & 0 & 0 \\ 0 & 0 & 2 & 1 \\ 0 & 0 & 0 & 2 \end{pmatrix}$与$\begin{pmatrix} 2 & 1 & 0 & 0 \\ 0 & 2 & 1 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 2 \end{pmatrix}$几何重数,代数重数,特征值均相等,然而却不相似.
>6. 判断特征值是否相等(先看迹,行列式,排除不了就算特征值)
>7. 根据 $\mathrm{rank}(A-kE)=\mathrm{rank}(B-kE)$ ,带几个好算的 $k$ 进去,看看秩是否相等,因为 $A-kE\sim B-kE$,有 $P^{-1}(A-kE)P= B-kE$,注意到 $P$ 可逆,故$\mathrm{rank}(A-kE)=\mathrm{rank}(B-kE)$.
>8. 如果特征值和行列式均相等,接着算重数,判断是否可对角化,根据相似的传递性得出结论. 注意:当代数重数,几何重数,特征值均相同时,两个矩阵不一定相似,例如:$\begin{pmatrix} 2 & 1 & 0 & 0 \\ 0 & 2 & 0 & 0 \\ 0 & 0 & 2 & 1 \\ 0 & 0 & 0 & 2 \end{pmatrix}$与$\begin{pmatrix} 2 & 1 & 0 & 0 \\ 0 & 2 & 1 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 2 \end{pmatrix}$几何重数,代数重数,特征值均相等,然而却不相似.
#### 对角化
将一个方阵通过可逆变换变为对角矩阵($A=P^{-1}\Lambda P$)的过程就是相似对角化,相似对角化最根本的应用就是求方阵的有理式( $\ f(A)=P^{-1}f(\Lambda)P$ ),这在科学计算中起到了很大的简化作用.
$A$ 能对角化的充要条件是 $A$ 有 $n$ 个**线性无关的特征向量**,这要求 $A$ 的所有特征值的几何重数和代数重数相等,且 $A$ 的所有特征值的重数和为 $n$ .
@ -393,6 +430,12 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
```
##### 1. 针对“迹”设问
>[!hint] 提示
@ -421,10 +464,12 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
```
>[!example] 例题10
>已知 $n(n\geq2)$维列向量 $\alpha,\beta$ 满足 $\beta^T\alpha=-3$,则方阵 $(\beta\alpha^T)^2$ 的非零特征值为$\underline{\qquad}$.
>已知 $n(n\geq2)$维列向量 $\alpha,\beta$ 满足 $\beta^\mathrm{T}\alpha=-3$,则方阵 $(\beta\alpha^\mathrm{T})^2$ 的非零特征值为$\underline{\qquad}$.
```text
@ -435,16 +480,15 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
```
```
##### 2. 针对“有理函数”设问
>[!example] 例题11
>设 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 均为实数域上的 n 维列向量,其中 m < n ,证明 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 线性无关的充要条件$$\begin{vmatrix}
\boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_m \\
\boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_m \\
\vdots & \vdots & & \vdots \\
\boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_m
\end{vmatrix}
\neq 0.$$
>已知 $4$ 阶矩阵 $A$ 与 $B$ 相似,$A$ 的全部特征值为 $1,2,3,4$,则行列式 $|B^{-1}-E|$ 为$\underline{\qquad}$.
```text
@ -461,10 +505,12 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
```
##### 2. 针对“有理函数”设问
>[!example] 例题12
>已知 $4$ 阶矩阵 $A$ 与 $B$ 相似,$A$ 的全部特征值为 $1,2,3,4$,则行列式 $|B^{-1}-E|$ 为$\underline{\qquad}$.
>设 $\boldsymbol{A}=\begin{bmatrix}-1 & 2 & 2 \\ 2&-1&-2\\2&-2&-1\end{bmatrix}$,$\boldsymbol E$ 是3阶单位矩阵则矩阵 $\boldsymbol{E}+2\boldsymbol{A}-\boldsymbol{A}^2$ 全部特征值之和是____
```text
@ -476,13 +522,6 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
```
>[!example] 例题13
>设 $\boldsymbol{A}=\begin{bmatrix}-1 & 2 & 2 \\ 2&-1&-2\\2&-2&-1\end{bmatrix}$,$\boldsymbol E$ 是3阶单位矩阵则矩阵 $\boldsymbol{E}+2\boldsymbol{A}-\boldsymbol{A}^2$ 全部特征值之和是____
```text
@ -492,7 +531,7 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
```
>[!example] [[线代2022秋A|2022]]例题14
>[!example] [[线代2022秋A|2022]]例题13
已知 $n$ 阶方阵$\boldsymbol{A}$与$\boldsymbol{B}$相似,$\boldsymbol{C}$与$\boldsymbol{D}$相似,则下列命题中正确的是【】
A. $\boldsymbol{A}+\boldsymbol{C}$与$\boldsymbol{B}+\boldsymbol{D}$相似.
B. $\boldsymbol{AC}$与$\boldsymbol{BD}$相似.
@ -503,13 +542,14 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
```
>[!warning] 注意!
>转置不能作为有理式的一部分!
##### 3. 针对“本质”设问
相似大题在设问时,往往回归“特征值”“相似”的本源,用特征多项式求解特征值,并应用特征值的性质; 小题偶有考察相关基本性质的题.
>[!example] 例题15
>[!example] 例题14
>$n$ 阶方阵 $\boldsymbol A$ 有 $n$ 个不同的特征值是 $\boldsymbol A$ 与对角阵相似的 $\qquad\qquad\qquad$【$\qquad$】
>A.充分必要条件$\qquad\qquad\qquad\qquad\qquad$B.充分不必要条件
>C.必要不充分条件$\qquad\qquad\qquad\qquad\quad$D.既不充分也不必要条件
@ -526,9 +566,18 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
```
>[!example] [[线代2023秋A|2023]]例题16
>[!example] [[线代2023秋A|2023]]例题15
>设矩阵 $A=\begin{bmatrix}3&1&2\\0&a&0\\2&b&3\end{bmatrix}$ 仅有两个相异特征值,且 $A$ 相似于对角矩阵,求 $a,b$ 并求可逆矩阵 $P$,使得$P^{-1}AP$ 为对角矩阵.
```text
@ -548,20 +597,127 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
```
>[!example] 例题17
>[!example] 例题16
>设 $n$ 阶方阵 $A$ 满足 $A^2 - 3A + 2E = O$ ,证明 $A$ 可相似对角化。
>[!note] 解析
>$(A - 2E)(A - E) = 0$,容易得出 $A$ 的特征值只能是 $1$ 或者 $2$ 。
>$\therefore \text{rank}(A - 2E) + \text{rank}(A - E) \leq n$
>$\text{rank}((A - E) - (A - 2E)) = n \leq \text{rank}(A - E)$
>$\therefore \text{rank}(A - 2E) + \text{rank}(A - E) = n$
>$\therefore \text{dim}N(A-2E)+\text{dim}N( A - E) = n$
>即特征值 $2$ 和特征值 $1$ 的几何重数之和为 $n$(或者一个不是特征值而另一个几何重数是 $n$),而代数重数不小于几何重数,所以两个特征值的几何重数与代数重数只能相等,否则两个特征值的代数重数之和就会大于 $n$ ,这是不可能的。于是 $A$ 可相似对角化。
```text
```
>[!example] 例题17
>设 $\boldsymbol A$ 为 $n$ 阶方阵,证明 $\boldsymbol A^2=\boldsymbol A$ 的充分必要条件是 $\text{rank}\boldsymbol A+\text{rank}(\boldsymbol A-\boldsymbol E)=n$.
```text
```
##### 4. 矩阵转置自乘及相关的同解问题
>[!hint] 相关知识点
>$\mathrm{rank}(A^\mathrm T A)=\mathrm{rank}A$ $A^\mathrm T Ax=\boldsymbol0$ 与 $Ax=\boldsymbol0$ 同解. 证明方法可参考例题18
>利用这个关键点可以巧妙求解矩阵转置自乘的同解问题.
>[!example] 例题18
>设 $A$ 是 $m\times n$ 实矩阵, $\beta \neq 0$ 是 $m$ 维实列向量,证明:
> (1) $\mathrm{rank}A=\mathrm{rank}(A^\mathrm{T}A)$ .
> (2) 线性方程组 $A^\mathrm{T}Ax = A^\mathrm{T}\beta$ 有解.
```text
```
>[!example] 例题19
>设 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 均为实数域上的 n 维列向量,其中 m < n ,证明 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 线性无关的充要条件$$\begin{vmatrix}
\boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_m \\
\boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_m \\
\vdots & \vdots & & \vdots \\
\boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_m
\end{vmatrix}
\neq 0$$
```text
```
# Trivia
### 证明方阵可交换
#### **通用解题框架**$AB = kA + lB$ 型等式证明 $AB=BA$
@ -580,7 +736,7 @@ $AB - kA - lB + klE = BA - lB - kA + klE$
两边消去相同项$-kA - lB + klE$ ,直接得到:
$AB = BA$
>[!example] 例题18
>[!example] 例题20
>设 $A, B$ 是 3 阶矩阵,$AB = 2A - B$,如果 $\lambda_1, \lambda_2, \lambda_3$ 是 $A$ 的 3 个不同特征值。证明:
(1) $AB = BA$
(2) 存在可逆矩阵 $P$,使得 $P^{-1}AP$ 与 $P^{-1}BP$ 均为对角矩阵。
@ -597,9 +753,18 @@ $AB = BA$
```
>[!example] 例题19
>[!example] 例题21
设 $n$ 阶方阵 $A, B$ 满足 $AB = A + B$。
1证明 $A - E$ 可逆;
2证明 $AB = BA$
@ -628,4 +793,7 @@ $AB = BA$
```

@ -49,16 +49,16 @@ $$称矩阵 $\boldsymbol{K}$ 为基 $T_1$ 到基 $T_2$ 的**过渡矩阵**.由
既然我们已经学了这么多的知识了,那不妨来做几道题试试吧!
>[!example] 例题1
>设$V=\{(x_1,x_2,x_3)^T|x_1+x_2+x_3=0,x_1,x_2,x_3\in\mathbb{R}\}$,证明$V$是一个向量空间,并求出它的一组基.
>设$V=\{(x_1,x_2,x_3)^\mathrm{T}|x_1+x_2+x_3=0,x_1,x_2,x_3\in\mathbb{R}\}$,证明$V$是一个向量空间,并求出它的一组基.
>[!note] **证明:**
对任意$\boldsymbol{x},\boldsymbol{y}\in V, k\in\mathbb{R}$,记$(1,1,1)=\boldsymbol{\alpha}$,则有$\boldsymbol\alpha\boldsymbol x=\boldsymbol\alpha\boldsymbol y=0,\boldsymbol\alpha(\boldsymbol x+\boldsymbol y)=0$,故$\boldsymbol x+\boldsymbol y,k\boldsymbol x\in V$,即$V$是向量空间.显然$V$中的所有元素就是方程$x_1+x_2+x_3=0$的所有解,而方程的通解为$$\boldsymbol x=k_1\begin{bmatrix}1\\-1\\0\end{bmatrix}+k_2\begin{bmatrix}1\\0\\-1\end{bmatrix},k_1,k_2\in\mathbb R,$$故$V$的基为$\begin{bmatrix}1\\-1\\0\end{bmatrix},\begin{bmatrix}1\\0\\-1\end{bmatrix}.$
>[!example] 例题2
>已知$\mathbb{R}^2$的两组基$\boldsymbol\alpha_1,\boldsymbol\alpha_2$和$\boldsymbol\varepsilon_1,\boldsymbol\varepsilon_2$.求一个非零向量$\boldsymbol\beta\in\mathbb{R}^2$,使得$\boldsymbol\beta$在两组基下有相同的坐标,其中$\boldsymbol\alpha_1=(2,-1)^T,\boldsymbol\alpha_2=(5,-4)^T;\boldsymbol\varepsilon_1=(1,0)^T,\boldsymbol\varepsilon_2=(0,1)^T.$
>已知$\mathbb{R}^2$的两组基$\boldsymbol\alpha_1,\boldsymbol\alpha_2$和$\boldsymbol\varepsilon_1,\boldsymbol\varepsilon_2$.求一个非零向量$\boldsymbol\beta\in\mathbb{R}^2$,使得$\boldsymbol\beta$在两组基下有相同的坐标,其中$\boldsymbol\alpha_1=(2,-1)^\mathrm{T},\boldsymbol\alpha_2=(5,-4)^\mathrm{T};\boldsymbol\varepsilon_1=(1,0)^\mathrm{T},\boldsymbol\varepsilon_2=(0,1)^\mathrm{T}.$
>[!note] **解:**
>容易得到从后一组基到前一组基的过渡矩阵为$\boldsymbol{C}=\begin{bmatrix}2 & 5\\-1 & -4\end{bmatrix},$设$\boldsymbol\beta$在$\boldsymbol\alpha_1,\boldsymbol\alpha_2$下的坐标为$\boldsymbol y$,则$\boldsymbol y=\boldsymbol C\boldsymbol y\Rightarrow (\boldsymbol C-\boldsymbol E)\boldsymbol y=\boldsymbol 0.$解这个齐次线性方程组得$$\boldsymbol y=k(-5,1)^T,k\in\mathbb{R}.$$
>容易得到从后一组基到前一组基的过渡矩阵为$\boldsymbol{C}=\begin{bmatrix}2 & 5\\-1 & -4\end{bmatrix},$设$\boldsymbol\beta$在$\boldsymbol\alpha_1,\boldsymbol\alpha_2$下的坐标为$\boldsymbol y$,则$\boldsymbol y=\boldsymbol C\boldsymbol y\Rightarrow (\boldsymbol C-\boldsymbol E)\boldsymbol y=\boldsymbol 0.$解这个齐次线性方程组得$$\boldsymbol y=k(-5,1)^\mathrm{T},k\in\mathbb{R}.$$
好了,现在回到我们的主题:线性空间。先下定义:
>[!info] 定义3 $\qquad$线性空间
@ -240,8 +240,8 @@ A=
T\begin{bmatrix}x\\y\\z\end{bmatrix}=
\begin{bmatrix}x+y\\y-z\\z-x\end{bmatrix}.$$
设 $\mathbb{R}^3$ 的两组基 $$
\boldsymbol{e}_1=(1,0,0)^T,\;\boldsymbol{e}_2=(0,1,0)^T,\;\boldsymbol{e}_3=(0,0,1)^T;$$$$
\boldsymbol{v}_1=(1,-1,1)^T,\;\boldsymbol{v}_2=(2,1,1)^T,\;\boldsymbol{v}_3=(-1,3,1)^T.$$
\boldsymbol{e}_1=(1,0,0)^\mathrm{T},\;\boldsymbol{e}_2=(0,1,0)^\mathrm{T},\;\boldsymbol{e}_3=(0,0,1)^\mathrm{T};$$$$
\boldsymbol{v}_1=(1,-1,1)^\mathrm{T},\;\boldsymbol{v}_2=(2,1,1)^\mathrm{T},\;\boldsymbol{v}_3=(-1,3,1)^\mathrm{T}.$$
分别求 $T$ 在基 $\boldsymbol{e}_1,\boldsymbol{e}_2,\boldsymbol{e}_3$ 和基 $\boldsymbol{v}_1,\boldsymbol{v}_2,\boldsymbol{v}_3$ 下的矩阵表示。
>[!note] **解析**
@ -303,17 +303,17 @@ B&=
>3. 已知 $\mathbb{R}^3$ 中线性变换 $T$ 在基 $\boldsymbol{\alpha}_1,\boldsymbol{\alpha}_2,\boldsymbol{\alpha}_3$ 下的矩阵为 $$
A = \begin{bmatrix} 1&2&-1\\ -1&1&3\\ 1&1&1 \end{bmatrix},$$
求 $T$ 在基 $\boldsymbol{\alpha}_3,\boldsymbol{\alpha}_2,\boldsymbol{\alpha}_1$ 下的矩阵。
>4. 已知 $\boldsymbol{\alpha}_1=(1,1,1)^T,\;\boldsymbol{\alpha}_2=(1,1,0)^T,\;\boldsymbol{\alpha}_3=(1,0,0)^T$ 为 $\mathbb{R}^3$ 的一组基,$T$ 为 $\mathbb{R}^3$ 上的线性变换,且 $$
T(\boldsymbol{\alpha}_1)=(1,2,3)^T,\; T(\boldsymbol{\alpha}_2)=(0,1,2)^T,\; T(\boldsymbol{\alpha}_3)=(0,0,1)^T,$$
>4. 已知 $\boldsymbol{\alpha}_1=(1,1,1)^\mathrm{T},\;\boldsymbol{\alpha}_2=(1,1,0)^\mathrm{T},\;\boldsymbol{\alpha}_3=(1,0,0)^\mathrm{T}$ 为 $\mathbb{R}^3$ 的一组基,$T$ 为 $\mathbb{R}^3$ 上的线性变换,且 $$
T(\boldsymbol{\alpha}_1)=(1,2,3)^\mathrm{T},\; T(\boldsymbol{\alpha}_2)=(0,1,2)^\mathrm{T},\; T(\boldsymbol{\alpha}_3)=(0,0,1)^\mathrm{T},$$
求 $T$ 在基 $\boldsymbol{\alpha}_1 , \boldsymbol{\alpha}_2 , \boldsymbol{\alpha}_3$ 下的矩阵。
>[!note] 习题解答
>1. 取基向量 $e_1 = x^2 e^x$, $e_2 = x e^x$, $e_3 = e^x$。计算导函数:
>5. 取基向量 $e_1 = x^2 e^x$, $e_2 = x e^x$, $e_3 = e^x$。计算导函数:
> - $T(e_1) = \frac{d}{dx}(x^2 e^x) = (x^2 + 2x)e^x = 1 \cdot e_1 + 2 \cdot e_2 + 0 \cdot e_3$,
> - $T(e_2) = \frac{d}{dx}(x e^x) = (x+1)e^x = 0 \cdot e_1 + 1 \cdot e_2 + 1 \cdot e_3$,
> - $T(e_3) = \frac{d}{dx}(e^x) = e^x = 0 \cdot e_1 + 0 \cdot e_2 + 1 \cdot e_3$。
> 故 $T$ 在基下的矩阵为 $\begin{bmatrix}1&0&0\\2&1&0\\0&1&1\end{bmatrix}.$
>2. 验证 $T$ 是 $V$ 到 $V$ 的线性变换:对任意 $A=\begin{bmatrix}x_1&x_2\\x_2&x_3\end{bmatrix}\in V$ $$
>6. 验证 $T$ 是 $V$ 到 $V$ 的线性变换:对任意 $A=\begin{bmatrix}x_1&x_2\\x_2&x_3\end{bmatrix}\in V$ $$
T(A)=\begin{bmatrix}1&0\\1&1\end{bmatrix}A\begin{bmatrix}1&1\\0&1\end{bmatrix}
= \begin{bmatrix}x_1 & x_1+x_2 \\ x_1+x_2 & x_1+2x_2+x_3\end{bmatrix} \in V.$$
>计算基的像:
@ -332,7 +332,7 @@ $T$ 在基 $\mathcal{C}$ 下的矩阵 $B = P^{-1}AP = PAP$。计算:$$AP = \be
A = P^{-1}B = \begin{bmatrix}0&0&1\\0&1&-1\\1&-1&0\end{bmatrix}
\begin{bmatrix}1&0&0\\2&1&0\\3&2&1\end{bmatrix}
= \begin{bmatrix}3&2&1\\-1&-1&-1\\-1&-1&0\end{bmatrix}.$$
验证:$T(\boldsymbol{\alpha}_1) = P \cdot (3,-1,-1)^T = (1,2,3)^T$,正确。
验证:$T(\boldsymbol{\alpha}_1) = P \cdot (3,-1,-1)^\mathrm{T} = (1,2,3)^\mathrm{T}$,正确。
故所求矩阵为 ${\begin{bmatrix}3&2&1\\-1&-1&-1\\-1&-1&0\end{bmatrix}}.$
# Section 2 相似矩阵与对角化
@ -409,40 +409,21 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
设 $E$ 为 $3$ 阶单位矩阵,$\alpha$ 为一个 $3$ 维单位列向量,则矩阵 $E-\alpha\alpha^\text{T}$ 的全部 $3$ 个特征值为\_\_\_\_\_\_
>[!note] 解析
>设 $B=\alpha\alpha^T$,该矩阵为**秩 $1$ 矩阵**(因 $\alpha$ 是单位列向量,$\alpha^T\alpha=1$.
>秩 $1$ 矩阵的特征值性质:非零特征值为矩阵的迹 $\text{tr}(B)=\alpha^T\alpha=1$,其余 $n-1=2$ 个特征值为 $0$(秩 $1$ 矩阵的非零特征值个数等于秩).
>设 $B=\alpha\alpha^\mathrm{T}$,该矩阵为**秩 $1$ 矩阵**(因 $\alpha$ 是单位列向量,$\alpha^\mathrm{T}\alpha=1$.
>秩 $1$ 矩阵的特征值性质:非零特征值为矩阵的迹 $\text{tr}(B)=\alpha^\mathrm{T}\alpha=1$,其余 $n-1=2$ 个特征值为 $0$(秩 $1$ 矩阵的非零特征值个数等于秩).
>若 $B\boldsymbol{x}=\lambda\boldsymbol{x}$$\boldsymbol{x}$为特征向量),则 $(E-B)\boldsymbol{x}=(1-\lambda)\boldsymbol{x}$,即$E-B$ 的特征值为 $1-\lambda$.
>代入 $B$ 的特征值 $\lambda=1,0,0$,得 $E-B$ 的特征值为 $1-1=0$$1-0=1$$1-0=1$,即 $1,1,0$. (最后这里也包含了接下来会用到的针对“有理函数”设问)
>[!example] 例题10
>已知 $n(n\geq2)$维列向量 $\alpha,\beta$ 满足 $\beta^T\alpha=-3$,则方阵 $(\beta\alpha^T)^2$ 的非零特征值为$\underline{\qquad}$.
>已知 $n(n\geq2)$维列向量 $\alpha,\beta$ 满足 $\beta^\mathrm{T}\alpha=-3$,则方阵 $(\beta\alpha^\mathrm{T})^2$ 的非零特征值为$\underline{\qquad}$.
>[!note] 解析
>设 $A=\beta\alpha^T$(秩 1 矩阵),计算 $A^2$
>$A^2=(\beta\alpha^T)(\beta\alpha^T)=\beta(\alpha^T\beta)\alpha^T=(\alpha^T\beta)A$
>注意:$\alpha^T\beta=(\beta^T\alpha)^T$(矩阵转置性质),而 $\beta^T\alpha=-3$(数,转置等于自身),故 $\alpha^T\beta=-3$,因此 $A^2=-3A$。
>设 $A=\beta\alpha^\mathrm{T}$(秩 1 矩阵),计算 $A^2$
>$A^2=(\beta\alpha^\mathrm{T})(\beta\alpha^\mathrm{T})=\beta(\alpha^\mathrm{T}\beta)\alpha^\mathrm{T}=(\alpha^\mathrm{T}\beta)A$
>注意:$\alpha^\mathrm{T}\beta=(\beta^\mathrm{T}\alpha)^\mathrm{T}$(矩阵转置性质),而 $\beta^\mathrm{T}\alpha=-3$(数,转置等于自身),故 $\alpha^\mathrm{T}\beta=-3$,因此 $A^2=-3A$。
>由上面的性质,我们知道$A$的特征值只有可能是$0$或$-3$,又$A$不可能只有$0$一种特征值,故$A$的非零特征值只能为$-3$,从而$A^2$的非零特征值为$9$.
>[!example] 例题11
>设 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 均为实数域上的 n 维列向量,其中 m < n ,证明 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 线性无关的充要条件$$\begin{vmatrix}
\boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_m \\
\boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_m \\
\vdots & \vdots & & \vdots \\
\boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_m
\end{vmatrix}
\neq 0.$$
>[!note] **证明:**
设矩阵$B=\begin{bmatrix}\boldsymbol{\beta}_1\ \boldsymbol{\beta}_2\cdots\ \boldsymbol{\beta}_m\end{bmatrix}$,则$$B^TB=\begin{bmatrix}\boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_m \\
\boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_m \\
\vdots & \vdots & & \vdots \\
\boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_m\end{bmatrix}.$$考虑线性方程组$B^TB\boldsymbol{x}=\boldsymbol{0}$和$B\boldsymbol{x}=\boldsymbol{0}$.下证这两个线性方程组同解.
i若$B\boldsymbol{y}=\boldsymbol{0}$,则$B^TB\boldsymbol{y}=B^T\boldsymbol{0}=\boldsymbol{0}$,故$N(B)\subseteq N(B^TB)$
ii若$B^TB\boldsymbol{y}=\boldsymbol{0}$,两边左乘$\boldsymbol{y}^T$得$\boldsymbol y^TB^TB\boldsymbol y=(B\boldsymbol y)^TB\boldsymbol y=<B\boldsymbol y,B \boldsymbol y>=0$,故$B\boldsymbol y=\boldsymbol0$,从而$N(B^TB)\subseteq N(B)$.
综上,$N(B^TB)=N(B)$,即线性方程组$B^TB\boldsymbol{x}=\boldsymbol{0}$和$B\boldsymbol{x}=\boldsymbol{0}$同解.
而$|B^TB|\neq0\Leftrightarrow$方程$B^TB\boldsymbol x=\boldsymbol 0$有唯一零解$\Leftrightarrow B\boldsymbol x=\boldsymbol 0$有唯一零解$\Leftrightarrow \boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 线性无关.证毕.
##### 2. 针对“有理函数”设问
>[!example] 例题12
>[!example] 例题11
>已知 $4$ 阶矩阵 $A$ 与 $B$ 相似,$A$ 的全部特征值为 $1,2,3,4$,则行列式 $|B^{-1}-E|$ 为$\underline{\qquad}$.
>[!note] 解析
@ -450,14 +431,14 @@ $$P=\begin{bmatrix}\boldsymbol\xi_1&\boldsymbol\xi_2&\cdots&\boldsymbol\xi_n\end
>根据这一条性质,我们求得矩阵 $B^{-1}-E$ 的所有特征值,进而求得行列式.
>$f(x)=\frac{1}{x}-1$,则 $B^{-1}-E$ 的特征值为 $0,-\frac12, -\frac23,-\frac34$,相乘结果为 $0$,故答案为 $0$.
>[!example] 例题13
>[!example] 例题12
>设 $\boldsymbol{A}=\begin{bmatrix}-1 & 2 & 2 \\ 2&-1&-2\\2&-2&-1\end{bmatrix}$,$\boldsymbol E$ 是3阶单位矩阵则矩阵 $\boldsymbol{E}+2\boldsymbol{A}-\boldsymbol{A}^2$ 全部特征值之和是____
>[!note] 解析
>易知 $\boldsymbol A$ 的特征值为 $\lambda =1,1,-5$ ,令 $f(x)=-x^2+2x+1$
>$f(\boldsymbol A)$ 的特征值 $\lambda'=f(\lambda)=(1+2\lambda-\lambda^2)=2,2,-34$,则答案为 $2+2-34=-30$
>[!example] [[线代2022秋A|2022]]例题14
>[!example] [[线代2022秋A|2022]]例题13
已知 $n$ 阶方阵$\boldsymbol{A}$与$\boldsymbol{B}$相似,$\boldsymbol{C}$与$\boldsymbol{D}$相似,则下列命题中正确的是【】
A. $\boldsymbol{A}+\boldsymbol{C}$与$\boldsymbol{B}+\boldsymbol{D}$相似.
B. $\boldsymbol{AC}$与$\boldsymbol{BD}$相似.
@ -471,7 +452,7 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
>转置不能作为有理式的一部分!
##### 3. 针对“本质”设问
相似大题在设问时,往往回归“特征值”“相似”的本源,用特征多项式求解特征值,并应用特征值的性质; 小题偶有考察相关基本性质的题.
>[!example] 例题15
>[!example] 例题14
>$n$ 阶方阵 $\boldsymbol A$ 有 $n$ 个不同的特征值是 $\boldsymbol A$ 与对角阵相似的 $\qquad\qquad\qquad$【$\qquad$】
>A.充分必要条件$\qquad\qquad\qquad\qquad\qquad$B.充分不必要条件
>C.必要不充分条件$\qquad\qquad\qquad\qquad\quad$D.既不充分也不必要条件
@ -491,7 +472,7 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
所以,“有 $n$ 个不同特征值”不是必要条件。
综上,$n$ 阶方阵 $A$ 有 $n$ 个不同特征值是其可对角化的**充分不必要条件**。
>[!example] [[线代2023秋A|2023]]例题16
>[!example] [[线代2023秋A|2023]]例题15
>设矩阵 $A=\begin{bmatrix}3&1&2\\0&a&0\\2&b&3\end{bmatrix}$ 仅有两个相异特征值,且 $A$ 相似于对角矩阵,求 $a,b$ 并求可逆矩阵 $P$,使得$P^{-1}AP$ 为对角矩阵.
>[!note] 解析
@ -507,7 +488,7 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
> 而 $(5E-A)\boldsymbol x=\boldsymbol 0$,即$\begin{bmatrix}-2&-1&-2\\0&4&0\\-2&b&-2\end{bmatrix}\boldsymbol x=\boldsymbol 0$,对应的特征向量是 $(1,0,1)^\mathrm{T}$
> 因此,$P=\begin{bmatrix}1&1&1\\-2&0&0\\0&-1&1\end{bmatrix}$.
>[!example] 例题17
>[!example] 例题16
>设 $n$ 阶方阵 $A$ 满足 $A^2 - 3A + 2E = O$ ,证明 $A$ 可相似对角化。
>[!note] 解析
@ -518,7 +499,55 @@ D. $\boldsymbol{A}^\text{T}+\boldsymbol{A}$与$\boldsymbol{B}^\text{T}+\boldsymb
>$\therefore \text{dim}N(A-2E)+\text{dim}N( A - E) = n$
>即特征值 $2$ 和特征值 $1$ 的几何重数之和为 $n$(或者一个不是特征值而另一个几何重数是 $n$),而代数重数不小于几何重数,所以两个特征值的几何重数与代数重数只能相等,否则两个特征值的代数重数之和就会大于 $n$ ,这是不可能的。于是 $A$ 可相似对角化。
>[!example] 例题17
>设 $\boldsymbol A$ 为 $n$ 阶方阵,证明 $\boldsymbol A^2=\boldsymbol A$ 的充分必要条件是 $\text{rank}\boldsymbol A+\text{rank}(\boldsymbol A-\boldsymbol E)=n$.
>[!note] 证明:
>必要性:若 $\boldsymbol A^2=\boldsymbol A$,则 $\boldsymbol A^2-\boldsymbol A=\boldsymbol A(\boldsymbol A-\boldsymbol E)=\boldsymbol O$, 由秩的不等式知 $\text{rank}(\boldsymbol A)+\text{rank}(\boldsymbol A-\boldsymbol E)\le n$, 又有 $\text{rank}(\boldsymbol A)+\text{rank}(\boldsymbol A-\boldsymbol E)\ge\text{rank}(\boldsymbol A-(\boldsymbol A-\boldsymbol E))=n$, 故 $\text{rank}(\boldsymbol A)+\text{rank}(\boldsymbol A-\boldsymbol E)=n.$
>充分性:若 $\text{rank}\boldsymbol A+\text{rank}(\boldsymbol A-\boldsymbol E)=n$,设 $\text{rank}\boldsymbol A=r,\text{rank}(\boldsymbol A-\boldsymbol E)=n-r.$
>考虑齐次线性方程组 $\boldsymbol A \boldsymbol x=\boldsymbol 0$ 和 $(\boldsymbol A-\boldsymbol E)\boldsymbol x=\boldsymbol 0$, 则前一方程组解空间的维数是 $n-r$, 后一方程组解空间的维数是 $r$, 故 $0$ 和 $1$ 是矩阵 $\boldsymbol A$ 的特征值,且几何重数分别为 $r$ 和 $n-r$,从而代数重数也必须分别是 $r$ 和 $n-r$, 否则会导致代数重数之和大于 $n$. 所以 $\boldsymbol A$ 的特征值只能是 $0$ 或 $1$,于是存在可逆矩阵 $\boldsymbol P$,使得 $\boldsymbol P^{-1}\boldsymbol A\boldsymbol P=\begin{bmatrix}\boldsymbol E_r&\\ & \boldsymbol O_{n-r}\end{bmatrix}$.于是 $$\begin{aligned}\boldsymbol P^{-1}\boldsymbol A^2\boldsymbol P=(\boldsymbol P^{-1}\boldsymbol A\boldsymbol P)^2=&\left(\begin{bmatrix}\boldsymbol E_r&\\ & \boldsymbol O_{n-r}\end{bmatrix}\right)^2=\begin{bmatrix}\boldsymbol E_r&\\ & \boldsymbol O_{n-r}\end{bmatrix}=\boldsymbol P^{-1}\boldsymbol A\boldsymbol P\\&\implies \boldsymbol A^2=\boldsymbol A\end{aligned}.$$
##### 4. 矩阵转置自乘及相关的同解问题
>[!hint] 相关知识点
>$\mathrm{rank}(A^\mathrm T A)=\mathrm{rank}A$ $A^\mathrm T Ax=\boldsymbol0$ 与 $Ax=\boldsymbol0$ 同解. 证明方法可参考例题18
>利用这个关键点可以巧妙求解矩阵转置自乘的同解问题.
>[!example] 例题18
>设 $A$ 是 $m\times n$ 实矩阵, $\beta \neq 0$ 是 $m$ 维实列向量,证明:
> (1) $\mathrm{rank}A=\mathrm{rank}(A^\mathrm{T}A)$ .
> (2) 线性方程组 $A^\mathrm{T}Ax = A^\mathrm{T}\beta$ 有解.
>[!note] 解析
>(1)
> 对于方程组$Ax=0$ (a)和 $A^\mathrm{T}Ax=0$ (b)b的解空间一定包含a的解空间
>而方程b两边同时乘以$x^\mathrm{T}$,得 $x^\mathrm{T}A^\mathrm{T}Ax=0$ ,即 $(x^\mathrm{T}A^\mathrm{T})(Ax)=0 \to Ax=0$
>所以a的解空间包含b的解空间
>所以a,b同解所以$\mathrm{rank}A=\mathrm{rank}{A^\mathrm{T}A}$
>(2)
>$A^\mathrm{T}Ax=A^\mathrm{T}\beta \iff \mathrm{rank}(A^\mathrm{T}A)=\mathrm{rank}(\begin{bmatrix}A^\mathrm{T}A&A^\mathrm{T}\beta\end{bmatrix})$
>而由(1)的结论得等式左边 $\mathrm{rank}(A^\mathrm{T}A)=\mathrm{rank}A$
>等式右边 $\mathrm{rank}(\begin{bmatrix}A^\mathrm{T}A&A^\mathrm{T}\beta\end{bmatrix})\ge \mathrm{rank}A^\mathrm{T}A=\mathrm{rank}A$
>又$\mathrm{rank}(A^\mathrm{T}\begin{bmatrix}A&\beta\end{bmatrix})\le \min{(\mathrm{rank}A^\mathrm{T},\ \mathrm{rank}\begin{bmatrix}A&\beta\end{bmatrix})}=\mathrm{rank}A$
>所以$\mathrm{rank}(\begin{bmatrix}A^\mathrm{T}A&A^\mathrm{T}\beta\end{bmatrix})=\mathrm{rank}A$
>故 $\mathrm{rank}(A^\mathrm{T}A)=\mathrm{rank}(\begin{bmatrix}A^\mathrm{T}A&A^\mathrm{T}\beta\end{bmatrix})$ 得证.
>[!example] 例题19
>设 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 均为实数域上的 n 维列向量,其中 m < n ,证明 $\boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 线性无关的充要条件$$\begin{vmatrix}
\boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_m \\
\boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_m \\
\vdots & \vdots & & \vdots \\
\boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_m
\end{vmatrix}
\neq 0$$
>[!note] **证明:**
设矩阵$B=\begin{bmatrix}\boldsymbol{\beta}_1\ \boldsymbol{\beta}_2\cdots\ \boldsymbol{\beta}_m\end{bmatrix}$,则$$B^\mathrm TB=\begin{bmatrix}\boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_1^\mathrm{T}\boldsymbol{\beta}_m \\
\boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_2^\mathrm{T}\boldsymbol{\beta}_m \\
\vdots & \vdots & & \vdots \\
\boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_1 & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_2 & \dots & \boldsymbol{\beta}_m^\mathrm{T}\boldsymbol{\beta}_m\end{bmatrix}.$$考虑线性方程组$B^\mathrm{T}B\boldsymbol{x}=\boldsymbol{0}$和$B\boldsymbol{x}=\boldsymbol{0}$.下证这两个线性方程组同解.
i若$B\boldsymbol{y}=\boldsymbol{0}$,则$B^\mathrm{T}B\boldsymbol{y}=B^\mathrm{T}\boldsymbol{0}=\boldsymbol{0}$,故$N(B)\subseteq N(B^\mathrm{T}B)$
ii若$B^\mathrm{T}B\boldsymbol{y}=\boldsymbol{0}$,两边左乘$\boldsymbol{y}^\mathrm{T}$得$\boldsymbol y^\mathrm{T}B^\mathrm{T}B\boldsymbol y=(B\boldsymbol y)^\mathrm{T}B\boldsymbol y=\langle B\boldsymbol y,B \boldsymbol y\rangle=0$,故$B\boldsymbol y=\boldsymbol0$,从而$N(B^\mathrm{T}B)\subseteq N(B)$.
综上,$N(B^\mathrm{T}B)=N(B)$,即线性方程组$B^\mathrm{T}B\boldsymbol{x}=\boldsymbol{0}$和$B\boldsymbol{x}=\boldsymbol{0}$同解.
而 $|B^\mathrm{T}B|\neq0\Leftrightarrow$方程$B^\mathrm{T}B\boldsymbol x=\boldsymbol 0$有唯一零解$\Leftrightarrow B\boldsymbol x=\boldsymbol 0$有唯一零解$\Leftrightarrow \boldsymbol{\beta}_1, \boldsymbol{\beta}_2, \dots, \boldsymbol{\beta}_m$ 线性无关.证毕.
# Trivia
### 证明方阵可交换
#### **通用解题框架**$AB = kA + lB$ 型等式证明 $AB=BA$
@ -537,7 +566,7 @@ $AB - kA - lB + klE = BA - lB - kA + klE$
两边消去相同项$-kA - lB + klE$ ,直接得到:
$AB = BA$
>[!example] 例题18
>[!example] 例题20
>设 $A, B$ 是 3 阶矩阵,$AB = 2A - B$,如果 $\lambda_1, \lambda_2, \lambda_3$ 是 $A$ 的 3 个不同特征值。证明:
(1) $AB = BA$
(2) 存在可逆矩阵 $P$,使得 $P^{-1}AP$ 与 $P^{-1}BP$ 均为对角矩阵。
@ -557,7 +586,7 @@ $AB = BA$
> 与对角矩阵可交换的矩阵必为对角矩阵
> 证毕
>[!example] 例题19
>[!example] 例题21
设 $n$ 阶方阵 $A, B$ 满足 $AB = A + B$。
1证明 $A - E$ 可逆;
2证明 $AB = BA$

Loading…
Cancel
Save