線形独立のイメージと，線形独立性とランクの関係

行列に関して重要な量として，ランク(階数)がありました．

前々回の記事と前回の記事では，ランクを考えることで

正方行列が正則であるための条件
連立１次方程式が解を持つための条件

などが分かることを説明しました．

前回の記事まではランク(階数)を基本変形によって考えてきましたが，ベクトルの線形独立という考え方をもとにしても考えることができます．

線形独立性はとても重要な概念で，線形代数学全体において頻繁に現れます．

この記事では

線形独立とは何か
線形独立性と行列のランクの関係

を説明します．

なお，この記事では実数$\R$を中心に説明しますが，複素数$\C$など一般の体に対しても同様です．

「線形代数学の基本」の一連の記事はこちら

【線形代数の初学者のための道案内｜線形代数のイメージを知る】

・行列と数ベクトル
【線形代数１｜行列の計算の基本！行列の積はなぜこうなる？】
【線形代数２｜連立１次方程式の掃き出し法と行列の基本変形】
【線形代数３｜正則の条件を簡単に！基本変形と行列の積の話】
【線形代数４｜行列のランクと，行列が逆行列をもつための条件】
【線形代数５｜連立１次方程式が解をもつ条件と解の自由度】
【線形代数６｜線形独立のイメージと線形独立であるための条件】←今の記事

・行列式
【線形代数７｜行列の正則性を判定できる行列式のイメージ】
【線形代数８｜行列式を定義するための置換の性質を理解する】
【線形代数９｜「行列式」は線形代数の要！定義と性質を解説】

・部分空間と基底
【線形代数10｜数ベクトル空間の部分空間と基底の考え方(準備中)】
【線形代数11｜部分空間の同型と部分空間の次元(準備中)】
【線形代数12｜線形写像の像と核と次元定理(準備中)】
【線形代数13｜部分空間の和空間と共通部分の空間(準備中)】

・固有値と固有ベクトル
【線形代数14｜「固有値」「固有ベクトル」「対角化」とは？】
【線形代数15｜固有値と固有ベクトルは２ステップで求める！】
【線形代数16｜固有値・固有ベクトルの基本性質のまとめ】
【線形代数17｜固有空間はなぜ大切か？対角化の必要十分条件】

1 線形独立
- 1.1 線形関係
- 1.2 線形独立
2 線形独立性とランク
3 列基本変形によるランク
4 行列式
5 参考文献
- 5.1 線型代数入門

線形独立

ベクトル$\m{a}_1,\dots,\m{a}_n$が線形独立であるとは，平たく言えば「それぞれのベクトルが完全にバラバラな向きを向いていること」をいいます．

このことを定式化するために，まずは線形関係について説明します．

線形関係

ベクトルの線形結合は以下のように定義されます．

$\m{a}_1,\dots,\m{a}_n\in\R^{n}$の関係

$\begin{align*} c_1\m{a}_1+\dots+c_n\m{a}_n=\m{0} \quad(c_{1},\dots,c_{n}\in\R) \end{align*}$

を$\m{a}_1,\dots,\m{a}_n$の($\R$上の)線形関係 (linear relation)という．さらに，$\m{a}\in\R^{n}$が

$\begin{align*} \m{a}=c_1\m{a}_1+\dots+c_n\m{a}_n \end{align*}$

と表せるとき，$\m{a}$は$\m{a}_1,\dots,\m{a}_n$の($\R$上の)線形結合 (linear combination)で表せるという．

例えば，$\m{a}$が$\m{a}_1$, $\m{a}_2$, $\m{a}_3$の線形結合で表せる($\m{a}=c_1\m{a}_1+c_2\m{a}_2+c_n\m{a}_n$)が成り立つときは，下図のようになっているわけですね．

つまり，$\m{a}_1$, $\m{a}_2$, $\m{a}_3$をうまく伸び縮みさせて足して$\m{a}$を作れるときに，$\m{a}$を線形結合で表せるというわけですね．

例１

任意の$\m{a}_1,\dots,\m{a}_k\in\R^{n}$に対して，

