三重積 (ベクトル解析)
三重積(さんじゅうせき)とは3次元ユークリッド空間における3つのベクトルの積であり、ベクトル解析におけるスカラー三重積とベクトル三重積の総称である。
スカラー三重積(scalar triple product)は三つのベクトルから擬スカラー値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのドット積
\boldsymbol{a}\cdot(\boldsymbol{b}\times \boldsymbol{c})
である。
幾何学的にはスカラー三重積は三つのベクトル a, b, c によって定義される平行六面体の有向体積 (符号のついた体積) を表す。
スカラー三重積が0でないなら、三つのベクトルは線形独立である。スカラー三重積が0なら三つのベクトルは線形従属であり、共面 (一つの平面に含まれる) となる。なぜなら、体積が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] と表すのが便利である。
スカラー三重積は平行六面体の有向体積を与えるが、有向体積は鏡像変換に対して符号を変える。よって、スカラー三重積の値はスカラーでなく擬スカラーである。
スカラー三重積が正となる標構 (順序付けられた基底)、もしくはそれから生成される座標系、を右手系とよび、負となる標構を左手系とよぶ。それぞれの系は鏡像変換を含まない直交変換では互いに移ることはできない。
外積代数あるいは幾何代数において、2つのベクトルの外積は2-ベクトルであり、3つのベクトルの外積は3-ベクトルである。通常のベクトルである1-ベクトルが向き付けられた線分 (線要素) であるように、2-ベクトルは向き付けられた面積要素(面要素)であり、3-ベクトルは向き付けられた体積要素 (立体要素) である。
ベクトル a, b, c に対して定義された積
\boldsymbol{a} \wedge \boldsymbol{b} \wedge \boldsymbol{c}
はそのホッジ双対がスカラー三重積に等しい3-ベクトルである。
幾何学的には3-ベクトル a ∧ b ∧ c は a, b, c で張られた平行六面体に対応し、2-ベクトル a ∧ b, b ∧ c, a ∧ c は平行六面体の各面をなす平行四辺形に対応する。
ベクトル三重積(vector triple product)は三つのベクトルからベクトル値を返す三項演算、すなわち、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番目の公式はラグランジュの公式と呼ばれることもあるが、単に「ベクトル三重積の公式」と呼ばれることが多い。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} &= \operatorname{grad}(\operatorname{div}\boldsymbol{f})-\operatorname{rot}(\operatorname{rot}\boldsymbol{f})\\
\because
\nabla \times (\nabla \times \boldsymbol{f}) & = \nabla (\nabla \cdot  \boldsymbol{f} ) - (\nabla \cdot \nabla) \boldsymbol{f}
\end{align}
と展開できる。これは一般化されたラプラス作用素 (ラプラス–ベルトラミ作用素) \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 成分も同様なので、これより証明された。
アインシュタインの縮約記法を使えば ベクトル三重積は jij -jji と覚えることができる。
\begin{align}
(\boldsymbol{a} \times (\boldsymbol{b}\times \boldsymbol{c}))_i  &= \varepsilon_{ijk} \varepsilon_{k\ell m} a_j b_\ell c_m \\
&= (\delta_{i\ell}\delta_{jm}-\delta_{im}\delta_{j\ell}) a_j  b_\ell c_m \\
&= a_j  b_i c_j -  a_j  b_j c_i \\
&=(\boldsymbol{a}\cdot\boldsymbol{c})b_i - (\boldsymbol{a}\cdot\boldsymbol{b})c_i
\end{align}