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

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[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.armenian.com/cgi-bin/links.cgi?searchstring=cheap%20viagra viagra   8O  http://www.ratemds.com/doctor-ratings/957857/LA/Los-Angeles/Adacialisoli?tag=cialis cialis   :)  http://www.stlouisbusinesslist.com/category/business.asp?uid=5021837&function=interview viagra   :-DD   -- [Ctysufdi] &new{2010-03-20 (土) 02:35:50};

#comment_kcaptcha


Counter: 3371 (from 2010/06/03), today: 2, yesterday: 3