教材一覧
教材一覧
教材検索

行列

実行列空間の部分空間

目次

Twitterで共有
メールで共有

実行列空間の部分空間

実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)には行列加法行列のスカラー乗法が定義されており、これらの演算はベクトル空間としての以下の性質\begin{eqnarray*}&&\left( V_{1}\right) \ \forall A,B,C\in M_{m,n}\left( \mathbb{R} \right) :\left( A+B\right) +C=A+\left( B+C\right) \\
&&\left( V_{2}\right) \ \exists 0\in M_{m,n}\left( \mathbb{R} \right) ,\ \forall A\in M_{m,n}\left( \mathbb{R} \right) :A+0=A \\
&&\left( V_{3}\right) \ \forall A\in M_{m,n}\left( \mathbb{R} \right) ,\ \exists -A\in M_{m,n}\left( \mathbb{R} \right) :A+\left( -A\right) =0 \\
&&\left( V_{4}\right) \ \forall A,B\in M_{m,n}\left( \mathbb{R} \right) :A+B=B+A \\
&&\left( V_{5}\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A\in M_{m,n}\left( \mathbb{R} \right) :k_{1}\left( k_{2}A\right) =\left( k_{1}k_{2}\right) A \\
&&\left( V_{6}\right) \ \exists 1\in \mathbb{R} ,\ \forall A\in M_{m,n}\left( \mathbb{R} \right) :1A=A \\
&&\left( V_{7}\right) \ \forall k\in \mathbb{R} ,\ \forall A,B\in M_{m,n}\left( \mathbb{R} \right) :k\left( A+B\right) =kA+kB \\
&&\left( V_{8}\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A\in M_{m,n}\left( \mathbb{R} \right) :\left( k_{1}+k_{2}\right) A=k_{1}A+k_{2}A
\end{eqnarray*}を満たします。さて、\(M_{m,n}\left( \mathbb{R} \right) \)の非空な部分集合\(X\)を任意に選びます。その要素である2つの行列\(A,B\in X\)を任意に選んだとき、\(X\subset M_{m,n}\left( \mathbb{R} \right) \)ゆえに\(A,B\in M_{m,n}\left( \mathbb{R} \right) \)であるため、\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義されている行列加法のもとで行列和\(A+B\in M_{m,n}\left( \mathbb{R} \right) \)をとることができます。また、スカラー\(k\in \mathbb{R} \)と行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)を任意に選んだとき、\(X\subset M_{m,n}\left( \mathbb{R} \right) \)ゆえに\(A\in M_{m,n}\left( \mathbb{R} \right) \)であるため、\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義されたスカラー乗法のもとでスカラー倍\(kA\in M_{m,n}\left( \mathbb{R} \right) \)をとることができます。以上を踏まえると、実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)と\(M_{m,n}\left( \mathbb{R} \right) \)の非空な部分集合\(X\)が与えられたとき、行列がとり得る範囲を\(M_{m,n}\left( \mathbb{R} \right) \)から\(X\)へと制限して得られる\(\left( \mathbb{R} ,X\right) \)がベクトル空間としての性質を満たすか検討可能です。つまり、\(X\)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義されている行列加法とスカラー乗法のもとで閉じているとともに\(\left( \mathbb{R} ,X\right) \)がベクトル空間としての性質を満たすこと、すなわち、\begin{eqnarray*}&&\left( a\right) \ \forall A,B\in X:A+B\in X \\
&&\left( b\right) \ \forall k\in \mathbb{R} ,\ \forall A\in X:kA\in A
\end{eqnarray*}がともに成立するとともに、さらに、\begin{eqnarray*}
&&\left( X_{1}\right) \ \forall A,B,C\in X:\left( A+B\right) +C=A+\left(
B+C\right) \\
&&\left( X_{2}\right) \ \exists 0\in X,\ \forall A\in M_{m,n}\left( \mathbb{R} \right) :A+0=A \\
&&\left( X_{3}\right) \ \forall A\in X,\ \exists -A\in M_{m,n}\left( \mathbb{R} \right) :A+\left( -A\right) =0 \\
&&\left( X_{4}\right) \ \forall A,B\in X:A+B=B+A \\
&&\left( X_{5}\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A\in X:k_{1}\left( k_{2}A\right) =\left( k_{1}k_{2}\right) A \\
&&\left( X_{6}\right) \ \exists 1\in \mathbb{R} ,\ \forall A\in X:1A=A \\
&&\left( X_{7}\right) \ \forall k\in \mathbb{R} ,\ \forall A,B\in X:k\left( A+B\right) =kA+kB \\
&&\left( X_{8}\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A\in X:\left( k_{1}+k_{2}\right) A=k_{1}A+k_{2}A
\end{eqnarray*}がいずれも成立するか検討できます。以上の条件がいずれも満たされる場合、\(\left( \mathbb{R} ,X\right) \)のことを実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間(subspace)と呼びます。部分空間をシンプルに\(X\)と表記することもできます。

以下は実行列空間の部分空間の具体例です。

例(部分空間)
実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の定義より\(M_{m,n}\left( \mathbb{R} \right) \not=\phi \)です。\(M_{m,n}\left( \mathbb{R} \right) \)は\(M_{m,n}\left( \mathbb{R} \right) \)自身の部分集合ですが、\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)はベクトル空間としての性質を満たすため、\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)は\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)自身の部分空間です。
例(部分空間)
2次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{
\begin{pmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\in M_{2}\left( \mathbb{R} \right) \ |\ a_{11}=0\right\}
\end{equation*}として与えられているものとします。つまり、\(X\)は\(1,1\)成分が\(0\)であるような2次の正方行列からなる集合です。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分空間です(演習問題)。
例(部分空間)
\(n\)次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{n}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{ \left( a_{ij}\right) \in M_{n}\left( \mathbb{R} \right) \ |\ \forall i,j\in \left\{ 1,\cdots ,n\right\}
:a_{ij}=a_{ji}\right\}
\end{equation*}として与えられているものとします。つまり、\(X\)は\(n\)次の対称行列からなる集合です。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,M_{n}\left( \mathbb{R} \right) \right) \)の部分空間です(演習問題)。
例(部分空間)
実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の定義より\(0\in M_{m,n}\left( \mathbb{R} \right) \)が成り立ちます。つまり、\(0\)はゼロ行列です。ゼロ行列だけからなる集合\(\left\{ 0\right\} \)は\(M_{m,n}\left( \mathbb{R} \right) \)の非空な部分集合であるとともに、\(\left( \mathbb{R} ,\left\{ 0\right\} \right) \)はベクトル空間としての性質を満たすため、\(\left( \mathbb{R} ,\left\{ 0\right\} \right) \)は\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間です(演習問題)。

