作者piskebee (蜜蜂P助)
看板Grad-ProbAsk
标题Re: [理工] 线代 wronskian
时间Fri Sep 7 20:48:28 2018
※ 引述《magic83v (R7)》之铭言：
: https://i.imgur.com/B1Uw9Eb.jpg
: https://i.imgur.com/2DscOY2.jpg
: 看不太懂这段证明在做什麽
: 推到最後一句就说矛盾
: 是拿题目当已知 跟题目矛盾的意思吗？
: 感谢
今有一命题 p => q
反证法： 设 ~q 成立 => ~p 成立，QED
矛盾证法： 已知 p，设 ~q 成立 => ~p 成立，--><--，QED
所以原命题是说 若 p (w!=0)，则 q (linear independent)
故在已知 p 状况下[但过程没用到]，子嘉从 ~q (linear dependent) 导到 ~p (w=0)，
与已知的 p (w!=0) 矛盾[最後才用到]
大致上应该是这样子，如有错还请高手纠正
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 106.105.90.47
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1536324510.A.86C.html