三重積 (ベクトル解析)

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

三重積とは3次元ユークリッド空間における3つのベクトルであり、ベクトル解析におけるスカラー三重積ベクトル三重積の総称である。

スカラー三重積[編集]

3つのベクトルによって定義される平行六面体

スカラー三重積は三つのベクトルから擬スカラー値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのドット積

 \boldsymbol{a}\cdot(\boldsymbol{b}\times \boldsymbol{c})

である。

幾何学的解釈[編集]

幾何学的にはスカラー三重積は三つのベクトル a, b, c によって定義される平行六面体有向体積(符号のついた体積)を表す。

スカラー三重積が0でないなら、三つのベクトルは線形独立である。スカラー三重積が0なら三つのベクトルは線形従属であり、共面(coplanar)(一つの平面に含まれる)となる。なぜなら、体積が0とは平行六面体が潰れていることを意味するからである。

代数学的性質[編集]

代数学的にはスカラー三重積は各ベクトルを並べて作った3 × 3行列行列式に等しい。


\begin{align}
\boldsymbol{a}\cdot(\boldsymbol{b}\times\boldsymbol{c}) 
&= \det \begin{pmatrix}
a_1 & a_2 & a_3 \\
b_1 & b_2 & b_3 \\
c_1 & c_2 & c_3
\end{pmatrix}\\
&= \sum_{i,j,k}\varepsilon_{ijk} a_i b_j c_k
\end{align}

ここで εi,j,kエディントンのイプシロンである。これより、a・(b×c) はどの要素の置換に対しても反対称である。

また、以下の性質が成り立つ。

 
\boldsymbol{a}\cdot(\boldsymbol{b}\times \boldsymbol{c})=(\boldsymbol{a}\times \boldsymbol{b})\cdot\boldsymbol{c} \,\,(\equiv [\boldsymbol{a},\boldsymbol{b},\boldsymbol{c}])

[\boldsymbol{a},\boldsymbol{b},\boldsymbol{c}]=
[\boldsymbol{b},\boldsymbol{c},\boldsymbol{a}]=
[\boldsymbol{c},\boldsymbol{a},\boldsymbol{b}]

[\boldsymbol{a},\boldsymbol{b},\boldsymbol{c}][\boldsymbol{x},\boldsymbol{y},\boldsymbol{z}] 
= \det \begin{pmatrix}
\boldsymbol{a}\cdot\boldsymbol{x}&\boldsymbol{a}\cdot\boldsymbol{y}&\boldsymbol{a}\cdot\boldsymbol{z} \\
\boldsymbol{b}\cdot\boldsymbol{x}&\boldsymbol{b}\cdot\boldsymbol{y}&\boldsymbol{b}\cdot\boldsymbol{z} \\
\boldsymbol{c}\cdot\boldsymbol{x}&\boldsymbol{c}\cdot\boldsymbol{y}&\boldsymbol{c}\cdot\boldsymbol{z}
\end{pmatrix}
\qquad (\because \det A \det B = \det (A B^T))

1番目の等式により順番だけが重要なので、スカラー三重積を [a,b,c] と表すのが便利である。

鏡像変換[編集]

スカラー三重積は平行六面体の有向体積を与えるが、有向体積は鏡像変換に対して符号を変える。よって、スカラー三重積の値はスカラーでなく擬スカラーである。

スカラー三重積が正となる標構(順序付けられた基底)、もしくはそれから生成される座標系、を右手系とよび、負となる標構を左手系とよぶ。それぞれの系は鏡像変換を含まない直交変換では互いに移ることはできない。

外積[編集]

3-ベクトルは有向体積である。そのホッジ双対は大きさが体積に等しい擬スカラーである。

外積代数あるいは代数幾何において、2つのベクトルの外積は2-ベクトル(bivector)であり、3つのベクトルの外積は3-ベクトル(trivector)である。通常のベクトルである1-ベクトルが向き付けられた線分(線要素)であるように、2-ベクトルは向き付けられた面積要素(面要素)であり、3-ベクトルは向き付けられた体積要素(立体要素)である。

