線形写像と同型写像
カテゴリ:線形代数

ベクトルの関数のひとつである線形写像という特殊な写像について解説します。
写像について知らないかたは以下の記事を参照してください。
線形写像
線形写像
線形空間から線形空間
への写像
が
を満たすとき、を
から
への線形写像といいます。
線形写像の例
では線形写像の例をみていきましょう。
はじめに、線形空間のひとつである
の解全体の集合を考えます。ちなみに、これが線形空間であることは、この方程式の解が
とした際、
や
も解になります。
また、
結合法則:,
交換法則:
が成り立ち、零ベクトルや
の逆ベクトル
も存在します。よって、線形空間となります。そして、方程式の解は
となります。
線形写像の例を示したいので、もう一つ線形空間を用意します。
その線形空間は実数の集合です。実数の集合は線形空間になるので、一度自力で証明してみてください。
では、線形写像の例をあげます。それは
という写像です。実際に、
に対して
がなりたつことがわかります。
よって、写像は線形写像となります。
同型写像
同型写像
から
への線形写像
が全単射であるとき
は
から
への同型写像といいます。そして、
と
は同型対応であるといいます。
まず、全単射の意味がわからないかたは以下の記事を参照してください。
線形写像の例で述べた写像は同型写像です。まず、全射であることは
を示せばいいです。そこで、任意のの元
をとって、それが
の元であることを示します。これを示すには
の元
をとれば
となるので、は
の元であり、全射であることが証明されました。
単射であることは任意のの元
に対して、
であることを示せばいいです。実際に、定義から
と計算できます。
よって、は同型写像となります。
この例から、の解全体と一次元ベクトル(実数)の集合は一対一で対応することがわかります。
つまり、の解全体も実数も基本的に同じ性質であるということができます。
微分方程式の解とベクトルが同じなんて思いもしなかった方もおおいと思います。
これが一般化することで本質的には同じということになるのですね。
一般化の素晴らしさがわかっていただければ幸いです。
著者:安井 真人(やすい まさと)
@yasui_masatoさんをフォロー