復習:連立方程式と逆行列 のバックアップ差分(No.4)

更新


  • 追加された行はこの色です。
  • 削除された行はこの色です。
[[線形代数II]]

* 内容 [#eef5aa60]

- 連立一次方程式 (&math(A\bm x=\bm b);) の分類
-- 解なし
-- ただ1つの解
-- パラメータを用いて表される無数の解
- 掃き出し法
-- 解なし~
 0 = 1 の行が現れる
-- ただ1つの解~
 係数部分が単位行列になる( 0 = 0 となる行があってもよい)
-- パラメータを用いて表される無数の解
--- 解に含まれるパラメータの数 = 掃き出せなかった変数の数
--- パラメータの数は係数行列のみにより決まる(定数項によらない)
- 階数(rank)との関係
-- 掃き出せた列の数 = rank
-- 解なし~
 &math(\rank A<\rank \big(\,A\ \bm b\,\big)); 
-- ただ1つの解~
 &math(\rank A=(Aの列数)); 
-- パラメータを用いて表される無数の解~
 &math((パラメータ数)=(Aの列数)-\rank A); 
- 逆行列の求め方

* 演習 [#h06d6faf]

(1)

次の連立方程式について、

&math(
\begin{cases}
ax+by=c\\
dx+ey=f
\end{cases}
);

 (a) ただ1つの解を持つような &math(a,b,c,d,e,f); を1つ答えよ~
 (b) 複数の解を持つような &math(a,b,c,d,e,f); を1つ答えよ~
 (c) 1つも解が存在しないような &math(a,b,c,d,e,f); を1つ答えよ~

(2)

次の連立方程式を、掃き出し法を用いて解け。

(a) &math(
\begin{cases}
2x+4y-2z=6\\
x-y+3z=2
\end{cases}\\
);

(3) 連立方程式 &math(A\bm x=\bm b); の一般解に任意パラメータが含まれるとき、
パラメータの数は &math((Aの列数)-\rank A); に等しいことを説明せよ。

(4) 次の行列の逆行列を求めよ。
&math(A=\begin{pmatrix}
3&2&3\\
2&1&2\\
3&2&2
\end{pmatrix});

* 解答 [#zcc467ae]

(1)-(a)

変数と同じ数の式が与えられていることから係数行列は正方行列となり、
規則性無く係数を選べば多くの場合正則な行列が得られ、解は1つに定まる。

(b) や (c) のようになるのは特殊な場合である(係数行列が非正則)。

分かりやすい形を答えるのであれば、
例えば &math(a=1,\ b=0,\ c=1,\ d=0,\ e=1,\ f=2); とすれば、

&math(
\begin{cases}
x+0y=1\\
0x+y=2
\end{cases}
);

であるから、明らかに &math(x=1,\ y=2); だけが解となる。

(1)-(b)

2つの式が独立な条件になっていないとき、解は無数に存在する。

たとえば、&math(a=b=c=d=e=f=1); とすれば、

&math(
\begin{cases}
x+y=1\\
x+y=1
\end{cases}
);

であるから、実質的には2つの変数に対して1つの条件式しか与えられていないのと同じことになる。

&math(y=s); と置けば、任意のパラメータ &math(s); に対して 
&math(\begin{pmatrix}x\\y\end{pmatrix}=s\begin{pmatrix}-1\\1\end{pmatrix}+
\begin{pmatrix}1\\0\end{pmatrix}); が解となることが分かる。

あるいは、&math(a=b=c=d=e=f=0); と置けば、実質的には条件式は何もないことになり、
任意の &math(x,y); が方程式の解となる。

(1)-(c)

絶対に成り立たない方程式を作ればいいから、

例えば &math(a=b=0,\ c=1); と置けば、

&math(
\begin{cases}
0x+0y=1\\
dx+ey=f
\end{cases}
);

となって、&math(d,e,f); によらず第1式を満たす &math(x,y); は存在しない。
すなわち、解なし、である。

あるいは、&math(a=b=c=d=e=1,\ f=2); と置けば、

&math(
\begin{cases}
x+y=1\\
x+y=2
\end{cases}
);

となって、やはりこれらを同時に満たす &math(x,y); は存在しない。

(2)-(a) 拡大係数行列に次に与える「行に対する基本変形」を適用し、
(2)-(a)

拡大係数行列に次に与える「行に対する基本変形」を適用し、
左から順に「掃き出し」を行うことにより、最終的に「階段行列」の形にする。

行に対する基本変形:
- ある行に他の行の定数倍を加える
- ある行に定数をかける
- 2つの行を入れ替える

&math(
\begin{pmatrix}
2&4&-2&6\\
1&-1&5&0
\end{pmatrix}\sim
\begin{pmatrix}
1&2&-1&3\\
1&-1&5&0
\end{pmatrix}\sim
\begin{pmatrix}
1&2&-1&3\\
0&-3&6&-3
\end{pmatrix}\sim
\begin{pmatrix}
1&2&-1&3\\
0&1&-2&1
\end{pmatrix}\sim
\begin{pmatrix}
1&0&3&1\\
0&1&-2&1
\end{pmatrix}
);

より、与式は

&math(
\begin{cases}
x+3z=1\\
y-2z=1
\end{cases});

と同値である。

掃き出しの行えなかった列に対応する変数 &math(z); をパラメータに置いて、
&math(z=s); とすれば、求める解は任意のパラメータ &math(s); に対して

&math(
\begin{pmatrix}x\\y\\z\end{pmatrix}=
s\begin{pmatrix}-3\\2\\1\end{pmatrix}+
\begin{pmatrix}1\\1\\0\end{pmatrix}
);

と表せることが分かる。

このように、&math(A\bm x=\bm b); の形に表せる連立方程式の解が
任意パラメータ &math(c_1,c_2,\dots,c_r); を用いて
&math(\bm x=c_1\bm x_1+c_2\bm x_2+\dots+c_r\bm x_r+\bm x_0); の形に表せるとき、

&math(\begin{cases}
A\bm x_0=\bm b\\
A\bm x_1=\bm 0\\
A\bm x_2=\bm 0\\
\hspace{1cm}\vdots\\
A\bm x_r=\bm 0\\
\end{cases});

である。
であり、この一般解が非斉次方程式 (&math(A\bm x=\bm b);) の特殊解 &math(\bm x_0); に、
対応する斉次方程式 (&math(A\bm x=\bm 0);) の解 &math(\bm x_1,\bm x_2,\dots); 
を加えた形になっていることが分かる。

線形代数で学ぶ「掃き出し法」は、「効率の良い問題の解き方」を学ぶためのものではなく、
どんな問題もこの方法で解けることと、解いた結果がどのような形になるかを分類できること、
を理解するのが重要なので、「別にこの方法でも解けるし、」などと考えず、
しっかり手順を身に着ける必要がある。

(3)

&math(\rank A); は掃き出し後の階段行列の行数として定義されるが、
これは「掃き出しが行えた列の数」に等しい。

一方、上でも見た通り、一般解に含まれる任意パラメータの個数は掃き出しの行えなかった列の数に等しいから、&math((Aの列数)-\rank A); と表せることになる。

&math((\rank A\le (Aの列数)); であるから、&math((Aの列数)-\rank A<0); となることはない。

&math((Aの列数)-\rank A=0); のとき、&math(0=1); のような行が現れれば解なし、
そのような行が現れない場合、つまり階段行列が正方行列になる場合や、
それに加えて &math(0=0); の行がいくつか現れる場合には解が1つに定まる。

(4)

&math(A); と単位行列 &math(E); とを並べて掃き出し、
左半分が単位行列になったとき、右に残ったのが &math(A^{-1}); である。
途中で掃き出しができなくなれば、&math(A); は非正則(逆行列を持たない)。

&math(
&\Big(\,A\ E\,\Big)=
\begin{pmatrix}
3&2&3&1&0&0\\
2&1&2&0&1&0\\
3&2&2&0&0&1
\end{pmatrix}\sim
\begin{pmatrix}
1&1&1&1&-1&0\\
2&1&2&0&1&0\\
3&2&2&0&0&1
\end{pmatrix}\sim
\begin{pmatrix}
1&1&1&1&-1&0\\
0&-1&0&-2&3&0\\
0&-1&-1&-3&3&1
\end{pmatrix}\sim\\
&\begin{pmatrix}
1&1&1&1&-1&0\\
0&1&0&2&-3&0\\
0&-1&-1&-3&3&1
\end{pmatrix}\sim
\begin{pmatrix}
1&0&1&-1&2&0\\
0&1&0&2&-3&0\\
0&0&-1&-1&0&1
\end{pmatrix}\sim
\begin{pmatrix}
1&0&0&-2&2&1\\
0&1&0&2&-3&0\\
0&0&1&1&0&-1
\end{pmatrix}=\Big(\,E\ A^{-1}\,\Big)
);

したがって、

&math(
A^{-1}=\begin{pmatrix}
-2&2&1\\
2&-3&0\\
1&0&-1
\end{pmatrix}
);


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