115 年 國立成功大學數學系應用數學研究所《線性代數》

📄 試題原卷 免費註冊後即可對照原始考卷 PDF免費註冊

第 Problem 1 題10 分

Consider the following system of linear equations.

{x1−3x2+2x3−x4+2x5=03x1−9x2+7x3−x4+3x5=12x1−6x2+7x3+4x4−5x5=3\begin{cases} x_1 - 3x_2 + 2x_3 - x_4 + 2x_5 = 0 \\ 3x_1 - 9x_2 + 7x_3 - x_4 + 3x_5 = 1 \\ 2x_1 - 6x_2 + 7x_3 + 4x_4 - 5x_5 = 3 \end{cases}

Find the solution set SS of this linear system, including a particular solution and a basis for its homogeneous solution set SHS_H.

登入後即可作答並保存紀錄。

這一題的完整詳解

本題考查線性方程組的解集合的表示。首先將方程組寫成增廣矩陣,然後透過高斯消去法求解。

將給定的線性方程組寫成增廣矩陣:

[1−32−12∣03−97−13∣12−674−5∣3]\begin{bmatrix} 1 & -3 & 2 & -1 & 2 & | & 0 \\ 3 & -9 & 7 & -1 & 3 & | & 1 \\ 2 & -6 & 7 & 4 & -5 & | & 3 \end{bmatrix}

進行高斯消去法:
R2←R2−3R1R_2 \leftarrow R_2 - 3R_1
R3←R3−2R1R_3 \leftarrow R_3 - 2R_1

[1−32−12∣00012−3∣10036−9∣3]\begin{bmatrix} 1 & -3 & 2 & -1 & 2 & | & 0 \\ 0 & 0 & 1 & 2 & -3 & | & 1 \\ 0 & 0 & 3 & 6 & -9 & | & 3 \end{bmatrix}

R3←R3−3R2R_3 \leftarrow R_3 - 3R_2

[1−32−12∣00012−3∣100000∣0]\begin{bmatrix} 1 & -3 & 2 & -1 & 2 & | & 0 \\ 0 & 0 & 1 & 2 & -3 & | & 1 \\ 0 & 0 & 0 & 0 & 0 & | & 0 \end{bmatrix}

R1←R1−2R2R_1 \leftarrow R_1 - 2R_2

[1−30−58∣−20012−3∣100000∣0]\begin{bmatrix} 1 & -3 & 0 & -5 & 8 & | & -2 \\ 0 & 0 & 1 & 2 & -3 & | & 1 \\ 0 & 0 & 0 & 0 & 0 & | & 0 \end{bmatrix}

從簡化後的行階梯矩陣,我們可以得到以下兩個方程:
x1−3x2−5x4+8x5=−2x_1 - 3x_2 - 5x_4 + 8x_5 = -2
x3+2x4−3x5=1x_3 + 2x_4 - 3x_5 = 1

令自由變數 x2=sx_2 = s, x4=tx_4 = t, x5=ux_5 = u,其中 s,t,u∈Rs, t, u \in \mathbb{R}。
則:
x1=−2+3s+5t−8ux_1 = -2 + 3s + 5t - 8u
x3=1−2t+3ux_3 = 1 - 2t + 3u

所以,方程組的通解可以寫成向量形式:

[x1x2x3x4x5]=[−20100]+s[31000]+t[50−210]+u[−80301]\begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \\ x_5 \end{bmatrix} = \begin{bmatrix} -2 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix} + s \begin{bmatrix} 3 \\ 1 \\ 0 \\ 0 \\ 0 \end{bmatrix} + t \begin{bmatrix} 5 \\ 0 \\ -2 \\ 1 \\ 0 \end{bmatrix} + u \begin{bmatrix} -8 \\ 0 \\ 3 \\ 0 \\ 1 \end{bmatrix}
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 Problem 2 題15 分

Consider C[0,1]C[0, 1], the vector space of real-valued continuous functions on [0,1][0, 1] equipped with the following standard inner product

⟨f,g⟩=∫01f(t)g(t)dt.\langle f,g\rangle = \int_0^1 f(t)g(t)dt.