$\begin{align*} 0\cdot\m{a}_1+\dots+0\cdot\m{a}_k=\m{0} \end{align*}$

はいつでも成り立つので，$\m{0}$は任意のベクトルの線形結合で表せることが分かりますね．

言い換えれば，$\m{a}_1,\dots,\m{a}_n$の線形関係はいつでも存在することが分かります．

この係数が全て０の線形関係を自明な線形関係 (trivial linear relation)といいます．

よって，線形関係を考える際には，少なくとも１つの係数が０でない線形関係である非自明な線形関係 (nontrivial linear relation)が存在するかどうかが重要となります．

例２

$\m{a},\m{a}_1,\m{a}_2,\m{a}_3\in\R^2$を

$\begin{align*} \m{a}=\bmat{1\\3},\quad \m{a}_1=\bmat{1\\0},\quad \m{a}_2=\bmat{1\\1},\quad \m{a}_3=\bmat{1\\2} \end{align*}$

で定めると，

$\begin{align*} \m{a}=2\m{a}_1+(-5)\m{a}_2+4\m{a}_3 \end{align*}$

なので，$\m{a}$は$\m{a}_1$, $\m{a}_2$, $\m{a}_3$の線形結合で表すことができます．他にも，

$\begin{align*} \m{a}=(-2)\m{a}_1+3\m{a}_2 =(-1)\m{a}_2+2\m{a}_3 \end{align*}$

など$\m{a}$は$\m{a}_1,\m{a}_2$の線形結合，$\m{a}_2,\m{a}_3$の線形結合でも表すことができます．

このように，線形結合での表し方は１通りとは限りません．

例３

$x$, $y$, $z$に関する連立方程式

$\begin{align*} \begin{cases} x+2y+3z=6\\ 4x+5y+6z=9\\ 7x+8y+9z=12 \end{cases} \end{align*}$

を考えます．この連立方程式は

$\begin{align*} \m{a}_1:=\bmat{1\\4\\7},\quad \m{a}_2:=\bmat{2\\5\\8},\quad \m{a}_3:=\bmat{3\\6\\9},\quad \m{c}:=\bmat{6\\9\\12} \end{align*}$

とおくと，$x\m{a}_1+y\m{a}_2+z\m{a}_3=\m{c}$と表せます．

このことから，この連立方程式を解くことは「$\m{a}_1$, $\m{a}_2$, $\m{a}_3$の線形結合$x\m{a}_1+y\m{a}_2+z\m{a}_3$で$\m{c}$を表す」ということと同じであることが分かります．

線形独立

いまの例２のように，一般に$\m{x}=[x_1,\dots,x_n]^T\in\R^n$の連立１次方程式$A\m{x}=\m{c}$は，$A=[\m{a}_{1},\dots,\m{a}_{n}]$とおけば

$\begin{align*} x_1\m{a}_1+\dots+x_n\m{a}_n=\m{c} \end{align*}$

と表せますから，

連立方程式$A\m{x}=\m{c}$を解くこと
$\m{a}_1,\dots,\m{a}_n\in\R^{n}$の線形結合で$\m{c}$を表す

は同じことだと分かりますね．

ここで，線形独立性を定義します．

$\m{a}_1,\dots,\m{a}_n\in\R^{n}$の線形関係が自明な線形関係のみもつとき，すなわち

$\begin{align*} x_1\m{a}_1+\dots+x_n\m{a}_n=\m{0} \end{align*}$

を満たす$(x_1,\dots,x_n)$が$x_1=\dots=x_n=0$のみであるとき，$\m{a}_1,\dots,\m{a}_n$は線形独立 (linearly independent)であるという．

一方，$\m{a}_1,\dots,\m{a}_n$が線形独立でないとき，$\m{a}_1,\dots,\m{a}_n$は線形従属 (linearly dependent)であるという．

言い換えれば，上で考えた連立方程式$A\m{x}=\m{c}$ ($A=[\m{a}_{1},\dots,\m{a}_{n}]$)で$\m{c}=\m{0}$の場合に，自明な解$\m{x}=\m{0}$しか存在しないとき，$\m{a}_{1},\dots,\m{a}_{n}$は線形独立であるというわけですね．

