→ hwanger : 對 題目是要證W1∩W2={0}和Mn*n(F)=W1+W2 10/24 22:52
→ hwanger : 給定一個A在Mn*n(F)中 考慮B為 (i<=j) Bij=Aij 10/24 22:56
→ hwanger : (i>j) Bij=Aji 則B對稱 A-B為嚴格下三角 A=B+(A-B) 10/24 22:57
→ kbolm : 我不太懂第二個證明 是指B在W2裡面 A-B在W1 10/24 23:40
→ kbolm : 裡面嗎？ 10/24 23:40
推 cuylerLin : 交集空集合顯然；給定任意矩陣A 10/24 23:52
→ cuylerLin : 定義B(A) (i,j)=B(A) (j,i) =A(i,j) for all i<=j. 10/24 23:52
→ cuylerLin : A=[A-B(A)] +B(A) 則前項落在W1裡，後項B(A) 落在W2 10/24 23:52
→ cuylerLin : 裡，直和分解成立 10/24 23:52
→ kbolm : 這個證明的方法是先假定Mn*n(F)=W1+W2是對的，給定 10/24 23:52
→ kbolm : A ，然後設B是一個對稱矩陣，最後得到A-B是嚴格下 10/24 23:52
→ kbolm : 三角矩陣嗎？ 10/24 23:52
推 cuylerLin : 不是，你要證明任意A都可以寫成W1裡面的東西加上W2 10/24 23:59
→ cuylerLin : 裡面的東西，此處的 addition as in matrix additio 10/24 23:59
→ cuylerLin : n 10/24 23:59
→ cuylerLin : 也就是你要把A湊出這兩個subspace裡面的元素，至於 10/25 00:00
→ cuylerLin : 怎麼湊就是經驗了XD 10/25 00:00
→ hwanger : Mn*n(F)=W1+W2這是兩個集合的相等 所以你要證 10/25 00:18
→ cuylerLin : 你可能只是定義不熟而已，可以回去前面1.3章的子空 10/25 00:20
→ cuylerLin : 間看看～ 10/25 00:20
→ hwanger : Mn*n(F)⊆W1+W2和W1+W2⊆Mn*n(F) 其中W1+W2⊆Mn*n(F 10/25 00:21
→ hwanger : 是顯然的 所以剩下要證的是Mn*n(F)⊆W1+W2 而其中W1 10/25 00:23
→ hwanger : +W2的元素都是一個嚴格下三角加上一個對稱矩陣 所以 10/25 00:24
→ hwanger : 我們想證的是任意一個矩陣都是一個對稱矩陣加上一個 10/25 00:25
→ hwanger : 嚴格下三角 意即A=B+L for some symmetric B and 10/25 00:26
→ hwanger : lower triangular L 比對一下Aij=Bij+Lij就可以推出 10/25 00:27
→ hwanger : B長什麼樣了 因為是直和 你只有一個目標能湊 所以毫 10/25 00:29
→ hwanger : 無章法亂湊是行不通的 10/25 00:30
→ cuylerLin : 原po也沒有毫無章法亂湊吧...我覺得原po只是定義不 10/25 00:37
→ cuylerLin : 夠熟悉而已 10/25 00:37
→ hwanger : 我又沒說原PO毫無章法亂湊 我是說毫無章法亂湊是行 10/25 00:42
→ hwanger : 不通的 10/25 00:43
→ cuylerLin : 就是要把任意的矩陣A湊出W1跟W2裡面的元素相加，怎 10/25 00:46
→ cuylerLin : 麼會扯到毫無章法XD？一定是根據這兩個子空間來湊不 10/25 00:46
→ cuylerLin : 是嗎XD 10/25 00:46
→ cuylerLin : 當然可能複雜的題目給經驗多的人做，一下子就湊出來 10/25 00:47
→ cuylerLin : 可能會被說毫無章法賽到就是了... 10/25 00:47
→ cuylerLin : 我反而會建議原po其實可以很直覺地馬上把B(A) 寫下 10/25 00:49
→ cuylerLin : 來 10/25 00:49
→ hwanger : 我不太懂為何要曲解我的話 根據已有的知識一步一步 10/25 00:53
→ hwanger : 汰除不可能的選項 或依著線索目標應有的樣子基本上 10/25 00:55
→ hwanger : 就不是毫無章法了 有經驗的人也只是過程比較快而已 10/25 00:57
→ hwanger : 我反而會建議原PO在初學的階段多寫幾次entry-wise的 10/25 00:59
→ hwanger : 東西 這種東西寫過幾次就懂了 學習的過程本來就是前 10/25 01:00
→ hwanger : 面緩慢 而後陡升的 唯有前期緩慢多下基礎功 後面陡 10/25 01:02
→ hwanger : 升的高度才會增加 10/25 01:02
→ hwanger : 基本上是真正寫下來就懂的 不需要假裝自己一眼就能 10/25 01:07
→ hwanger : 看出來 10/25 01:07
→ kbolm : 大概了解了 我會多練習的～ 10/25 01:09
→ kbolm : 真的很謝謝h大跟c大！ 10/25 01:09
推 cuylerLin : 順帶補充一下，原po也可以做做前一題，收穫也會滿多 10/25 01:14
→ cuylerLin : 的XD 10/25 01:14
→ hwanger : M=S+A for some symmetric S and anti-symmetric A 10/25 01:47
→ hwanger : 整道題和transpose有關 所以transpose上面那個式子 10/25 01:49
→ hwanger : 就會觀察到答案了 就跟奇偶函數一樣 不是憑空在湊的 10/25 01:50