【408直通车】（考研数一、二、三合集）线性代数公式全覆盖

线性代数

行列式:

∣ A B ∣ = ∣ A ∣ ∣ B ∣ = ∣ B ∣ ∣ A ∣ = ∣ B A ∣ |AB| = |A||B| = |B||A| = |BA| ∣AB∣=∣A∣∣B∣=∣B∣∣A∣=∣BA∣
∣ k A ∣ = k n ∣ A ∣ |kA| = k^n |A| ∣kA∣=kn∣A∣
∣ A T ∣ = ∣ A ∣ |A^T| = |A| ∣AT∣=∣A∣
∣ A − 1 ∣ = ∣ A ∣ − 1 |A^{-1}| = |A|^{-1} ∣A−1∣=∣A∣−1
(若 A A A 可逆) ∣ A ∗ ∣ = ∣ A ∣ n − 1 |A^*| = |A|^{n-1} ∣A∗∣=∣A∣n−1 (当 n ≥ 2 n \geq 2 n≥2)
∣ A O O B ∣ \begin{vmatrix} A & O \\ O & B \end{vmatrix} AOOB = ∣ A O C B ∣ \begin{vmatrix} A & O \\ C & B \end{vmatrix} ACOB = ∣ A C O B ∣ \begin{vmatrix} A & C \\ O & B \end{vmatrix} AOCB = |A||B|
∣ O A m × m B n × n O ∣ = ∣ C A m × m B n × n O ∣ = ∣ O A m × m B n × n C ∣ = ( − 1 ) m n ∣ A ∣ ∣ B ∣ \begin{vmatrix} O & A_{m\times m} \\ B_{n\times n} & O \end{vmatrix} = \begin{vmatrix} C & A_{m\times m} \\ B_{n\times n} & O \end{vmatrix} = \begin{vmatrix} O & A_{m\times m} \\ B_{n\times n} & C \end{vmatrix} = (-1)^{mn} |A||B| OBn×nAm×mO = CBn×nAm×mO = OBn×nAm×mC =(−1)mn∣A∣∣B∣
范德蒙行列式 D n = ∏ 1 < j < i < n ( x i − x j ) D_n = \prod_{1<j<i<n} (x_i - x_j) Dn=∏1<j<i<n(xi−xj)
设 λ i \lambda_i λi ( i = 1 , 2 , ... , n i = 1, 2, \ldots , n i=1,2,...,n) 是矩阵 A A A 的 n n n 个特征值，则 ∣ A ∣ = ∏ i = 1 n λ i |A| = \prod_{i=1}^{n} \lambda_i ∣A∣=∏i=1nλi
证明 ∣ A ∣ = 0 |A| = 0 ∣A∣=0 的方法：
- ∣ A ∣ = − ∣ A ∣ |A| = -|A| ∣A∣=−∣A∣；反证法；利用秩，证明 r ( A ) < n r(A) < n r(A)<n
- 构造齐次方程组 A x = 0 Ax = 0 Ax=0，证明其有非零解
- 证明 0 0 0 是其特征值

方阵性质：

A T A − 1 A ∗ A^T A^{-1} A^* ATA−1A∗ 之间的关系：
- A^T
  - ( A B ) T = B T A T (AB)^T = B^T A^T (AB)T=BTAT
  - ( A ± B ) T = A T ± B T (A \pm B)^T = A^T \pm B^T (A±B)T=AT±BT
- A^{-1}
  - ( A B ) − 1 = B − 1 A − 1 (AB)^{-1} = B^{-1} A^{-1} (AB)−1=B−1A−1
  - ( k A ) − 1 = 1 k A − 1 (kA)^{-1} = \frac{1}{k} A^{-1} (kA)−1=k1A−1
