ドジソンの本棚

上の『大学数学』から数学記事検索が簡単にできます

ドジソンの本棚

本サイトはプロモーションを含みます

【線形代数】簡単!一次独立(線形独立)をランク(階数)から調べる方法

はじめに

※2022/05/01加筆

この記事では『一次独立(線形独立)をランク(階数)から調べる方法』を確認します。

一次独立(線形独立)をランク(階数)から判定

タイトルにある通り、一次独立(線形独立)をランク(階数)から判定する方法を考えていこう。

 

一次独立かどうか、調べるのは他にもあるが、ランクでやるのが一番早い(簡単)と思っている(筆者は)。

★行列が正方行列なら行列式で判定する方法もあるが、限定的なので(行列式に)頼り切りになるのはお勧めしない。

例えば、

 \left(\begin{array}{c}1 \\ 2 \\ 3\\4 \end{array} \right)\left(\begin{array}{c}1 \\ 1 \\ 2\\7 \end{array} \right)\left(\begin{array}{c}1 \\ 5 \\ 3\\2 \end{array} \right)\

この場合、行列式は使えない。

 

さて。

普通、一次独立を調べるのは\mathrm{Ker} f=\{0\}の形、

もっと言えばc_1 a_1+c_2 a_2+…c_n a_n=0よりc_1 , ... , c_n=0と初めはやるだろうが、これは時間が掛かる、という話だ。

 

そこで、ランクを使おう。

まず、問題でn本のベクトルが与えられる。

このとき、

一次独立なら行列の基本変形rank f=nとなればいい。

 そう。たったこれだけだ。

もし、rankf\neq nなら、一次従属(線形従属)ということ。

判定だけしたいならこれで終わり。

(※上の★の特殊な例は、行列An次正方行列なら、rank A=nならばdetA\neq0という事実より(逆も成立))

 

この段階で満足ならいいが、当然納得いかないだろうから「何故それでいいのか」を次で説明していくことにする。

しかしながら、次元dim、核や像(Ker , Im)の知識が必要となることを注意されたし。

(※時間があったらそれら(次元、核、像)の記事も書いて、以下に記事のリンクを貼る。それまでお待ちを。)

 

それでは詳しく説明していこう。

何故か

上で、一次独立はKer f=\{0\}であることに触れた。

そしてこの時、dim(Ker f)=0である。

ここまでは容易に分かるはずだ。

分からないなら『次元、核、像』を復習するとよい。

 

そこで

次元の公式には次のようなものがあった。

写像f:V→Wで、

dimV - dim(Ker f)= dim(Im f)…①

 

ここで、一次独立の時、

条件dim(Ker f)=0より、

①はdimV= dim(Im f)…①’

となるのが分かるだろう。

 

 

そしてdimV=ndim(Im f)=rank fにあたることを使う。

すると①’は、

rank f= n…①’’となることが導かれた。

 

以上。

これで①’’の形に持ってこれたことになる。

だからランクで判定すれば一次独立か分かるということ。 

 

おわり。

大学生必見!

おすすめ紹介!

大学生の皆さん必見! 教科書や参考書、日用品の買い物は ハピタスを経由すると、超お得なんです!
例えば、楽天の買い物も『ハピタス』経由でさらにポイント上乗せがあります!
筆者も買い物の際はハピタスを活用しているんですよ♪

そこで、大学生必須のポイントサイト『ハピタスをあなたも使ってみませんか?
利用者440万人超えの人気サイトを使って、普段の生活をもっとお得にしましょう!

さらに、今ならなんと!1000円分のポイントがもらえます!
≫ハピタス(特典付き)

※上の招待リンクから登録後、メール認証で特典の対象となります。

線形代数参考書

初学者向け⇩

dodgson.hatenablog.com

おすすめ記事

下の記事が人気です。 

dodgson.hatenablog.com