Let WW be the subspace of C[0,1]C[0, 1] spanned by {1,t,t}\{1, \sqrt{t}, t\}. Find an orthogonal basis for WW.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查內積空間中的 Gram–Schmidt 正交化法。

對於函數內積

⟨f,g⟩=∫01f(t)g(t) dt,\langle f,g\rangle=\int_0^1 f(t)g(t)\,dt,

兩個函數正交的條件為

⟨f,g⟩=0.\langle f,g\rangle=0.

若依序取

v1=1,v2=t,v3=t,v_1=1,\qquad v_2=\sqrt t,\qquad v_3=t,

Gram–Schmidt 法定義為

u1=v1,u_1=v_1, u2=v2−⟨v2,u1⟩⟨u1,u1⟩u1,u_2=v_2-\frac{\langle v_2,u_1\rangle}{\langle u_1,u_1\rangle}u_1, u3=v3−⟨v3,u1⟩⟨u1,u1⟩u1−⟨v3,u2⟩⟨u2,u2⟩u2.u_3=v_3-\frac{\langle v_3,u_1\rangle}{\langle u_1,u_1\rangle}u_1 -\frac{\langle v_3,u_2\rangle}{\langle u_2,u_2\rangle}u_2.

所得的 u1,u2,u3u_1,u_2,u_3 彼此正交,且仍張成原本的子空間 WW。

解題方法

第一步:求 u1u_1

取

u1=1.u_1=1.

其平方範數為

⟨u1,u1⟩=∫011 dt=1.\langle u_1,u_1\rangle =\int_0^1 1\,dt=1.

第二步:將 t\sqrt t 對 u1u_1 正交化

先計算

⟨t,u1⟩=∫01t dt=∫01t1/2 dt=23.\langle \sqrt t,u_1\rangle =\int_0^1 \sqrt t\,dt =\int_0^1 t^{1/2}\,dt =\frac23.

因此

u2=t−⟨t,u1⟩⟨u1,u1⟩u1=t−23.u_2=\sqrt t-\frac{\langle \sqrt t,u_1\rangle} {\langle u_1,u_1\rangle}u_1 =\sqrt t-\frac23.

計算其平方範數:

⟨u2,u2⟩=∫01(t−23)2dt=∫01(t−43t+49)dt=12−43⋅23+49=12−89+49=118.\begin{aligned} \langle u_2,u_2\rangle &=\int_0^1\left(\sqrt t-\frac23\right)^2dt\\ &=\int_0^1\left(t-\frac43\sqrt t+\frac49\right)dt\\ &=\frac12-\frac43\cdot\frac23+\frac49\\ &=\frac12-\frac89+\frac49\\ &=\frac1{18}. \end{aligned}

第三步:將 tt 對 u1,u2u_1,u_2 正交化

先計算 tt 在 u1u_1 方向上的投影係數:

⟨t,u1⟩=∫01t dt=12.\langle t,u_1\rangle =\int_0^1t\,dt=\frac12.
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 Problem 3 題15 分

Let T:R4→R4T: \mathbb{R}^4 \rightarrow \mathbb{R}^4 be the linear map defined by
T(a,b,c,d)=(2a−b−c,a+3b+2c−d,−b+c,a−c+3d)T(a, b, c, d) = (2a-b-c, a+3b+2c-d, -b+c, a-c+3d).
Find the minimal polynomial of TT. To earn full credit, you need to explain why your answer is minimal.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

線性映射 T:R4→R4T:\mathbb{R}^4\to\mathbb{R}^4 在標準基底下的矩陣為

A=(2−1−10132−10−11010−13).A= \begin{pmatrix} 2&-1&-1&0\\ 1&3&2&-1\\ 0&-1&1&0\\ 1&0&-1&3 \end{pmatrix}.

最小多項式 mT(x)m_T(x) 定義為滿足

mT(A)=0m_T(A)=0

的首一最低次多項式。

由 Cayley–Hamilton 定理,特徵多項式 χA(x)\chi_A(x) 一定滿足 χA(A)=0\chi_A(A)=0,因此

mT(x)∣χA(x).m_T(x)\mid \chi_A(x).

