WIIS

線形写像

線形写像が全射であることの判定

目次

Twitter
Mailで保存

線形写像が全射であることの判定

写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)が線形写像であることとは、加法性と斉次性\begin{eqnarray*}&&\left( L_{1}\right) \ \forall x,y\in \mathbb{R} ^{n}:f\left( x+y\right) =f\left( x\right) +f\left( y\right) \\
&&\left( L_{2}\right) \ \forall k\in \mathbb{R} ,\ \forall x\in \mathbb{R} ^{n}:f\left( kx\right) =kf\left( x\right)
\end{eqnarray*}をともに満たすこととして定義されます。ただし、写像\(f\)がそれぞれのベクトル\(x\in \mathbb{R} ^{n}\)に対して定めるベクトルが、行列\(A\in M_{m,n}\left( \mathbb{R} \right) \)を用いて、\begin{equation*}f\left( x\right) =Ax
\end{equation*}という形で表されることは、\(f\)が線形写像であるための必要十分です。しかも、この行列\(A\)は\(f\)の標準行列と必ず一致します。つまり、\begin{equation*}A=\left( f\left( e_{1}\right) ,\cdots ,f\left( e_{n}\right) \right) =\begin{pmatrix}
f_{1}\left( e_{1}\right) & \cdots & f_{1}\left( e_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m}\left( e_{1}\right) & \cdots & f_{m}\left( e_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}となります。ただし、\(\left\{ e_{1},\cdots ,e_{n}\right\} \)は\(\mathbb{R} ^{n}\)の標準基底です。

写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)が全射であることとは、終集合上に存在するベクトル\(y\in \mathbb{R} ^{m}\)を任意に選んだとき、それに対して\(y=f\left( x\right) \)を満たす定義域上のベクトル\(x\in \mathbb{R} ^{n}\)が存在すること、すなわち、\begin{equation*}\forall y\in \mathbb{R} ^{m},\ \exists x\in \mathbb{R} ^{n}:y=f\left( x\right)
\end{equation*}が成り立つことを意味しますが、\(f\)が線形写像である場合、それが全射であることを様々な形で表現することができます。順番に解説します。

 

線形写像の像を用いた全射判定

線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)の像は、\begin{equation*}\mathrm{Im}f=\left\{ f\left( x\right) \in \mathbb{R} ^{m}\ |\ x\in \mathbb{R} ^{n}\right\}
\end{equation*}と定義される\(\mathbb{R} ^{m}\)の部分集合です。明らかに、\begin{equation*}\mathrm{Im}f\subset \mathbb{R} ^{m}
\end{equation*}が成り立ちますが、特に、\begin{equation*}
\mathrm{Im}f=\mathbb{R} ^{m}
\end{equation*}が成り立つことは、すなわち、線形写像\(f\)の像が終集合と一致することは、\(f\)が全射であるための必要十分条件になります。

命題(線形写像の像を用いた全射判定)
線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)について、\begin{equation*}\mathrm{Im}f=\mathbb{R} ^{m}
\end{equation*}が成り立つことは、\(f\)が全射であるための必要十分条件である。ただし、\(\mathrm{Im}f\)は\(f\)の像である。
証明

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

例(全射であるような線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{eqnarray*}f\left( x\right) &=&Ax \\
&=&\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}\left(
\begin{array}{c}
x_{1} \\
x_{2} \\
x_{3}\end{array}\right) \\
&=&x_{1}\left(
\begin{array}{c}
4 \\
-1\end{array}\right) +x_{2}\left(
\begin{array}{c}
-1 \\
1\end{array}\right) +x_{3}\left(
\begin{array}{c}
-1 \\
3\end{array}\right) \\
&=&\left(
\begin{array}{c}
4x_{1}-x_{2}-x_{3} \\
-x_{1}+x_{2}+3x_{3}\end{array}\right)
\end{eqnarray*}を定めます。\(f\)の像は、\begin{eqnarray*}\mathrm{Im}f &=&\left\{ f\left( x\right) \in \mathbb{R} ^{2}\ |\ x\in \mathbb{R} ^{3}\right\} \\
&=&\left\{ \left(
\begin{array}{c}
4x_{1}-x_{2}-x_{3} \\
-x_{1}+x_{2}+3x_{3}\end{array}\right) \in \mathbb{R} ^{2}\ |\ \left( x_{1},x_{2},x_{3}\right) \in \mathbb{R} ^{3}\right\} \\
&=&\mathbb{R} ^{2}
\end{eqnarray*}であるため、先の命題より\(f\)は全射です。

