行列の階数の定義

行列が定める線型写像の像の次元を、行列の階数といいます。

行列の階数は、行列式などと同様に行列を特徴づける数（値）であり、線型写像や連立一次方程式など、様々な観点から重要な意味を持っています。ここでは、行列の階数を定義するとともに、定義と同値な条件を示します。

階数の定義#

まず、行列の階数の定義を示します。

定義 4.14（行列の階数）#

$A$ を $(m, n)$ 型行列とする。行列 $A$ により定まる線型写像 $f_{A} : K^{n} \to K^{m}$ の像の次元を行列 $A$ の階数（$\text{rank}$）といい、$\text{rank} \, A$ などと表す。

解説#

階数とは#

行列の階数とは、行列により定まる線型写像の像の次元のことです。

行列を特徴付ける数（値）#

行列の階数は、行列式などと同様、行列を特徴づける数（値）です。下記に考察するように、階数は行列に対して一意に定まります。

階数の定義には線形写像が現れますが、基本的には、階数は行列に対して定義されるものと考えるのが適当です。

したがって、行列 $A$ の階数は $\text{rank} \, A$ と表します。

階数の一意性#

定理 4.50（線型写像の行列表示）より、行列と線型写像は $1$ 対 $1$ に対応しますから、任意の行列 $A$ に対して、対応する線型写像 $f_{A}$ は一意に定まります。

また、$\text{Im} f_{A}$ が $K^{m}$ の部分空間であり（定理 4.11（線型写像の像と核））、ベクトル空間の次元は一意に定まります（定理 4.29（次元の一意性））。

したがって、行列 $A$ により定まる線形写像の像の次元 $\dim \, (\, \text{Im} f_{A} \,)$ は一意に定まります。つまり、行列 $A$ に対して、その階数 $\text{rank} \, A$ は一意に定まります。

階数の定義に先立って、当然ながら、ある行列に対して階数が一意に定まることを担保しなければなりません。そのために、線型写像やベクトル空間の次元の概念が必要になるというわけです。

写像としての階数#

任意の行列 $A \in M_{m,n} (K)$ に対して階数 $\text{rank} \, A$ は一意に定まりますので、行列 $A$ と階数 $\text{rank} \, A$ の対応は写像であるといえます。

そのような意味から、行列 $A$ の階数を（写像らしく）$r (A)$ のように表記することもあります（[1] など）。

しかしながら、階数を写像として捉えることにあまり大きな意義はありません。また、行列と階数との対応が線型写像ではないことは直ぐに確かめることができます。

階数の定義の仕方（$2$ 通りの定義）#

行列の階数は、主に $2$ 通りの方法で定義できます。行列が定める線形写像による方法と、行列の基本変形による方法です。

行列が定める線形写像による定義#

上記の定義は、行列が定める線型写像による階数の定義です。

この定義は、線型写像やベクトル空間の次元などの概念を先んじて導入しておく必要があるものの、階数の定義は簡潔かつ本質的です。

行列の基本変形による定義#

階数は行列の基本変形によっても定義できます。

具体的に与えられた行列を基本変形により階段行列に変形したとき、階段行列の段の数（$0$ でない成分を持つ行の数）は、もとの行列の階数に一致します（定理 5.11（階段行列））。また、行列の基本変形により行列の階数は不変です（定理 5.10（基本変形と階数））。

したがって、行列の階数は、基本変形により階段行列に変形したときの段の数（$0$ でない成分を持つ行の数）と定義することもできます。例えば、[1] は、このような定義を採用しています。

定義の仕方による違い#

基本変形による定義を採用することで、線型写像やベクトル空間の次元などの概念を用いることなく、行列の階数を定義できます。

しかしながら、線型写像やベクトル空間に先立って階数の概念を導入する意味はあまりありません。これまで見てきたように、行列と線型写像、連立一次方程式などは互いに深く関係付けられており、階数という概念もそれぞれの視点から重要な意味を持っているからです。

行列 $A$ の階数 $\text{rank} \, A$ が、$A$ により定まる線型写像や $A$ を係数行列として持つ連立一次方程式においてどのような意味を持ち、どのような考察が得られるかは、次項以降に詳しくみます。

階数の定義と同値な条件（列階数）#

次に、行列の階数の定義と同値な条件を示します。

定理 4.57（列階数）#

$A$ を $(m, n)$ 型行列とする。$A$ の列ベクトルを $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ とすると、$A$ の階数は $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ のうち線型独立なベクトルの最大数に等しい。

解説#

線型独立な列ベクトルの最大数#

行列 $A$ は、列ベクトルを用いて、次のように表すことができます（行列の表記法）。

このとき、$n$ 個の列ベクトル $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ のうち線型独立であるものの最大数は行列 $A$ の階数に等しくなる、というのが定理 4.57（列階数）の主張です。

これは、階数の定義と同値な条件の $1$ つです。

列階数とは#

定理 4.57（列階数）は、列階数という概念を用いることでより簡潔に表すことができます。

下記の証明に詳しくみるように、行列 $A$ の列ベクトル $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ は $K^{m}$ の部分空間 $\langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ を生成します。この部分空間の次元を列階数（$\text{column rank}$）と定義します。すなわち、$A$ の列階数は $\dim \, \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ となります。

このとき、定理 4.57の主張は「行列 $A$ の階数は $A$ の列階数に等しい」と表すことができます。

行階数とは#

列階数と同様に、行列 $A$ に対して行ベクトルが生成する部分空間の次元を行階数（$\text{row rank}$）とすれば、行列 $A$ の階数は $A$ の行階数に等しいことも後に確かめられます（定理 4.59（列階数と行階数））。

