自然な写像
ベクトル空間の自然な写像とは、ベクトル空間の構造のみから(それ以外の情報によらず)定まる写像のことです。
ここでは、ベクトル空間 $V$ から商ベクトル空間 $V / \, W$ への自然な写像 $f : V \to V / \, W$ が存在することを示すとともに、自然な写像 $f : V \to V / \, W$ が線型写像であることを確かめます。
自然な写像
用語
$V$ をベクトル空間、$W$ を $V$ の部分空間とする。$\bm{v} \in V$ に対して $\bm{v} + W \in V / \, W$ を対応させる写像 $f : V \to V / \, W$ を $V$ から $V / \, W$ への自然な線型写像という。
ベクトル空間 $V$ から商ベクトル空間 $V / \, W$ への線型写像があり、これを自然な線型写像といいます。「自然な($\text{canonical}$)」という用語は、数学(特に代数学)でよく用いられる用語であり、ある数学的な対象があったとき、その対象のみから(それ以外の情報によらず)定まる概念に対して用いられます。つまり、「自然な」数学的概念は、与えられた構造などにより自ずから定まる概念であるといえます。例えば、集合 $A$ に対して、$A$ の恒等写像 $\text{id}_{A}$ は $A$ により自然に定まるといえます。ここでは、ベクトル空間 $V$ とその部分空間 $W$ があったとき、$\bm{v} \in V$ に対して $\bm{v} + W \in V / \, W$ を対応させる写像 $f : V \to V / \, W$ は $V$ と $W$ により自然に定まるといえます。ちなみに、この「自然な」という用語は、「標準的な」「正統な」 といった意味合いのある英語の $\text{canonical}$ に対応しており、解析力学や統計力学では、正準変換($\text{canonical transformation}$)や正準分布($\text{canonical distribution}$)のように、「正準」という訳があたっています。
注意すべきは、$f : V \to V / \, W$ は自然な線型写像の定義ではないという点です。もし定義であれば、$f : V \to V / \, W$ のみを自然な線型写像と呼ぶというように限定しなければなりませんが、そうではありません。ベクトル空間の恒等写像(恒等変換)のように自然な線型写像は他にも存在します。単に、$V$ から $V / \, W$ への自然な線型写像といったとき、それは自然な写像の $1$ つであり、ベクトル空間 $V$ と商ベクトル空間 $V / \, W$ により自然に定まる線型写像を指していると理解するべきです。
代数学において自然な準同型という概念は度々でてきます。線型写像の像と核の定義や同型写像の定義において、ベクトル空間の線型写像は群の準同型写像の特別な場合と捉えることができることに触れました。また、商ベクトルの定義においては、商ベクトル空間は剰余群として一般化されることについても触れました。このようなことから、群においても自然な準同型が存在することが類推されますし、実際に、$G$ を群、$N$ をその部分群、$G / \, N$ を剰余群とすれば、 $G$ から $G / \, N$ への自然な準同型 $\pi : G \to G / \, N$ が存在するということがいえます。また、環においても同様に自然な準同型が存在します。
線型写像であることの確認
いま、$V$ から $V / \, W$ への線型写像 $f : V \to V / \, W$ が存在するとして、これを自然な線型写像と呼ぶとしていますが、改めて、$\bm{v} \in V$ から $\bm{v} + W \in V / \, W$ への対応が写像であって、かつ線型写像である(和とスカラー倍の演算を保存する)ということを確認します。
写像の要件
まず、写像であるための $2$ つの要件に照らし合わせて、$\bm{v} \in V$ から $\bm{v} + W \in V / \, W$ への対応 $f$ が写像であることを確認します。
まず、写像の要件($1$)任意の $V$ の元に対して、対応する $V / \, W$ の元が存在することを確かめます。このことは、商ベクトル空間の定義から明らかともいえますが、詳しくは次の通りです。
- 任意の $\bm{v} \in V$ に対して $f(\bm{v}) \in f(V)$ が存在し、$f(\bm{v}) = \bm{v} + W$ となります。
- $f$ は $\bm{v} \in V$ に対して $\bm{v} + W \in V / \, W$ を対応させるので、$\bm{v}$ に対して $f(\bm{v}) \in f(V)$ が存在することはいえます。前提として $f$ をそのように定めているため、この点を証明する必要はありません。
- しかしながら、まだ $f$ が写像であるとはいえないので、$f(\bm{v}) \in V / \, W$ としてはいけません。つまり、$\bm{v}$ の行き先が $V / \, W$ に入るかどうかはまだわからないということです。そして、このことこそ証明すべき点です。
- いま、$f(\bm{v}) = \bm{v} + W$ かつ $\bm{v} \in V$ であるから、商ベクトル空間の定義より $f(\bm{v}) \in V / \, W$ となります。
- 商ベクトル空間の定義より $V / \, W = \{ \, \bm{v} + W \mid \bm{v} \in V \, \}$ であるので、$f(\bm{v}) = \bm{v} + W$ かつ $\bm{v} \in V$ ならば $f(\bm{v}) \in V / \, W$ であるといえます。
- したがって、$f(V) \sub V / \, W$ であり、任意の $\bm{v} \in V$ に対して、対応する $V / \, W$ の元が存在するといえます。
- ちなみに、同様にして、任意の $V / \, W$ の元に対して、対応する $V$ の元が存在し、$V / \, W \sub f(V)$ であることがいえます。
- したがって、$\text{Im} f = V / \, W$ であり、$f$ は全射であるといえます。自然な線型写像 $f$ の全射性は他の定理などの証明においても利用できる性質の $1$ つです。
- 以上から、$f$ が写像の要件($1$)を満たすことが確かめられました。
- 任意の $\bm{v} \in V$ に対して $f(\bm{v}) \in f(V)$ が存在し、$f(\bm{v}) = \bm{v} + W$ となります。
次に、写像の要件($2$)$f(\bm{v}_{1}) \neq f(\bm{v}_{2}) \Rightarrow \bm{v}_{1} \neq \bm{v}_{2}$ が成り立つことを確かめます。このことは、商ベクトル空間の元が満たす演算規則(定理 4.43(部分空間により定められる集合))に則って確かめることができます。
- 背理法により、$f(\bm{v}_{1}) \neq f(\bm{v}_{2}) \land \bm{v}_{1} = \bm{v}_{2}$ となるような $\bm{v}_{1}, \, \bm{v}_{2}$ が存在すると仮定します。
- ここで、$f(\bm{v}_{1}) = \bm{v}_{1} + W, \; f(\bm{v}_{2}) = \bm{v}_{2} + W$ です。
- $p \Rightarrow q$ の否定は $p \land {}^{\lnot} q$ なので、$f(\bm{v}_{1}) \neq f(\bm{v}_{2}) \Rightarrow \bm{v}_{1} \neq \bm{v}_{2}$ を示すためにその否定である $f(\bm{v}_{1}) \neq f(\bm{v}_{2}) \land \bm{v}_{1} = \bm{v}_{2}$ を仮定しているということです。
- このとき、$\bm{v}_{1} - \bm{v}_{2} = \bm{0} \in W$ であることから、定理 4.43(部分空間により定められる集合)により、$\bm{v}_{1} + W = \bm{v}_{2} + W$ が成り立ちます。すなわち $f(\bm{v}_{1}) = f(\bm{v}_{2})$ となりますが、これは $f(\bm{v}_{1}) \neq f(\bm{v}_{2})$ に矛盾します。
- したがって、$f(\bm{v}_{1}) \neq f(\bm{v}_{2}) \Rightarrow \bm{v}_{1} \neq \bm{v}_{2}$ が成り立ち、$f$ が写像の要件($2$)を満たすことが確かめられました。
- 背理法により、$f(\bm{v}_{1}) \neq f(\bm{v}_{2}) \land \bm{v}_{1} = \bm{v}_{2}$ となるような $\bm{v}_{1}, \, \bm{v}_{2}$ が存在すると仮定します。
以上から、$\bm{v} \in V$ から $\bm{v} + W \in V / \, W$ への対応 $f$ が写像であることが確かめられました。
線型写像の要件
上の考察により、自然な写像 $f : V \to V / \, W$ が写像であること(さらには全射であること)が確かめられましたので、次に、$f$ が線型写像であることを確かめます。
線型写像の定義にしたがって、$f$ が和とスカラー倍の演算を保存することを確かめます。
$\bm{v}_{1}, \bm{v}_{2} \in V, \; c_{1}, c_{2} \in K$ とすると、$f : V \to V / \, W$ に関して次のことが成り立ちます。
$$ \begin{split} f(c_{1} \bm{v}_{1} + c_{2} \bm{v}_{2}) &\overset{(\text{i})}{=} (c_{1} \bm{v}_{1} + c_{2} \bm{v}_{2}) + W \\ &\overset{(\text{ii})}{=} \{ \, (c_{1} \bm{v}_{1}) + W \, \} + \{ \, (c_{2} \bm{v}_{2}) + W \, \} \\ &\overset{(\text{iii})}{=} c_{1} \, (\bm{v}_{1} + W) + c_{2} \, (\bm{v}_{2} + W) \\ &\overset{(\text{iv})}{=} c_{1} f(\bm{v}_{1}) + c_{2} f(\bm{v}_{2}) \\ \end{split} $$- ($\text{i}$)は $f$ の定め方によります。すなわち、$f$ により $c_{1} \bm{v}_{1} + c_{2} \bm{v}_{2} \in V$ が $(c_{1} \bm{v}_{1} + c_{2} \bm{v}_{2}) + W \in V / \, W$ に移っています。
- ($\text{ii}$)は $V / \, W$ における和の演算規則によります。$V / \, W$ はベクトル空間なので、和の演算規則より、$c_{1} \bm{v}_{1}, \, c_{2} \bm{v}_{2} \in V$ について、$\{ \, (c_{1} \bm{v}_{1}) + W \, \} + \{ \, (c_{2} \bm{v}_{2}) + W \, \} = \{ \, (c_{1} \bm{v}_{1}) + (c_{2} \bm{v}_{2}) \, \} + W$ が成り立ちます。
- ($\text{iii}$)は $V / \, W$ におけるスカラー倍の演算規則によります。$V / \, W$ はベクトル空間のなので、スカラー倍の演算規則より、$c_{1} \, (\bm{v}_{1} + W) = (c_{1} \bm{v}_{1}) + W$ が成り立ちます。同様に、$c_{2} \, (\bm{v}_{2} + W) = (c_{2} \bm{v}_{2}) + W$ となります。
- ($\text{iv}$)も $f$ の定め方によります。すなわち、$\bm{v}_{1} + W = f(\bm{v}_{1}), \; \bm{v}_{2} + W = f(\bm{v}_{2})$ です。
以上から、$f$ が和とスカラー倍の演算を保存すること、すなわち $f$ が線型写像であることが確かめられました。
単射ではないことの確認
ベクトル空間 $V$ から商ベクトル空間 $V / \, W$ への自然な写像 $f : V \to V / \, W$ があって、$f$ が線型写像であることが確かめられました。また、上の考察から $f$ が全射であることも明らかになりましたが、単射ではありません。$f$ が単射でないことは次のように確かめられます。
- $f$ が単射であるための条件に対して、反例をあげます。
- $f(\bm{v}_{1}) = f(\bm{v}_{2})$ かつ $\bm{v}_{1} \neq \bm{v}_{2}$ となるような $\bm{v}_{1}, \bm{v}_{2} \in V$ が存在することを示します。
- $f : A \to B$ が単射であるとき、任意の $a_{1}, a_{2} \in A$ について $f(a_{1}) = f(a_{2}) \, \Rightarrow \, a_{1} = a_{2}$ が成り立ちます。すなわち、$f$ が単射であるとき、行き先が同じであればもとの元も同じであるといえます。
- この反例をあげれば良いので、任意の $a_{1}, a_{2} \in A$ について $f(a_{1}) = f(a_{2}) \, \Rightarrow \, a_{1} = a_{2}$ であることの否定、すなわち、$f(a_{1}) = f(a_{2}) \, \land \, a_{1} \neq a_{2}$ となる $a_{1}, a_{2} \in A$ が存在することを示します。
- 具体的には、$\bm{v}_{1}, \bm{v}_{2} \in V, \, \bm{w} \neq \bm{0} \in W$ として、$\bm{v}_{1}, \bm{v}_{2}$ について $\bm{v}_{1} - \bm{v}_{2} = \bm{w}$ が成り立つとします。
- このような $\bm{v}_{1}, \bm{v}_{2} \in V$ が存在することを前提としていいか少し心許なく思われるかもしれませんが、まず $\bm{v}_{2} \in V$ と $\bm{w} \neq \bm{0} \in W$ があって、$\bm{v}_{2} + \bm{w} = \bm{v}_{1}$ とすれば、$\bm{v}_{2} \in V$ かつ $\bm{w} \in V$($W$ は $V$ の部分空間なので $\bm{w} \in W$ ならば $\bm{w} \in V$ となります。)であることから $\bm{v}_{1} \in V$ となります。したがって、$\bm{v}_{1} - \bm{v}_{2} = \bm{w}$ となるような $\bm{v}_{1}, \bm{v}_{2} \in V$ を選ぶことができるとわかります。
- いま、$\bm{v}_{1} - \bm{v}_{2} = \bm{w} \in W$ であることから、定理 4.43(部分空間により定められる集合)より、$\bm{v}_{1} + W = \bm{v}_{2} + W$ であり、したがって、$f(\bm{v}_{1}) = f(\bm{v}_{2})$ が成り立ちます。一方で、$\bm{v}_{1} - \bm{v}_{2} = \bm{w}$ かつ $\bm{w} \neq \bm{0}$ であることから、$\bm{v}_{1} \neq \bm{v}_{2}$ となります。
- 以上から、$f : V \to V / \, W$ は単射ではないことが確かめられました。
- $f(\bm{v}_{1}) = f(\bm{v}_{2})$ かつ $\bm{v}_{1} \neq \bm{v}_{2}$ となるような $\bm{v}_{1}, \bm{v}_{2} \in V$ が存在することを示します。
以上の考察から、$f$ は全射準同型(全射かつ線型写像)ではあるが、同型(全単射かつ線型写像)ではないということがわかります。$V$ と $V / \, W$ が同型でないということは、$V$ と $V / \, W$ の構造が異なることを考えれば明らかにも思われますが、具体的には上のようにして確かめることができます。
まとめ
- $V$ をベクトル空間、$W$ を $V$ の部分空間とする。
- $\bm{v} \in V$ に対して $\bm{v} + W \in V / \, W$ を対応させる写像 $f : V \to V / \, W$ を $V$ から $V / \, W$ への自然な線型写像という。
- 自然な線型写像 $f : V \to V / \, W$ は全射であるが、単射ではない。
- $\bm{v} \in V$ に対して $\bm{v} + W \in V / \, W$ を対応させる写像 $f : V \to V / \, W$ を $V$ から $V / \, W$ への自然な線型写像という。
参考文献
[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[6] 雪江明彦. 代数学 $1$ 群論入門. 日本評論社. 2010.
[7] 雪江明彦. 代数学 $2$ 環と体とガロア理論. 日本評論社. 2010.
[8] 桂利行. 代数学 $\text{I}$ 群と環. 東京大学出版会. 2004.
[9] 松坂和夫. 代数系入門. 岩波書店. 1976.
[10] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[11] S. Lang. Algebra Revised Third Edition. Springer. 2005.
[12] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[13] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.