ベクトルを別のベクトルへ移す操作は無数にあります。しかし、どんな操作でも一度に調べようとすると規則が複雑すぎます。そこで、ベクトル空間の基本操作である足し算と定数倍を壊さない写像に対象を絞ります。
この条件を満たす写像は、基底ベクトルをどこへ移すかだけで全体の動きが決まります。そのため行列で記録でき、計算と理論を結び付けられます。
以下では V,W を同じ体 K 上のベクトル空間とします。初めて読むときは K=R と考えて構いません。
2条件は、任意の a,b∈K に対する
f(ax+by)=af(x)+bf(y)
という一つの式にまとめられます。「任意の」が重要で、都合のよいベクトルだけで成立しても十分ではありません。
m×n 行列 A を固定すると、
T:Rn→Rm,T(x)=Ax
は線形写像です。行列の分配法則とスカラー倍の性質から
A(x+y)=Ax+Ay,A(cx)=cAx
が成り立つからです。
∵証明
スカラー倍を保つ条件に c=0 を入れると、任意の x∈V に対して
f(0V)=f(0x)=0f(x)=0W
となります。
この性質は線形でないことを示す便利な判定法です。ただし、f(0)=0 だけでは線形だとは限りません。たとえば f(x)=x2 は 0 を 0 へ移しますが、一般に加法を保ちません。
Q線形性を判定する★★☆
次の写像 T:R2→R2 が線形写像か判定してください。
T(x,y)=(x+y,2x−y).
HINTヒントを見る
(x1,y1),(x2,y2)∈R2 と c∈R を一般のまま置き、加法とスカラー倍の2条件を確認します。あるいは、T(x,y) を行列と列ベクトルの積で表せないか考えます。
ANS解答を見る
T(x,y)=(121−1)(xy)と表せます。固定した行列を掛ける写像なので線形です。直接計算しても、任意の u,v∈R2 と c∈R に対して T(u+v)=T(u)+T(v)、T(cu)=cT(u) が成り立ちます。