先の命題は線形写像が全射であるための必要十分条件を与えているため、線形写像が全射ではないことの判定にも利用できます。

例(全射ではない線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{eqnarray*}f\left( x\right) &=&Ax \\
&=&\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}\left(
\begin{array}{c}
x_{1} \\
x_{2} \\
x_{3}\end{array}\right) \\
&=&x_{1}\left(
\begin{array}{c}
-1 \\
-3\end{array}\right) +x_{2}\left(
\begin{array}{c}
1 \\
3\end{array}\right) +x_{3}\left(
\begin{array}{c}
2 \\
6\end{array}\right) \\
&=&\left( x_{1}-x_{2}-2x_{3}\right) \left(
\begin{array}{c}
-1 \\
-3\end{array}\right)
\end{eqnarray*}を定めます。\(f\)の像は、\begin{eqnarray*}\mathrm{Im}f &=&\left\{ f\left( x\right) \in \mathbb{R} ^{2}\ |\ x\in \mathbb{R} ^{3}\right\} \\
&=&\left\{ \left( x_{1}-x_{2}-2x_{3}\right) \left(
\begin{array}{c}
-1 \\
-3\end{array}\right) \in \mathbb{R} ^{2}\ |\ \left( x_{1},x_{2},x_{3}\right) \in \mathbb{R} ^{3}\right\} \\
&=&\left\{ t\left(
\begin{array}{c}
-1 \\
-3\end{array}\right) \in \mathbb{R} ^{2}\ |\ t\in \mathbb{R} \right\} \\
&\not=&\mathbb{R} ^{2}
\end{eqnarray*}であるため、先の命題より\(f\)は全射ではありません。

 

線形写像の標準行列の列空間を用いた全射判定

線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)の標準行列が\(A\in M_{m,n}\left( \mathbb{R} \right) \)である場合、\(f\)の像と\(A\)の列空間は一致するため、すなわち、\begin{equation*}\mathrm{Im}f=\mathrm{col}\left( A\right)
\end{equation*}が成り立つため、先の命題を以下のように言い換えることができます。

命題(線形写像の標準行列の列空間を用いた全射判定)
線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)と\(\mathbb{R} ^{n}\)の標準基底\(\left\{ e_{1},\cdots,e_{n}\right\} \subset \mathbb{R} ^{n}\)から\(f\)の標準行列\begin{equation*}A=\left( f\left( e_{1}\right) ,\cdots ,f\left( e_{n}\right) \right) =\begin{pmatrix}
f_{1}\left( e_{1}\right) & \cdots & f_{1}\left( e_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m}\left( e_{1}\right) & \cdots & f_{m}\left( e_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能である。このとき、以下の条件\begin{equation*}
\mathrm{col}\left( A\right) =\mathbb{R} ^{m}
\end{equation*}が成り立つことは、\(f\)が全射であるための必要十分条件である。ただし、\(\mathrm{Im}f\)は\(f\)の像であり、\(\mathrm{col}\left( A\right) \)は\(A\)の列空間である。
証明

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

例(全射であるような線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
4 \\
-1\end{array}\right) ,\left(
\begin{array}{c}
-1 \\
1\end{array}\right) ,\left(
\begin{array}{c}
1 \\
3\end{array}\right) \right\} \right) \\
&=&\mathbb{R} ^{2}
\end{eqnarray*}であるため、先の命題より\(f\)は全射です。

先の命題は線形写像が全射であるための必要十分条件を与えているため、線形写像が全射ではないことの判定にも利用できます。

例(全射ではない線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
-1 \\
-3\end{array}\right) ,\left(
\begin{array}{c}
1 \\
3\end{array}\right) ,\left(
\begin{array}{c}
2 \\
6\end{array}\right) \right\} \right) \\
&=&\left\{ t\left(
\begin{array}{c}
-1 \\
-3\end{array}\right) \in \mathbb{R} ^{2}\ |\ t\in \mathbb{R} \right\} \\
&\not=&\mathbb{R} ^{2}
\end{eqnarray*}であるため、先の命題より\(f\)は全射ではありません。

 

線形写像の標準行列の行空間の直交補空間を用いた全射判定

