C32N25.dvi

Size: px

Start display at page:

Download "C32N25.dvi"

港沼沛顾
5 years ago
Views:

1 數學傳播 32 卷 2 期, pp 線性代數五講一一第五講向量空間在線性算子下的分解龔昇張德健 5.1. 向量空間是主理想整環上有限生成模 1. 在上一講研究模理論的目的是為了站在更高的層面上來認識線性代數在這一講回到向量空間和線性變換, 應用上一講中的結果翻譯成向量空間的語言這裡 V 不僅僅是域 F 上的向量空間, 更是多項式 F[x] 上的模, 其數乘定義為 p(x)v = p(t)(v), 這裡 p(x) F[x], v V, T L(V ) 本講中向量空間均指有限維的, 以下不再每次注明若 V 是域 F 上的向量空間, 線性算子 T L(V ), 對於 V 中的一個基底, T 對應於 F 上的一個矩陣, 對於 V 中另一個基, T 對應另一個矩陣, 在 3.1 節中已經知道, 這兩個矩陣是相似的問題是 : 對於一個固定的 T L(V ), 如何來選取 V 的基底, 使得對應於 T 的矩陣盡可能簡單當然最簡單的矩陣是對角線矩陣, 但不是所有的 T L(V ), 都能做到這點為此, 只能求其次, 希望能找到另一種簡單的矩陣上述問題也可敘述為 : 若 V 是域 F 上的向量空間, 要找出所有與 L(V ) 中給定的線性算子相對應的矩陣在相似意義下的標準形式這是線性代數中討論的最基本問題之一首先, 若 V 是域 F 上的 n 維向量空間, 則 V 作為 F[x] - 模是撓模顯然, L(V ) 同構於由所有 n n 矩陣組成的向量空間 M n (F) M n (F) 的維數為 n 2, 故對於 L(V ) 中任一固定的 T, n 個向量 Id, T, T 2,..., T n2, 34

2 線性代數五講 35 是線性相依的, 故在 F[x] 中有 p(x) 使得 p(t) = 0 故 p(x)v = {0} 因此 V 中所有元素是撓元其次, V 作為 F[x] 模是有限生成模若 B = {v 1,...,v n } 是向量空間 V 的一組基底, 則每個向量 v V, 存在純量 r 1,...,r n F F[x] 使得有下面的線性組合關係成立 : v = r 1 v 1 + r 2 v r n v n, 故 B 生成模 V 在 1.2 節中已知 F[x] 是一主理想整域 (Principal ideal integral domain), 其中 F 是一個域因此, 向量空間 V 也是主理想整環 F[x] 上有限生成撓模所以上一講中討論的分解定理能夠在此應用 2. 前面已定義過向量空間 V 的一個子空間 S, 對一個固定的 T L(V ) 來講不變的意思, 也就是如果 T(S) S, S 稱為關於 T 的不變子空間不難證明, V 作為 F[x] 上的模, 其部分集合 S 是一個子模若且唯若 S 是向量空間 V 關於 T 的不變子空間固定 T L(V ), 模 V 的零化子為 ann(v ) = { p(x) F[x] : p(x)t = {0} }. 這是 F[x] 上的一個非零主理想 ( 因為 F[x] 是主理想環 ) 由於 V 的階, 即 ann(v ) 的生成元, 是相伴的, 而 F[x] 的可逆元就是 F 中的非零元素, 故 V 有唯一的首一階 (monic order) 稱這個唯一的首一階, 即生成 ann(v ) 的唯一首一多項式, 為 T 的極小多項式 (minimal polynomial), 記作 m T (x) 或 m(t) 於是 ann(v ) = m T (x) 及 p(x) V = {0} m T (x) p(x), 或 p(t) = 0 m T (x) p(x). 在傳統的線性代數的書中, 並未引入模的概念, 對於線性算子 T 的極小多項式定義為使 p(t) = 0 的最低次的唯一的首一多項式對矩陣也可定義極小多項式若 A 是域 F 上的一個方陣, A 的極小多項式 m A (x) 是使 p(a) = 0 的最低次的唯一的首一多項式 p(x) F[x] 我們立即可以得到下面幾個明顯的推論 (1) 若 A 與 B 是相似矩陣, 則 m A (x) = m B (x), 即極小多項式在相似的意義下不變 ;