ベクトル a, b, c に対して定義された積

\boldsymbol{a} \wedge \boldsymbol{b} \wedge \boldsymbol{c}

はそのホッジ双対(Hodge dual)がスカラー三重積に等しい3-ベクトルである。 幾何学的には3-ベクトル abca, b, c で張られた平行六面体に対応し、2-ベクトル ab, bc, ac は平行六面体の各面をなす平行四辺形に対応する。

ベクトル三重積[編集]

ベクトル三重積は三つのベクトルからベクトル値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのクロス積


\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c})

であり、以下の性質が成り立つ:


\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c}) 
= (\boldsymbol{a}\cdot\boldsymbol{c})\boldsymbol{b} 
- (\boldsymbol{a}\cdot\boldsymbol{b})\boldsymbol{c}

(\boldsymbol{a}\times\boldsymbol{b})\times \boldsymbol{c} 
= (\boldsymbol{a}\cdot\boldsymbol{c})\boldsymbol{b} 
- (\boldsymbol{b}\cdot\boldsymbol{c})\boldsymbol{a}

\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c}) + 
\boldsymbol{b}\times (\boldsymbol{c}\times \boldsymbol{a}) + 
\boldsymbol{c}\times (\boldsymbol{a}\times \boldsymbol{b}) = 0

1番目および2番目の公式はラグランジュの公式と呼ばれることもあるが、[1] 単に「ベクトル三重積の公式」と呼ばれることが多い。2番めの公式は1番目の公式とクロス積の反対称性から導き出せる。1番目および2番目の公式により

 
\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c})
\ne
(\boldsymbol{a}\times \boldsymbol{b})\times \boldsymbol{c}

すなわち、クロス積は結合則が成り立たないことが導かれる。 3番目の公式はヤコビ恒等式(Jacobi Identity)であり、1番目の公式より明らかである。

ベクトル三重積の公式をつかってベクトルラプラシアン

 
\begin{align}
\bigtriangledown^2 \boldsymbol{f} &= \mathrm{grad\,}(\mathrm{div\,}\boldsymbol{f})-\mathrm{rot\,}(\mathrm{rot\,}\boldsymbol{f})\\
\because 
 \nabla \times (\nabla \times \boldsymbol{f}) & = \nabla (\nabla \cdot  \boldsymbol{f} ) - (\nabla \cdot \nabla) \boldsymbol{f}
\end{align}

と展開できる。これは一般化されたラプラス作用素(Laplace-de Rham operator) \Delta = d \delta + \delta d の具体例の一つである。

証明[編集]

\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c})x成分を展開する。

\begin{align}
\{\boldsymbol{a}\times (\boldsymbol{b}\times \boldsymbol{c})\}_x 
&= a_y (\boldsymbol{b}\times \boldsymbol{c})_z - a_z (\boldsymbol{b}\times \boldsymbol{c})_y \\
&= a_y (b_xc_y - b_yc_x) - a_z (b_zc_x-b_xc_z) \\
&= (a_yb_xc_y + a_zb_xc_z) - (a_yb_yc_x + a_zb_zc_x)\\
&= b_x (a_xc_x + a_yc_y + a_zc_z) - c_x (a_xb_x + a_yb_y + a_zb_z)\\
&= \{
  \boldsymbol{b}\,(\boldsymbol{a}\cdot\boldsymbol{c}) 
- \boldsymbol{c}\,(\boldsymbol{a}\cdot\boldsymbol{b})
\}_x
\end{align}

y 成分、z 成分も同様なので、これより証明された。

関連項目[編集]

出典[編集]

  1. ^ Kiyoshi Itō (1993). “§C: Vector product”. Encyclopedic dictionary of mathematics (2nd ed.). MIT Press. p. 1679. ISBN 0-262-59020-4. http://books.google.com/books?id=azS2ktxrz3EC&pg=PA1679. 

参考文献[編集]