線形代数Ｉ/教科書問/１．６ の変更点

更新 
[[FrontPage]]

* 問１．６ [#h017cccf]

&math(R^3); の原点を通る平面状に２組の基底 &math(\bm{a}_1,\bm{a}_2;\bm{b}_1,\bm{b}_2); をとる。

&math(\bm{b}_1=b_{11}\bm{a}_1+b_{12}\bm{a}_2);

&math(\bm{b}_2=b_{21}\bm{a}_1+b_{22}\bm{a}_2);

と表すとき、行列 &math(\left[\begin{array}{cc}b_{11}&b_{12}\\b_{21}&b_{22}\end{array}\right]); は
逆行列を持つことを示せ。

* 回答 [#kfecfc88]

与式を変形し、行列が逆行列を持たない場合、つまり &math(b_{11}b_{22}-b_{21}b_{12}= 0); のときに &math(\bm{b}_1,\bm{b}_2); が線形従属となり、基底を為すとした仮定と矛盾することを導く。

（１）&math(b_{11}\ne 0); のとき、

&math(\bm{a}_1= (1/b_{11})\bm{b}_1 - (b_{12}/b_{11})\bm{a}_2);

&math(\bm{b}_2=(b_{21}/b_{11})\bm{b}_1 - (b_{21}b_{12}/b_{11})\bm{a}_2 +b_{22}\bm{a}_2);

&math((b_{11}b_{22}-b_{21}b_{12})\bm{a}_2=-b_{21}\bm{b}_1+b_{11}\bm{b}_2);

となり、&math(b_{11}b_{22}-b_{21}b_{12}= 0); のときこの式は

&math(-b_{21}\bm{b}_1+b_{11}\bm{b}_2=\bm{o});

で、&math(\bm{b}_1,\bm{b}_2); が一次従属であることを示す。

（２）&math(b_{11}=0); のとき、

&math(\bm{b}_1=b_{12}\bm{a}_2);

さらに場合分けして、（２．１）&math(b_{12}\ne 0); のとき、

&math(\bm{b}_2=b_{21}\bm{a}_1+(b_{22}/b_{12})\bm{b}_1);

&math(b_{21}b_{12}\bm{a}_1=b_{12}\bm{b}_2-b_{22}\bm{b}_1);

となる。

ここで &math(b_{11}b_{22}-b_{21}b_{12}= 0); と置くと、&math(b_{11}=0); より
&math(b_{21}b_{12}= 0); となって、

&math(b_{12}\bm{b}_2-b_{22}\bm{b}_1=\bm{o});

が導かれる。

（２．２）&math(b_{12}= 0); のとき、&math(\bm{b}_1=\bm{o}); となるが、
ゼロベクトルを含むベクトルの組は明らかに線形従属となる。

* コメント [#i4d163d4]

何かあれば自由にコメントを付けてください。
- http://twisti.brokenmacro.com/forum/profile.php?id=100858 online tramadol   >:[  http://www.myst-of-lodoss.de/Forum/index.php?showuser=39815 buy cialis   =-)))  http://sewingmamas.mooseclick.com/b/member.php?u=38596 online tramadol   >:-P  http://www.liveforthemetal.com/community/profile.php?id=101417 tramadol   =PP  http://www.guild-wars.it/index.php?showuser=44279 cheap tramadol   %-)   -- [Saloabnp] &new{2010-05-18 (火) 20:49:12};
- http://www.love-poems-quotes.com/forum/profile.php?id=63636 tadalafil   8(  http://victoryfellowshipchurchofgod.org/new/punbb/profile.php?id=72641 tadalafil   %]]]  http://www.pyropub.com/profile.php?id=57697 tramadol   :(  http://forum.cercorlearning.com/profile.php?id=76805 cheap tramadol   >:-]]]   -- [Tukmrgkh] &new{2010-05-18 (火) 20:49:56};
- http://s257532017.online.de/index.php?action=profile;u=17216 viagra   =DDD  http://www.mhsioba.com/forum/upload/profile.php?id=32309 discount viagra   8)  http://www.mybackyardjunkyard.com/forum/profile.php?id=47557 soft cialis   %(((  http://www.english-football-league.com/member.php?u=82477 tramadol   =[   -- [Eywzstha] &new{2010-05-18 (火) 20:50:56};
- http://worldgameinfo.portbb.com/profile.php?id=12102 discount tramadol   =)  http://www.aphallatosis.aroodonline.net/forum/profile.php?id=56485 tramadol   %-))  http://www.effectiveprototyping.com/book/forums/profile.php?id=23137 buy viagra   %OO  http://www.omniauto.it/forum/index.php?showuser=94742 viagra   >:]   -- [Owfbddld] &new{2010-05-18 (火) 20:51:28};

#comment_kcaptcha
Counter: 5156 (from 2010/06/03), today: 1, yesterday: 2