例１

第$i$成分が１で，他の成分が全て０であるような$\R^n$のベクトルを$\m{e}_i$とし，$\m{e}_{1},\dots,\m{e}_{n}\in\R^{n}$の線形関係

$\begin{align*} a_{1}\m{e}_{1}+\dots+a_{n}\m{e}_{n}=\m{0} \end{align*}$

を考えると，両辺成分で表して

$\begin{align*} \bmat{a_{1}\\\vdots\\a_{n}}=\bmat{0\\\vdots\\0} \end{align*}$

だから$a_{1}=\dots=a_{n}=0$となって，$\m{e}_{1},\dots,\m{e}_{n}$の線形関係は自明な線形関係のみであることが分かります．

よって，$\m{e}_{1},\dots,\m{e}_{n}$は線形独立ですね．

例２

$\m{a}_{1}=[1,2]^{T},\m{a}_{2}=[1,3]^{T}\in\R^2$の線形関係

$\begin{align*} c_{1}\m{a}_{1}+c_{2}\m{a}_{2}=\m{0} \end{align*}$

を考えると

$\begin{align*} \begin{cases} c_{1}+c_{2}=0\\ 2c_{1}+3c_{2}=0 \end{cases} \iff c_{1}=c_{2}=0 \end{align*}$

となるので，$\m{a}_{1},\m{a}_{2}$には自明な線形関係しか存在せず，$\m{a}_{1},\m{a}_{2}$は線形独立であることが分かりました．

例３

$\m{a}_{1}=[1,2]^{T},\m{a}_{2}=[2,4]^{T}\in\R^2$の線形関係$c_{1}\m{a}_{1}+c_{2}\m{a}_{2}=\m{0}$を考えると，

$\begin{align*} \begin{cases} c_{1}+2c_{2}=0\\ 2c_{1}+4c_{2}=0 \end{cases} \iff& c_{1}+2c_{2}=0 \\\iff& (c_{1},c_{2})=(-2c,c)\quad (c\in\R) \end{align*}$

が得られます．

したがって，例えば$c=1$として非自明な線形関係$-2\m{a}_{1}+\m{a}_{n}=\m{0}$が得られ，$\m{a}_1$, $\m{a}_2$が線形従属であることが分かりました．

線形独立性とランク

次に，線形独立性と行列のランクの関係を説明します．

線形関係と基本変形

「行列$[\m{a}_1,\dots,\m{a}_n]$を構成する列ベクトル$\m{a}_1,\dots,\m{a}_n$の線形関係は行基本変形によって変化しない」という次の補題は非常に重要です．

行基本変形により行列$[A,\m{c}]=[\m{a}_{1},\dots,\m{a}_{n},\m{c}]$が行列$B=[\m{b}_{1},\dots,\m{b}_{n},\m{d}]$になったとする．このとき，次は同値である．

線形関係$p_{1}\m{a}_{1}+\dots+p_{n}\m{a}_{n}=\m{c}$が成り立つ．
線形関係$p_{1}\m{b}_{1}+\dots+p_{n}\m{b}_{n}=\m{d}$が成り立つ．

証明を表示

$\m{p}=[p_{1},\dots,p_{n}]^T$とすると，

$(1)\iff A\m{p}=\m{0}$
$(2)\iff B\m{p}=\m{0}$

である．すなわち，(1)は$\m{p}$が$A\m{x}=\m{0}$の解であることと同値であり，(2)は$\m{p}$が$B\m{x}=\m{0}$の解であることと同値である．

行基本変形によって，拡大係数行列$[A,\m{c}]$が$[B,\m{d}]$になったとき$A\m{x}=\m{c}$の解と$B\m{x}=\m{d}$の解は一致するから，$\m{c}$が$A\m{x}=\m{0}$の解であることと$\m{c}$が$B\m{x}=\m{0}$の解であることは同値である．

よって，$(1)\iff(2)$が従う．

なお，途中で用いた「拡大係数行列$[A,\m{c}]$が$[B,\m{d}]$になったとき$A\m{x}=\m{c}$の解と$B\m{x}=\m{d}$の解は一致すること」は前回の記事で証明しています．

