【数検1級対策】線形従属の条件と係数の求め方

本記事では,数学検定1級で頻出のトピックについてまとめていきます。

初学者の分かりやすさを優先するため,多少正確でない表現が混在することがあります。もし致命的な間違いがあればご指摘いただけると助かります。

線形従属の条件と係数の求め方

a1,,anが線型従属となる必要十分条件は,線型従属の定義を行列で表現することにより得ることができる。特に元の個数と元の次元数が等しい場合は,線型従属となる必要十分条件は元を並べた行列の行列式が0となることである。線形従属の係数は,連立一次方程式を解く際の手続きを利用できる。

行列形式の演算を覚えておくと楽です。

具体例

  1. R4においてc=(a,b,c,d)a=(1,2,1,1),b=(2,6,1,4)の張る空間に属するための必要十分条件を求めよ
  2. R3においてa=(a,b,c),b=(c,a,b),c=(b,c,a)が線形従属となる必要十分条件を求めよ
  3. R3の元a1=(1,2,3),a2=(2,5,8),a3=(1,3,6)によって生成される部分空間Wの次元とその1組の基底を求めよ
  4. R3の元a1=(1,2,3),a2=(2,3,4),a3=(2,1,0)によって生成される部分空間Wの次元とその1組の基底を求めよ

解答

例1

R4においてc=(a,b,c,d)a=(1,2,1,1),b=(2,6,1,4)の張る空間に属するための必要十分条件を求めよ

線形従属の定義より,

(1)c=xa+yb

を満たす実数(x,y)が存在するための必要十分条件を求めます。A=(a b)とおくと,(A c)が解をもつための必要十分条件を考えればよく,c=(a,b,c,d)とおくと,

(2)(12a26b11c14d)(12a022a+b01a+c02a+d)(3)(10a2c004a+b2c01a+c003a2c+d)(10a2c01a+c004a+b2c003a2c+d)

が解をもつ必要十分条件は4a+b2c=0かつ3a2c+d=0となります。

例2

R3においてa=(a,b,c),b=(c,a,b),c=(b,c,a)が線形従属となる必要十分条件を求めよ

元の個数と元の次元数が等しいため,行列式による必要十分条件を利用できます。a,b,cが線形従属となる必要十分条件はdet|a,b,c|=0であるため,

(4)|acbbaccba|=a3+b3+c33abc=(a+b+c)(a2+b2+c2abbcca)(5)=12(a+b+c){(ab)2+(bc)2+(ca)2}=0

より,求める答えはa+b+c=0またはa=b=cとなります。

この因数分解は数検1級で頻出です。

例3

R3の元a1=(1,2,3),a2=(2,5,8),a3=(1,3,6)によって生成される部分空間Wの次元とその1組の基底を求めよ

(a1 a2 a3)を行基本変形したときの階数が求める次元となります。

(6)(121253386)(121011023)(121011001)

(a1 a2 a3)の階数は3となり,元の個数と次元が等しいため3つの元は線型独立となります。したがって,

(7)a1,a2,a3

1組の基底となります。

例4

R3の元a1=(1,2,3),a2=(2,3,4),a3=(2,1,0)によって生成される部分空間Wの次元とその1組の基底を求めよ

(a1 a2 a3)を行基本変形したときの階数が求める次元となります。

(8)(122231340)(122013026)(122013000)(104013000)

(a1 a2 a3)の階数は2となり,元の個数より次元の方が小さくなるため3つの元は線型従属となります。実際,上の手続きで明らかになっている通り,

(9)a3=4a1+3a2

のように表されます。したがって,

(10)a1,a2

1組の基底となります。

補足

式(8)から式(9)が導かれる理由を説明します。一般に,x1,,xnを変数とするn組の連立方程式Ax=bの解は

(11)(A b)  (En d)

と行基本変形して得られるdを用いてx=dとなります。ただし,An×n行列です。式(8)は

(12)(a1a2)(x1x2)=Ax=a3

という連立方程式を行列形式で解く表現そのものですので,Aの右側にa3をくっつけた(a1 a2 a3)の行基本変形を考えればよいです。左二列で変数の数を次元数とする単位行列E2を作り,そのときの一番右側の列ベクトルが求める係数となります。

シェアはこちらからお願いします!

コメント

コメントする

※ Please enter your comments in Japanese to distinguish from spam.