結局、行列 $A$ の列階数と行階数はともに $A$ の階数に等しくなるという結論が得られます。

証明#

行列 $A$ の定める線型写像を $f_{A} : K^{n} \to K^{m}$ として、任意の $\bm{x} \in K^{n}$ を次のよう表す。

このとき、任意の $f_{A} (\bm{x}) \in \text{Im} f_{A}$ は、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ の線型結合として、次のように表せる。

よって、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ は $\text{Im} f_{A}$ を生成し、$\text{rank} \, A = \dim \, (\text{Im} f_{A}) = \dim \, \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ が成り立つ。

また、定理 4.34（生成元と基底）より、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ から線型独立なベクトルを選んで $\text{Im} f_{A}$ の基底とすることができる。したがって、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ のうち線型独立なベクトルの最大数を $r$ とすれば、$\text{rank} \, A = \dim \, (\, \text{Im} f_{A} \,) = r$ であり、$A$ の階数は $r$ に等しい。$\quad \square$

証明の考え方#

階数の定義にしたがって証明します。（$1$）行列 $A$ の階数が列階数と等しいことを示した上で、（$2$）$A$ の線型独立な列ベクトルの最大数が $A$ の列階数に等しいことを示します。

（1）階数と列階数が等しいことの証明#

• まず、行列 $A$ の階数と列階数と等しいことを示します。

• 行列 $A$ の定める線型写像を $f_{A} : K^{n} \to K^{m}$ として、任意の $\bm{x} \in K^{n}$ を、次のよう表すとします。

  $$\begin{align*} \bm{x} = \begin{pmatrix} \, x_{1} \, \\ \, x_{2} \, \\ \, \vdots \, \\ \, x_{n} \, \end{pmatrix} \end{align*}$$

• このとき、$f_{A}$ による $\bm{x}$ の像は、次のように表すことができます。

  $$\begin{align*} f_{A} (\bm{x}) = A \bm{x} \; \in K^{m} \end{align*}$$

• ここで $A$ を列ベクトルにより $A = (\, \bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \,)$ と表すと、$f_{A} (\bm{x})$ は、次のようになります。

  $$\begin{align*} f_{A} (\bm{x}) = x_{1} \bm{a}_{1} + x_{2} \bm{a}_{2} + \cdots + x_{n} \bm{a}_{n} \end{align*}$$

• したがって、任意の $f_{A} (\bm{x}) \in \text{Im} f_{A}$ は $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ の線型結合として表せることがわかります。すなわち、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ は $\text{Im} f_{A}$ を生成するということです。

  $$\text{Im} f_{A} = \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$$
  
  

• 以上から、次が成り立ちます。

  $$\begin{split} \text{rank} \, A &= \dim \, (\text{Im} f_{A}) \\ &= \dim \, \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle \end{split}$$

• これは、$A$ の階数 $\text{rank} \, A$ が $A$ の列階数 $\dim \, \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ に等しいことを示す式に他なりません。

  • $A$ の列階数は、$A$ の列ベクトルが生成する部分空間の次元のことです（列階数とは）。

（2）線型独立な列ベクトルの最大数と列階数が等しいことの証明#

• 次に、$A$ 線型独立な列ベクトルの最大数が、$A$ の列階数に等しいことを示します。

• いま、定理 4.34（生成元と基底）より、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ から線型独立なベクトルを選んで $\text{Im} f_{A}$ の基底とすることができます。

• 仮に、$\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ のうち線型独立なベクトルの最大数を $r$ として、これらを $\bm{a}^{\prime}_{1}, \bm{a}^{\prime}_{2}, \cdots, \bm{a}^{\prime}_{r}$ とすれば、$\bm{a}^{\prime}_{1}, \bm{a}^{\prime}_{2}, \cdots, \bm{a}^{\prime}_{r}$ は線型独立であり $\langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ を生成します。

• したがって、$\bm{a}^{\prime}_{1}, \bm{a}^{\prime}_{2}, \cdots, \bm{a}^{\prime}_{r}$ は $\langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ の基底であり、次が成り立ちます。

  $$\begin{align*} \dim \, \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle = r \end{align*}$$

• これは、$A$ の列階数 $\dim \, \langle \,\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n} \, \rangle$ が、$A$ 線型独立な列ベクトルの最大数 $r$ に等しいことを示す式に他なりません。

証明のまとめ#

• 以上から、（$1$）$A$ の階数と列階数は等しく（$2$）列階数と $A$ の線型独立な列ベクトルの最大数 $r$ は等しいので、$A$ の階数が $r$ に等しいことが示されました。

まとめ#

• $A$ を $(m, n)$ 型行列とする。$A$ により定まる線型写像 $f_{A} : K^{n} \to K^{m}$ の像の次元を行列 $A$ の階数といい、$\text{rank} \, A$ などと表す。

  $$\begin{equation*} \text{rank} \, A = \dim \, (\, \text{Im} f_{A} \,) \end{equation*}$$

• $A$ の列ベクトルを $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ とすると、$A$ の階数は $\bm{a}_{1}, \bm{a}_{2}, \cdots, \bm{a}_{n}$ のうち線型独立なベクトルの最大数に等しい。

参考文献#

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] 三宅敏恒. 線形代数学 初歩からジョルダン標準形へ. 培風館. 2008.
[6] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[7] T. Miyake. Linear Algebra From the Beginnings to the Jordan Normal. Springer. 2022.
[8] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[9] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[10] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[11] 松坂和夫. 代数系入門. 岩波書店. 1976.
[12] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[13] S. Lang. Algebra Revised Third Edition. Springer. 2002.
[14] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[15] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.