【前回の記事：線形代数４｜連立１次方程式が解をもつ条件と解の自由度】

連立１次方程式を加減法で解くことは，拡大係数行列に行基本変形を施すことに対応しているのでした．このことから，拡大係数行列$[A,\m{c}]$が$[B,\m{d}]$になったとき$A\m{x}=\m{c}$の解と$B\m{x}=\m{d}$の解は一致することが示されます．

線形結合とランク

この補題によって，次の定理が得られます．

行列$A=[\m{a}_{1},\dots,\m{a}_{n}]$と$\m{c}\in\R^{n}$に対して，次が成り立つ．

$\rank{A}<\rank{[A,\m{c}]}$が成り立つことと，$\m{a}_{1},\dots,\m{a}_{n}$の線形結合で$\m{c}$を表せないことは同値である．
$\rank{A}=\rank{[A,\m{c}]}$が成り立つことと，$\m{a}_{1},\dots,\m{a}_{n}$の線形結合で$\m{c}$を表せることは同値である．

この定理は，前回の記事で説明した連立一次方程式の解の存在とランクの関係と対応しています．

証明を表示

$[A,\m{c}]$の簡約化を$[B,\m{d}]=[\m{b}_{1},\dots,\m{b}_{n},\m{d}]$とする．

このとき，$\rank{B}\le\rank{[B,\m{d}]}$が成り立つことに注意すると，行基本変形によるランクの不変性と併せて

$\begin{align*} \rank{A}=\rank{B}\le\rank{[B,\m{d}]}=\rank{[A,\m{c}]} \end{align*}$

が成り立つ．よって，$\rank{A}$と$\rank{[A,\m{c}]}$の関係は

$\rank{A}<\rank{[A,\m{c}]}$
$\rank{A}=\rank{[A,\m{c}]}$

のいずれかとなる．

(1)　$\rank{A}<\rank{[A,\m{c}]}$のとき，$\rank{B}<\rank{[B,\m{d}]}$なので，$\m{b}_{1},\dots,\m{b}_{n}$の線形結合で$\m{d}$を表せない．

よって，上の補題より$\m{a}_{1},\dots,\m{a}_{n}$の線形結合で$\m{c}$を表せない．

(2)　$\rank{A}=\rank{[A,\m{c}]}$のとき，$\rank{B}=\rank{[B,\m{d}]}$なので，$B$の主成分が存在する列に対応する$k$個の$\m{b}_{i}$は線形独立で，これらの線形結合で$\m{d}$が表せる．

これで，(1), (2)の必要性が示された．

逆に，(1)の必要性の対偶をとれば(2)の十分性が従い，(2)の必要性の対偶をとれば(1)の十分性が従う．

例えば，$\m{e}_1,\m{e}_2,\m{c}\in\R^3$を

$\begin{align*} \m{e}_{1}=\bmat{1\\0\\0},\quad \m{e}_{2}=\bmat{0\\1\\0},\quad \m{c}=\bmat{c_1\\c_2\\c_3} \end{align*}$

で定めましょう．

前回の記事で説明したことから，連立方程式$x\m{e}_{1}+y\m{e}_{2}=\m{c}$の解が存在するためには，係数行列$[\m{e}_1,\m{e}_2]$と拡大係数行列$[\m{e}_1,\m{e}_2,\m{c}]$のランクが一致することが必要十分なのでしたから，

$\begin{align*} &\rank{[\m{e}_{1},\m{e}_{2}]}=\rank{[\m{e}_{1},\m{e}_{2},\m{c}]} \\\iff&2=\rank{\bmat{1&0&c_{1}\\0&1&c_{2}\\0&0&c_{3}}} \\\iff& c_{3}=0 \end{align*}$

のときに，解が存在します．

同じく連立方程式$x\m{e}_{1}+y\m{e}_{2}=\m{c}$の解が存在を，いま考えた定理を上の定理を用いて解釈すると以下のようになります．

