１．６のバックアップソース(No.6)

更新
[[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://www.ratemds.com/doctor-ratings/957857/LA/Los-Angeles/Adacialisoli?tag=cialis cialis   %]]]  http://www.uk-local-search.co.uk/search.aspx?q=royal%20viagra viagra   >:-[[   -- [Chbnmrmk] &new{2010-03-18 (木) 19:10:33};

#comment_kcaptcha
Counter: 4802 (from 2010/06/03), today: 1, yesterday: 0