線形代数I/教科書問/1.6 のバックアップの現在との差分(No.10)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[FrontPage]]

* 問1.6 [#h017cccf]

&math(R^3); の原点を通る平面状に2組の基底 &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); が線形従属となり、基底を為すとした仮定と矛盾することを導く。

(1)&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); が一次従属であることを示す。

(2)&math(b_{11}=0); のとき、

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

さらに場合分けして、(2.1)&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});

が導かれる。

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

* コメント [#i4d163d4]

何かあれば自由にコメントを付けてください。
- http://www.uk-local-search.co.uk/business/buy+viagra+cheap+generic/1851115/ viagra   :[[  http://www.armenian.com/cgi-bin/links.cgi?searchstring=cialis%20pills cialis   %PPP   -- [Pvgojzwi] &new{2010-03-21 (日) 10:16:43};

#comment_kcaptcha


Counter: 4894 (from 2010/06/03), today: 1, yesterday: 0