線型写像

数学の特に線型代数学における線型変換（せんけいへんかん、、一次変換）あるいは線型写像（せんけいしゃぞう、）は、ベクトルの加法とスカラー倍を保つ特別の写像である。特に任意の（零写像でない）線型写像は「直線を直線に移す」。
概要.
抽象代数学の言葉を用いれば、線型写像とは（体上の加群としての）ベクトル空間の構造を保つ準同型のことであり、また一つの固定された体上のベクトル空間の全体は線型写像を射とする圏を成す。
「線型変換」は線型写像とまったく同義と扱われる場合もあるが、始域と終域を同じくする線型写像（自己準同型）の意味で用いていることも少なくない。また函数解析学の分野では、（特に無限次元空間上の）線型写像のことを「線型作用素」（せんけいさようそ、）と呼ぶことも多い。スカラー値の線型写像はしばしば「線型汎函数」もしくは「一次形式」（いちじけいしき、; 線型形式; 1-形式）とも呼ばれる。
定義.
 と とを同じ体 の上のベクトル空間とする。 から への写像 が、任意のベクトル と任意のスカラー に対し、
をともに満たすとき、 を 上の線型写像 または簡単に -線型写像という。考えているベクトル空間および線型写像がどの体上のものであるかが明らかなときには、省略して単に「 は から への線型写像である」などということもある。
上記の二性質を合わせて線型性と呼び、また有限個のスカラー とベクトル に対して
のような形で言及することもある。
核・像と全射性・単射性.
線型写像 に対して
をそれぞれ、 の像 (image), 核 (kernel) という。これらはそれぞれの空間の線型部分空間であり、またこれらの次元
は のそれぞれ階数 (rank), 退化次数 (nullity) と呼ばれ、有限次元のときには
なる等式を満足する（階数退化次数定理）。
は の余核と呼ばれる。核および余核は線型写像 のそれぞれ単射性および全射性からの「ずれ」を測るものと考えることができる。即ち、
線型写像 が全単射であるとき、 は から への -線型同型写像あるいは 上の同型、-同型であるという。また、ベクトル空間 の間に線型同型が存在するとき、 と はベクトル空間として同型であるという。
線型写像の演算.
線型写像がいくつか与えられたとき、それらから新たな線型写像を作り出す操作がいくつか存在する。
双線型写像 が与えられたとき、テンソル積空間 から への線型写像 が
によって誘導される（テンソル積の普遍性）。
線型写像の空間.
ベクトル空間 から への -線型写像の全体の作る集合を
などで表す。この集合 は上記の和とスカラー倍によって、それ自身一つのベクトル空間になる。特に としたとき、つまりベクトル空間 上の線型汎函数の空間
は の（代数的）双対空間と呼ばれる。特にまた
なる同型が成り立つ。
ベクトル空間 から 自身への -線型写像 を における 上の線型変換または -自己準同型 (endomorphism) などという。 における -線型変換全体の成す集合
は和と合成に関して 上の -自己準同型環と呼ばれる 上の結合多元環の構造を持つ。 上の線型変換 が同型であるとき、線型変換 を 上の正則線型変換あるいは -自己同型 (automorphism) という。 における正則 -線型変換の全体の成す集合
や などと表す。 は写像の合成を積として 上の一般線型群と呼ばれる群を成す（単位元は恒等写像、逆元は逆写像で与えられる）。
行列表現.
成分を体 にもつ 行 列の行列を とするとき、 は数ベクトル空間 から への -線型写像を定める。これとは逆に、 と が有限次元のベクトル空間で、それぞれの空間の基底が選ばれているならば、各ベクトルをそれらの基底に関する成分表示と同一視できるから、 から への任意の線型写像は行列として表すことができる。このことは、具体的な計算を可能にするという点で便利である。
 の基底を formula_15、 の基底をformula_16とおく。
の要素formula_17の線型写像 について、線形性の定義から
が成り立つ。各基底の行き先 が分かれば、この写像は一つに決まる。このとき
となるスカラー を -成分にもつ行列を とすれば、この写像は、
と書くことができる。基底の変換
を行うとき、 は正則行列で , であり、
が成立するから、表現行列は に置き換わる。
適当な基底を固定して各線型写像 に対応する行列を と書けば、
が成り立つから、特に 上のベクトル空間 の 上次元がそれぞれ であるとき、
というベクトル空間の同型が成り立つ。また、合成に関しても
（右辺は行列の積）となるから、特に のとき
は結合多元環の同型になる。これらの同型が成り立つことをもって、線型写像が行列によって表現されるという。
線型写像の連続性.
一般に無限次元のベクトル空間を扱うとき、空間には付加的な構造として位相が定められているのが普通であり、そのような空間では線型写像の連続性を考察することができる。有限次元空間上の線型写像は必ず連続であり、したがって不連続線型作用素の概念は特に無限次元の場合において意味を持つ。
バナッハ空間のようなノルム線型空間では、線型写像がノルムの定める距離に関して連続となることと、そのノルムに関して有界となることとが同値である。
ノルム空間 上の可微分函数全体の成す空間 に上限ノルムを入れて考えるとき、函数の微分は作用素として有界でない（つまり、-値函数の微分が常に であるにも関わらず、値の十分小さい函数でも導函数の値が非常に大きくなるということが起こりうる）。また、可微分函数の微分は必ずしも微分可能ではないから、始域よりも終域のほうが大きく、故に函数の微分は連続にならない。