3 36 數學傳播 32 卷 2 期民 97 年 7 月 (2) T L(V ) 的極小多項式與 T 相對應的矩陣 A T 的極小多項式 m AT (x) 是相同的 ; (3) 若 S 是模 V 的子模, 則 S 的首一階是限制 T S 的極小多項式 3. 固定 T L(V ), 考慮循環子模 v = { p(x)v : p(x) F[x] }. 設其首一階是 m(x) 於是 m(x) 是限制 σ = T v 的極小多項式 ( 見 (2)) 若 m(x) = a 0 + a 1 x + a 2 x a n 1 x n 1 + a n x n, 則可證 B = ( v, xv,..., x n 1 v ) = ( v, σ(v),..., σ n 1 (v) ) 是向量空間 v 的一組基底我們先證 B 是線性獨立的若存在非零純量 α j, j = 0, 1,..., n 1 使得 α 0 v + α 1 σ(v) α n 1 σ n 1 (v) = 0, 即 ( α0 + α 1 x α n 1 x n 1) v = 0, 則 ( α0 + α 1 x α n 1 x n 1) v = {0}, 故 m(x) ( α 0 + α 1 x α n 1 x n 1) = 0, 這導致 α j = 0, j = 0, 1,..., n 1 現在再證 B 生成 v 我們知道 v 中每個元素是 p(x)v, p(x) F[x] 的形式, 將 p(x) 除以極小多項式 m(x), 得 p(x) = q(x)m(x) + r(x), 這裡 deg r(x) < deg m(x) = n 由於 m(x)v = 0, 故 p(x)v = r(x)v, 這表明 v 中每個元素是 r(x)v 的形式也就是 v = { r(x)v : degr(x) < deg m(x) } = span(b). 因此, B 是 v 的一組基底現在我們來計算 σ 在基底 B 之下的矩陣表示 [σ] B 當 j = 0, 1,..., n 2, 則 σ ( σ j (v) ) = σ j+1 (v).

4 線性代數五講 37 而由於 m(x) 是 σ 的極小多項式, 所以 σ ( σ n 1 (v) ) =σ n (v) = ( a 0 + a 1 σ + + a n 1 σ n 1) (v) = a 0 v a 1 σ(v) a n 1 σ n 1 (v). 於是在基底 B 之下的矩陣表示為 C[m(x)], σ B = BC[m(x)], 而 C[m(x)] = a a an 2, a n 1 C[m(x)] 稱為多項式 m(x) = a 0 + a 1 x + + a n 1 x n 1 + x n 的友矩陣 (companion matrix) 這只對首一多項式定義若 τ L(V ), V 的一個子空間 S 稱為 τ - 循環 (τ -cyclic), 若存在 v S 使得 { v, τ(v),, τ m 1 (v) } 是 S 的一組基底, 這裡 m = dim(s) 於是我們得到 (1) S 是 V 的部分集合, S 是 V 的循環子模若且唯若它是 V 的循環部分空間 (2) 若 v 是 V 的一個循環子模, v 的首一階 ( 即 σ = τ v 的極小多項式 ) 是 m σ (x) = a 0 + a 1 x + + a n 1 x n 1 + x n, 則 B = v, xv,..., x n 1 v = v, σ(v),..., σ n 1 (v) 是 v 的一組基底, σ 對 B 而言的矩陣 [σ] B 是 m σ (x) 的友矩陣 C ( m σ (x) ) 5.2. 向量空間的分解有了上一節作準備, 就可以將上一講中的分解定理翻譯成向量空間中的結果定理便可以寫成下面的形式 :