線形写像\(f\)の標準行列\(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) \subset \mathbb{R} ^{m}
\end{equation*}は、\(A\)の列の線型結合として表されるベクトルを集めてできる集合ですが、これは\(\mathbb{R} ^{m}\)の部分空間であるため、その直交補空間\begin{equation*}\left( \mathrm{col}\left( A\right) \right) ^{\perp }=\left\{ n\in \mathbb{R} ^{m}\ |\ \forall x\in \mathrm{col}\left( A\right) :n\cdot x=0\right\}
\end{equation*}をとることができます。以上の事実を踏まえると先の命題を以下のように言い換えることができます。

命題(線形写像の標準行列の行空間の直交補空間を用いた全射判定)
線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)と\(\mathbb{R} ^{n}\)の標準基底\(\left\{ e_{1},\cdots,e_{n}\right\} \subset \mathbb{R} ^{n}\)から\(f\)の標準行列\begin{equation*}A=\left( f\left( e_{1}\right) ,\cdots ,f\left( e_{n}\right) \right) =\begin{pmatrix}
f_{1}\left( e_{1}\right) & \cdots & f_{1}\left( e_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m}\left( e_{1}\right) & \cdots & f_{m}\left( e_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能である。このとき、以下の条件\begin{equation*}
\left( \mathrm{col}\left( A\right) \right) ^{\perp }=\left\{ 0\right\}
\end{equation*}が成り立つことは、\(f\)が全射であるための必要十分条件である。ただし、\(\left( \mathrm{col}\left( A\right)\right) ^{\perp }\)は\(A\)の列空間\(\mathrm{row}\left( A\right) \)の直交補空間である。
証明

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

例(全射であるような線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
4 \\
-1\end{array}\right) ,\left(
\begin{array}{c}
-1 \\
1\end{array}\right) ,\left(
\begin{array}{c}
1 \\
3\end{array}\right) \right\} \right) \\
&=&\mathbb{R} ^{2}
\end{eqnarray*}であるため、その直交補空間は、\begin{eqnarray*}
\left( \mathrm{col}\left( A\right) \right) ^{\perp } &=&\left( \mathbb{R} ^{2}\right) ^{\perp } \\
&=&\left\{ 0\right\}
\end{eqnarray*}です。したがって、先の命題より\(f\)は全射です。

先の命題は線形写像が全射であるための必要十分条件を与えているため、線形写像が全射ではないことの判定にも利用できます。

