作者smartlwj (我要征服实变)
看板Grad-ProbAsk
标题Re: [理工] [线代]-三题证明题,请大大们帮忙!
时间Thu Nov 26 23:27:15 2009
※ 引述《ruby791104 (阿年:))》之铭言:
: 嗯……
: 我承认这是作业,
: 可是我真的不会写,
: 拜托好心的大大帮忙!
: 以下三题,讨论并证明”only if”的情形。
: 1.Suppose A, B are in R^n*n and A is nonsingular.
: Prove that AB is singular if B is singular.
det(AB) = det(A)det(B)
since A is nonsingular and B is singular
=> det(A)=/=0 and det(B)=0
so, det(AB) = 0
thus AB is singular.
: 2.Suppose A, B are in R^n*n and A-B is nonsingular.
: Prove that┌ ┐ is nonsingular.
: |I I |
: | |
: |A B |
: └ ┘
consider [0 I] = [I I][ I 0]
[A-B B] [A B][-I I]
then det([0 I]) = det([I I])det([I 0])
[A-B B] [A B] [-I I]
=> -det(A-B)=det([I I])det(I)
[A B]
=> det([I I]) = -det(A-B)
[A B]
since A-B is nonsingular
=> det(A-B) =/= 0
=> det([I I]) =/= 0
[A B]
hence [I I] is nonsingular
[A B]
: 3.Suppose A, E, F are in R^n*n and that E and F are elementary matrices.
: Prove that if A is nonsingular then EAF is nonsingular.
: 先在此谢过好心的大大罗!(鞠躬
Since E and F are elementary matrices, so E and F are invertable
and A is nonsingular, then det(EAF)=det(E)det(A)det(F) =/= 0
so, EAF is nonsingular.
我猜应该是这样做吧?? 好像有点抖 囧...
有错请指正
(only if 是指逆命题吗?)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.195.16.32
1F:推 ruby791104:smartlwj大大:真的太谢谢你了!感激不尽!(鞠躬 11/26 23:36