実行列空間の部分集合は部分空間であるとは限りません。以下の例より明らかです。

例(部分空間ではない部分集合)
実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の定義より\(0\in M_{m,n}\left( \mathbb{R} \right) \)が成り立ちます。つまり、\(0\)はゼロ行列です。集合\(M_{m,n}\left( \mathbb{R} \right) \backslash \left\{ 0\right\} \)は\(M_{m,n}\left( \mathbb{R} \right) \)の非空な部分集合ですが、\(M_{m,n}\left( \mathbb{R} \right) \backslash \left\{ 0\right\} \)はゼロ行列を要素として持たないため\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)はベクトル空間の性質を満たさず、したがって\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間ではありません。
例(部分空間ではない部分集合)
2次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{
\begin{pmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\in M_{2}\left( \mathbb{R} \right) \ |\ a_{11}\geq 0\right\}
\end{equation*}として与えられているものとします。つまり、\(X\)は\(1,1\)成分が非負の実数であるような2次の正方行列からなる集合です。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分空間ではありません(演習問題)。
例(部分空間ではない部分集合)
2次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{ A\in M_{2}\left( \mathbb{R} \right) \ |\ AA=A\right\}
\end{equation*}として与えられているものとします。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分空間ではありません(演習問題)。

 

部分空間であるための必要十分条件

繰り返しになりますが、実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)と\(M_{m,n}\left( \mathbb{R} \right) \)の非空な部分集合\(X\)が与えられたとき、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間であることとは、\(X\)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義されている行列加法とスカラー乗法のもとで閉じているとともに\(\left( \mathbb{R} ,X\right) \)がベクトル空間の公理を満たすこと、すなわち、\begin{eqnarray*}&&\left( a\right) \ \forall A,B\in X:A+B\in X \\
&&\left( b\right) \ \forall k\in \mathbb{R} ,\ \forall A\in X:kA\in A
\end{eqnarray*}がともに成立するとともに、さらに、\begin{eqnarray*}
&&\left( X_{1}\right) \ \forall A,B,C\in X:\left( A+B\right) +C=A+\left(
B+C\right) \\
&&\left( X_{2}\right) \ \exists 0\in X,\ \forall A\in M_{m,n}\left( \mathbb{R} \right) :A+0=A \\
&&\left( X_{3}\right) \ \forall A\in X,\ \exists -A\in M_{m,n}\left( \mathbb{R} \right) :A+\left( -A\right) =0 \\
&&\left( X_{4}\right) \ \forall A,B\in X:A+B=B+A \\
&&\left( X_{5}\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A\in X:k_{1}\left( k_{2}A\right) =\left( k_{1}k_{2}\right) A \\
&&\left( X_{6}\right) \ \exists 1\in \mathbb{R} ,\ \forall A\in X:1A=A \\
&&\left( X_{7}\right) \ \forall k\in \mathbb{R} ,\ \forall A,B\in X:k\left( A+B\right) =kA+kB \\
&&\left( X_{8}\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A\in X:\left( k_{1}+k_{2}\right) A=k_{1}A+k_{2}A
\end{eqnarray*}がいずれも成り立つことを意味します。ただし、これらの条件が成立することを1つ1つ確認するのは大変です。ただ、実際には、\(X\)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義されている行列加法とスカラー乗法のもとで閉じていることを保証できれば、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間であることが保証されます。

命題(部分空間であるための必要十分条件)
実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分集合\(X\subset M_{m,n}\left( \mathbb{R} \right) \)について、\begin{eqnarray*}&&\left( a\right) \ X\not=\phi \\
&&\left( b\right) \ \forall A,B\in X:A+B\in X \\
&&\left( c\right) \ \forall k\in \mathbb{R} ,\ \forall A\in X:kA\in X
\end{eqnarray*}がすべて成り立つことは、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間であるための必要十分条件である。ただし、\(\left( b\right) ,\left( c\right) \)における演算は\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義された行列加法とスカラー乗法である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題は部分空間であるための必要十分条件を与えられているため、実行列空間の部分集合が部分空間ではないことを判定する際にも利用できます。具体的には、実行列空間の部分集合\(X\subset M_{m,n}\left( \mathbb{R} \right) \)について、以下の条件\begin{eqnarray*}&&\left( a\right) \ X=\phi \\
&&\left( b\right) \ \exists A,B\in X:A+B\not\in X \\
&&\left( c\right) \ \exists k\in \mathbb{R} ,\ \exists A\in X:kA\not\in X
\end{eqnarray*}の中の少なくとも1つが成立すれば、すなわち、\(X\)が空集合であるか、または\(X\)が行列加法かスカラー乗法の少なくとも一方について閉じていないことを示せば、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間ではないことを示したことになります。

先の命題を以下の形に言い変えることもできます。

命題(部分空間であるための必要十分条件)
実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分集合\(X\subset M_{m,n}\left( \mathbb{R} \right) \)について、\begin{eqnarray*}&&\left( a\right) \ 0\in X \\
&&\left( b\right) \ \forall A,B\in X:A+B\in X \\
&&\left( c\right) \ \forall k\in \mathbb{R} ,\ \forall A\in X:kA\in X
\end{eqnarray*}がすべて成り立つことは、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分ベクトル空間であるための必要十分条件である。ただし、\(\left( a\right) \)における\(0\)は\(M_{m,n}\left( \mathbb{R} \right) \)中のゼロ行列であり、\(\left( b\right) ,\left( c\right) \)における演算は\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義された行列加法とスカラー乗法である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題は部分空間であるための必要十分条件を与えられているため、実行列空間の部分集合が部分空間ではないことを判定する際にも利用できます。具体的には、実行列空間の部分集合\(X\subset M_{m,n}\left( \mathbb{R} \right) \)について、以下の条件\begin{eqnarray*}&&\left( a\right) \ 0\not\in X \\
&&\left( b\right) \ \exists A,B\in X:A+B\not\in X \\
&&\left( c\right) \ \exists k\in \mathbb{R} ,\ \exists A\in X:kA\not\in X
\end{eqnarray*}の中の少なくとも1つが成立すれば、すなわち、\(X\)がゼロ行列を要素として持たないか、または\(X\)が行列加法かスカラー乗法の少なくとも一方について閉じていないことを示せば、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間ではないことを示したことになります。

先の命題をさらに以下の形に言い変えることもできます。

命題(部分空間であるための必要十分条件)
実行列空間\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分集合\(X\subset M_{m,n}\left( \mathbb{R} \right) \)について、\begin{eqnarray*}&&\left( a\right) \ 0\in X \\
&&\left( b\right) \ \forall k_{1},k_{2}\in \mathbb{R} ,\ \forall A,B\in X:k_{1}A+k_{2}B\in X
\end{eqnarray*}がともに成り立つことは、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間であるための必要十分条件である。ただし、\(\left( a\right) \)における\(0\)は\(M_{m,n}\left( \mathbb{R} \right) \)中のゼロ行列であり、\(\left( b\right) \)における演算は\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)上に定義された行列加法とスカラー乗法である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

上の命題は部分空間であるための必要十分条件を与えられているため、実行列空間の部分集合が部分空間ではないことを判定する際にも利用できます。具体的には、実行列空間の部分集合\(X\subset M_{m,n}\left( \mathbb{R} \right) \)について、以下の条件\begin{eqnarray*}&&\left( a\right) \ 0\not\in X \\
&&\left( b\right) \ \exists k_{1},k_{2}\in \mathbb{R} ,\ \exists A,B\in X:k_{1}A+k_{2}B\not\in X
\end{eqnarray*}の中の少なくとも1つが成立すれば、すなわち、\(X\)がゼロ行列を要素として持たないか、または\(X\)が線型結合について閉じていないことを示せば、\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{m,n}\left( \mathbb{R} \right) \right) \)の部分空間ではないことを示したことになります。

 