- A^*
  - ( A B ) ∗ = B ∗ A ∗ (AB)^* = B^* A^* (AB)∗=B∗A∗
  - ( k A ) ∗ = k n − 1 A ∗ (kA)^* = k^{n-1}A^* (kA)∗=kn−1A∗ (当 n ≥ 2 n \geq 2 n≥2)
  - ( A ∗ ) ∗ = ∣ A ∣ n − 2 A (A^*)^* = |A|^{n-2}A (A∗)∗=∣A∣n−2A (当 n ≥ 3 n \geq 3 n≥3)
( A − 1 ) T = ( A T ) − 1 ({A^{-1}})^T = ({A^T})^{-1} (A−1)T=(AT)−1; ( A − 1 ) ∗ = ( A ∗ ) − 1 ({A^{-1}})^* = ({A^*})^{-1} (A−1)∗=(A∗)−1； ( A ∗ ) T = ( A T ) ∗ ({A^*})^T = ({A^T})^* (A∗)T=(AT)∗; ( A n ) − 1 = ( A − 1 ) n (A^n)^{-1} = ({A^{-1}})^n (An)−1=(A−1)n
A A ∗ = A ∗ A = ∣ A ∣ E AA^* = A^*A = |A|E AA∗=A∗A=∣A∣E
若 A A A 可逆， ∣ A ∗ ∣ = ∣ A ∣ n − 1 |A^*| = |A|^{n-1} ∣A∗∣=∣A∣n−1 (当 n ≥ 2 n \geq 2 n≥2)
若 A A A 可逆，则 A ∗ = ∣ A ∣ A − 1 A^* = |A|A^{-1} A∗=∣A∣A−1； A − 1 = 1 ∣ A ∣ A ∗ A^{-1} = \frac{1}{|A|}A^* A−1=∣A∣1A∗
矩阵秩的性质:
- r ( A ∗ ) = { n , r ( A ) = n 1 , r ( A ) = n − 1 0 , r ( A ) < n − 1 r(A^*) = \begin{cases} n, & r(A) = n \\ 1, & r(A) = n - 1 \\ 0, & r(A) < n - 1 \end{cases} r(A∗)=⎩ ⎨ ⎧n,1,0,r(A)=nr(A)=n−1r(A)<n−1

矩阵可逆性质：

A A A 可逆 ⇔ ∣ A ∣ ≠ 0 \Leftrightarrow |A| \neq 0 ⇔∣A∣=0 (非奇异矩阵)
⇔ r ( A ) = n \Leftrightarrow r(A) = n ⇔r(A)=n (满秩矩阵)
⇔ A \Leftrightarrow A ⇔A 的行（列）向量组线性无关
⇔ \Leftrightarrow ⇔ 齐次方程组 A x = 0 Ax = 0 Ax=0 有唯一零解
⇔ \Leftrightarrow ⇔ 对于任意 b ∈ R n b \in \mathbb{R}^n b∈Rn， A x = b Ax = b Ax=b 总有唯一解
⇔ A \Leftrightarrow A ⇔A 与单位矩阵 E E E 等价
⇔ A \Leftrightarrow A ⇔A 可表示为若干个初等矩阵的乘积
⇔ A \Leftrightarrow A ⇔A 的特征值全不为0
⇔ A T A \Leftrightarrow A^TA ⇔ATA 是正定矩阵
⇔ A \Leftrightarrow A ⇔A 的行（列）向量组是 R n \mathbb{R}^n Rn 的一组基
⇔ A \Leftrightarrow A ⇔A 是 R n \mathbb{R}^n Rn 中某两组基的过渡矩阵

矩阵秩性质：

0 ≤ r ( A m × n ) ≤ min ⁡ ( m , n ) 0 \leq r(A_{m\times n}) \leq \min(m, n) 0≤r(Am×n)≤min(m,n)
r ( A T ) = r ( A ) r({A^T}) = r(A) r(AT)=r(A)
若 A ∼ B → r ( A ) = r ( B ) A \sim B \rightarrow r(A) = r(B) A∼B→r(A)=r(B)
max ⁡ ( r ( A ) , r ( B ) ) ≤ r ( A , B ) ≤ r ( A ) + r ( B ) \max(r(A), r(B)) \leq r(A, B) \leq r(A) + r(B) max(r(A),r(B))≤r(A,B)≤r(A)+r(B)
r ( A + B ) ≤ r ( A ) + r ( B ) r(A + B) \leq r(A) + r(B) r(A+B)≤r(A)+r(B)
r ( A B ) ≤ min ⁡ ( r ( A ) , r ( B ) ) r(AB) \leq \min(r(A), r(B)) r(AB)≤min(r(A),r(B))
若 A B = 0 AB = 0 AB=0:
1. B B B 的列向量全部是齐次方程组 A X = 0 AX = 0 AX=0 的解（转置运算后的结论）
2. r ( A ) + r ( B ) ≤ n r(A) + r(B) \leq n r(A)+r(B)≤n
对于 A , B A, B A,B 均为 n n n 阶方阵，则 r ( A B ) ≥ r ( A ) + r ( B ) − n r(AB) \geq r(A) + r(B) - n r(AB)≥r(A)+r(B)−n

分块矩阵性质：

( A O O B ) − 1 = ( A − 1 O O B − 1 ) \begin{pmatrix} A & O \\ O & B \end{pmatrix}^{-1} = \begin{pmatrix} A^{-1} & O \\ O & B^{-1} \end{pmatrix} (AOOB)−1=(A−1OOB−1)
( O A B O ) − 1 = ( O B − 1 A − 1 O ) \begin{pmatrix} O & A \\ B & O \end{pmatrix}^{-1} = \begin{pmatrix} O & B^{-1} \\ A^{-1} & O \end{pmatrix} (OBAO)−1=(OA−1B−1O)
( A C O B ) − 1 = ( A − 1 − A − 1 C B − 1 O B − 1 ) \begin{pmatrix} A & C \\ O & B \end{pmatrix}^{-1} = \begin{pmatrix} A^{-1} & -A^{-1}CB^{-1} \\ O & B^{-1} \end{pmatrix} (AOCB)−1=(A−1O−A−1CB−1B−1)
( A O C B ) − 1 = ( A − 1 O − B − 1 C A − 1 B − 1 ) \begin{pmatrix} A & O \\ C & B \end{pmatrix}^{-1} = \begin{pmatrix} A^{-1} & O \\ -B^{-1}CA^{-1} & B^{-1} \end{pmatrix} (ACOB)−1=(A−1−B−1CA−1OB−1)

施密特正交化：

β 1 = α 1 \beta_1 = \alpha_1 β1=α1
β 2 = α 2 − ( α 2 , β 1 ) ( β 1 , β 1 ) β 1 \beta_2 = \alpha_2 - \frac{(\alpha_2, \beta_1)}{(\beta_1, \beta_1)}\beta_1 β2=α2−(β1,β1)(α2,β1)β1
β 3 = α 3 − ( α 3 , β 1 ) ( β 1 , β 1 ) β 1 − ( α 3 , β 2 ) ( β 2 , β 2 ) β 2 \beta_3 = \alpha_3 - \frac{(\alpha_3, \beta_1)}{(\beta_1, \beta_1)}\beta_1 - \frac{(\alpha_3, \beta_2)}{(\beta_2, \beta_2)}\beta_2 β3=α3−(β1,β1)(α3,β1)β1−(β2,β2)(α3,β2)β2

向量组性质：

x维向量常常特指x维列向量

若 α 1 , α 2 , ... , α n α_1, α_2, \ldots, α_n α1,α2,...,αn 线性无关且 α 1 , α 2 , ... , α n , β α_1, α_2, \ldots, α_n, β α1,α2,...,αn,β 线性相关 ⇔ \Leftrightarrow ⇔ β β β 可以由 α 1 , α 2 , ... , α n α_1, α_2, \ldots, α_n α1,α2,...,αn 唯一线性表示
β β β 可以由 α 1 , α 2 , ... , α n α_1, α_2, \ldots, α_n α1,α2,...,αn 线性表示 ⇔ \Leftrightarrow ⇔ r ( α 1 , α 2 , ... , α n ) = r ( α 1 , α 2 , ... , α n , β ) r(α_1, α_2, \ldots, α_n) = r(α_1, α_2, \ldots, α_n, β) r(α1,α2,...,αn)=r(α1,α2,...,αn,β)
部分相关→整体相关；整体无关→部分无关。
- n n n 个 n n n 维向量 α 1 , α 2 , ... , α n α_1, α_2, \ldots, α_n α1,α2,...,αn 线性无关 ⇔ \Leftrightarrow ⇔ ∣ α 1 , α 2 , ... , α n ∣ ≠ 0 |α_1, α_2, \ldots, α_n| \neq 0 ∣α1,α2,...,αn∣=0
- n n n 个 n n n 维向量 α 1 , α 2 , ... , α n α_1, α_2, \ldots, α_n α1,α2,...,αn 线性相关 ⇔ \Leftrightarrow ⇔ ∣ α 1 , α 2 , ... , α n ∣ = 0 |α_1, α_2, \ldots, α_n| = 0 ∣α1,α2,...,αn∣=0
- n + 1 n+1 n+1 个 n n n 维向量线性相关
若 α 1 , α 2 , ... , α n α_1, α_2, \ldots, α_n α1,α2,...,αn 线性无关，则添加分量后仍线性无关；一组向量线性相关，去掉某些分量后仍线性相关.
对于矩阵 A n × m A_{n \times m} An×m(n个（方程/m维行向量）,m个（未知数/n维列向量）)$
- 若 n > m n>m n>m ( 方程个数 > 未知数个数 ) (方程个数>未知数个数) (方程个数>未知数个数)
  - 若 r ( A ) = r = n r(A) = r = n r(A)=r=n ⇔ \Leftrightarrow ⇔ A A A 的行向量组线性无关
  - 若 r ( A ) = r < n r(A) = r < n r(A)=r<n ⇔ \Leftrightarrow ⇔ A A A 的行向量组线性相关
  - 若 r ( A ) = r = m r(A) = r = m r(A)=r=m ⇔ \Leftrightarrow ⇔ A A A 的列向量组线性无关 ⇔ \Leftrightarrow ⇔ 齐次方程组 A x = 0 Ax = 0 Ax=0 只有零解
  - 若 r ( A ) = r < m r(A) = r < m r(A)=r<m ⇔ \Leftrightarrow ⇔ A A A 的列向量组线性相关 ⇔ \Leftrightarrow ⇔ 齐次方程组 A x = 0 Ax = 0 Ax=0 有非零解
- 若 n < m n<m n<m ( 方程个数 < 未知数个数 ) (方程个数<未知数个数) (方程个数<未知数个数)
  - 如 n + 1 n+1 n+1 个 n n n 维(列)向量线性相关 ⇔ \Leftrightarrow ⇔ 齐次方程组 A x = 0 Ax = 0 Ax=0 有非零解
- 若 n = m n=m n=m ( 方程个数 = 未知数个数 ) (方程个数=未知数个数) (方程个数=未知数个数)
  - n个（未知数/n维列向量）线性无关 ⇔ \Leftrightarrow ⇔ ∣ α 1 , α 2 , ... , α n ∣ ≠ 0 |α_1, α_2, \ldots, α_n| \neq 0 ∣α1,α2,...,αn∣=0 ⇔ \Leftrightarrow ⇔ 齐次方程组 A x = 0 Ax = 0 Ax=0 只有零解
  - n个（未知数/n维列向量）线性相关 ⇔ \Leftrightarrow ⇔ ∣ α 1 , α 2 , ... , α n ∣ = 0 |α_1, α_2, \ldots, α_n| = 0 ∣α1,α2,...,αn∣=0 ⇔ \Leftrightarrow ⇔ 齐次方程组 A x = 0 Ax = 0 Ax=0 有非零解
A A A 能由 B B B 线性表示 ⇔ \Leftrightarrow ⇔ A X = B AX = B AX=B 有解 ⇔ \Leftrightarrow ⇔ r ( A ) = r ( A , B ) r(A) = r(A, B) r(A)=r(A,B) ⇒ \Rightarrow ⇒ r ( A ) ≤ r ( B ) r(A) \leq r(B) r(A)≤r(B)
A B AB AB 等价 ⇔ \Leftrightarrow ⇔ r ( A ) = r ( B ) = r ( A , B ) r(A) = r(B) = r(A, B) r(A)=r(B)=r(A,B)

基础解系与等价

若 η 1 , η 2 , ... , η t \eta_1, \eta_2, \ldots, \eta_t η1,η2,...,ηt 是 A x = 0 Ax = 0 Ax=0 的基础解系，则：
- η 1 , η 2 , ... , η t \eta_1, \eta_2, \ldots, \eta_t η1,η2,...,ηt 是 A x = 0 Ax = 0 Ax=0 的解。
- η 1 , η 2 , ... , η t \eta_1, \eta_2, \ldots, \eta_t η1,η2,...,ηt 线性无关。
- A x = 0 Ax = 0 Ax=0 的任一解都可以由 η 1 , η 2 , ... , η t \eta_1, \eta_2, \ldots, \eta_t η1,η2,...,ηt 线性表出。
- k 1 η 1 + k 2 η 2 + ... + k t η t k_1\eta_1 + k_2\eta_2 + \ldots + k_t\eta_t k1η1+k2η2+...+ktηt 是 A x = 0 Ax = 0 Ax=0 的通解， k 1 , k 2 , ... , k t k_1, k_2, \ldots, k_t k1,k2,...,kt 为任意常数。
若 r ( A m × n ) = n r(A_{m \times n}) = n r(Am×n)=n，则 A x = 0 Ax = 0 Ax=0 只有零解；
若 r ( A m × n ) < n r(A_{m \times n}) < n r(Am×n)<n，则 A x = 0 Ax = 0 Ax=0 有非零解；
对于 A A A 为 m × n m \times n m×n 矩阵，若 r ( A m × n ) = m r(A_{m \times n}) = m r(Am×n)=m，则 A x = b Ax = b Ax=b 有解。
非齐次线性方程组 A x = b Ax = b Ax=b 无解 ⇔ r ( A ) + 1 = r ( A ∣ b ) ( 只增广了一列 ) ⇔ b \Leftrightarrow r(A) + 1 = r({A|b}) (只增广了一列)\Leftrightarrow b ⇔r(A)+1=r(A∣b)(只增广了一列)⇔b 不能由 A A A 的列向量 α 1 , α 2 , ... , α n \alpha_1, \alpha_2, \ldots, \alpha_n α1,α2,...,αn 线性表示。
矩阵行等价： A ∼ B ⇔ P A = B ⇔ A x = 0 , B x = 0 A \sim B \Leftrightarrow PA = B \Leftrightarrow Ax = 0, Bx = 0 A∼B⇔PA=B⇔Ax=0,Bx=0 同解。
矩阵列等价： A ∼ B ⇔ A Q = B A \sim B \Leftrightarrow AQ = B A∼B⇔AQ=B；
矩阵等价： A ∼ B ⇔ P A Q = B A \sim B \Leftrightarrow PAQ = B A∼B⇔PAQ=B。
若 A m × s B s × n = C m × n A_{m \times s}B_{s \times n} = C_{m \times n} Am×sBs×n=Cm×n，则：
- C C C 的列向量能由 A A A 的列向量线性表示， B B B 为系数矩阵；
- C C C 的行向量能由 B B B 的行向量线性表示， A T A^T AT 为系数矩阵。
若 A B x = 0 ABx = 0 ABx=0 只有零解，则 B x = 0 Bx = 0 Bx=0 只有零解；
若 B x = 0 Bx = 0 Bx=0 有非零解，则 A B x = 0 ABx = 0 ABx=0 一定存在非零解。
对于矩阵 A m × n A_{m \times n} Am×n，存在 Q n × m Q_{n \times m} Qn×m，使得 A Q = E m ⇔ r ( A ) = m AQ = E_m \Leftrightarrow r(A) = m AQ=Em⇔r(A)=m， Q Q Q 的列向量线性无关。
对于矩阵 A m × n A_{m \times n} Am×n，存在 P n × m P_{n \times m} Pn×m，使得 P A = E n ⇔ r ( A ) = n PA = E_n \Leftrightarrow r(A) = n PA=En⇔r(A)=n， P P P 的行向量线性无关。

线性相关定义：

α 1 , α 2 , ... , α s 线性相关 \alpha_1, \alpha_2, \ldots, \alpha_s \text{ 线性相关} α1,α2,...,αs 线性相关
⇔ ∃ k 1 , k 2 , ... , k s 不全为零 0 ，使得 k 1 α 1 + k 2 α 2 + ⋯ + k s α s = 0 \Leftrightarrow \exists \, k_1, k_2, \ldots, k_s 不全为零0， \text{ 使得 } k_1\alpha_1 + k_2\alpha_2 + \cdots + k_s\alpha_s = 0 ⇔∃k1,k2,...,ks不全为零0，使得 k1α1+k2α2+⋯+ksαs=0

矩阵表示与非零解的存在性：
⇔ ( α 1 , α 2 , ... , α s ) ( x 1 x 2 ⋮ x s ) = 0 有非零解 , i.e., A x = 0 有非零解 ; \Leftrightarrow (\alpha_1, \alpha_2, \ldots, \alpha_s) \begin{pmatrix} x_1 \\ x_2 \\ \vdots \\ x_s \end{pmatrix} = 0 \text{ 有非零解}, \quad \text{i.e.,} \quad A\mathbf{x} = 0 \text{ 有非零解}; ⇔(α1,α2,...,αs) x1x2⋮xs =0 有非零解,i.e.,Ax=0 有非零解;

系数矩阵秩与未知数的关系：
⇔ rank ( α 1 , α 2 , ... , α s ) < s , 即矩阵 A 的秩小于未知数的个数 ; \Leftrightarrow \text{rank}(\alpha_1, \alpha_2, \ldots, \alpha_s) < s, \quad \text{即矩阵} A \text{的秩小于未知数的个数}; ⇔rank(α1,α2,...,αs)<s,即矩阵A的秩小于未知数的个数;

m × n m \times n m×n 矩阵 A A A 的秩与齐次线性方程组解集的秩：
若矩阵 A 的秩为 r , 则 n 元齐次线性方程组 A x = 0 的解集 S 的秩为: r ( S ) = n − r \text{若矩阵} A \text{的秩为} r, \quad \text{则} n \text{元齐次线性方程组} A\mathbf{x} = 0 \text{ 的解集} S \text{ 的秩为:} \\ r(S) = n - r 若矩阵A的秩为r,则n元齐次线性方程组Ax=0 的解集S 的秩为:r(S)=n−r

线性方程组同解定理的矩阵表述：
A x = 0 与 B x = 0 同解 ⇔ R ( A ) = R ( B ) . A\mathbf{x} = 0 \text{ 与 } B\mathbf{x} = 0 \text{ 同解} \Leftrightarrow R(A) = R(B). Ax=0 与 Bx=0 同解⇔R(A)=R(B).

以及：
A x = 0 与 B x = 0 同解 ⇔ R ( A ) = R ( B ) = R [ A − B ] A\mathbf{x} = 0 \text{ 与 } B\mathbf{x} = 0 \text{ 同解} \Leftrightarrow R(A) = R(B) = R \begin{bmatrix} A \\-\\ B \end{bmatrix} Ax=0 与 Bx=0 同解⇔R(A)=R(B)=R A−B

特征值与特征向量：

特征值与矩阵 A A A 的关系： λ \lambda λ 是矩阵 A A A 的特征值，满足 A v = λ v Av = \lambda v Av=λv，其中 v v v 是对应的特征向量。
针对不同的运算或函数，特征值的相应变化：

矩阵	A A A	k A kA kA	f ( A ) f(A) f(A)	A n A^n An	A − 1 A^{-1} A−1	A ∗ A^* A∗	P − 1 A P P^{−1}AP P−1AP	A T A^T AT
特征值	λ \lambda λ	k λ k\lambda kλ	f ( λ ) f(\lambda) f(λ)	λ n \lambda^n λn	λ − 1 \lambda^{-1} λ−1	丨 A 丨 λ \frac{丨A丨}{\lambda} λ丨A丨	λ \lambda λ	λ \lambda λ
特征向量	α \alpha α	α \alpha α	α \alpha α	α \alpha α	α \alpha α	α \alpha α	P − 1 α P^{-1}\alpha P−1α	不确定

关于特征值和特征向量的性质：

∑ i = 1 n λ i = ∑ i = 1 n a i i = tr ( A ) \sum_{i=1}^{n} \lambda_i =\sum_{i=1}^{n} a_{ii}= \text{tr}(A) ∑i=1nλi=∑i=1naii=tr(A)， det ⁡ ( A ) = ∏ i = 1 n λ i = ∣ A ∣ \det(A) = \prod_{i=1}^{n} \lambda_i=|A| det(A)=∏i=1nλi=∣A∣
若 ∣ A ∣ ≠ 0 |A|\neq 0 ∣A∣=0，则 A A A 没有零特征值。
性质1: 不同特征值对应的特征向量线性无关。
性质2: 若 x 1 , x 2 x_1, x_2 x1,x2 是 A A A 同一特征值 λ \lambda λ 的不同特征向量，并且 k 1 x 1 + k 2 x 2 ≠ 0 k_1x_1 + k_2x_2 \neq 0 k1x1+k2x2=0，则 k 1 x 1 + k 2 x 2 k_1x_1 + k_2x_2 k1x1+k2x2 也是 A A A 的特征向量。
性质3: 若 x 1 , x 2 x_1, x_2 x1,x2 为 A A A 的不同特征值 λ 1 , λ 2 \lambda_1, \lambda_2 λ1,λ2，则 x 1 + x 2 x_1 + x_2 x1+x2 不是 A A A 的特征向量。
性质4: k k k 重特征值最多对应 k k k 个线性无关的特征向量。

相似性和矩阵运算对特征值的影响：

若 A A A 和 B B B 相似
A T ∼ B T A^T \sim B^T AT∼BT A − 1 ∼ B − 1 A^{-1} \sim B^{-1} A−1∼B−1 A ∗ ∼ B ∗ A^* \sim B^* A∗∼B∗
∣ A ∣ = ∣ B ∣ |\mathbf{A}| = |\mathbf{B}| ∣A∣=∣B∣， ∑ i = 1 n A i i = ∑ i = 1 n B i i \sum_{i=1}^{n} A_{ii} = \sum_{i=1}^{n} B_{ii} ∑i=1nAii=∑i=1nBii， rank ( A ) = rank ( B ) \text{rank}(A) = \text{rank}(B) rank(A)=rank(B)
∣ λ E − A ∣ = ∣ λ E − B ∣ | \lambda \mathbf{E} - \mathbf{A} | = | \lambda \mathbf{E} - \mathbf{B} | ∣λE−A∣=∣λE−B∣, 从而A, B 有相同的特征值

对于相似对角化过程：

求出特征值 λ 1 , λ 2 , ... , λ n \lambda_1, \lambda_2, \dots, \lambda_n λ1,λ2,...,λn；
求出对应的特征向量 α 1 , α 2 , ... , α n \alpha_1, \alpha_2, \dots, \alpha_n α1,α2,...,αn；
构造矩阵 P = [ α 1 , α 2 , ... , α n ] P = [\alpha_1, \alpha_2, \dots, \alpha_n] P=[α1,α2,...,αn]，如果 P P P 可逆，则有 P − 1 A P = Λ P^{-1}AP = \Lambda P−1AP=Λ 是对角矩阵。

实对称矩阵的性质：

实对称矩阵 A A A 总是可以对角化。
不同特征值对应的特征向量正交。
存在正交矩阵 Q Q Q 使得 Q − 1 A Q = Λ Q^{-1}AQ = \Lambda Q−1AQ=Λ （对角矩阵）。

A ∼ Λ A \sim \Lambda A∼Λ

意味着矩阵 ( A ) 可以通过相似变换对角化为对角矩阵( Λ \Lambda Λ )，这个性质可以等价地表述为：

⇔ \Leftrightarrow ⇔ rank ( λ i E − A ) = n − n i , 其中 λ i 是 n i 重特征值 \text{rank}(\lambda_i \mathbf{E} - \mathbf{A}) = n - n_i, \quad \text{其中}\ \lambda_i \text{ 是 } n_i \text{ 重特征值} rank(λiE−A)=n−ni,其中 λi 是 ni 重特征值

这意味着对于每个特征值 ( λ i \lambda_i λi )，其对应的特征空间的维数为 ( n i n_i ni )，即该特征值的代数重数等于其对应的特征子空间的维数。

⇔ \Leftrightarrow ⇔ A 有 n 个线性无关的特征向量 A \text{ 有 } n \text{ 个线性无关的特征向量} A 有 n 个线性无关的特征向量

即矩阵 ( A ) 的每个特征值都有足够的线性无关特征向量来构造一个最大可能的特征空间基底，从而可以实现对角化。

关于正定与二次型的性质：

正定与二次型：

正惯性系数 p p p，负惯性系数 q q q。 p + q = r p + q = r p+q=r，其中 r r r为二次型的秩。

实对称矩阵合同 ⟺ \iff ⟺ 他们的 p p p和 q q q相同。

f ( x 1 , x 2 , ... , x n ) = x T A x f(x_1, x_2, \ldots, x_n) = x^T Ax f(x1,x2,...,xn)=xTAx 正定
⟺ \iff ⟺ A A A的正惯性指数 p = n p = n p=n
⟺ \iff ⟺ A ≅ E A \cong E A≅E，即存在可逆阵 C C C，使得 C T A C = E C^TAC = E CTAC=E
⟺ \iff ⟺ A = D T D A = D^TD A=DTD，其中 D D D是可逆阵
⟺ \iff ⟺ A A A的全部特征值 λ i > 0 \lambda_i > 0 λi>0， i = 1 , 2 , ... , n i = 1, 2, \ldots, n i=1,2,...,n
⟺ \iff ⟺ A A A的全部顺序主子式大于零 ⟹ \implies ⟹ A A A的主对角元素大于0 ⟹ \implies ⟹ ∣ A ∣ > 0 |A| > 0 ∣A∣>0。

A A A与 B B B等价：

A A A与 B B B等价
⟺ \iff ⟺ A A A经过初等变换得到 B B B
⟺ \iff ⟺ P A Q = B PAQ = B PAQ=B，其中 P P P和 Q Q Q可逆
⟺ \iff ⟺ r ( A ) = r ( B ) r(A) = r(B) r(A)=r(B)， A A A与 B B B同型。

A A A与 B B B合同：

A A A与 B B B合同
⟺ \iff ⟺ C T A C = B C^T AC = B CTAC=B，其中 C C C可逆；

⟺ \iff ⟺ x T A x x^T Ax xTAx与 x T B x x^T Bx xTBx有相同的正、负惯性指数。

A A A与 B B B相似：

A A A与 B B B相似 ⟺ \iff ⟺ P − 1 A P = B P^{-1}AP = B P−1AP=B