線型写像

数学の特に線型代数学における線型変換あるいは線型写像は、ベクトルの加法とスカラー倍を保つ特別の写像である。特に任意の線型写像は「直線を直線に移す」。

1. 概要
-----

抽象代数学の言葉を用いれば、線型写像とはベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。

「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像の意味で用いていることも少なくない。また函数解析学の分野では、線型写像のことを「線型作用素」と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」とも呼ばれる一次の微分形式を単に「一次形式」または「1-形式」 と呼ぶこともある。これとの対照のため、本項に云う意味での一次形式を「代数一次形式」 と呼ぶ場合がある。}}。

2. 定義
-----

V}} と W}} とを同じ体 𝔽}} の上のベクトル空間とする。V}} から W}} への写像 f}} が、任意のベクトル x, y ∈ //V//}} と任意のスカラー //c// ∈ mathbf に対し、

加法性: 1=//f// = //f// + //f//}},
斉一次性: をともに満たすとき加法性から斉一次性が従うベクトル空間もあるが、一般にはそのようなことは期待できない。例えば、実数の全体 mathbf、f}} を 𝔽}} 上の線型写像 または簡単に 𝔽}}-線型写像という。考えているベクトル空間および線型写像がどの体上のものであるかが明らかなときには、省略して単に「 f}} は V}} から W}} への線型写像である」などということもある考えている係数体が何であるかは線型性にとって重要である。例えば、複素数全体の成す体 mathbf。

上記の二性質を合わせて線型性と呼び、また有限個のスカラー λsub とベクトル vsub に対して

線型性: のような形で言及することもある。

3. 例と反例
-------

恒等写像および零写像は何れも線型である。
実函数 //f// coloneqq}} //ax//}}  は線型である。
実函数 //f// coloneqq}} //x// + 1}} は線型でない。線型変換は原点を変えない。
実函数 //f// coloneqq}} //x//2}} は線型でない。
//m// × //n//}} 実行列 A}} は列ベクトル //x// ∈ mathbf を列ベクトル //Ax// ∈ mathbf へ写す線型写像を定める。逆に、有限次元ベクトル空間の間の任意の線型写像は行列で表現される。またこのとき、線型写像 f}} をその表現行列 Asub へ写す写像はそれ自身が線型写像になる。
//M// coloneqq}} M coloneqq}} //xy// − //yx//}} で定義すると、ad   //x//}} は線型写像である。さらに、M}} から Endmathbf への写像 ad: x mapsto}} ad   //x//}} も線型である。
ℝ}} の適当な区間 上の定積分は、その区間上の実数値可積分函数の空間からの線型写像である。
不定積分は、得られる函数が積分定数の分だけ無数に存在するため、線型写像とみなすことはそのままではできない。
微分は可微分函数全体の成す空間から函数全体の成す空間への線型写像である。
確率変数 X}} の期待値 𝔼bracket は を満たすから線型写像となるが、分散 𝕍bracket は 1=𝕍bracket で斉一次性が成り立たないので線型でない。

4. 核・像と全射性・単射性
--------------

線型写像 //f//: //V// → //W//}} に対して

をそれぞれ、f}} の像 , 核  という。これらはそれぞれの空間の線型部分空間であり、またこれらの次元

は f}} のそれぞれ階数 , 退化次数  と呼ばれ、有限次元のときには

なる等式を満足する。

は f}} の余核と呼ばれる。核および余核は線型写像 f}} のそれぞれ単射性および全射性からの「ずれ」を測るものと考えることができる。即ち、

f}} が単射であるための必要十分条件は 1=Ker = mset となることであり、
f}} が全射であるための必要十分条件は 1=Coker = mset となることである。線型写像 //f// ∈ Hommathbf が全単射であるとき、 f}} は V}} から W}} への 𝔽}}-線型同型写像あるいは 𝔽}} 上の同型、𝔽}}-同型であるという。また、ベクトル空間 V, W}} の間に線型同型が存在するとき、V}} と W}} はベクトル空間として同型であるという。

5. 線型写像の演算
----------

線型写像がいくつか与えられたとき、それらから新たな線型写像を作り出す操作がいくつか存在する。

