背景:特徵值與特徵向量
對一個 $n \times n$ 矩陣 $A$,如果存在非零向量 $\mathbf{v}$ 和實數(或複數) $\lambda$,使得:
$$
A\mathbf{v} = \lambda \mathbf{v}
$$
其中:
- $\lambda$:特徵值 (eigenvalue)
- $\mathbf{v}$:特徵向量 (eigenvector)
代數重數(Algebraic Multiplicity)
定義
某個特徵值 $\lambda$ 的 代數重數 是:
$\lambda$ 在特徵多項式中的根出現的次數
特徵多項式
$$
p(\lambda) = \det(A - \lambda I)
$$
如果:
$$
p(\lambda) = (\lambda_1 - \lambda)^{m_1} (\lambda_2 - \lambda)^{m_2} \cdots (\lambda_k - \lambda)^{m_k}
$$
那麼每個 $m_i$ 就是對應特徵值 $\lambda_i$ 的 代數重數
定義
對一個 $m \times n$ 的矩陣 $A$,我們定義它的 零空間(Null space) 為:
$$
\text{Null}(A) = {\mathbf{v} \in V : A\mathbf{v} = \mathbf{0}}
$$
也就是所有能讓 $A\mathbf{v}=0$ 的向量集合
什麼是 Span?
線性生成空間(Span) 是線性代數中一個核心概念,它描述了給定向量集合能夠「生成」的所有可能向量的集合
定義
設 $S = {\mathbf{v}_1, \mathbf{v}_2, \ldots, \mathbf{v}_k}$ 是向量空間 $V$ 中的一個向量集合,則 $S$ 的 span 定義為:
$$\text{span}(S) = \text{span}\{\mathbf{v}_1, \mathbf{v}_2, \ldots, \mathbf{v}_k\} = \{c_1\mathbf{v}_1 + c_2\mathbf{v}_2 + \cdots + c_k\mathbf{v}_k : c_1, c_2, \ldots, c_k \in \mathbb{R}\}$$換句話說,$\text{span}(S)$ 是所有 $S$ 中向量的線性組合所構成的集合
定義
對於 $n \times n$ 實矩陣 $Q$,如果滿足:
$$Q^T Q = Q Q^T = I$$
其中 $I$ 是 $n \times n$ 單位矩陣,則稱 $Q$ 為正交矩陣
例子
$$ Q_1 = \begin{bmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{bmatrix} $$ $$ Q_2 = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix} $$ $$ Q_3 = \begin{bmatrix} \frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \\ -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} \end{bmatrix} $$定義
對於矩陣 $A$,其轉置矩陣表示為 $A^T$,其中:
$$A_{ij}^T = A_{ji}$$
換句話說,原矩陣的第 $i$ 行第 $j$ 列元素,在轉置矩陣中變成第 $j$ 行第 $i$ 列元素