2.5節 外積
著者:梅谷 武
語句:外積, 行列式
平面に付随するベクトル空間の外積について述べる。
作成:2009-09-01
更新:2011-03-08
 直線は平面を二つの領域に分割します。有向線分が与えられた場合、分割された領域の右側と左側が識別することができるようになります。直線図形をその境界の頂点列ABCで表すときに直線図形の内部が有向線分AB, BC, CAの左側にあるとき、または回転が反時計回りであるとき、直線図形ABCは正の向きであるといい、右側にあるとき、回転が時計回りであるとき、負の向きであるといいます。正の向きの場合は表面、負の向きの場合は裏面を見ていると考えます。
 向き付けられた平面図形の面積は正の向きの場合は正の面積量、負の向きの場合は負の面積量であると定めると、面積量は向き付けられた平面図形の面積を表していると考えることができます。
 内積の定義において、余弦を正弦に変えると二つのベクトルa,bが張る平行四辺形の面積になることに気が付きます。そこで次のような新しい計量を定義してみましょう。

定義2.5.2.2 外積

平面に付随するベクトル空間V2上の外積がいせき, exterior productを次のように定義する。
V2 × V2 longrightarrow A,  (a, b) longmapsto ab := sin θ
a
b
 二つのベクトルが同じ場合は
aa = 0
と定義するのが妥当です。このことから
(a+b) ∧ (a+b) = ab + ba = 0
となり、
ab = - ba
が導かれます。この性質に合うように正弦の定義を次のように拡張します。
無角・平角のとき
sin θ = 0
直角のとき
sin θ = 1
三直角のとき
sin θ = - 1
上記以外で平角より小さいとき
sin θ =
e
b
上記以外で平角より大きいとき
sin θ = -
e
b
その上で、abの定義における角θaからbへ反時計回りに向かう角と定めます。

命題2.5.2.4 外積の性質

平面に付随するベクトル空間V2上の外積は双線形かつ交代である。すなわち、次が成り立つ。
(EXT1) ( a + b ) ∧ c = ac + bca,b,cV2
(EXT2) a ∧ ( b + c ) = ab + aca,b,cV2
(EXT3) λ ab = λ ab = a ∧ λ ba,bV2, λ ∈
(EXT4) aa = 0,  aV2
(EXT5) ab = - ba,  a,bV2

証明

略■
 二つのベクトルa,bが次のように座標表現されているとします。
                    a
=
λ1 e1 + μ1 e2 = lb72
λ1
μ1
rb72
b
=
λ2 e1 + μ2 e2 = lb72
λ2
μ2
rb72
このとき、
                    ab
=
( λ1 e1 + μ1 e2 ) ∧ ( λ2 e1 + μ2 e2 )
=
λ1 e1 ∧ ( λ2 e1 + μ2 e2 ) + μ1 e2 ∧ ( λ2 e1 + μ2 e2 )
=
λ1 μ2 e1e2 + μ1 λ2 e2e1
=
1 μ2 - μ1 λ2) e1e2
より、写像
V2 × V2 longrightarrow ,  (a,b) longmapsto det(a,b) := λ1 μ2 - μ1 λ2
が定まります。これは座標系の取り方に依存するようですが、向きを変えない正規直交座標系の座標変換に関して、この値が不変であることが後にわかります。

命題2.5.2.7

平面に付随するベクトル空間V2において正規直交座標系を定めることによって定義される写像
det : V2 × V2 longrightarrow ,  (a,b) longmapsto det(a,b)
は交代双線形形式である。

証明

略■
 これはまた(2,2)行列全体M(2,)で定義されていると考えることができますが、これを行列式ぎょうれつしき, determinantと呼びます。
M(2,) longrightarrow lb72
a
b
c
d
rb72 longmapsto
a
b
c
d
:= ad - bc
 行列式は乗法群としての準同型写像になっています。

命題2.5.2.11

(2.1)
AB
=
A
B
,  A,B ∈ M(2,)

証明

略■
 外積を座標表現すると
ab = det(a, b)
e1
e2
となり、線長量の単位u = e1 = e2を使えば、
ab = det(a, b) u ⊗ u
と書くことができます。これに測定写像
u-1 : A = u ⊗ u longrightarrow ,  a=
a
u ⊗ u
u ⊗ u longmapsto
a
u ⊗ u
を合成すると行列式に一致します。
V2 × V2 longrightarrow ,  (a, b) longmapsto u-1(ab) = det(a, b)
外積については、面積量表現をab、面積比表現をdet( a, b )として区別することにします。
 平面の原点Oを始点とするa,bに属する有向線分をOA, OBとし、それらの和をOCとすると、外積abは有向平行四辺形OACBの面積量に一致します。
数  学
外積 がいせき, exterior product
行列式 ぎょうれつしき, determinant
 
Published by SANENSYA Co.,Ltd.