作者NTUmaki (西木野真姬)
看板Math
標題[線代] 左右逆矩陣相等的證明
時間Sat Oct 17 15:28:04 2020
想請問我的證明有沒有誤（感覺有錯@@ 但不知道問題在哪）
Given A:m*n , B C :n*m. BA=I_n, AC=I_m
prove that B=C
pf:
BA=I_n
BAC=I_nC
BI_m=I_nC
B=C
-----
Sent from JPTT on my iPhone
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.10.9.95 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Math/M.1602919686.A.441.html
1F：→ Poincare : 你覺得哪裡有錯 10/17 15:34
因為證明實在太短...所以我才覺得有錯qq 還是真的就這麼簡單？
※ 編輯: NTUmaki (39.10.9.95 臺灣), 10/17/2020 15:35:49
2F：→ NTUmaki : 我是怕有什麼特殊的情況沒考慮到@@ 10/17 15:36
3F：→ hwanger : 證明沒錯 你感覺有錯也是對的 因為若m>n(反之亦然) 10/17 16:05
4F：→ hwanger : AC的rank最多是n 不可能乘出I_m 也就是A的右逆元素 10/17 16:06
5F：→ hwanger : 一開始就不存在 (若p則q p錯 則命題恆真) 10/17 16:06
6F：→ hwanger : 而你的證明 是m=n時 標準的代數作法 10/17 16:08
7F：→ hwanger : 現在比較怕的是邏輯誤用 也就是 "A:m*n , B C D :n* 10/17 16:19
8F：→ hwanger : m. DA=BA=I_n, AC=I_m implies that D=C=B" 純粹是 10/17 16:19
9F：→ hwanger : 邏輯形式上真的 你卻推到"給定矩陣的左逆矩陣是唯 10/17 16:19
10F：→ hwanger : 一的"這個結論 10/17 16:19
11F：→ NTUmaki : 了解.. 因為我知道方陣的逆矩陣唯一這個定理 但是他 10/17 17:31
12F：→ NTUmaki : 給的非方陣 才感覺這樣證會在某個地方出錯 10/17 17:31
13F：→ NTUmaki : 也就是說我必須說明他是方陣 才能這樣導？ 10/17 17:32
14F：→ hwanger : 不管是不是方陣都可以這樣導 整句的敘述是 "如果存 10/17 18:02
15F：→ hwanger : 在原文所述的A,B,C 則B=C" 現在的情況是當m=n時 證 10/17 18:06
16F：→ hwanger : 明就是你的證明 當m不等於n時 整個證明就變成 10/17 18:07
17F：→ hwanger : vacuous proof (也就是前提已經不成立了 你要推什麼 10/17 18:08
18F：→ hwanger : 都沒關係) 10/17 18:08
19F：→ hwanger : 更簡單的說 原本的問題是問"如果存在 就怎樣" 只不 10/17 18:17
20F：→ hwanger : 過我們用了上帝視角 提前知道某些情況下一定不存在 10/17 18:18
21F：推 LPH66 : 這樣說吧: 你在擔心「非方陣怎麼辦」, 但題設條件 10/17 19:52
22F：→ LPH66 : 能推得 m=n (由上面提到的 rank 論證) 10/17 19:53
23F：→ LPH66 : 只是你這證法不需要用到 m=n 這個推論而已 10/17 19:53