第一篇日誌

Wed, 08 Apr 2026 21:24:55 +0800

Me: 第二題我重寫一下，我整理出另一種說法

C(A)=C(A^T)代表

1.他們有相同的母空間R^n

2.設rank=k(一定會)，他們是母空間R^n裡同一個R^k子空間並且N(A)是C(A^T)的正交空間，N(A^T)是C(A)的正交空間，都是2.所說同一個空間的 orthogonal component，且正交空間是唯一的，因此N(A)和N(A^T)是同一個空間

和題目的N(A)!=N(A^T)矛盾，所以這樣的矩陣A不可能存在

我的結論: 當等號左右是"空間"的時候，先以"空間的性質"來考慮，不是想像某個矩陣或entries可能是多少

Opus: 你的證明完全正確,而且寫得非常乾淨——比我上一輪的版本還精煉。讓我幫你逐步確認,然後對你最後那段「結論心法」做一點延伸,因為它的價值遠遠超出這一題。

證明逐步檢查

步驟 1: $C(A) = C(A^T)$ 隱含相同的母空間 $\mathbb{R}^n$。

正確。$C(A) \subseteq \mathbb{R}^m$,$C(A^T) \subseteq \mathbb{R}^n$,要相等就必須在同一個母空間裡,所以 $m = n$,A 是方陣。

步驟 2: 設 $\text{rank}(A) = k$,則 $C(A)$ 和 $C(A^T)$ 都是 $\mathbb{R}^n$ 裡同一個 $k$ 維子空間。

正確,且你加的那句「(一定會)」很關鍵——你在強調 $\dim C(A) = \dim C(A^T) = k$ 是 rank 的對稱性,不是條件,而是定理。這個觀察值得被獨立記住:任何矩陣的 row rank 永遠等於 column rank,這是線代裡最不顯然但最深刻的事實之一。

步驟 3: $N(A) = C(A^T)^\perp$,$N(A^T) = C(A)^\perp$,而且正交補是唯一的。

正確。「正交補唯一」這個性質很關鍵——對給定母空間裡的任何子空間 $V$,$V^\perp$ 是被 $V$ 完全決定的、唯一的子空間。所以一旦 $C(A) = C(A^T)$,它們各自的正交補(就是兩個 null space)也必然相等。