但僅求出特徵多項式,尚不能直接斷定它就是最小多項式,必須進一步證明不存在較低次的消去多項式。


解題方法:先求特徵多項式

考慮

xI−A=(x−2110−1x−3−2101x−10−101x−3).xI-A= \begin{pmatrix} x-2&1&1&0\\ -1&x-3&-2&1\\ 0&1&x-1&0\\ -1&0&1&x-3 \end{pmatrix}.

計算行列式可得

χA(x)=det⁡(xI−A)=x4−9x3+32x2−54x+36.\begin{aligned} \chi_A(x) &=\det(xI-A)\\ &=x^4-9x^3+32x^2-54x+36. \end{aligned}

將其因式分解:

χA(x)=x4−9x3+32x2−54x+36=(x−2)(x−3)(x2−4x+6).\begin{aligned} \chi_A(x) &=x^4-9x^3+32x^2-54x+36\\ &=(x-2)(x-3)(x^2-4x+6). \end{aligned}

其中

x2−4x+6=(x−2)2+2x^2-4x+6=(x-2)^2+2

在 R\mathbb{R} 上不可約。因此特徵多項式在 R\mathbb{R} 上的不可約因式分解為三個互異因式:

χA(x)=(x−2)(x−3)(x2−4x+6).\chi_A(x)=(x-2)(x-3)(x^2-4x+6).

證明這確實是最小多項式

取標準基底向量

v=e1=(1000).v=e_1= \begin{pmatrix} 1\\0\\0\\0 \end{pmatrix}.

依序計算:

Av=(2101),Av= \begin{pmatrix} 2\\1\\0\\1 \end{pmatrix},
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 Problem 4 題20 分

Let A∈Mn(C)A \in M_n(\mathbb{C}) be a matrix satisfying A∗A=AA∗A^*A = AA^*, and let v∈Cnv \in \mathbb{C}^n be a column vector. Show that if Amv=0A^m v = 0 for some integer m≥2m \ge 2, then Av=0Av = 0.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

條件 A∗A=AA∗A^*A=AA^* 表示 AA 是正規矩陣。正規矩陣滿足

∥Ax∥2=x∗A∗Ax=x∗AA∗x=∥A∗x∥2,\|Ax\|^2=x^*A^*Ax=x^*AA^*x=\|A^*x\|^2,

因此 Ax=0Ax=0 時也有 A∗x=0A^*x=0。

解題方法

從 Amv=0A^m v=0 開始,逐次證明 Akv=0A^{k}v=0 可以推出 Ak−1v=0A^{k-1}v=0,一路降到 Av=0Av=0。

設 2≤k≤m2\le k\le m,並假設 Akv=0A^k v=0。令 y=Ak−1vy=A^{k-1}v,則

Ay=Akv=0.Ay=A^k v=0.

由正規矩陣的性質,∥A∗y∥=∥Ay∥=0\|A^*y\|=\|Ay\|=0,所以 A∗y=0A^*y=0。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 Problem 5 題20 分

Consider the special orthogonal group
SOn(R)={B∈Mn(R)∣det⁡B=1 and ∥Bv∥=∥v∥,∀v∈Rn}SO_n(\mathbb{R}) = \{B \in M_n(\mathbb{R}) \mid \det B = 1 \text{ and } \|Bv\| = \|v\|, \forall v \in \mathbb{R}^n\},
where Rn\mathbb{R}^n is equipped with the usual inner product and norm.

(a.) (10pts) Prove that for any A∈SO3(R)A \in SO_3(\mathbb{R}), there exists some non-zero v∈R3v \in \mathbb{R}^3 such that Av=vAv = v.
(b.) (10pts) Show that the statement above is NOT true for SO2(R)SO_2(\mathbb{R}), by providing an explicit counterexample.

登入後即可作答並保存紀錄。

這一題的完整詳解

本題考查特殊正交群 SOn(R)SO_n(\mathbb{R}) 的性質,特別是關於特徵值為 1 的特徵向量的存在性。

(a.) 證明對於任何 A∈SO3(R)A \in SO_3(\mathbb{R}),存在非零向量 v∈R3v \in \mathbb{R}^3 使得 Av=vAv = v。

