作者ilovecs34 (彼得)
看板Math
標題Re: [線代] 幾個命題的真偽
時間Mon Feb 14 10:40:25 2011
※ 引述《Madroach (∞)》之銘言：
: 寫題目的時候碰到幾個不確定的敘述
: 1)A and B are n*n matrices, AB = O, then all eigenvalues of BA are 0.
: 2)A is a n*n matrix over R s.t A^2=-I_n, then
: ( i ) n must be even
: (ii ) tr(A)≠0
: (iii) if B^2=-I_n , then A.B are similar
: 這四條命題實在很不確定 Q Q
: 有請前輩指教!
前面都有人回答了
那我就補充2)(iii)
if B^2=-I -> Let f(x)=x^2+1
By C.H Thm f(B)=O
mB(x)|f(x)
mB(x)=(x-i)(x+i) or (x-i) or (x+i)
A同理，
Let mB(x)=(x-i) mA(x)=(x+i)
Hence, A, B不相似。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.143.56.123
1F：推 Madroach :對耶!這是個好辦法! 謝謝你!! :) 02/14 10:59
2F：→ Vulpix :實矩陣的min.poly.應該是實係數吧 02/14 23:37
3F：→ Vulpix :另外，這問題用Jordan form做出來是"true" 02/14 23:37
4F：推 ppia :minimal poly. = x^2+1 的話, over |R 就沒有 02/15 14:47
5F：→ ppia :eigenvalue, 樓上指的是 rational canonical form嗎? 02/15 14:47
6F：→ ppia :因為 inv. factor 一定只能是 {(x^2+1),(x^2+1),...} 02/15 14:49
7F：→ ppia :講錯, 是 elem. divisor, 所以這題 over |R 是對的 02/15 14:50
8F：→ ppia :是這樣嗎? 02/15 14:50
9F：→ ppia :剛剛看了一下原題有"over |R" 這個條件啊 02/15 14:52
10F：推 Madroach :嗯真的耶 題目確實有寫 over R @@" 02/15 22:13
11F：→ ilovecs34 :sorry造成你的誤解 是我的疏忽 02/16 10:27
12F：→ ilovecs34 :不過因為這樣的矩陣在Ｒ上不能做成Jordan form 02/16 10:30
13F：→ ilovecs34 :所以你考慮在Ｃ上形成Jordan form 會發現不相等 02/16 10:31
14F：→ ilovecs34 :所以回到R上時 A B不相似 02/16 10:32
15F：→ ilovecs34 :第二句不要理我= = 02/16 10:43
16F：推 ppia :不對吧 比如說 n=2 你舉的例子 A,B 在 M_2(C) 裡面 02/16 13:55
17F：→ ppia :會相似於 iI_2 或 -iI_2, 但這兩個方陣根本不可能 02/16 13:56
18F：→ ppia :跟 M_2(R) 裡面任何一個方陣相似 這反例是不成立的 02/16 13:57
19F：→ ppia :上面用 Rational Canonical Form 的證明應該可以吧 02/16 13:57
20F：→ ppia :也就是說這個命題在 M_n(R) 裡面是成立的 02/16 13:58
21F：→ ppia :還有可能是 [i 1; 0 i] 或 [-i 1; 0 -i] 02/16 14:00
22F：→ ppia :但無論如何 因為 A, B 的 trace 是實數, 上面的反例 02/16 14:00
23F：→ ppia :不成立 02/16 14:01
24F：→ ppia :對不起 我耍笨了 [i 1; 0 i] 或 [-i 1; 0 -i] 不可能 02/16 14:02