這是應用 Jordan 形式的證明問題,當然也有其他證法。
Prove that that is no matrix
such that
.
參考解答:
證明1:二階矩陣 有相重特徵值
,代數重數為
,可知
也有相重特徵值
。因此,
的 Jordan 典型形式
只有兩種可能:
或
,寫出
,但兩種 Jordan 矩陣皆使
,推得
,這與命題的假設相矛盾,故證明所求。
證明2:二階矩陣 有相重特徵值
,即知
的特徵多項式為
。Cayley-Hamilton 定理表明
,與命題假設矛盾,故得證。
證明3:因為 的特徵值皆為
,說明
是冪零矩陣 (nilpotent matrix)。任一
階冪零矩陣
滿足
,與命題假設矛盾,即得證。
證明4: 和
的特徵值皆為
。因為
,
的唯一特徵向量
必為
的特徵向量,可知
的形式為
,故
。但
和
不存在解,與假設矛盾,證畢。
Jordan 型体现了该问题的本质。如果仅仅为了证明,可以直接用 Cayley-Hamilton 定理书写,比较快捷。
已補充 Cayley-Hamilton 定理證明,順便又加了二個,供讀者參照。
我觉得证明 4 第一步最好加一些说明,不然初级读者容易误以为一般情况下
的特征向量一定是
的特征向量。
你真是細心,已修增說明。這讓我想起至今尚未寫過關於冪矩陣特徵值的代數與幾何重數的詳細討論。