線型演算: 線型写像 //f//, //f//1, //f//2: //V// → //W//}} および係数体の元 a}} に対して、スカラー倍 af}} および和 //f//1 + //f//2}} を で定めると、これらはまた V}} から W}} への線型写像を定める。 積: //f//: //V// → //W//}} および //g//: //W// → //X//}} が線型ならば、その合成 //g// ∘ //f//}} は V}} から //X// への線型写像を定める。 反転: 線型写像 //f//: //V// → //W//}} が全単射であるとき、逆写像 //f//−1: //W// → //V//}} もまた線型同型になる。双線型写像 //f//: //V// × //W// → //X//}} が与えられたとき、テンソル積空間 //V// ⊗ //W//}} から X}} への線型写像 φ}} が

によって誘導される。

6. 線型写像の空間
----------

ベクトル空間 V}} から W}} への 𝔽}}-線型写像の全体の作る集合を

などで表す。この集合 mathcal は上記の和とスカラー倍によって、それ自身一つのベクトル空間になる。特に //W// coloneqq}} mathbf としたとき、つまりベクトル空間 V}} 上の線型汎函数の空間

は V}} の双対空間と呼ばれる。特にまた

なる同型が成り立つ。

ベクトル空間 V}} から V}} 自身への 𝔽}}-線型写像 f}} を V}} における 𝔽}} 上の線型変換または 𝔽}}-自己準同型  などという。V}} における 𝔽}}-線型変換全体の成す集合

は和と合成に関して V}} 上の 𝔽}}-自己準同型環と呼ばれる 𝔽}} 上の結合多元環の構造を持つ。V}} 上の線型変換 //f//: //V// → //V//}} が同型であるとき、線型変換 f}} を V}} 上の正則線型変換あるいは 𝔽}}-自己同型  という。V}} における正則 𝔽}}-線型変換の全体の成す集合

や //GL//}} などと表す。//GL//}} は写像の合成を積として V}} 上の一般線型群と呼ばれる群を成す。

7. 行列表現
-------

成分を体 𝕂}} にもつ m}} 行 n}} 列の行列をA}} とするとき、1=//f// = //A//x (x ∈ mathbf は数ベクトル空間 mathbf から mathbf への 𝕂}}-線型写像を定める。これとは逆に、V}} と W}} が有限次元のベクトル空間で、それぞれの空間の基底が選ばれているならば、各ベクトルをそれらの基底に関する成分表示と同一視できるから、V}} から W}} への任意の線型写像は行列として表すことができる。このことは、具体的な計算を可能にするという点で便利である。

V}} の基底を 、 W}} の基底をとおく。

V}}の要素の線型写像 //f//: //V// → //W//}} について、線形性の定義から

が成り立つ。各基底の行き先 //f//}} が分かれば、この写像は一つに決まる。このとき

となるスカラー asub を }}-成分にもつ行列を Asub とすれば、この写像は、

と書くことができる。基底の変換

を行うとき、P, Q}} は正則行列で 1= = //P//}}, 1= = //Q//}} であり、

が成立するから、表現行列は //Q//−1A//f////P//}} に置き換わる。

適当な基底を固定して各線型写像 //f//: //V// → //W//}} に対応する行列を Asub と書けば、

が成り立つから、特に 𝕂}} 上のベクトル空間 V, W}} の 𝕂}} 上次元がそれぞれ n, m}} であるとき、

というベクトル空間の同型が成り立つ。また、合成に関しても

となるから、特に 1=//V// = //W//}} のとき

は結合多元環の同型になる。これらの同型が成り立つことをもって、線型写像が行列によって表現されるという。

8. 線型写像の連続性
-----------

一般に無限次元のベクトル空間を扱うとき、空間には付加的な構造として位相が定められているのが普通であり、そのような空間では線型写像の連続性を考察することができる。有限次元空間上の線型写像は必ず連続であり、したがって不連続線型作用素の概念は特に無限次元の場合において意味を持つ。

バナッハ空間のようなノルム線型空間では、線型写像がノルムの定める距離に関して連続となることと、そのノルムに関して有界となることとが同値である。

ノルム空間 X}} 上の可微分函数全体の成す空間 //C//1}} に上限ノルムを入れて考えるとき、函数の微分は作用素として有界でない。また、可微分函数の微分は必ずしも微分可能ではないから、始域よりも終域のほうが大きく、故に函数の微分は連続にならない。

9. 脚注
-----

9.1. 注釈
-------

10. 参考文献
--------

11. 関連項目
--------

反線型写像
半線型写像
半双線型写像
連続線型作用素

12. 外部リンク
---------