$\m{e}_{1}$, $\m{e}_{2}$は$xyz$空間における$xy$平面上のベクトルをとして図示できますから，下図のように$\m{c}$が$xy$平面上にあれば$x,y\in\R$が存在して$x\m{e}_1+y\m{e}_2=\m{c}$と表せます．

一方で，$\m{e}_{1}$, $\m{e}_{2}$は$xy$平面上にないベクトルは線形結合で表せませんから，もし$\m{c}$が$xy$平面上になければ，$x\m{e}_1+y\m{e}_2=\m{c}$とは表せません．

したがって，連立方程式$x\m{e}_{1}+y\m{e}_{2}=\m{c}$の解をもつための必要十分条件は$c_3=0$と分かり，ランクを用いて考えた結果と確かに一致しますね．

確かに

連立方程式$x\m{e}_{1}+y\m{e}_{2}=\m{c}$が解をもつこと
$\m{e}_1$と$\m{e}_2$の線形結合で$\m{c}$が表せること

が同値であることがみてとれますね．

線形独立なベクトルの最大個数

[線形独立なベクトルの最大個数]　$\m{a}_{1},\dots,\m{a}_{m}\in\R^{n}$の線形独立なベクトルの最大個数と，$\rank{[\m{a}_{1},\dots,\m{a}_{m}]}$は等しい．

言い換えれば，「$A=[\m{a}_1,\dots,\m{a}_n]\in\Mat_{mn}(\R)$が$N:=\rank{A}$をみたすとき，$\m{a}_1,\dots,\m{a}_n$の適当な$N$個は線形独立で，それらの線形結合で残りの$n-N$個のベクトルが表せる」ということもできますね．

証明を表示

$A$の簡約化を$B$とすると，$\rank{B}=\rank{A}=N$なので$B$の主成分は$N$個あるから，$B$の主成分が存在しない列は$(n-N)$個ある．

この$B$の主成分が存在する列を$\m{b}_1,\dots,\m{b}_N$とすると，これらは線形独立である．

また，$B$の主成分が存在しない列は$\m{b}_1,\dots,\m{b}_N$の線形結合で表せる．

例えば，$\m{a}_1,\dots,\m{a}_5\in\R^4$を

$\begin{align*} \m{a}_1=\bmat{1\\1\\3\\0},\quad \m{a}_2=\bmat{1\\2\\0\\-1},\quad \m{a}_3=\bmat{1\\3\\-3\\-2},\quad \m{a}_4=\bmat{-2\\-4\\1\\-1},\quad \m{a}_5=\bmat{-1\\-4\\7\\0} \end{align*}$

とし，これらのうちの線形独立なベクトルで，他のベクトルを表すことを考えます．

$A=[\m{a}_1,\m{a}_2,\m{a}_3,\m{a}_4,\m{a}_5]$とすると，行基本変形により

$\begin{align*} A=&\bmat{1&1&1&-2&-1\\1&2&3&-4&-4\\3&0&-3&1&7\\0&-1&-2&-1&0} \to\bmat{1&1&1&-2&-1\\0&1&2&-2&-3\\0&-3&-6&7&10\\0&-1&-2&-1&0} \\\to&\bmat{1&0&-1&-3&-1\\0&0&0&-3&-3\\0&0&0&10&10\\0&-1&-2&-1&0} \to\bmat{1&0&-1&-3&-1\\0&0&0&1&1\\0&0&0&1&1\\0&1&2&1&0} \\\to&\bmat{1&0&-1&0&2\\0&0&0&1&1\\0&0&0&0&0\\0&1&2&0&-1} \to B:=\bmat{1&0&-1&0&2\\0&1&2&0&-1\\0&0&0&1&1\\0&0&0&0&0} \end{align*}$

です．$B$を$[\m{b}_1,\m{b}_2,\m{b}_3,\m{b}_4,\m{b}_5]$とすると，

$\begin{align*} \m{b}_{1}=\bmat{1\\0\\0\\0},\quad \m{b}_{2}=\bmat{0\\1\\0\\0},\quad \m{b}_{3}=\bmat{-1\\2\\0\\0},\quad \m{b}_{4}=\bmat{0\\0\\1\\0},\quad \m{b}_{5}=\bmat{2\\-1\\1\\0} \end{align*}$

