為什麼這篇Idempotent鄉民發文收入到精華區：因為在Idempotent這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者NTUmaki (西木野真姬)看板Math標題[線代] Idempotent 證明時間Tue O...
https://i.imgur.com/1QbWs5e.jpg
想問b 的證法
右邊包含於左邊很trivial
但左邊包含於右邊想不到怎麼做，任給x屬於N(A) 一定可以寫成 u-Au 感覺沒有一個出發點
我如果直接取 x=x-Ax 是合理的做法嗎
-----
Sent from JPTT on my iPhone
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.8.2.73 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1603731178.A.DA5.html
※ 編輯: NTUmaki (39.8.2.73 臺灣), 10/27/2020 00:54:44
→ hwanger : 是合理的作法 10/27 01:13
→ hwanger : 若A是idempotent 則I-A也是idempotent b其實是在說 10/27 01:21
→ hwanger : 一個重要的性質 N(A)=C(I-A) 10/27 01:21
→ hwanger : 同時我們會有角色對換的性質 C(A)=N(I-A) 10/27 01:23
→ hwanger : 實際上左邊包含於右邊對於一般矩陣都會成立 即當t非 10/27 01:36
→ hwanger : 零時 N(A)是C(t*I-A)的子集 因對任意x在N(A)中 x會 10/27 01:36
→ hwanger : 是t*I-A的eigenvector 10/27 01:36
→ hwanger : 而任意eigenvalue不為0的eigenvector的在image中 10/27 01:38
→ hwanger : typo:都在t*I-A的image中 10/27 01:41
→ hwanger : 而右邊包含在左邊才是真正用到idempotent的性質 10/27 01:44
→ TimcApple : Yes. x in N(A) -> Ax = 0 -> x = x - Ax 10/27 08:16
→ TimcApple : 取 u = x 則左邊包含於右邊 10/27 08:16
→ TimcApple : Note that (I-A)^2 = I-A, so I-A is also 10/27 08:19
→ TimcApple : an idempotent 10/27 08:19
→ hwanger : 不是很重要 不過在矩陣的情況下 尤其是在討論N(A) 10/27 09:51
→ hwanger : C(A)這種東西的狀況下 A^2=A的A通常是稱作 10/27 09:52
→ hwanger : projection(因為是將C(A)⊕N(A)投影到C(A)) 會叫 10/27 09:54
→ hwanger : idempotent是因為他的確是矩陣"環"中的idempotent元 10/27 09:55
→ hwanger : 素 這時你討論C(A),N(A)其實是在討論矩陣環的元素作 10/27 09:58
→ hwanger : 用在一個特別module的表現 10/27 09:59
→ hwanger : 而projection matrix會特別簡單是因為他的minimal 10/27 10:03
→ hwanger : polynomial是x^2-x 所以他一定可以對角化 有兩個 10/27 10:04
→ hwanger : eigenspace eigenvalue分別是1(對應到C(A))和0(對應 10/27 10:05
→ hwanger : 到N(A)) 所以從eigendecomposition來看 圖片裡的問 10/27 10:06
→ hwanger : 題都是可以馬上得到答案的 10/27 10:07