5 38 數學傳播 32 卷 2 期民 97 年 7 月定理 5.2.1: ( 向量空間關於線性變換的循環分解定理 ) 若 V 為有限維向量空間, τ L(V ) 若 τ 的極小多項式為 m τ (x) = p e 1 1 (x)... pen n (x), 這裡 p j (x), j = 1,...,n 是相互不同的, 不可約的首一多項式, 則 V 可分解為直和 V = V p1 V pn, 這裡 V pj = { v V : p e j j (v) = 0} 是 V 的不變子空間 ( 子模 ), 而 τ Vpj 的極小多項式為 min(τ Vpj ) = p e j j (x), j = 1,..., n. 再進一步講, V pj, j = 1,...,n 可以再分解為 τ- 循環子空間 ( 循環子模 ) 的直和 V pj = v j,1... v j,kj, 這裡 τ Vpj 的極小多項式為 min(τ vj,l ) = pe j,l j (x), j = 1,...,n, l = 1,...,k j, 而 e j = e j,1 e j,2 e j,kj 1, j = 1,..., n, V 的初等因子 p e j,l j (x), 也就是 τ 的初等因子, 由算子 τ 唯一決定歸納起來, V 可以分解為 τ - 循環子空間的直和 V = ( v 1,1... v 1,k1 ) ( ( v n,1... v n,kn ). (5.2.1) 在定理中, 要求階 µ = p e 1 1 pen n, 這裡 p j, j = 1,..., n, 為互不相伴的素元素在定理中, 說 p j (x), j = 1,..., n, 為互不相同的不可約多項式由於 F[x] 是主理想整環, 故素元素與不可約元素是一致的我們現在可以用循環分解定理來決定相似意義下的標準形式若 V = S T, S, T 都是 τ L(V ) 之下的不變子空間, 則稱 (S, T) 約化 (reduce) τ 若 V = S T 且 τ S : S S, τ T : T T

6 線性代數五講 39 分別是 S, T 上的線性算子記 τ = ρ σ, 若存在 V 的子空間 S 與 T, 使得 (S, T) 約化 τ, 及 ρ = τ S, σ = τ T. 假設 C = (c 1,...,c s ) 是 S 的一組基底, D = (d 1,...,d t ) 是 T 的一組基底, 則 B = (c 1,...,c s, d 1,...,d t ), s + t = n 是 V 的一組基底於是矩陣 [τ] B 可以寫成分塊對角矩陣 (block diagonal matrix): [ ] [ρ]c 0 [τ] B =. 0 [σ] D 這可推廣到 τ 可分解為多個線性算子的直和的情形回到 (5.2.1) 若 B j,l 是循環子模 v j,l 的一組基底, 而 B = ( ) B 1,1, B 1,2,...,B n,kn 為 V 的一組基底, 則由定理 5.2.1, [τ] B = [τ 1,1 ] B1,1.... 這裡 τ j,l = τ vj,l, j = 1,...,n 及 l = 1,...,k n 則我們知道循環子模 v j,l 有一首階 p e j,l j ( deg p e j,l j [τ n,kn ] Bn,kn (x), 即限制 τ j,l 有極小多項式 p e j,l j ) (x) = d j,l, B j,l = ( v j,l, τ j,l (v j,l ),...,τ d j,l 1 j,l (v j,l ) ) 是 v j,l 的一組基底, j = 1,...,n, l = 1,...,k n 因此便得到下面的定理定理 5.2.2: 若 V 是有限維的向量空間, τ L(V ) 的極小多項式為 m τ (x) = p e 1 1 (x)... p en n (x), 這裡首一多項式 p e j j (x), j = 1,...,n, 是相互不同的, 不可約的, 則 V 有如下分解 V = ( v 1,1... v 1,k1 ) ( ( v n,1... v n,kn ), (x) 於是若

7 40 數學傳播 32 卷 2 期民 97 年 7 月這裡 v j,l, j = 1,..., n, l = 1,...,k n 是 V 的 τ j,l - 循環子空間 ; 這裡 τ j,l = τ vj,l, 它的極小多項式是 V 的初等因子這裡 min ( ) e τ j,l = p j,l j (x), e j = e j,1 e j,2 e j,kj 1, j = 1,..., n. 初等因子由 τ 唯一決定若 ( deg p e j,l j ) (x) = d j,l, 則是 v j,l 的一組基底, τ 相對於基底的矩陣表示是分塊對角矩陣 C[p e 1,1 1 (x)]... [τ] B = B j,l = ( v j,l, τ j,l (v j,l ),...,τ d j,l 1 j,l (v j,l ) ) B = ( B 1,1, B 1,2,...,B n,kn ) C[p e 1,k 1 1 (x)]... C[p e n,1 n (x)]... C[p e n,kn n. (x)] 上式右邊的矩陣稱為 τ 的有理標準形式 (rational canonical form) 這還可以寫成 [τ] B = diag ( C[p e 1,1 1 (x)],...,c[p e n,kn n (x)] ). 由向量空間的循環分解的唯一性定理, 這樣的有理標準形式是唯一的定理用矩陣的語言為 : 任意矩陣 A 唯一地 ( 除去對角線上分塊的次序 ) 相似於一個有理標準形式的矩陣由此還可得到 : 代數域 F 上兩個矩陣是相似的若且唯若它們有相同的初等因子定理及定理是線性代數的頂峰之一從幾何上講, 它們徹底解決了代數域上的向量空間, 在一個線性變換下的分解從代數上講, 它們徹底地解決了一個代數域上的矩陣在相似變換下的分類

8 線性代數五講特徵多項式特徵值與特徵向量 1. 若 p(x) = a 0 + a 1 x + + a n 1 x n 1 + x n, C[p(x)] 為其友矩陣, 令 x 0 0 a 0 1 x 0 a 1 A = xi C[p(x)] = x an x + a n 1 顯然 A 是 x, a 0,..., a n 1 的函數, 記作 A = A(x; a 0,..., a n 1 ) 命題 5.3.1: 我們有 det ( xi C[p(x)] ) = p(x) 證明 : 當 n = 2 時, 則 det ( A(x; a 0, a 1 ) ) x a 0 = 1 x + a 1 = x(x + a 1) + a 0 =a 0 + a 1 x + x 2 = p(x). 當 n = 3 時, 則 det ( A(x; a 0, a 1, a 2 ) ) x 0 a 0 = 1 x a x + a 2 x a 1 =x 1 x + a 2 + a 0 1 x 0 1 =a 0 + a 1 x + a 2 x 2 + x 3 = p(x). 對一般的 n, 對行列式沿第一行展開, 得到 det ( ) ( A(x; a 0,, a n 1 = x det A(x; a1,..., a n 1 ) ) + ( 1) n+1 ( 1) n 1 a 0. 由數學歸納法假設, 這等於 x ( ) x n 1 + a n 1 x n a 1 + a0 = p(x). 由命題可得如下結論 : 命題 5.3.2: 若 τ L(V ), R 是 τ 的有理標準形式, 則 C τ (x) = det ( xi R ) = j,l p e j,l j (x),

9 42 數學傳播 32 卷 2 期民 97 年 7 月這個行列式稱為 τ 的特徵多項式 (eigenpolynomial 或 characteristic polynomial) 在線性代數通常的書中, 往往先定義矩陣的特徵多項式, 然後再定義線性算子的特徵多項式方陣 A 的特徵多項式定義為 det ( xi A ) 由此可得下面的結論 (a) 若 A 與 B 相似, 則 C A (x) = C B (x) 即特徵多項式在相似下不變 (b) 線性代數 τ 的特徵多項式和與 τ 相對應矩陣的特徵多項式相等 (c) 線性代數 τ 的特徵多項式是 τ 的初等因子的乘積 2. λ F 是線性算子 τ L(V ) 的特徵多項式 C τ (x) 的根, 若且唯若 det ( λi R ) = 0, 即矩陣 λi R 是奇異的若 dim(v ) = d, 則 τ 的有理標準形式 R 為 d d 的矩陣故 det ( λi R ) = 0 若且唯若存在非零向量 x F d, 使得 ( ) λi R (x) = 0, 即 R(x) = λx. 若 v V 是非零向量使得 [v] B = x, 這裡 B 是 V 的基底使 τ 的矩陣為 R, 則上式等價於 τ(v) = λv. 定義 5.3.1: 若 τ L(V ), 數量 λ F 是 τ 的一個特徵值 (eigenvalue), 若存在非零向量 v V, 使得 τ(v) = λv. 這時稱 v 為 τ 的一個特徵向量 (eigenvector) 若 A 為 F 上的矩陣, λ F 是 A 的特徵值若存在非零特徵向量 x, 使得 A(x) = λx. 這時稱 x 為 A 的以 λ 為特徵值的特徵向量對一個給定的特徵值 λ, 所有以 λ 為特徵值的特徵向量加上零向量, 組成 V 的一個子空間, 稱為 λ 的特徵空間 (eigenspace), 記作 E λ 由此得如下結論命題 5.3.3: (a) λ F 是 τ L(V ) 的一個特徵值若且唯若它是 τ 的特徵多項式 C τ (x) 的根

10 線性代數五講 43 (b) λ F 是 τ L(V ) 的一個特徵值若且唯若它是 τ 的極小多項式 m τ (x) 的根 (c) λ F 是 τ L(V ) 的一個特徵值若且唯若它是與 τ 相對應任何矩陣的特徵值 (d) 矩陣的特徵值在相似意義下不變 (e) 若 λ F 是矩陣 A 的一個特徵值, 則特徵空間 E λ 是幾次方程組 ( ) λi A (x) = 0, 的解組成的空間證明 : 這裡只證明 (c) λ F 是 τ L(V ) 的一個特徵值若且唯若存在 0 v V, 使得 τ(v) = λv. 假設 dim(v ) = d, B 為 V 的一組基底, 令 φ B : V F d 為由 φ B (u) = [u] B 定義的同構若 A = [τ] B, 則 τ = ( ) 1A φ B φb. 於是 τ(v) = λv 就是 ( ) 1 φb A φ B (v) = λv = ( ) 1 φ B λ φ B (v), 即 Aφ B (v) = λφ B (v). 這表明 λ 是 A 的一個特徵值因此, λ 是 τ 的一個特徵值若且唯若它是 A 的特徵值證明因而完畢命題與不同的特徵值對應的特徵向量是線性獨立的, 即若 v j E λj, j = 1,..., k, 則 {v 1,...,v k } 線性獨立特別地, 若 λ 1,..., λ k 是線性算子 τ L(V ) 不同的特徵值, 則 E λj E λl = {0}. 證明 : 若 v j, j = 1,...,k 是線性相依的, 則在所有的非平凡的線性組合為零的式子中, 有一個最短的式子, 為 α 1 v α k v k = 0. (5.3.1)

11 44 數學傳播 32 卷 2 期民 97 年 7 月將 τ 作用在 (5.3.1), 我們便得到 α 1 τ(v 1 ) α k τ(v k ) = 0, 即 α 1 λ 1 v α k λ k v k = 0. 另一方面, 我們若將 (5.3.1) 兩邊乘上 λ 1, 再與上式相減便得到 α 2 (λ 2 λ 1 )v α k (λ k λ 1 )v k = 0. 但這是一個更短的線性組合為零的式子, 故所有 α j, j = 2,..., k 全為零 ; 將之代回 (5.3.1), 因而得到 α 1 = 0 證明因而完畢由於 τ 的特徵多項式 C τ (x) 是所有初等因子的乘積, 而 τ 的極小多項式為 m τ (x) = p e 1 1 (x)... pen n (x), 故 m τ (x) C τ (x) 因此得到下面重要的定理 : 定理 5.3.1: 若 τ L(V ), 則 (a) 極小多項式 m τ (x) 與特徵多項式 C τ (x) 有相同的素因子 (b) (Caley-Hamilton 定理 ) m τ (x) C τ (x), 即 C τ (τ) = Jordan 標準形式有限維向量空間的每個線性算子 τ 都有標準形式, 即所有有理標準形式的矩陣的全體組成一個標準形式集合顯然, 有理標準形式還不是像我們所指望的那樣有具體簡單的形式對一些重要的特殊的形式, 我們可以得到更為簡單的標準形式這種重要的特殊的情形是 : 若算子 τ L(V ), 它的極小多項式可以分解為線性因子的乘積, 即 m τ (x) = (x λ 1 ) e1 (x λ n ) en. (5.4.1) 當一個多項式在體 F 上分解為線性因子的乘積時, 稱多項式可以在 F 上分裂 (split) 若體 F 上任一非常數的多項式的根仍在 F 中, 稱 F 為代數封閉的 (algebraic closed) 因此, 在代數封閉域上不可約多項式只有線性多項式故任意非常數多項式在 F 上分裂代數封閉體簡單的例子是複數體回顧有理標準形式 v j,l 是循環子模, 其首一階為初等因子 p e j,l j (x) 由於對 p e j,l j (x) 了解甚少, 以致作為 V 的 τ - 循環子空間, 選取基底為 B j,l = ( v j,l, τ j,l (v j,l ),... τ d j,l 1 j,l (v j,l ) ).

12 線性代數五講 45 當極小多項式是 (5.4.1) 時, 其初等因子為這時, 我們可以更有效地選取基底由於 p e j,l j (x) = (x λ j ) e j,l. dim( v j,l ) = deg ( p e j,l j (x) ), 不難看出 G j,l = ( v j,l, (τ j,l λ j )(v j,l ),... (τ j,l λ j ) e j,l 1 (v j,l ) ) 也是 v j,l 的一組基底記 G j,l 中第 k 個向量為 b k, 則當 k = 0,..., e j,l 2 時, τ j,l (b k ) = τ j,l [ (τj,l λ j ) k (v j,l ) ] 當 k = e j,l 1 時, 應用 = (τ j,l λ j + λ j ) [ (τ j,l λ j ) k (v j,l ) ] = (τ j,l λ j ) k+1 (v j,l ) + λ j (τ j,l λ j ) k (v j,l ) = b k+1 + λ j b k ; (τ j,l λ j ) k+1 (v j,l ) = (τ j,l λ j ) e j,l (v j,l ) = 0, 可得 τ j,l (b ej,l 1) = λ j b ej,l 1. 因此, 相對於基底 G j,l, τ j,l = τ vj,l 所對應的矩陣為 e j,l e j,l 方陣 : λ j λ j 0 G(λ j, e j,l ) = λ j 這個矩陣稱為 λ j 的 Jordan 塊 (Jordan block) 即 Jordan 塊為在主對角線上元素為 λ j, 在次對角線上元素為 1, 其餘元素為零於是在選取新的基底之後, 我們得到類似於定理的如下定理 : 定理 5.4.1: 若算子 τ L(V ) 的極小多項式在體 F 上可分裂, 即 m τ (x) = (x λ 1 ) e1 (x λ n ) en.

13 46 數學傳播 32 卷 2 期民 97 年 7 月則 V 可分解為 V = ( v 1,1... v 1,k1 ) ( ( v n,1... v n,kn ), 這裡 v j,l, j = 1,...,n, l = 1,..., k n 是 V 的 τ - 循環子空間 ; τ j,l = τ vj,l 的極小多項式為 V 的初等因子 min ( ) τ j,l = (x λj ) e j,l, 這裡 e j = e j,1 e j,2 e j,kj 1, j = 1,..., n. 這些初等因子由 τ 唯一決定令 G j,l = ( v j,l, (τ j,l λ j )(v j,l ),... (τ j,l λ j ) ej,l 1 (v j,l ) ) 是 v j,l 的一組基底, 則與 τ 相對應的矩陣在基底 G = ( ) G 1,1, G 1,2,...,G n,kn 下是分塊對角矩陣 G(λ 1, e 1,1 )... G(λ 1, e 1,k1 ) [τ] B =.... G(λ n, e n,1 )... G(λ n, e n,kn ) 上式右邊的矩陣稱為 τ 的 Jordan 標準形式 (Jordan canonical form) 用矩陣的語言, 在代數封閉域 F 上每個矩陣都相似於唯一的一個 Jordan 標準形式, 也就是所有的 Jordan 標準形式的確組成了在相似意義下的標準形式集合若 τ 有 Jordan 標準形式 G, 則 G 中主對角線上元素就是特徵多項式 C τ (x) 的根 ( 包括重數 ) 也就是, G 中主對角線元素 λ j 出現的次數就是特徵多項式的根 λ j 的重數定理是線性代數的另一個高峰從幾何的意義來講, 它徹底解決了在代數封閉體上的一個向量空間在一個線性變換下的分解從代數的角度來講, 它徹底解決了在代數封閉體上的矩陣在相似變換下的分類

14 線性代數五講內積空間上算子的標準形式 1. 在 2.4 節及 3.3 節中介紹了內積空間以及其上的三種重要算子 : 自共軛算子酉算子及正規算子, 還討論了它們的一些簡單性質若 V, W 為 F 上有限維內積空間, τ L(V ), 則存在唯一的線性變換 τ : W V 定義為 τ(v), w = v, τ (w), 這裡 v V, w W τ 稱為 τ 的共軛算子若 V 是內積空間, τ L(V ), 則 τ 稱為自共軛算子 ( 或埃爾米特 ), 如果 τ = τ 算子 τ 稱為酉算子, 如果 τ 是雙射而且 τ 1 = τ 如果 τ τ = τ τ, 則 τ 稱為正規算子我們現在來看看這些算子的特徵值和特徵空間命題 5.5.1: 若 τ 是自共軛, 則 τ 的特徵多項式 C τ (x) 的根都是實的換句話說, 特徵值全是實的證明 : 先設 V 是複向量空間, λ 是 V 的特徵多項式 C τ (x) 的根, 則有 v 0 使得 τ(v) = λv 於是 τ(v), v = λv, v = λ v, v. 由於 τ 是自共軛, 所以 τ(v), v = v, τ(v) = v, λv = λ v, v. 故 λ = λ, 即 λ R 若 V 是實向量空間, 則 τ 對 V 的某一組基底其對應的矩陣是實對稱矩陣 A, 於是 C τ (x) = C A (x) 因 A 是實對稱矩陣, 可看作複向量空間 C n 的一個自共軛線性算子, 如上面所證, 其特徵多項式的根是實數將 A 看作實的或複的矩陣, 其特徵多項式是一樣的, 命題因而證畢命題 5.5.2: 若 τ 是酉線性算子, 則 τ 的特徵值的絕對值為 1 證明 : 若 τ 為酉算子及 τ(v) = λv 則 λ λ v, v = λv, λv = τ(v), τ(v) = v, v. 故 λ 2 = 1, 即 λ = 1 命題 5.5.3: 若 τ 為正規算子, λ, µ 為 τ 不同的特徵值, 則對應的特徵子空間互相正交特別地, 自共軛算子和酉算子的不同特徵值對應的特徵子空間互相正交

15 48 數學傳播 32 卷 2 期民 97 年 7 月證明 : 若 τ(v) = λv 及 τ(w) = µw, 這裡 λ µ, 則 λ v, w = τ(v), w = v, τ (w) = v, µw = µ v, w. 因為 λ µ, 故 v, w = 0 這裡用到 τ (w) = µw, 參閱 3.3 節中正規算子的性質 (5), 命題因而證畢前面的有理標準形式及 Jordan 標準形式一般不是對角矩陣, 什麼情況下可化為對角矩陣? 定義 5.5.1: 若 V 是有限維內積空間, τ L(V ), 若有 V 的正規正交基底 O 使得 [τ] O 是一個對角矩陣, 則稱 τ 可正交對角化 (orthogonal diagonalizable) 定理 5.5.1: 若 V 是有限維複內積空間 (a) V 上一個線性算子 τ 可以正交對角化若且唯若它是正規的 (b) τ 是 V 上的一個正規算子, 它是自共軛若且唯若它的特徵值均為實的 (c) τ 是 V 上的一個正規算子, 它是酉的若且唯若它的特徵值的絕對值均為 1 證明 : (a) 若 τ 為是複內積空間 V 上的一個正規算子, 且 τ 的極小多項式的素因子分解為 m τ (x) = (x λ 1 ) e1 (x λ k ) e k, 則由准素模分解定理 (Decomposition Theorem for Primary modules), V 可分解為 V = V 1... V k. 由 3.3 節中有關正規算子的命題的 (4), 我們有 V j = { v V : (τ λ j ) e j (v) = 0 } = { v V : (τ λ j )(v) = 0 } = E λj, j = 1,..., k 故 τ Vj 的極小多項式為 x λ j, 故 e j = 1, j = 1,...,k 因此 V = E λ1... E λk. 由命題知道, V 可分解為正交直和 V = E λ1... E λk. 所以將每個特徵空間的正規正交基底組合起來構造出由 τ 的特徵向量組成的 V 的一個正規正交基底, 即 τ 是可以正交對角化的

16 線性代數五講 49 反之, 若 τ 是可以正交對角化, 則 V 有一個正規正交基底 O = {u 1,...,u k } 其中 τ(u j ) = λ j u j, j = 1,..., k 於是 u j, τ (u l ) = τ(u j ), u l = λ j u j, u l =λ j δ j,l = λ l δ j,l = u j, λ l u l, 所以 τ (u l ) = λ l u l 因此 τ τ (u l ) = λ l τ(u l ) = λ l λ l u j = λ l τ (u l ) = τ τ(u l ), 故 τ 為正規算子 (b). 已知自共軛算子是正規的, 則特徵值均為實的反之, 若 τ 是複內積空間 V 上的一個正規算子, 且其特徵值均為實的, 則對應於 λ l 的任何特徵向量 u l, 我們有 τ (u l ) = λ l u l = λ l u l = τ(u l ). 由於這些 u l 是特徵向量構成的基底, 故 τ 為自共軛算子 (c). 若 τ 為酉算子, 則它的特徵值的絕對值均為 1 反之, 若 τ 是複內積空間 V 上的一個正規算子, 且其特徵值之絕對值均為 1, 則對應於 λ l 的任何特徵向量 u l, 我們有 u l, u l = λ l λl u l, u l = λ l u l, λ l u l = τ(u l ), τ(u l ) = u l, τ τ(u l ). 由於這些 u l 是特徵向量構成的基底, 故 τ = τ 1, 因此 τ 為酉算子定理因而證明完畢上面給出了複內積空間上線性算子 τ 可正交對角化的充要條件是 τ 為一正規線性算子下面給出實內積空間上線性算子可正交對角化的充要條件軛定理 5.5.2: 有限維實內積空間 V 上的一個線性算子 τ 可正交對角化若且唯若 τ 是自共證明 : 若 τ 為是 V 上的自共軛算子, 則由命題知 τ 的極小多項式可在 R 上分裂由 3.3 節中關於自共軛算子的命題的 (8) 及命題得到, 在 V 中存在一組由 τ 的特徵向量構成的正規正交基底 ; 其證明類似於定理之證明反方向我們用矩陣來證明 : 若 τ 可正交對角化, 則 V 中存在一組正規正交基底 O, 使得 [τ] O 對角化由於 [τ] O 是實對稱, 所以 [τ ] O = [τ] O = [τ] T O = [τ] O,

17 50 數學傳播 32 卷 2 期民 97 年 7 月即 τ = τ 定理與定理之矩陣形式如下定理 5.5.3: (a) 設 A 是一個複方陣, 則存在酉矩陣 U 使得 U A U 1 是對角矩陣若且唯若 A 是正規的 ; 一個正規複方陣 A 是 Hermitian 若且唯若 A 的特徵值均為實的一個正規複方陣 A 是酉矩陣若且唯若它的特徵值絕對值均為 1 (b) A 是一個實方陣, 則存在正交陣 O 使得 O A O 1 是對角方陣若且唯若 A 是對稱的 ( 見定理 2.3.5) 2. 上面給出了正規算子與自共軛算子分別在複數體 C 及實數體 R 上的標準形式是對角矩陣現在來給出實數體 R 上的酉算子的標準形式若 τ 是一個實酉算子, 則 σ = τ + τ = τ + τ 1 是自共軛算子, 故有一實特徵值的完備集合, 如在定理中那樣, V 可分解為 V = E λ1... E λk, 這裡或乘以 τ, E λj = { v V : (τ + τ 1 λ j )(v) = 0 }, E λj = { v V : (τ 2 λ j τ + 1)(v) = 0 }. 若 λ j = 2, 則由於 τ 是正規的, 因而有 E 2 = { v V : (τ 1) 2 (v) = 0 } = { v V : (τ 1)(v) = 0 }. 若 λ j = 2, 我們有 E 2 = { v V : (τ + 1) 2 (v) = 0 } = { v V : (τ + 1)(v) = 0 }. 故算子 τ 在特徵空間 E 2 及 E 2 ( 如存在的話 ) 上的限制分別就是乘以 +1 或 1 當 λ j ±2 時, 若 v E λj, 考慮 span{v, τ(v)} 這是 E λj 中的一個不變子空間, 因為 τ(τ(v)) = τ 2 (v) = λ j τ(v) v. 於是 E λj = span{v, τ(v)} span{v, τ(v)}.

18 線性代數五講 51 連續這樣的步驟, 每個 E λj 分解為二維子空間的正交直和, τ 在每個子空間上是一個實酉算子 : V = E 2 E 2 D 1 D m, 這裡 dimd i = 2, i = 1,...,m, 每一項在 τ 下不變於是, 我們只要算出在二維空間 D 上的實酉算子 τ 的矩陣即可由於對 D 的任意正規正交基底, τ 的矩陣是正交的, 故若 [ ] a b [τ] =, c d 則 a 2 + b 2 = 1, c 2 + d 2 = 1, ac + db = 0. 由於 det([τ]) = 1, 即 ad bc = 1, 解這些方程式, 我們得到 d = a, c = b, 於是 [ ] a b [τ] =. b a 但 (a, b) 是 R 2 中的單位向量, 因此 (a, b) = (cosθ, sin θ), 這裡 θ R, 因而 [ ] cosθ sin θ [τ] =. sin θ cosθ 歸納起來, 我們得到下面的定理 : 定理 5.5.4: 若 τ 是有限維實內積空間 V 上的一個酉算子, 則 V 有一組正規正交基底, 使得 τ 的矩陣有分塊形式 I m1 I m2 cosθ 1 sin θ 1 sin θ 1 cos θ 1. (5.5.1)... cosθ k sin θ k sin θ k cos θ k 這裡 I mj, j = 1, 2 是 m j m j 單位矩陣定理的矩陣形式可以寫成如下定理 :

19 52 數學傳播 32 卷 2 期民 97 年 7 月定理 5.5.5: 若 A 是正交矩陣, 則存在正交矩陣 O, 使得 O A O 1 是形如 (5.5.1) 的矩陣 5.6. 附記在 5.1 節中已經說到, 本講是將體 F 上的向量空間 V 看成 F 上多項式環 F[x] 上的模, 於是上一講中的結果可以翻譯成為向量空間的語言, 這就得到一系列十分重要的分解定理在 4.1 節中, 還說到環 R 上的一個 R - 模, 當 R = Z ( 整數環 ) 時, 則 Z - 模就是 Abel 群, 也就是可以將 Abel 群看作 Z - 模於是也可以將上一講中的結果翻譯成為 Abel 群的語言, 也可以得到十分重要的分解定理如果 G 是一個有限生成的 Abel 群, 則 G 可以視為一個有限生成的 Z - 模由定理 4.3.1, G 可以分解為一個撓模 G tor 和一個自由 Z - 模 G free 的直和設 G free 的秩為 r, 則 G free Z r 若 G tor 也是有限生成的設 x 1,... x m 是它的一組生成元素, 於是 G tor 的每一個元素都可以用這組生成元來素表示 ; 由於這些生成元的階都是有限的, 所以, G tor 是一個有限 Abel 群由定理 , G tor 的階為 µ = p e p en n, 這裡 p j, j = 1,...,n, 為不同質數, 則 G tor 可分解為 G tor = G p1... G pn, 這裡 G pj = {v G tor : p e j j (v) = 0}, 即 G pj 為 G tor 的階為 p e j j G tor 的 Sylow p j - 子群, j = 1,...,n 的子群, 換句話說, G pj 為這裡要注意的是 : 對於有限 Abel 群 G 有兩個階的概念, 其一指 G, 即 G 中元素的個數 ; 其二指 G 作為 Z - 模的零化子的生成元素一般而言, 這兩個階是不同的在上一段的討論中所講的階是指後者回顧群 G 的 Sylow p - 子群是指 G 的階為 p m 的子群, 其中 p m G, 且 p m+1 G Sylow p - 子群總是存在的, 因此在上一段的討論中, G pj 必是 G tor 的 Sylow p j - 子群, j = 1,...,n 由定理 , 有限 Sylow p j - 子群, p j 為質數, j = 1,...,n, 又可以分解成一些循環 p j - 子群的直和, 即 G pj = G j,1... G j,kj, j = 1,...,n, 這裡 G j,1 是階為 p e j,l j 的循環 p j - 子群, l = 1,..., k j, 且滿足 e j = e j,1 e j,2 e j,kj.

20 線性代數五講 53 換句話說歸納起來, 有以下的定理 p e j,j k j e j,jk 1 p j e p j,1 j. 定理 5.6.1: ( 有限生成的 Abel 群的分解定理 ) 若 G 是一個有限生成的 Abel 群, 則 G 可以分解成 r 個無限循環子群及一些有限循環 p j - 子群的直和 r 和有限循環 p j - 子群的階 p e j,l j, j = 1,...,n, l = 1,...,k j, 是 G 上一組完全不變量, 即兩個有限生成 Abel 群同構若且唯若它們的不變量完全相同這就是第四講中主理想整環上有限生成模的分解定理譯成有限生成 Abel 群時的語言由此可以看出, 這完全解決了有限生成 Abel 群的分類問題當然這些內容不屬於線性代數的範圍, 所以作為附記, 用以顯示模理論的有力作用參考文獻 1. 呂輝雄, 線性代數講義, 凡異出版社, 新竹, 莫宗堅藍以中趙春來, 代數學, 北京大學出版社, 北京, 李炯生查建國, 線性代數學, 中國科學技術大學出版社, 合肥, 劉紹學, 近世代數基礎, 高等教育出版社, 北京, 聶靈沼丁石孫, 代數學引論 ( 第二版 ), 高等教育出版社, 北京, 龔昇, 線性代數五講, 科學出版社, 北京, T. W. Hungerford, Algebra, GTM 73, Springer-Verlag, Berlin-New York-Heidelberg, N. Jacobson, Basic Algebra I, W. H. Freeman & Company, San Francisco, T. S. Blyth, Module Theory - An Approach to Linear Algebra, Oxford Univesity Press, London, S. Roman, Advanced Linear Algebra, GTM 135, Springer-Verlag, Berlin-New York- Heidelberg, 1992 本文作者龔昇任教於中國科技大學 ; 張德健任教於美國 Georgetown University 數學系

LAch7

LAch7 Maxima 在線性代數上之應用正準形式國立屏東教育大學應用數學系研究助理徐偉玲 weilinghsu@mail.npue.edu.tw 日期 :2009/9/8 除另有說明外, 本文件採用創用 CC 姓名標示非商業性 2.5 台灣條款第七章正準形式 7.1 Jordan 正準形式 Ⅰ 2. 對每一個矩陣 A, 對 L A 的每一個廣義特徵空間找一組由不相交的廣義特徵向量循環集之聯集所組成之基底,