なので，$\m{b}_1$, $\m{b}_2$, $\m{b}_4$は線形独立で，

$\begin{align*} \begin{cases} \m{b}_3=-\m{b}_1-2\m{b}_2\\ \m{b}_5=2\m{b}_1-\m{b}_2+\m{b}_4 \end{cases} \end{align*}$

と$\m{b}_{3}$, $\m{b}_{5}$はともに$\m{b}_1$, $\m{b}_2$, $\m{b}_4$は線形結合で表せます．

補題から行基本変形は列ベクトル線形関係を保つので，$\m{a}_1$, $\m{a}_2$, $\m{a}_4$は線形独立で，

$\begin{align*} \begin{cases} \m{a}_3=-\m{a}_1-2\m{a}_2\\ \m{a}_5=2\m{a}_1-\m{a}_2+\m{a}_4 \end{cases} \end{align*}$

が成り立ちます．

線形独立性と正則性

この定理により正方行列が正則である(逆行列を持つ)ための必要十分条件を与える次の系が従います．

$A=[\m{a}_{1},\dots,\m{a}_{n}]\in\Mat_{n}(\R)$に対して，次は同値である．

$A$は正則である．
$\m{a}_{1},\dots,\m{a}_{n}$は線形独立である．

証明を表示

$A$が正則であることと$\rank{A}=n$は同値であった．

さらに，上の定理[線形独立なベクトルの最大個数]から，$\rank{A}=n$と$\m{a}_{1},\dots,\m{a}_{n}$の線形独立なベクトルの最大個数が$n$であること，すなわち$\m{a}_{1},\dots,\m{a}_{n}$が線形独立であることと同値である．

なお，$A$が正則であることと$\rank{A}=n$が同値であることは前々回の記事を参照してください．

【前々回の記事：線形代数３｜行列のランクと，行列が逆行列をもつための条件】

行列のランクを考えることで，正方行列が正則であるかどうかが判定できます．前々回の記事では，行基本変形からランクを定義して，行基本変形によってランクが不変であることを用いて，正則性の条件を証明しています．

列基本変形によるランク

さて，連立方程式をもとに理論を組み立てる都合上，ほとんど行基本変形によって話を進めてきました．

とくに行基本変形による簡約行列の主成分の個数をランクの定義としましたが，列基本変形によっても同様にランクの定義ができます．

さて，これまで通りの行基本変形によるランクの定義と，列基本変形によるランクの定義が一致するかどうかは明らかではありませんが，実はこれらは一致します．

行列$A$の列基本変形は転置行列$A^T$の行基本変形と同じことなので，以下を示せば良いですね．

$A\in\Mat_{mn}(\R)$に対して，$\rank{A}=\rank{A^{T}}$が成り立つ．

証明を表示

$k:=\rank{A}$, $\ell:=\rank{A^{T}}$とし，$A=BC$を満たす$B=(b_{ij})\in\Mat_{mr}(\R)$, $C=(c_{ij})\in\Mat_{rn}(\R)$が存在するような最小の$r\in\N$をとる．

このとき，$k=r$と$\ell=r$を示せば$\rank{A}=\rank{A}^{T}$が従う．以下，

$\begin{align*} A=(a_{ij})=[\m{a}_{1},\dots,\m{a}_{n}]=\bmat{\m{a}'_{1}\\\vdots\\\m{a}'_{m}},\quad B=(b_{ij})=[\m{b}_{1},\dots,\m{b}_{r}],\quad C=(c_{ij})=\bmat{\m{c}_{1}\\\vdots\\\m{c}_{r}} \end{align*}$

とする．

まずは$k\le r$と$r\le k$を示すことにより，$k=r$を示す．

$\begin{align*} A=BC =\bmat{\sum_{i=1}^{r}b_{1i}c_{i1}&\dots&\sum_{i=1}^{r}b_{1i}c_{in}\\ \vdots&\ddots&\vdots\\ \sum_{i=1}^{r}b_{mi}c_{i1}&\dots&\sum_{i=1}^{r}b_{mi}c_{in}} =\brc{\sum_{i=1}^{r}c_{i1}\m{b}_{i},\dots,\sum_{i=1}^{r}c_{in}\m{b}_{i}} \end{align*}$