A∈SO3(R)A \in SO_3(\mathbb{R}) 表示 AA 是一個 3×33 \times 3 的實矩陣,滿足 det⁡(A)=1\det(A) = 1 且 ATA=IA^T A = I (因為是實數空間,共軛轉置就是轉置)。
ATA=IA^T A = I 表示 AA 是一個正交矩陣。
det⁡(A)=1\det(A) = 1 表示 AA 是一個特殊正交矩陣。

我們需要證明存在非零向量 vv 使得 Av=vAv = v,這等價於證明 Av=1⋅vAv = 1 \cdot v,即 1 是 AA 的一個特徵值。
矩陣 AA 的特徵值是方程 det⁡(A−λI)=0\det(A - \lambda I) = 0 的根。
由於 AA 是實矩陣,其特徵多項式 p(λ)=det⁡(A−λI)p(\lambda) = \det(A - \lambda I) 是一個 nn 次實係數多項式。
對於 n=3n=3, p(λ)p(\lambda) 是一個 3 次實係數多項式。
一個奇數次實係數多項式至少有一個實根。
因此,矩陣 AA 至少有一個實特徵值。

現在我們需要證明這個實特徵值一定是 1。
對於正交矩陣 AA, ∥Av∥=∥v∥\|Av\| = \|v\| 對於所有 v∈Rnv \in \mathbb{R}^n 成立。
如果 λ\lambda 是 AA 的一個特徵值,且 vv 是對應的特徵向量 (v≠0v \neq 0), 則 Av=λvAv = \lambda v.
∥Av∥=∥λv∥=∣λ∣∥v∥\|Av\| = \|\lambda v\| = |\lambda| \|v\|.
由於 ∥Av∥=∥v∥\|Av\| = \|v\|, 我們有 ∣λ∣∥v∥=∥v∥|\lambda| \|v\| = \|v\|.
因為 v≠0v \neq 0, ∥v∥≠0\|v\| \neq 0, 所以 ∣λ∣=1|\lambda| = 1.
這意味著實特徵值只能是 1 或 -1。

我們知道 AA 至少有一個實特徵值。這個實特徵值 λ\lambda 滿足 ∣λ∣=1|\lambda|=1, 所以 λ=1\lambda=1 或 λ=−1\lambda=-1.
我們需要證明 1 一定是特徵值。

考慮特徵多項式 p(λ)=det⁡(A−λI)p(\lambda) = \det(A - \lambda I).
由於 AA 是正交矩陣 (AT=A−1A^T = A^{-1}), 我們有
det⁡(A−λI)=det⁡(AT(A−λI))=det⁡(I−λAT)=det⁡(I−λA−1)\det(A - \lambda I) = \det(A^T(A - \lambda I)) = \det(I - \lambda A^T) = \det(I - \lambda A^{-1}).
det⁡(A−λI)=det⁡(A(I−λA−1))=det⁡(A)det⁡(I−λA−1)\det(A - \lambda I) = \det(A(I - \lambda A^{-1})) = \det(A) \det(I - \lambda A^{-1}).
由於 det⁡(A)=1\det(A) = 1, 我們有 det⁡(A−λI)=det⁡(I−λA−1)\det(A - \lambda I) = \det(I - \lambda A^{-1}).
det⁡(I−λA−1)=det⁡(−λA−1(λI−A))=det⁡(−λA−1)det⁡(λI−A)\det(I - \lambda A^{-1}) = \det(-\lambda A^{-1}(\lambda I - A)) = \det(-\lambda A^{-1}) \det(\lambda I - A)
=(−λ)ndet⁡(A−1)det⁡(λI−A)=(−λ)ndet⁡(A)det⁡(λI−A)= (-\lambda)^n \det(A^{-1}) \det(\lambda I - A) = (-\lambda)^n \det(A) \det(\lambda I - A).
因為 det⁡(A)=1\det(A)=1, det⁡(A−λI)=(−λ)ndet⁡(λI−A)\det(A - \lambda I) = (-\lambda)^n \det(\lambda I - A).
det⁡(λI−A)=det⁡(−(A−λI))=(−1)ndet⁡(A−λI)\det(\lambda I - A) = \det(- (A - \lambda I)) = (-1)^n \det(A - \lambda I).
所以 det⁡(A−λI)=(−λ)n(−1)ndet⁡(A−λI)=λndet⁡(A−λI)\det(A - \lambda I) = (-\lambda)^n (-1)^n \det(A - \lambda I) = \lambda^n \det(A - \lambda I).
這意味著 det⁡(A−λI)(1−λn)=0\det(A - \lambda I) (1 - \lambda^n) = 0.
這不是正確的關係。