例(全射ではない線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の列空間は、\begin{eqnarray*}\mathrm{col}\left( A\right) &=&\mathrm{span}\left( \left\{ \left(
\begin{array}{c}
-1 \\
-3\end{array}\right) ,\left(
\begin{array}{c}
1 \\
3\end{array}\right) ,\left(
\begin{array}{c}
2 \\
6\end{array}\right) \right\} \right) \\
&=&\left\{ t\left(
\begin{array}{c}
-1 \\
-3\end{array}\right) \in \mathbb{R} ^{2}\ |\ t\in \mathbb{R} \right\} \\
&\not=&\mathbb{R} ^{2}
\end{eqnarray*}であるため、その直交補空間は、\begin{equation*}
\left( \mathrm{col}\left( A\right) \right) ^{\perp }\not=\left\{ 0\right\}
\end{equation*}を満たします。したがって、先の命題より\(f\)は全射ではありません。

 

線形写像の標準行列の階数を用いた全射判定

線形写像\(f\)の標準行列\(A\)の列空間は、\begin{equation*}\mathrm{row}\left( A\right) =\mathrm{span}\left( \left\{ \mathrm{col}\left(
A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right) \right\} \right) \subset \mathbb{R} ^{m}
\end{equation*}と定義されますが、これは\(A\)の列の線型結合からなる集合です。先の命題より、線形写像\(f\)が全射であることと、\begin{equation*}\mathrm{col}\left( A\right) =\mathbb{R} ^{m}
\end{equation*}すなわち、\begin{equation*}
\mathrm{span}\left( \left\{ \mathrm{col}\left( A,1\right) ,\cdots ,\mathrm{col}\left( A,n\right) \right\} \right) =\mathbb{R} ^{m}
\end{equation*}が成り立つことは必要十分です。つまり、線形写像\(f\)が全射であることとは、\(\mathbb{R} ^{m}\)上に存在するすべてのベクトルが\(f\)の標準行列\(A\)の列の何らかの線型結合として表現可能であることを意味します。

以上の事実を踏まえると、先の命題を以下のように表現することもできます。

命題(線形写像の標準行列の階数を用いた全射判定)
線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)と\(\mathbb{R} ^{n}\)の標準基底\(\left\{ e_{1},\cdots,e_{n}\right\} \subset \mathbb{R} ^{n}\)から\(f\)の標準行列\begin{equation*}A=\left( f\left( e_{1}\right) ,\cdots ,f\left( e_{n}\right) \right) =\begin{pmatrix}
f_{1}\left( e_{1}\right) & \cdots & f_{1}\left( e_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m}\left( e_{1}\right) & \cdots & f_{m}\left( e_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能である。このとき、以下の条件\begin{eqnarray*}
&&\left( a\right) \ \mathrm{rank}\left( A\right) =m \\
&&\left( b\right) \ m\leq n
\end{eqnarray*}がともに成り立つことは、\(f\)が全射であるための必要十分条件である。
証明

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

例(全射であるような線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の階数は、\begin{eqnarray*}\mathrm{rank}\left( A\right) &=&\dim \mathrm{col}\left( A\right) \\
&=&\dim \mathbb{R} ^{2} \\
&=&2
\end{eqnarray*}を満たすため、先の命題より\(f\)は全射です。

先の命題は線形写像が全射であるための必要十分条件を与えているため、線形写像が全射ではないことの判定にも利用できます。

例(全射ではない線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の階数は、\begin{eqnarray*}\mathrm{rank}\left( A\right) &=&\dim \mathrm{col}\left( A\right) \\
&=&\dim \left\{ t\left(
\begin{array}{c}
-1 \\
-3\end{array}\right) \in \mathbb{R} ^{2}\ |\ t\in \mathbb{R} \right\} \\
&=&1 \\
&\not=&2
\end{eqnarray*}を満たすため、先の命題より\(f\)は全射ではありません。

 

線形写像の標準行列の行標準形を用いた全射判定

行列\(A\)の階数は、\(A\)の行標準形\(B\)に含まれる主成分の個数と一致するため、先の命題を以下のように表現することもできます。

命題(線形写像の標準行列の行標準形を用いた全射判定)
線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)と\(\mathbb{R} ^{n}\)の標準基底\(\left\{ e_{1},\cdots,e_{n}\right\} \subset \mathbb{R} ^{n}\)から\(f\)の標準行列\begin{equation*}A=\left( f\left( e_{1}\right) ,\cdots ,f\left( e_{n}\right) \right) =\begin{pmatrix}
f_{1}\left( e_{1}\right) & \cdots & f_{1}\left( e_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m}\left( e_{1}\right) & \cdots & f_{m}\left( e_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能である。このとき、以下の条件\begin{eqnarray*}
&&\left( a\right) \ A\text{の行標準形}B\text{に含まれる主成分の個数は}m \\
&&\left( b\right) \ m\leq n
\end{eqnarray*}がともに成り立つことは、\(f\)が全射であるための必要十分条件である。
証明

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

例(全射であるような線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の行標準形を求めるために行簡約を行うと、\begin{eqnarray*}A &=&\begin{pmatrix}
4 & -1 & 1 \\
-1 & 1 & 3\end{pmatrix}
\\
&\rightarrow &\begin{pmatrix}
1 & 0 & \frac{4}{3} \\
0 & 1 & \frac{13}{3}\end{pmatrix}\end{eqnarray*}を得ますが、この行標準形に含まれる主成分の個数は\(2\)であり、これは\(A\)の行の個数と一致するため、先の命題より\(f\)は全射です。

先の命題は線形写像が全射であるための必要十分条件を与えているため、線形写像が全射ではないことの判定にも利用できます。

例(全射ではない線形写像)
以下の行列\begin{equation*}
A=\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(x\in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x\right) =Ax
\end{equation*}を定めるとともに、\(A\)は\(f\)の標準行列と一致します。\(A\)の行標準形を求めるために行簡約を行うと、\begin{eqnarray*}A &=&\begin{pmatrix}
-1 & 1 & 2 \\
-3 & 3 & 6\end{pmatrix}
\\
&\rightarrow &\begin{pmatrix}
1 & -1 & -2 \\
0 & 0 & 0\end{pmatrix}\end{eqnarray*}を得ますが、この行標準形に含まれる主成分の個数は\(1\)ですが、これは\(A\)の行の個数と一致しないため、先の命題より\(f\)は全射ではありません。

 

まとめ:線形写像が全射であることの判定

線形写像が全射であることは様々な形で表現可能であることが明らかになりました。得られた結果をまとめます。

命題(線形写像が全射であることの判定)
線形写像\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{m}\)と\(\mathbb{R} ^{n}\)の標準基底\(\left\{ e_{1},\cdots,e_{n}\right\} \subset \mathbb{R} ^{n}\)から\(f\)の標準行列\begin{equation*}A=\left( f\left( e_{1}\right) ,\cdots ,f\left( e_{n}\right) \right) =\begin{pmatrix}
f_{1}\left( e_{1}\right) & \cdots & f_{1}\left( e_{n}\right) \\
\vdots & \ddots & \vdots \\
f_{m}\left( e_{1}\right) & \cdots & f_{m}\left( e_{n}\right)
\end{pmatrix}\in M_{m,n}\left( \mathbb{R} \right)
\end{equation*}が定義可能である。このとき、以下の命題はいずれも必要十分である。

  1. \(f\)は全射である。
  2. \(\mathrm{Im}f=\mathbb{R} ^{m}\)が成り立つ。
  3. \(\mathrm{col}\left( A\right) =\mathbb{R} ^{m}\)が成り立つ。
  4. \(\left( \mathrm{col}\left( A\right) \right) ^{\perp }=\left\{ 0\right\} \)が成り立つ。
  5. \(\mathrm{rank}\left( A\right) =m\)かつ\(m\leq n\)が成り立つ。
  6. \(A\)の行標準形\(B\)に含まれる主成分の個数は\(m\)であるとともに\(m\leq n\)が成り立つ。

 

演習問題

問題(線形写像が全射であることの判定)
以下の行列\begin{equation*}
A=\begin{pmatrix}
2 & 1 \\
-1 & 1\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{3}\)は全射でしょうか。判定してください。
解答を見る

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

問題(線形写像が全射であることの判定)
以下の行列\begin{equation*}
A=\begin{pmatrix}
3 & 2 \\
-1 & 4 \\
2 & 5\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{3}\)は全射でしょうか。判定してください。
解答を見る

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

問題(線形写像が全射であることの判定)
以下の行列\begin{equation*}
A=\begin{pmatrix}
1 & 1 & -2 \\
2 & 2 & -4 \\
3 & 3 & -6\end{pmatrix}\end{equation*}から定義される線形写像\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} ^{3}\)は全射でしょうか。判定してください。
解答を見る

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