となるから，$A$の列ベクトルは全て$\m{b}_{1},\dots,\m{b}_{r}$の線形結合で表せるから，$k\le r$が成り立つ．

一方，$A$の線形独立な列ベクトル$\m{a}_{n_{1}},\dots,\m{a}_{n_{k}}$がとれ，$\m{a}_{n_{1}},\dots,\m{a}_{n_{k}}$の線形結合で$A$の全ての列ベクトルを表せる．

$\m{a}_{j}=\sum_{i=1}^{k}x_{ij}\m{a}_{n_{i}}$ ($j=1,\dots,n$)とすると，

$\begin{align*} A=&\brc{\sum_{i=1}^{k}x_{i1}\m{a}_{n_{i}},\dots,\sum_{i=1}^{k}x_{in}\m{a}_{n_{i}}} \\=&\bmat{\sum_{i=1}^{k}x_{i1}a_{1n_{i}}&\dots&\sum_{i=1}^{k}x_{in}a_{1n_{i}}\\ \vdots&\ddots&\vdots\\ \sum_{i=1}^{k}x_{i1}a_{mn_{i}}&\dots&\sum_{i=1}^{k}x_{in}a_{mn_{i}}} \\=&\bmat{a_{1n_{1}}&\dots&a_{1n_{k}}\\ \vdots&\ddots&\vdots\\ a_{mn_{1}}&\dots&a_{mn_{k}}} \bmat{x_{11}&\dots&x_{1n}\\ \vdots&\ddots&\vdots\\ x_{k1}&\dots&x_{kn}} \end{align*}$

が成り立つから，$r$の最小性より$r\le k$を得る．よって，$k=r$が従う．

列と行を入れ替えて考えれば，同様に$\ell=r$が従う．

以上より，次の系が成り立つことが分かります．

行列$A$について，以下は同値である．

$\rank{A}=n$
$A$の列ベクトルで線形独立なものの最大個数は$n$
$A$の行ベクトルで線形独立なものの最大個数は$n$

行列式

この記事までで，正方行列$A$の正則性は

連立方程式$A\m{x}=\m{c}$の自由度
$\rank{A}$
$A$をなす線形独立なベクトルの個数

などを調べることで判定できることが分かりました．

この他に正方行列の正則性を判定するためのものとして行列式があります．

行列式を定義するためには置換という概念を用いる必要があり，最初は少しややこしく感じてしまいますが，線形代数の中では欠かせないものとなっています．

次の記事では，行列式のイメージを図形的な観点から説明します．

「線形代数学の基本」の一連の記事はこちら

【線形代数の初学者のための道案内｜線形代数のイメージを知る】

・行列式
【線形代数７｜行列の正則性を判定できる行列式のイメージ】←次の記事
【線形代数８｜行列式を定義するための置換の性質を理解する】
【線形代数９｜「行列式」は線形代数の要！定義と性質を解説】

参考文献

線型代数入門

[齋藤正彦著/東京大学出版会]

線形代数の教科書として半世紀に渡って売れ続けている超ロングセラーの教科書です．

本書が発行されて以来，多くの教科書が本書を真似て書かれてきたといっても過言ではないほど，日本の線形代数の指導にインパクトを与えた名著です．

その証拠に，著者の齋藤正彦氏は本書で日本数学会出版賞を受賞しています．

「線形代数をとりあえず使えるようにするための教科書」ではなく「線形代数を理解するための教科書」のため，論理的に非常に詳しく書かれているのが特徴です．

内容は理論系(特に数学系)の学部生であれば，確実に理解しておきたいレベルです(非理論系の人はここまで必要ないかもしれません)．

Amazon 楽天市場

なお，本書については，以下の記事で書評としてまとめています．

【書評｜線型代数入門(齋藤正彦著，東京大学出版会)】

本書の良い点や気になる点，オススメの使い方などをレビューしています．これから理論系として数学を扱う人は，是非とも持っておきたい１冊です．