線形変換の面積公式

数学の線形代数学分野に於ける「線形変換の面積公式」とは2本のベクトルに線形変換を施す事で得られる像のベクトル(2本)が張る平行四辺形の面積を表わす公式である。

概要

一般のn次ベクトルの線形変換に関して述べるのは難しいので二次元の簡単なやつでお話します。

2つのベクトル

$\mathit{u}=\left(\begin{array}{c}{u}_x\\ u_y\end{array}\right),\mathit{v}=\left(\begin{array}{c}{v}_x\\ v_y\end{array}\right)$

に対して二次正方行列

$A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$

を用いて線形変換を施すと

${\mathit{u}}^{\prime }=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\left(\begin{array}{c}{u}_x\\ u_y\end{array}\right)=\left(\begin{array}{c}a{u}_x+b{u}_y\\ c{u}_x+d{u}_y\end{array}\right)$

${\mathit{v}}^{\prime }=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\left(\begin{array}{c}{v}_x\\ v_y\end{array}\right)=\left(\begin{array}{c}a{v}_x+b{v}_y\\ c{v}_x+d{v}_y\end{array}\right)$

が得られる。

さてここで外積の定義内で現れるベクトルが張る平行四辺形の面積公式に於いてz成分を無視すれば

$S=A_x{B}_y-A_y{B}_x$

と書けるがこれを上記線形変換に適用すれば

$(a{u}_x+b{u}_y)(c{v}_x+d{v}_y)-(c{u}_x+d{u}_y)(a{v}_x+b{v}_y)$

が成り立つ。これを変形すれば2つのベクトルu,vの線形変換の像の面積S^*が

$S^{*}=(ad-bc)(u_x{v}_y-u_y{v}_x)$

で表される事が分かる。上式右辺のad-bcは行列Aの行列式を、2つめの括弧内は元のベクトルu,vが張る平行四辺形の面積(これをSと置こう)を表しているので上述の公式は

• $S^{*}=\det (A)\cdot S$

と書ける事になる。この公式から線形変換の行列の行列式は変換前の面積と変換後の面積の比を表している事が分かる。