電子商務(wù)網(wǎng)站建設(shè)的展望參考網(wǎng)是合法網(wǎng)站嗎?
設(shè) λ 0 \lambda_0 λ0? 是 A A A 的特征值,則 λ 0 \lambda_0 λ0? 的代數(shù)重?cái)?shù) ≥ \geq ≥ 幾何重?cái)?shù)
證明
假設(shè) A A A 的特征值 λ 0 \lambda_0 λ0? 對(duì)應(yīng)的特征向量有 q 維,記為 α 1 , . . . , α q \alpha_1, ... , \alpha_q α1?,...,αq?,有
A α i = λ 0 α i , i = 1 , . . . , q A\alpha_i = \lambda_0\alpha_i, i = 1, ... , q Aαi?=λ0?αi?,i=1,...,q
以它們作為 n 維向量空間的 q q q 個(gè)基底向量,再擴(kuò)充它們,將 n 維向量空間的整個(gè)基表示為 α 1 , . . . , α q , . . . , α n \alpha_1, ..., \alpha_q, ... , \alpha_n α1?,...,αq?,...,αn?.
記矩陣 B = [ α 1 , . . . , α q , . . . α n ] B=[\alpha_1, ..., \alpha_q,... \alpha_n] B=[α1?,...,αq?,...αn?] ,有 B B B 可逆。
A B = A [ α 1 , . . , α q , . . . , α n ] = [ λ 0 α 1 , . . . , λ 0 α q , . . . , A α n ] = [ α 1 , . . , α q , . . . , α n ] [ λ 0 ? 0 ? ? ? ? ? ? ? ? 0 ? λ 0 ? ? ? 0 ? 0 ? ? ? ? ? ? ? 0 ? 0 ? ? ? ] A B = B [ λ 0 E A 12 O A 22 ] \begin{align*} AB &= A\begin{bmatrix} \alpha_1,..,\alpha_q,...,\alpha_n \end{bmatrix}= \begin{bmatrix} \lambda_0\alpha_1,...,\lambda_0\alpha_q,...,A\alpha_n \end{bmatrix}\\ &= \begin{bmatrix} \alpha_1,..,\alpha_q,...,\alpha_n \end{bmatrix} \begin{bmatrix} \lambda_0 & \cdots & 0 & * & \cdots & *\\ \vdots & \ddots & \vdots & \vdots & & \vdots \\ 0 & \cdots & \lambda_0 & * & \cdots & *\\ 0 & \cdots & 0 & * & \cdots & *\\ \vdots & & \vdots & \vdots & & \vdots \\ 0 & \cdots &0 & * & \cdots & *\\ \end{bmatrix}\\ AB&= B \begin{bmatrix} \lambda_0E & A_{12} \\ \mathcal{O} & A_{22} \end{bmatrix} \end{align*} ABAB?=A[α1?,..,αq?,...,αn??]=[λ0?α1?,...,λ0?αq?,...,Aαn??]=[α1?,..,αq?,...,αn??] ?λ0??00?0???????0?λ0?0?0???????????????????? ?=B[λ0?EO?A12?A22??]?
又B可逆,則
B ? 1 A B = [ λ 0 E A 12 O A 22 ] = C B^{-1}AB = \begin{bmatrix} \lambda_0E & A_{12} \\ \mathcal{O} & A_{22} \end{bmatrix} = C B?1AB=[λ0?EO?A12?A22??]=C
即 A A A 相似于 C
由此計(jì)算 A A A 的特征多項(xiàng)式
∣ λ E ? A ∣ = ∣ λ E ? C ∣ = ∣ ( λ ? λ 0 ) E q ? A 12 O λ E n ? q ? A 22 ∣ = ∣ ( λ ? λ 0 ) q ∣ λ E n ? q ? A 22 ∣ |\lambda E-A| = |\lambda E - C| =\left | \begin{matrix} (\lambda - \lambda_0) E_q & - A_{12} \\ \mathcal{O} & \lambda E_{n-q} - A_{22} \\ \end{matrix} \right | =|(\lambda - \lambda_0)^q |\lambda E_{n-q} - A_{22}| ∣λE?A∣=∣λE?C∣= ?(λ?λ0?)Eq?O??A12?λEn?q??A22?? ?=∣(λ?λ0?)q∣λEn?q??A22?∣
由此可知該 λ \lambda λ 的n次多項(xiàng)式方程至少有 q 個(gè)根為 λ 0 \lambda_0 λ0?,至于有沒有更多的根為 λ 0 \lambda_0 λ0?,取決于后面的多項(xiàng)式 ∣ λ E n ? q ? A 22 ∣ |\lambda E_{n-q} - A_{22}| ∣λEn?q??A22?∣ 是否出現(xiàn) ( λ ? λ 0 ) (\lambda - \lambda_0) (λ?λ0?)。