看板 Grad-ProbAsk 關於我們 聯絡資訊
如圖 推廣6-4 使用定理6-7證明 可是定理6-7是假設T為冪零算子 v屬於ker(T$k)-ker(T$k-1) 可以證明ker(T$k)=V嗎? https://imgur.com/a/HpCSYh4 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.169.68.3 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1564669921.A.9BF.html
Ricestone: 他不是直接套用定理6-7做證明,只是用相同方式 08/01 22:40
Ricestone: 如果ker(T^k)-ker(T^(k-1))會找不到東西,代表相等 08/01 22:40
Ricestone: 事實上也只有相等而已,不代表會是V 08/01 22:43
Ricestone: 應該說定理6-7的T為冪零在證明中只為了說出6-4那句話 08/01 22:49
Ricestone: 所以除了第一行之外全都可以直接套用 08/01 22:50
AdonisLam: 可是如果不是冪零6-7第7,8行就不一定會成立不是嗎, 這 08/01 23:17
AdonisLam: 樣怎麼證明線性獨立? 08/01 23:17
Ricestone: 就是要用到ker(T^k)最終會等於ker(T^(k-1)) 08/01 23:22
Ricestone: 這證明的確寫得不夠 08/01 23:25
Ricestone: 啊,不對啦 08/01 23:27
Ricestone: 因為v屬於ker(T^k),所以本來就會=0 08/01 23:27
Ricestone: 不是用到冪等 08/01 23:27
Ricestone: ^零 08/01 23:33
AdonisLam: 不好意思,還是不太理解。v屬於ker(T^k),不是因為T是 08/02 00:15
AdonisLam: 指標=k的冪零矩陣,才知道v屬於ker(T^k)嗎? 08/02 00:15
Ricestone: 不是,打從一開始所謂的v屬於ker(T^k)但不屬於 08/02 03:01
Ricestone: ker(T^(k-1))這件事是6-4的前提,這件事並不等價於冪零 08/02 03:03
Ricestone: 就跟前面說的一樣,6-7的冪零只是為了找到有這性質的 08/02 03:04
Ricestone: v而已,而6-4是直接跟你說有這樣的v存在 08/02 03:04
Ricestone: v∈ker(T^k)-ker(T^(k-1)) 這句話就已經寫出v是在 08/02 03:08
Ricestone: ker(T^k)裡但不在ker(T^(k-1))裡的向量了 08/02 03:08
AdonisLam: 感謝 一直想著集合的範圍忘記ker的定義了 08/08 20:49