行列の行空間
\(m\times n\)行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)を任意に選んだとき、これは\(m\)個の行\begin{gather*}\mathrm{row}\left( A,1\right) \\
\vdots \\
\mathrm{row}\left( A,m\right)
\end{gather*}を持ちますが、これらはいずれも\(n\)次元の行ベクトルであるため、これらの線型結合が定義可能です。具体的には、行列\(A\)のすべての行の線型結合は、何らかのスカラー\(k_{1},\cdots ,k_{m}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\mathrm{row}\left( A,1\right) +\cdots +k_{m}\mathrm{row}\left( A,m\right)
\end{equation*}という形で表現される\(n\)次元の行ベクトルです。
行列\(A\)のすべての行の線型結合がどのような行ベクトルになるかはスカラー\(k_{1},\cdots ,k_{m}\)の選び方に依存します。したがって、行列\(A\)の行の線型結合をすべて集めることで得られる集合、すなわち行列\(A\)のすべての行からなる集合\begin{equation*}\left\{ \mathrm{row}\left( A,1\right) ,\cdots ,\mathrm{row}\left( A,m\right)
\right\}
\end{equation*}の線型スパンは、\begin{eqnarray*}
&&\mathrm{span}\left( \left\{ \mathrm{row}\left( A,1\right) ,\cdots ,\mathrm{row}\left( A,m\right) \right\} \right) \\
&=&\left\{ k_{1}\mathrm{row}\left( A,1\right) +\cdots +k_{m}\mathrm{row}\left(
A,m\right) \in \mathbb{R} ^{n}\ |\ k_{1},\cdots ,k_{m}\in \mathbb{R} \right\}
\end{eqnarray*}となります。これを行列\(A\)の行空間(row space)と呼び、\begin{equation*}\mathrm{row}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{row}\left(
A,1\right) ,\cdots ,\mathrm{row}\left( A,m\right) \right\} \right)
\end{equation*}で表記します。明らかに、\begin{equation*}
\mathrm{row}\left( A\right) \subset \mathbb{R} ^{n}
\end{equation*}が成り立ちます。
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\end{equation*}は2つの行\begin{eqnarray*}
&&\left( a_{11},a_{12}\right) \\
&&\left( a_{21},a_{22}\right)
\end{eqnarray*}を持ちますが、これらの線型結合は何らかのスカラー\(k_{1},k_{2}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\left( a_{11},a_{12}\right) +k_{2}\left( a_{21},a_{22}\right)
\end{equation*}という形で表現される2次元の行ベクトルです。したがって、この行列\(A\)の行空間は、\begin{eqnarray*}\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{11},a_{12}\right) ,\left( a_{21},a_{22}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{11},a_{12}\right) +k_{2}\left(
a_{21},a_{22}\right) \in \mathbb{R} ^{2}\ |\ k_{1},k_{2}\in \mathbb{R} \right\}
\end{eqnarray*}です。
a_{11} & a_{12} \\
a_{21} & a_{22} \\
a_{31} & a_{32}\end{pmatrix}\end{equation*}は3つの行\begin{eqnarray*}
&&\left( a_{11},a_{12}\right) \\
&&\left( a_{21},a_{22}\right) \\
&&\left( a_{31},a_{32}\right)
\end{eqnarray*}を持ちますが、これらの線型結合は何らかのスカラー\(k_{1},k_{2},k_{3}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\left( a_{11},a_{12}\right) +k_{2}\left( a_{21},a_{22}\right)
+k_{3}\left( a_{31},a_{32}\right)
\end{equation*}という形で表現される2次元の行ベクトルです。したがって、この行列\(A\)の行空間は、\begin{eqnarray*}\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{11},a_{12}\right) ,\left( a_{21},a_{22}\right) ,\left(
a_{31},a_{32}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{11},a_{12}\right) +k_{2}\left(
a_{21},a_{22}\right) +k_{3}\left( a_{31},a_{32}\right) \in \mathbb{R} ^{2}\ |\ k_{1},k_{2},k_{3}\in \mathbb{R} \right\}
\end{eqnarray*}です。
\end{equation*}は1つの行\begin{equation*}
\left( a_{1},\cdots ,a_{n}\right)
\end{equation*}を持ちますが、その線型結合は何らかのスカラー\(k\in \mathbb{R} \)を用いて、\begin{equation*}k\left( a_{1},\cdots ,a_{n}\right)
\end{equation*}という形で表現される\(n\)次元の行ベクトルです。したがって、この行列\(A\)の行空間は、\begin{eqnarray*}\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{1},\cdots ,a_{n}\right) \right\} \right) \\
&=&\left\{ k\left( a_{1},\cdots ,a_{n}\right) \in \mathbb{R} ^{n}\ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}です。
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right)
\end{equation*}は\(m\)個の行\begin{gather*}\left( a_{1}\right) \\
\vdots \\
\left( a_{m}\right)
\end{gather*}を持ちますが、その線型結合は何らかのスカラー\(k_{1},\cdots ,k_{m}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\left( a_{1}\right) +\cdots +k_{m}\left( a_{m}\right)
\end{equation*}という形で表現される実数です。したがって、この行列\(A\)の行空間は、\begin{eqnarray*}\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{1}\right) ,\cdots ,\left( a_{m}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{1}\right) +\cdots +k_{m}\left( a_{m}\right) \in \mathbb{R} \ |\ k_{1},\cdots ,k_{m}\in \mathbb{R} \right\}
\end{eqnarray*}です。
A=\left( a\right)
\end{equation*}は1つの行\begin{equation*}
\left( a\right)
\end{equation*}を持ちますが、その線型結合は何らかのスカラー\(k\in \mathbb{R} \)を用いて、\begin{equation*}k\left( a\right)
\end{equation*}という形で表現される実数です。したがって、この行列\(A\)の行空間は、\begin{eqnarray*}\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left( a\right)
\right\} \right) \\
&=&\left\{ k\left( a\right) \in \mathbb{R} \ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}です。
行列の列空間
\(m\times n\)行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)を任意に選んだとき、この行列は\(n\)個の列\begin{gather*}\mathrm{col}\left( A,1\right) \\
\vdots \\
\mathrm{col}\left( A,n\right)
\end{gather*}を持ちますが、これらはいずれも\(m\)次元の列ベクトルであるため、その線型結合が定義可能です。具体的には、行列\(A\)のすべての列の線型結合は、何らかのスカラー\(k_{1},\cdots ,k_{n}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\mathrm{col}\left( A,1\right) +\cdots +k_{n}\mathrm{col}\left( A,n\right)
\end{equation*}という形で表現される\(m\)次元の列ベクトルです。
行列\(A\)の列の線型結合がどのような列ベクトルになるかはスカラー\(k_{1},\cdots ,k_{n}\)の選び方に依存します。したがって、行列\(A\)の列の線型結合をすべて集めることで得られる集合、すなわち行列\(A\)のすべての列からなる集合\begin{equation*}\left\{ \mathrm{col}\left( A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right)
\right\}
\end{equation*}の線型スパンは、\begin{eqnarray*}
&&\mathrm{span}\left( \left\{ \mathrm{col}\left( A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right) \right\} \right) \\
&=&\left\{ k_{1}\mathrm{col}\left( A,1\right) +\cdots +k_{n}\mathrm{col}\left(
A,n\right) \in \mathbb{R} ^{m}\ |\ k_{1},\cdots ,k_{n}\in \mathbb{R} \right\}
\end{eqnarray*}となります。これを行列\(A\)の列空間(columnspace)と呼び、\begin{equation*}
\mathrm{col}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{col}\left(
A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right) \right\} \right)
\end{equation*}で表記します。明らかに、\begin{equation*}
\mathrm{col}\left( A\right) \subset \mathbb{R} ^{m}
\end{equation*}が成り立ちます。
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\end{equation*}は2つの列\begin{eqnarray*}
&&\left(
\begin{array}{c}
a_{11} \\
a_{21}\end{array}\right) \\
&&\left(
\begin{array}{c}
a_{12} \\
a_{22}\end{array}\right)
\end{eqnarray*}を持ちますが、これらの線型結合は何らかのスカラー\(k_{1},k_{2}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\left(
\begin{array}{c}
a_{11} \\
a_{21}\end{array}\right) +k_{2}\left(
\begin{array}{c}
a_{12} \\
a_{22}\end{array}\right)
\end{equation*}という形で表現される2次元の列ベクトルです。したがって、この行列\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
a_{11} \\
a_{21}\end{array}\right) ,\left(
\begin{array}{c}
a_{12} \\
a_{22}\end{array}\right) \right\} \right) \\
&=&\left\{ k_{1}\left(
\begin{array}{c}
a_{11} \\
a_{21}\end{array}\right) +k_{2}\left(
\begin{array}{c}
a_{12} \\
a_{22}\end{array}\right) \in \mathbb{R} ^{2}\ |\ k_{1},k_{2}\in \mathbb{R} \right\}
\end{eqnarray*}です。
a_{11} & a_{12} \\
a_{21} & a_{22} \\
a_{31} & a_{32}\end{pmatrix}\end{equation*}は2つの列\begin{eqnarray*}
&&\left(
\begin{array}{c}
a_{11} \\
a_{12} \\
a_{31}\end{array}\right) \\
&&\left(
\begin{array}{c}
a_{12} \\
a_{22} \\
a_{32}\end{array}\right)
\end{eqnarray*}を持ちますが、これらの線型結合は何らかのスカラー\(k_{1},k_{2}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\left(
\begin{array}{c}
a_{11} \\
a_{12} \\
a_{31}\end{array}\right) +k_{2}\left(
\begin{array}{c}
a_{12} \\
a_{22} \\
a_{32}\end{array}\right)
\end{equation*}という形で表現される3次元の列ベクトルです。したがって、この行列\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
a_{11} \\
a_{12} \\
a_{31}\end{array}\right) ,\left(
\begin{array}{c}
a_{12} \\
a_{22} \\
a_{32}\end{array}\right) \right\} \right) \\
&=&\left\{ k_{1}\left(
\begin{array}{c}
a_{11} \\
a_{12} \\
a_{31}\end{array}\right) +k_{2}\left(
\begin{array}{c}
a_{12} \\
a_{22} \\
a_{32}\end{array}\right) \in \mathbb{R} ^{3}\ |\ k_{1},k_{2}\in \mathbb{R} \right\}
\end{eqnarray*}です。
\end{equation*}は\(n\)個の列\begin{gather*}\left( a_{1}\right) \\
\vdots \\
\left( a_{n}\right)
\end{gather*}を持ちますが、その線型結合は何らかのスカラー\(k_{1},\cdots ,k_{n}\in \mathbb{R} \)を用いて、\begin{equation*}k_{1}\left( a_{1}\right) +\cdots +k_{n}\left( a_{n}\right)
\end{equation*}という形で表現される実数です。したがって、この行列\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{1}\right) ,\cdots ,\left( a_{n}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{1}\right) +\cdots +k_{n}\left( a_{n}\right) \in \mathbb{R} \ |\ k_{1},\cdots ,k_{n}\in \mathbb{R} \right\}
\end{eqnarray*}です。
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right)
\end{equation*}は1つの列\begin{equation*}
\left(
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right)
\end{equation*}を持ちますが、その線型結合は何らかのスカラー\(k\in \mathbb{R} \)を用いて、\begin{equation*}k\left(
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right)
\end{equation*}という形で表現される\(m\)次元の列ベクトルです。したがって、この行列\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right) \right\} \right) \\
&=&\left\{ k\left(
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right) \in \mathbb{R} ^{m}\ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}です。
A=\left( a\right)
\end{equation*}は1つの列\begin{equation*}
\left( a\right)
\end{equation*}を持ちますが、その線型結合は何らかのスカラー\(k\in \mathbb{R} \)を用いて、\begin{equation*}k\left( a\right)
\end{equation*}という形で表現される実数です。したがって、この行列\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left( a\right)
\right\} \right) \\
&=&\left\{ k\left( a\right) \in \mathbb{R} \ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}です。
行列の行階数
行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)の行空間は、\begin{equation*}\mathrm{row}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{row}\left(
A,1\right) ,\cdots ,\mathrm{row}\left( A,m\right) \right\} \right)
\end{equation*}と定義される\(\mathbb{R} ^{n}\)の部分集合ですが、これは\(\mathbb{R} ^{n}\)の部分空間です。
\end{equation*}は実ベクトル空間\(\mathbb{R} ^{n}\)の部分空間である。
一般に、実ベクトル空間の部分空間\(X\subset \mathbb{R} ^{n}\)が与えられたとき、\(X\)を張るために必要なベクトルの個数の最小値を\(X\)の次元と呼び、それを、\begin{equation*}\dim X
\end{equation*}で表記します。部分空間\(X\)の次元は\(X\)の基底に含まれるベクトルの個数でもあります。部分空間\(X\)の次元は\(X\)から選ぶことができる線型独立なベクトルの最大個数でもあります。部分空間\(X\)の次元は実ベクトル空間\(\mathbb{R} ^{n}\)の次元である\(n\)を超えることはなく、したがって、\begin{equation*}\dim X\leq n
\end{equation*}が成り立つことに注意してください。
行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)の行空間\(\mathrm{row}\left( A\right) \)が実ベクトル空間\(\mathbb{R} ^{n}\)の部分空間であることが明らかになりました。したがって、その次元\begin{equation*}\dim \mathrm{row}\left( A\right)
\end{equation*}をとることができます。これをもとの行列\(A\)の行階数(row rank)と呼びます。これは行列\(A\)の行空間\begin{equation*}\mathrm{row}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{row}\left(
A,1\right) ,\cdots ,\mathrm{row}\left( A,m\right) \right\} \right)
\end{equation*}から選ぶことができる線型独立な行ベクトルの最大個数です。行空間\(\mathrm{row}\left( A\right) \)は\(\mathbb{R} ^{n}\)の部分空間であるため、\begin{equation*}\dim \mathrm{row}\left( A\right) \leq n
\end{equation*}が成り立ちます。
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\end{equation*}の行空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{11},a_{12}\right) ,\left( a_{21},a_{22}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{11},a_{12}\right) +k_{2}\left(
a_{21},a_{22}\right) \in \mathbb{R} ^{2}\ |\ k_{1},k_{2}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{2}\)の部分集合であるため、行列\(A\)の行階数は、\begin{equation*}\dim \mathrm{row}\left( A\right) \leq 2
\end{equation*}を満たします。
a_{11} & a_{12} \\
a_{21} & a_{22} \\
a_{31} & a_{32}\end{pmatrix}\end{equation*}の行空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{11},a_{12}\right) ,\left( a_{21},a_{22}\right) ,\left(
a_{31},a_{32}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{11},a_{12}\right) +k_{2}\left(
a_{21},a_{22}\right) +k_{3}\left( a_{31},a_{32}\right) \in \mathbb{R} ^{2}\ |\ k_{1},k_{2},k_{3}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{2}\)の部分集合であるため、行列\(A\)の行階数は、\begin{equation*}\dim \mathrm{row}\left( A\right) \leq 2
\end{equation*}を満たします。
\end{equation*}の行空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{1},\cdots ,a_{n}\right) \right\} \right) \\
&=&\left\{ k\left( a_{1},\cdots ,a_{n}\right) \in \mathbb{R} ^{n}\ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{n}\)の部分集合であるため、行ベクトル\(A\)の行階数は、\begin{equation*}\dim \mathrm{row}\left( A\right) \leq n
\end{equation*}を満たします。
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right)
\end{equation*}の行空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{1}\right) ,\cdots ,\left( a_{m}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{1}\right) +\cdots +k_{m}\left( a_{m}\right) \in \mathbb{R} \ |\ k_{1},\cdots ,k_{m}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} \)の部分集合であるため、行ベクトル\(A\)の行階数は、\begin{equation*}\dim \mathrm{row}\left( A\right) \leq 1
\end{equation*}を満たします。
A=\left( a\right)
\end{equation*}の行空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left( a\right)
\right\} \right) \\
&=&\left\{ k\left( a\right) \in \mathbb{R} \ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} \)の部分集合であるため、実数\(A\)の行階数は、\begin{equation*}\dim \mathrm{row}\left( A\right) \leq 1
\end{equation*}を満たします。
行列の列階数
行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)の列空間は、\begin{equation*}\mathrm{col}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{col}\left(
A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right) \right\} \right)
\end{equation*}と定義される\(\mathbb{R} ^{m}\)の部分集合ですが、これは\(\mathbb{R} ^{m}\)の部分空間です。
\end{equation*}は実ベクトル空間\(\mathbb{R} ^{m}\)の部分空間である。
行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)の列空間\(\mathrm{col}\left( A\right) \)が実ベクトル空間\(\mathbb{R} ^{m}\)の部分空間であることが明らかになりました。したがって、その次元\begin{equation*}\dim \mathrm{col}\left( A\right)
\end{equation*}をとることができます。これをもとの行列\(A\)の列階数(column rank)と呼びます。これは行列\(A\)の列空間\begin{equation*}\mathrm{col}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{col}\left(
A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right) \right\} \right)
\end{equation*}から選ぶことができる線型独立な列ベクトルの最大個数です。列空間\(\mathrm{col}\left( A\right) \)は\(\mathbb{R} ^{m}\)の部分空間であるため、\begin{equation*}\dim \mathrm{col}\left( A\right) \leq m
\end{equation*}が成り立ちます。
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\end{equation*}の列空間は、\begin{eqnarray*}
\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
a_{11} \\
a_{21}\end{array}\right) ,\left(
\begin{array}{c}
a_{12} \\
a_{22}\end{array}\right) \right\} \right) \\
&=&\left\{ k_{1}\left(
\begin{array}{c}
a_{11} \\
a_{21}\end{array}\right) +k_{2}\left(
\begin{array}{c}
a_{12} \\
a_{22}\end{array}\right) \in \mathbb{R} ^{2}\ |\ k_{1},k_{2}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{2}\)の部分集合であるため、行列\(A\)の列階数は、\begin{equation*}\dim \mathrm{col}\left( A\right) \leq 2
\end{equation*}を満たします。
a_{11} & a_{12} \\
a_{21} & a_{22} \\
a_{31} & a_{32}\end{pmatrix}\end{equation*}の行空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
a_{11} \\
a_{12} \\
a_{31}\end{array}\right) ,\left(
\begin{array}{c}
a_{12} \\
a_{22} \\
a_{32}\end{array}\right) \right\} \right) \\
&=&\left\{ k_{1}\left(
\begin{array}{c}
a_{11} \\
a_{12} \\
a_{31}\end{array}\right) +k_{2}\left(
\begin{array}{c}
a_{12} \\
a_{22} \\
a_{32}\end{array}\right) \in \mathbb{R} ^{3}\ |\ k_{1},k_{2}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{3}\)の部分集合であるため、行列\(A\)の列階数は、\begin{equation*}\dim \mathrm{col}\left( A\right) \leq 3
\end{equation*}を満たします。
\end{equation*}の列空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
a_{1}\right) ,\cdots ,\left( a_{n}\right) \right\} \right) \\
&=&\left\{ k_{1}\left( a_{1}\right) +\cdots +k_{n}\left( a_{n}\right) \in \mathbb{R} \ |\ k_{1},\cdots ,k_{n}\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} \)の部分集合であるため、行ベクトル\(A\)の列階数は、\begin{equation*}\dim \mathrm{col}\left( A\right) \leq 1
\end{equation*}を満たします。
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right)
\end{equation*}の列空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right) \right\} \right) \\
&=&\left\{ k\left(
\begin{array}{c}
a_{1} \\
\vdots \\
a_{m}\end{array}\right) \in \mathbb{R} ^{m}\ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} ^{m}\)の部分集合であるため、行ベクトル\(A\)の列階数は、\begin{equation*}\dim \mathrm{col}\left( A\right) \leq m
\end{equation*}を満たします。
A=\left( a\right)
\end{equation*}の列空間は、\begin{eqnarray*}
\mathrm{row}\left( A\right) &=&\mathrm{span}\left( \left\{ \left( a\right)
\right\} \right) \\
&=&\left\{ k\left( a\right) \in \mathbb{R} \ |\ k\in \mathbb{R} \right\}
\end{eqnarray*}と定義される\(\mathbb{R} \)の部分集合であるため、実数\(A\)の列階数は、\begin{equation*}\dim \mathrm{col}\left( A\right) \leq 1
\end{equation*}を満たします。
行列の階数
行列の行階数と列階数は必ず一致します。
行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)を任意に選んだとき、その行階数と列階数は一致する。すなわち、\begin{equation*}\dim \mathrm{row}\left( A\right) =\dim \mathrm{col}\left( A\right)
\end{equation*}が成り立つ。
行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)を任意に選んだとき、その行階数と列階数は一致すること、すなわち、\begin{equation*}\dim \mathrm{row}\left( A\right) =\dim \mathrm{col}\left( A\right)
\end{equation*}が成り立つことが明らかになりました。そこで、行列\(A\)の行階数と列階数の共通な値を行列\(A\)の階数(rank)と呼び、それを、\begin{equation*}\mathrm{rank}\left( A\right)
\end{equation*}と表記します。定義より、以下の関係\begin{equation*}
\mathrm{rank}\left( A\right) =\dim \mathrm{row}\left( A\right) =\dim \mathrm{col}\left( A\right)
\end{equation*}が成り立ちます。
演習問題
\end{equation*}を満たすことを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】