演習問題

問題(部分空間)
2次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{
\begin{pmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\in M_{2}\left( \mathbb{R} \right) \ |\ a_{11}=0\right\}
\end{equation*}として与えられているものとします。\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分空間であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(部分空間)
\(n\)次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{n}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{ \left( a_{ij}\right) \in M_{n}\left( \mathbb{R} \right) \ |\ \forall i,j\in \left\{ 1,\cdots ,n\right\}
:a_{ij}=a_{ji}\right\}
\end{equation*}として与えられているものとします。\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{n}\left( \mathbb{R} \right) \right) \)の部分空間であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(部分空間)
\(n\)次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{n}\left( \mathbb{R} \right) \right) \)について考えます。行列\(C\in M_{n}\left( \mathbb{R} \right) \)を選んだ上で固定し、それを用いて以下の集合\begin{equation*}X=\left\{ A\in M_{n}\left( \mathbb{R} \right) \ |\ AC=CA\right\}
\end{equation*}を定義します。\(\left( \mathbb{R} ,X\right) \)が\(\left( \mathbb{R} ,M_{n}\left( \mathbb{R} \right) \right) \)の部分空間であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(部分空間ではない部分集合)
2次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{
\begin{pmatrix}
a_{11} & a_{12} \\
a_{21} & a_{22}\end{pmatrix}\in M_{2}\left( \mathbb{R} \right) \ |\ a_{11}\geq 0\right\}
\end{equation*}として与えられているものとします。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分空間ではないことを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(部分空間ではない部分集合)
2次の正方行列からなる実行列空間\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分集合が、\begin{equation*}X=\left\{ A\in M_{2}\left( \mathbb{R} \right) \ |\ AA=A\right\}
\end{equation*}として与えられているものとします。\(\left( \mathbb{R} ,X\right) \)は\(\left( \mathbb{R} ,M_{2}\left( \mathbb{R} \right) \right) \)の部分空間ではないことを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録