この図で見る線形変換
平面の線形変換(線形写像) は、すべてのベクトル と実数 に対し と を満たします。このような写像はすべて2×2行列 の掛け算で表せ、 の列は基底ベクトルの像 と です。このページでは平面から同じ平面への写像を示します。
図の濃い2本の矢印は行列の列です。先端をドラッグすると格子全体が動きます。どの点にも、元と同じ組み合わせで到達するからです。青いベクトル v を2通りにたどります。元の格子(破線)では î に沿って x、ĵ に沿って y、新しい格子(実線)では Aî に沿って x、Aĵ に沿って y 進み、Av に到達します。同じ積を行で計算しても同じ値です。 の各成分は の各行と の内積になります。原点は動きません。直線の像は直線か1点です。可逆な変換は平行な直線と直線上の等間隔を保ちますが、長さや角度は変わることがあります。
かつ なら、平面は1本の直線に押しつぶされます。原点を通る1本の直線が原点に移り、これが核です。 ならすべての点が原点に移るので、核は平面全体です。逆像では出力 w をドラッグし、どこから来たかを調べます。可逆行列なら1点 、階数1の行列なら w が像上にあるとき1本の直線、それ以外は逆像なしです。零行列では原点の逆像は平面全体で、ほかの点には逆像がありません。 を解くことは、まさにこの探索です。
注目するところ
- A が特異かどうかは、設定した数から厳密に判定します。入力した1/3は3分の1、0.1は10分の1なので、 は平面を押しつぶします。一方、 のように特異行列に近い場合は、実際の非常に大きな逆行列を表示します。有限小数で厳密に表せない成分(√2、30°回転)は丸めた値で判定し、その旨を表示します。そのため √2·√2 = 2 によってのみ特異になる行列は、微小な行列式を持つ可逆行列と表示されます。
- 2つの行列の間のアニメーションは、多くの経路の1つを選んだ表示上の遷移です。対称移動は途中で平面がつぶれますが、180°回転は角度で補間するため縮みません。途中の状態から数値を読み取ることはしません。
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: . 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.
操作方法
- 行列は括弧内に入力(−10~10、小数、分数、√、π)するか、列のキーと2つのホイールで設定できます。ドラッグする先端は整数座標や、もう一方の列と厳密に同一直線上の点に吸着します(スナップで無効にできます)。
- プレゼンテーションモードではプロジェクター向けの全画面表示になります。← → で主な行列を切り替え、H でベクトルの移動先を非表示にします。
関連項目
- F01線形結合準備中
- F09行列の積準備中
- F11行列式準備中
- F13固有ベクトル準備中
- F07基底準備中
- F03連立一次方程式準備中
さらに読む: ウィキペディア: Linear map (英語); ウィキペディア: Transformation matrix (英語).