正確的關係是 det⁡(A−λI)=det⁡(AT(A−λI))=det⁡(I−λAT)=det⁡(I−λA−1)\det(A - \lambda I) = \det(A^T(A - \lambda I)) = \det(I - \lambda A^T) = \det(I - \lambda A^{-1}).
det⁡(A−λI)=det⁡(A(I−λA−1))=det⁡(A)det⁡(I−λA−1)=det⁡(I−λA−1)\det(A - \lambda I) = \det(A(I - \lambda A^{-1})) = \det(A) \det(I - \lambda A^{-1}) = \det(I - \lambda A^{-1}).
det⁡(I−λA−1)=det⁡(−λA−1(λI−A))=(−λ)ndet⁡(A−1)det⁡(λI−A)=(−λ)ndet⁡(A)det⁡(λI−A)\det(I - \lambda A^{-1}) = \det(-\lambda A^{-1} (\lambda I - A)) = (-\lambda)^n \det(A^{-1}) \det(\lambda I - A) = (-\lambda)^n \det(A) \det(\lambda I - A).
det⁡(λI−A)=(−1)ndet⁡(A−λI)\det(\lambda I - A) = (-1)^n \det(A - \lambda I).
所以 det⁡(A−λI)=(−λ)ndet⁡(A)(−1)ndet⁡(A−λI)\det(A - \lambda I) = (-\lambda)^n \det(A) (-1)^n \det(A - \lambda I).
det⁡(A−λI)=λndet⁡(A−λI)\det(A - \lambda I) = \lambda^n \det(A - \lambda I).
這意味著 det⁡(A−λI)(λn−1)=0\det(A - \lambda I) (\lambda^n - 1) = 0.
這不對。

正確的性質是:如果 AA 是正交矩陣,則 det⁡(A−λI)=det⁡(A)det⁡(AT−λI)=det⁡(A)det⁡(A−1−λI)=det⁡(A)det⁡(−λA−1(λI−A−1))\det(A - \lambda I) = \det(A) \det(A^T - \lambda I) = \det(A) \det(A^{-1} - \lambda I) = \det(A) \det(-\lambda A^{-1}(\lambda I - A^{-1})).
det⁡(A−λI)=det⁡(A)(−λ)ndet⁡(A−1)det⁡(λI−A−1)\det(A - \lambda I) = \det(A) (-\lambda)^n \det(A^{-1}) \det(\lambda I - A^{-1}).
det⁡(A−λI)=det⁡(A)(−λ)ndet⁡(A)det⁡(λI−A−1)\det(A - \lambda I) = \det(A) (-\lambda)^n \det(A) \det(\lambda I - A^{-1}).

如果 λ\lambda 是 AA 的特徵值,則 1/λ1/\lambda 是 A−1A^{-1} 的特徵值。
由於 AA 是正交矩陣, A−1=ATA^{-1} = A^T.
所以如果 λ\lambda 是 AA 的特徵值,則 1/λ1/\lambda 也是 AA 的特徵值。
如果 λ\lambda 是實特徵值,則 λ=1\lambda = 1 或 λ=−1\lambda = -1.
如果 λ=1\lambda = 1, 則 1/λ=11/\lambda = 1.
如果 λ=−1\lambda = -1, 則 1/λ=−11/\lambda = -1.
這沒有幫助。

我們知道 AA 作為 R3\mathbb{R}^3 上的線性變換,其特徵多項式是 3 次實係數多項式,所以至少有一個實特徵值。
設 λ1,λ2,λ3\lambda_1, \lambda_2, \lambda_3 是特徵值。
我們知道 ∣λi∣=1|\lambda_i|=1.
實特徵值只能是 1 或 -1。
複特徵值成對出現,形式為 eiθe^{i\theta} 和 e−iθe^{-i\theta}.

