線形代数 · 線形変換

線形変換

線形変換は、各ベクトルの組み合わせ方を保ちながら新しい場所へ移します。v = x î + y ĵ は x·Aî + y·Aĵ に移るため、行列の2つの列、つまり î と ĵ の移動先が、すべての点の移動先を決めます。

01

この図で見る線形変換

平面の線形変換(線形写像)TT は、すべてのベクトル u⃗,w⃗\vec u, \vec w と実数 cc に対し T(u⃗+w⃗)=T(u⃗)+T(w⃗)T(\vec u + \vec w) = T(\vec u) + T(\vec w) と T(cu⃗)=c T(u⃗)T(c\vec u) = c\,T(\vec u) を満たします。このような写像はすべて2×2行列 AA の掛け算で表せ、AA の列は基底ベクトルの像 Aı^A\hat\imath と Aȷ^A\hat\jmath です。このページでは平面から同じ平面への写像を示します。

組み合わせ方を保つ
v⃗=x ı^+y ȷ^⟹Av⃗=x Aı^+y Aȷ^\vec v = x\,\hat\imath + y\,\hat\jmath \quad\Longrightarrow\quad A\vec v = x\,A\hat\imath + y\,A\hat\jmath

図の濃い2本の矢印は行列の列です。先端をドラッグすると格子全体が動きます。どの点にも、元と同じ組み合わせで到達するからです。青いベクトル v を2通りにたどります。元の格子(破線)では î に沿って x、ĵ に沿って y、新しい格子(実線)では Aî に沿って x、Aĵ に沿って y 進み、Av に到達します。同じ積を行で計算しても同じ値です。Av⃗A\vec v の各成分は AA の各行と v⃗\vec v の内積になります。原点は動きません。直線の像は直線か1点です。可逆な変換は平行な直線と直線上の等間隔を保ちますが、長さや角度は変わることがあります。

det⁡A=0\det A = 0 かつ A≠0A \ne 0 なら、平面は1本の直線に押しつぶされます。原点を通る1本の直線が原点に移り、これが核です。A=0A = 0 ならすべての点が原点に移るので、核は平面全体です。逆像では出力 w をドラッグし、どこから来たかを調べます。可逆行列なら1点 A−1w⃗A^{-1}\vec w、階数1の行列なら w が像上にあるとき1本の直線、それ以外は逆像なしです。零行列では原点の逆像は平面全体で、ほかの点には逆像がありません。Ax⃗=b⃗A\vec x = \vec b を解くことは、まさにこの探索です。

02

注目するところ

  • A が特異かどうかは、設定した数から厳密に判定します。入力した1/3は3分の1、0.1は10分の1なので、[11/331]\left[\begin{smallmatrix}1 & 1/3\\ 3 & 1\end{smallmatrix}\right] は平面を押しつぶします。一方、[1100.0001]\left[\begin{smallmatrix}1 & 1\\ 0 & 0.0001\end{smallmatrix}\right] のように特異行列に近い場合は、実際の非常に大きな逆行列を表示します。有限小数で厳密に表せない成分(√2、30°回転)は丸めた値で判定し、その旨を表示します。そのため √2·√2 = 2 によってのみ特異になる行列は、微小な行列式を持つ可逆行列と表示されます。
  • 2つの行列の間のアニメーションは、多くの経路の1つを選んだ表示上の遷移です。対称移動は途中で平面がつぶれますが、180°回転は角度で補間するため縮みません。途中の状態から数値を読み取ることはしません。
xyOT(O)

Why a translation is not linear

Shift the whole grid 1 to the right and 0.5 up. Lines stay straight and parallel lines stay parallel, but the origin moves to (1, 0.5). A linear transformation must leave the zero vector at the origin: T(0)=0T(0)=0. This translation does not, so it is not linear. Fixing the origin alone is not enough: the addition and scaling rules above must also hold.

03

操作方法

  • 行列は括弧内に入力(−10~10、小数、分数、√、π)するか、列のキーと2つのホイールで設定できます。ドラッグする先端は整数座標や、もう一方の列と厳密に同一直線上の点に吸着します(スナップで無効にできます)。
  • プレゼンテーションモードではプロジェクター向けの全画面表示になります。← → で主な行列を切り替え、H でベクトルの移動先を非表示にします。
04

関連項目

  • F01線形結合準備中
  • F09行列の積準備中
  • F11行列式準備中
  • F13固有ベクトル準備中
  • F07基底準備中
  • F03連立一次方程式準備中

さらに読む: ウィキペディア: Linear map (英語); ウィキペディア: Transformation matrix (英語).