Re: [線代] 矩陣 AB=I => BA = I 嗎

看板Math作者 (君への嘘)時間10年前 (2015/02/28 13:04), 10年前編輯推噓4(4010)
留言14則, 4人參與, 最新討論串7/12 (看更多)
※ 引述《alfadick (悟道修行者)》之銘言: : ※ 引述《FAlin (君への嘘)》之銘言: : : 標題: Re: [線代] 矩陣 AB=I => BA = I 嗎 : : AB = I : : 左邊同乘A^-1 <=> (A^-1)(AB)=(A^-1)I : : <=> B = (A^-1) : : 右邊同乘A <=> BA = (A^-1)(A) = I : : AFFLICT / Fragment TRIPxTRICK : : -- : : → yyc2008 : 應該要先講為什麼A^(-1)存在吧?_ 02/28 01:50 : 他的證明大有問題. : 如果某個方陣A 已‧經‧知‧道 存在反方陣 : (這裡反方陣的定義照原原po所給,就是存在個B使得 AB = I 而且 BA = I) : 才可以照你這樣證. : 啊萬一某個方陣A只存在右反方陣哩?你根本不知道他有沒有反方陣, : 你的證明完全說不通 det(AB) = det(A)*det(B) = det(I) = 1 which means det(A) ≠ 0 -> A^-1 exist -- valuable sheaves 4 FELIDS storytellerII ╔╦╦═╦╗╔═╦╦╦═╗ storyteller Blessing Card 君への嘘 ║║║═║║║╚╣╩║═╣ JESTER Butterfly Core ║║║║║╚╬╗║║║═╣ REVOLT V.D. ╚═╩╩╩═╩═╩╩╩═╝ PLAY THE JOKER TRANSFORM / marvelous road AFFLICT / Fragment TRIPxTRICK -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.237.75.229 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1425099888.A.480.html

02/28 13:11, , 1F
ok, 這樣就完整了
02/28 13:11, 1F

02/28 13:29, , 2F
對喔,怎沒想出這麼簡單的方法,原本還想從
02/28 13:29, 2F

02/28 13:29, , 3F
linear transformation出發,證明full rank
02/28 13:29, 3F

02/28 13:34, , 4F
不過已經被證完了
02/28 13:34, 4F

02/28 14:57, , 5F
02/28 14:57, 5F

02/28 17:44, , 6F
只不過證detAB=detA*detB 是個超級大工程
02/28 17:44, 6F

02/28 17:44, , 7F
而且一定是先講inverse matrix再講determinant..
02/28 17:44, 7F

02/28 17:45, , 8F
因此在講inverse的一開始, 無法用給出用det的證明
02/28 17:45, 8F

02/28 17:45, , 9F
不過再講一次,重點還是detAB=detA*detB的背後證明
02/28 17:45, 9F

02/28 17:45, , 10F
是個大工程. 表面看起來是只用了這個小定理
02/28 17:45, 10F

02/28 17:46, , 11F
事實上內部扯到一拖拉苦的東西..只是隱藏起來了而已
02/28 17:46, 11F
※ 編輯: FAlin (124.11.128.7), 02/28/2015 19:13:42

02/28 22:59, , 12F
也沒有很大吧...就一些permutation和sigma展開而已
02/28 22:59, 12F

02/28 23:28, , 13F
就很煩,一堆induction XD
02/28 23:28, 13F

03/01 01:19, , 14F
我想的證明沒有induction的說XD
03/01 01:19, 14F
文章代碼(AID): #1KyKnmI0 (Math)
討論串 (同標題文章)
文章代碼(AID): #1KyKnmI0 (Math)