對於 SO3(R)SO_3(\mathbb{R}), AA 代表一個旋轉。
任何旋轉矩陣在 R3\mathbb{R}^3 上都至少有一個特徵值為 1。
這是因為旋轉軸上的向量在旋轉後保持不變,所以這個向量是對應於特徵值 1 的特徵向量。
如果 AA 是純粹的旋轉(不是恆等變換),則旋轉軸存在,其上的向量即為 vv。
如果 AA 是恆等變換 II, 則 AI=IAI = I, 顯然 vv 可以是任意非零向量。
所以,對於任何 A∈SO3(R)A \in SO_3(\mathbb{R}), 1 必定是 AA 的一個特徵值。

(b.) 證明對於 SO2(R)SO_2(\mathbb{R}), 上述結論不成立,並給出反例。

A∈SO2(R)A \in SO_2(\mathbb{R}) 表示 AA 是一個 2×22 \times 2 的實矩陣,滿足 det⁡(A)=1\det(A) = 1 且 ATA=IA^T A = I.
AA 的特徵多項式是 2 次實係數多項式。
特徵值 λ\lambda 滿足 ∣λ∣=1|\lambda|=1.
特徵值可能是:

  1. 兩個實特徵值:λ1=1,λ2=1\lambda_1 = 1, \lambda_2 = 1 或 λ1=−1,λ2=−1\lambda_1 = -1, \lambda_2 = -1 或 λ1=1,λ2=−1\lambda_1 = 1, \lambda_2 = -1.
🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 Problem 6 題20 分

Let A,B∈M3(C)A, B \in M_3(\mathbb{C}). Suppose that B2≠0B^2 \neq 0 and B3=0B^3 = 0. Prove that if AB=BAAB = BA, then A=f(B)A = f(B) for some polynomial f(x)∈C[x]f(x) \in \mathbb{C}[x] of degree 2.

登入後即可作答並保存紀錄。

這一題的完整詳解

本題考查交換矩陣的性質,特別是當其中一個矩陣滿足 B2≠0B^2 \neq 0 且 B3=0B^3 = 0 時,另一個交換矩陣 AA 可以表示為 BB 的多項式。

給定 A,B∈M3(C)A, B \in M_3(\mathbb{C}) 且 AB=BAAB = BA.
已知 B2≠0B^2 \neq 0 且 B3=0B^3 = 0.
這表示 BB 的最小多項式是 mB(x)=xkm_B(x) = x^k, 其中 kk 是滿足 Bk=0B^k = 0 的最小正整數。
由於 B2≠0B^2 \neq 0 且 B3=0B^3 = 0, 最小多項式是 mB(x)=x3m_B(x) = x^3.
這也意味著 BB 的特徵值只能是 0。
因為 BB 是 3×33 \times 3 矩陣,其特徵多項式是 λ3\lambda^3.
BB 的最小多項式是 x3x^3, 所以 BB 的特徵值都是 0, 且 BB 的最小多項式是 x3x^3.

由於 AB=BAAB = BA, AA 和 BB 在某些基下可以同時被三角化。
更強的結論是,如果 AB=BAAB=BA, 則存在一個向量 vv 使得 AvAv 和 BvBv 都可以表示為 vv 和 BvBv 和 B2vB^2v 的線性組合。

考慮 BB 的最小多項式為 x3x^3.
這意味著 BB 是冪零的 (nilpotent),且其冪零指標 (nilpotency index) 為 3。
對於 3×33 \times 3 矩陣,如果最小多項式是 x3x^3, 那麼 BB 的 Jordan 標準形必然是:

J=[010001000]J = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix}

存在一個可逆矩陣 PP 使得 B=PJP−1B = PJP^{-1}.
由於 AB=BAAB = BA, 我們有 A(PJP−1)=(PJP−1)AA(PJP^{-1}) = (PJP^{-1})A.
P−1APJ=JP−1APP^{-1}AP J = J P^{-1}AP.
令 C=P−1APC = P^{-1}AP. 則 CJ=JCCJ = JC.
這意味著 CC 與 JJ 可交換。