Twitter
Mailで保存

質問とコメント

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

関連知識

内積としての線形汎関数

多変数の実数値関数が線形汎関数であることと、その関数がベクトルの形で表現されることは必要十分です。

線形写像の成分関数

実ベクトル空間の間に定義された写像が線形写像であることと、その写像のすべての成分関数が線形写像であることは必要十分です。

線形写像の像(値域)

線形写像の像(値域)は、その写像の標準行列の列空間と一致します。列空間は実ベクトル空間の部分空間であるため、線形写像の像もまた実ベクトル空間の部分空間です。

線形写像が単射であることの判定

写像が線形写像である場合には、それが単射であることを様々な形で表現できます。線形写像が単射であることを判定する方法について解説します。

線形写像が全単射であることの判定

定義域と終集合が一致する線形写像だけが全単射になり得ることを示すとともに、線形写像が全単射であることを判定する方法について解説します。

全射

終集合のそれぞれの要素が定義域の要素の像になるような写像を全射と呼びます。全射どうしの合成写像は全射です。全射の逆写像は存在するとは限りません。

全射と右逆写像の関係

写像 f に対して合成写像 f∘g が恒等写像になるような写像 g が存在する場合、このような g を f の右逆写像と呼びます。選択公理を認める場合、写像 f に対してその右逆写像が存在することは、f が全射であるための必要十分条件です。

線形写像の加法(線形写像の和)

定義域と終集合を共有する2つの線形写像が与えられたとき、それらが定めるベクトルどうしの和を像として定める写像を定義すると、それもまた線形写像になります。線形写像の加法は行列加法と実質的に等しい演算です。

線形写像の合成

線形写像どうしの合成写像は線形写像になります。線形写像の合成は行列積と実質的に等しい演算です。

線形写像空間の定義

定義域と終集合を共有する線形写像からなる集合上に加法とスカラー乗法と呼ばれる演算が定義されている場合、そのような集合を線形写像空間と呼びます。線形写像空間はベクトル空間です。

線形写像