我們需要證明 A=f(B)A = f(B) 對於某個次數為 2 的多項式 f(x)f(x).
由於 AA 和 BB 可交換, AA 在 BB 的 Jordan 塊上作用時,其作用與 BB 的作用是兼容的。
考慮 AA 的作用在 BB 的 Jordan 塊上。
設 BB 的 Jordan 標準形為 J=[010001000]J = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix}.
由於 CJ=JCCJ = JC, CC 必須是 JJ 的多項式。
J2=[001000000]J^2 = \begin{bmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{bmatrix}.
J3=0J^3 = 0.
CC 可以寫成 c0I+c1J+c2J2c_0 I + c_1 J + c_2 J^2.
C=[c0c1c20c0c100c0]C = \begin{bmatrix} c_0 & c_1 & c_2 \\ 0 & c_0 & c_1 \\ 0 & 0 & c_0 \end{bmatrix}.
CJ=[c0c1c20c0c100c0][010001000]=[0c0c100c0000]CJ = \begin{bmatrix} c_0 & c_1 & c_2 \\ 0 & c_0 & c_1 \\ 0 & 0 & c_0 \end{bmatrix} \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix} = \begin{bmatrix} 0 & c_0 & c_1 \\ 0 & 0 & c_0 \\ 0 & 0 & 0 \end{bmatrix}.
JC=[010001000][c0c1c20c0c100c0]=[0c0c100c0000]JC = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{bmatrix} \begin{bmatrix} c_0 & c_1 & c_2 \\ 0 & c_0 & c_1 \\ 0 & 0 & c_0 \end{bmatrix} = \begin{bmatrix} 0 & c_0 & c_1 \\ 0 & 0 & c_0 \\ 0 & 0 & 0 \end{bmatrix}.
所以 CJ=JCCJ=JC 成立。
因此, C=c0I+c1J+c2J2C = c_0 I + c_1 J + c_2 J^2.

現在我們有 C=P−1APC = P^{-1}AP.
A=PCP−1A = PCP^{-1}.
A=P(c0I+c1J+c2J2)P−1A = P(c_0 I + c_1 J + c_2 J^2)P^{-1}.
A=c0PIP−1+c1PJP−1+c2PJ2P−1A = c_0 PIP^{-1} + c_1 PJP^{-1} + c_2 PJ^2P^{-1}.
A=c0I+c1(PJP−1)+c2(PJ2P−1)A = c_0 I + c_1 (PJP^{-1}) + c_2 (PJ^2P^{-1}).
由於 B=PJP−1B = PJP^{-1}, 我們有 B2=(PJP−1)(PJP−1)=PJ2P−1B^2 = (PJP^{-1})(PJP^{-1}) = PJ^2P^{-1}.
所以 A=c0I+c1B+c2B2A = c_0 I + c_1 B + c_2 B^2.
這是一個關於 BB 的多項式,次數為 2 (如果 c2≠0c_2 \neq 0).
f(x)=c0+c1x+c2x2f(x) = c_0 + c_1 x + c_2 x^2.

我們需要證明 A=f(B)A = f(B) 對於某個次數為 2 的多項式 f(x)f(x).
上述推導表明 AA 可以表示為 BB 的 0, 1, 2 次多項式。
A=c0I+c1B+c2B2A = c_0 I + c_1 B + c_2 B^2.

在這種情況下, c0,c1,c2c_0, c_1, c_2 是什麼?
這些係數 c0,c1,c2c_0, c_1, c_2 取決於 AA 和 BB 的具體形式。
但是,我們證明了 AA 必定可以表示成 BB 的一個次數不超過 2 的多項式。

這個證明是基於 BB 的 Jordan 標準形。
我們需要證明對於任何 AA 和 BB 滿足 AB=BAAB=BA 且 BB 的最小多項式是 x3x^3, AA 可以表示成 BB 的次數不超過 2 的多項式。

考慮 BB 的最小多項式為 x3x^3.
這意味著 BB 是 3×33 \times 3 矩陣,且 B2≠0,B3=0B^2 \neq 0, B^3 = 0.
考慮向量空間 V=C3V = \mathbb{C}^3. 考慮 BB 在 VV 上的作用。
null(B)⊊null(B2)⊊null(B3)=V\text{null}(B) \subsetneq \text{null}(B^2) \subsetneq \text{null}(B^3) = V.
維度增長為 dim⁡(null(B))=1\dim(\text{null}(B)) = 1, dim⁡(null(B2))=2\dim(\text{null}(B^2)) = 2, dim⁡(null(B3))=3\dim(\text{null}(B^3)) = 3.
這對應於一個 Jordan 塊。

設 vv 是 B3v=0B^3v=0 的一個向量。
考慮向量 v,Bv,B2vv, Bv, B^2v.
如果 v,Bv,B2vv, Bv, B^2v 是線性獨立的,那麼它們構成一個 BB 的 Jordan 鏈。
這是一個 3×33 \times 3 矩陣,所以這是一個單一的 Jordan 塊。
Bv1=0,Bv2=v1,Bv3=v2Bv_1 = 0, Bv_2 = v_1, Bv_3 = v_2.
這裡 v3v_3 對應於 vv 在上面的例子。

由於 AB=BAAB = BA, AA 保持 BB 的 Jordan 鏈不變。
即 A(Bkv)=Bk(Av)A(B^k v) = B^k (Av).
這意味著 AA 將 BB 的子空間 span{v,Bv,B2v} \text{span}\{v, Bv, B^2v\} 映射到自身。
令 w0=v,w1=Bv,w2=B2vw_0 = v, w_1 = Bv, w_2 = B^2v.
Aw0=c0w0+c1w1+c2w2Aw_0 = c_0 w_0 + c_1 w_1 + c_2 w_2.
Aw1=ABv=BAv=B(c0w0+c1w1+c2w2)=c0Bw0+c1Bw1+c2Bw2=c0w1+c1w2+c2B3v=c0w1+c1w2A w_1 = A B v = B A v = B(c_0 w_0 + c_1 w_1 + c_2 w_2) = c_0 Bw_0 + c_1 Bw_1 + c_2 Bw_2 = c_0 w_1 + c_1 w_2 + c_2 B^3v = c_0 w_1 + c_1 w_2.
Aw2=AB2v=BABv=B(c0w1+c1w2)=c0Bw1+c1Bw2=c0w2A w_2 = A B^2 v = B A B v = B(c_0 w_1 + c_1 w_2) = c_0 Bw_1 + c_1 Bw_2 = c_0 w_2.
在基 {w0,w1,w2}\{w_0, w_1, w_2\} 下,矩陣 BB 的表示是 J=[000100010]J = \begin{bmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix}. (注意基的順序)
或者,如果基是 {v,Bv,B2v}\{v, Bv, B^2v\}, 則 BB 的矩陣是 J=[000100010]J = \begin{bmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix}.
在基 {w0,w1,w2}\{w_0, w_1, w_2\} 下, AA 的表示是 C=[c000c1c00c2c1c0]C = \begin{bmatrix} c_0 & 0 & 0 \\ c_1 & c_0 & 0 \\ c_2 & c_1 & c_0 \end{bmatrix}.
CC 的形式是 c0I+c1J+c2J2c_0 I + c_1 J + c_2 J^2.
J2=[000000100]J^2 = \begin{bmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 1 & 0 & 0 \end{bmatrix}.
c0I+c1J+c2J2=c0[100010001]+c1[000100010]+c2[000000100]=[c000c1c00c2c1c0]c_0 I + c_1 J + c_2 J^2 = c_0 \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} + c_1 \begin{bmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{bmatrix} + c_2 \begin{bmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 1 & 0 & 0 \end{bmatrix} = \begin{bmatrix} c_0 & 0 & 0 \\ c_1 & c_0 & 0 \\ c_2 & c_1 & c_0 \end{bmatrix}.
這與 CC 的形式一致。

所以

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

其他考古題

115 年成功大學的其他科目

成功大學《線性代數》其他年度

其他學校的數學系考古題