| 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2018年7月) |
三重積(さんじゅうせき)とは3次元ユークリッド空間における3つのベクトルの積であり、ベクトル解析におけるスカラー三重積とベクトル三重積の総称である。
スカラー三重積[編集]
3つのベクトルによって定義される平行六面体
スカラー三重積(英: scalar triple product)は三つのベクトルから擬スカラー値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのドット積
![{\displaystyle {\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6edc43c85f540c72bb9c204695d9a0049b44eec)
である。
幾何学的解釈[編集]
幾何学的にはスカラー三重積は三つのベクトル a, b, c によって定義される平行六面体の有向体積 (符号のついた体積) を表す。
スカラー三重積が0でないなら、三つのベクトルは線形独立である。スカラー三重積が0なら三つのベクトルは線形従属であり、共面 (一つの平面に含まれる) となる。なぜなら、体積が0とは平行六面体が潰れていることを意味するからである。
代数学的性質[編集]
代数学的にはスカラー三重積は各ベクトルを並べて作った3 × 3行列の行列式に等しい。
![{\displaystyle {\begin{aligned}{\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9b77880e23919c3448d06afcf8ecc1cd85fc49b)
ここで εi,j,k はエディントンのイプシロンである。これより、a・(b×c) はどの要素の置換に対しても反対称である。
また、以下の性質が成り立つ。
![{\displaystyle {\boldsymbol {a}}\cdot ({\boldsymbol {b}}\times {\boldsymbol {c}})=({\boldsymbol {a}}\times {\boldsymbol {b}})\cdot {\boldsymbol {c}}\,\,(\equiv [{\boldsymbol {a}},{\boldsymbol {b}},{\boldsymbol {c}}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fc82eae50aa056d4f2ed28d8e1bfdaa0635120a)
![{\displaystyle [{\boldsymbol {a}},{\boldsymbol {b}},{\boldsymbol {c}}]=[{\boldsymbol {b}},{\boldsymbol {c}},{\boldsymbol {a}}]=[{\boldsymbol {c}},{\boldsymbol {a}},{\boldsymbol {b}}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93e63250f74066e171d37f374379fa5fd984516e)
![{\displaystyle [{\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(AB^{T}))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01e0a288dfb4de746365aa23e7d485ba5ae0ede7)
1番目の等式により順番だけが重要なので、スカラー三重積を [a, b, c] と表すのが便利である。
鏡像変換[編集]
スカラー三重積は平行六面体の有向体積を与えるが、有向体積は鏡像変換に対して符号を変える。よって、スカラー三重積の値はスカラーでなく擬スカラーである。
スカラー三重積が正となる標構 (順序付けられた基底)、もしくはそれから生成される座標系、を右手系とよび、負となる標構を左手系とよぶ。それぞれの系は鏡像変換を含まない直交変換では互いに移ることはできない。
3-ベクトルは有向体積である。そのホッジ双対は大きさが体積に等しい擬スカラーである。
外積代数あるいは幾何代数(英語版)において、2つのベクトルの外積は2-ベクトル(英語版)であり、3つのベクトルの外積は3-ベクトル(英語版)である。通常のベクトルである1-ベクトルが向き付けられた線分 (線要素) であるように、2-ベクトルは向き付けられた面積要素(面要素)であり、3-ベクトルは向き付けられた体積要素 (立体要素) である。
ベクトル a, b, c に対して定義された積
![{\displaystyle {\boldsymbol {a}}\wedge {\boldsymbol {b}}\wedge {\boldsymbol {c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18954bb325192066049cc663eae8042e5f24decc)
はそのホッジ双対がスカラー三重積に等しい3-ベクトルである。
幾何学的には3-ベクトル a ∧ b ∧ c は a, b, c で張られた平行六面体に対応し、2-ベクトル a ∧ b, b ∧ c, a ∧ c は平行六面体の各面をなす平行四辺形に対応する。
ベクトル三重積[編集]
ベクトル三重積(英: vector triple product)は三つのベクトルからベクトル値を返す三項演算、すなわち、2つのベクトルのクロス積から作られる擬ベクトルと残りのベクトルとのクロス積
![{\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89837215041cc88ebf16f6849ea64efde89f8bca)
であり、以下の性質が成り立つ:
![{\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {a}}\cdot {\boldsymbol {b}}){\boldsymbol {c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3b228b416fdd38bcf171512a444f8ed398e5d57)
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9057d3cb2b8d2ea36a5f0c049b19f187f04e3549)
![{\displaystyle {\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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef2a0713a8aa8ec99c4ea41d177d87a80e61cd91)
1番目および2番目の公式はラグランジュの公式と呼ばれることもあるが[1]、単に「ベクトル三重積の公式」と呼ばれることが多い。2番目の公式は1番目の公式とクロス積の反対称性から導き出せる。1番目および2番目の公式により
![{\displaystyle {\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}})\neq ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/980c0ee2b8be450412d9fd76253538e95b9a6e25)
すなわち、クロス積は結合則が成り立たないことが導かれる。3番目の公式はヤコビ恒等式 (英: Jacobi Identity) であり、1番目の公式より明らかである。
ベクトル三重積の公式をつかってベクトルラプラシアンを
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46399ddd8fb51813fbdf2b88af2bc83e01d029fc)
と展開できる。これは一般化されたラプラス作用素 (ラプラス–ド・ラーム作用素(英語版))
の具体例の一つである。
の x成分を展開する。
![{\displaystyle {\begin{aligned}\{{\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_{x}c_{y}-b_{y}c_{x})-a_{z}(b_{z}c_{x}-b_{x}c_{z})\\&=(a_{y}b_{x}c_{y}+a_{z}b_{x}c_{z})-(a_{y}b_{y}c_{x}+a_{z}b_{z}c_{x})\\&=b_{x}(a_{x}c_{x}+a_{y}c_{y}+a_{z}c_{z})-c_{x}(a_{x}b_{x}+a_{y}b_{y}+a_{z}b_{z})\\&=\{{\boldsymbol {b}}\,({\boldsymbol {a}}\cdot {\boldsymbol {c}})-{\boldsymbol {c}}\,({\boldsymbol {a}}\cdot {\boldsymbol {b}})\}_{x}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e74725d9715b80ebfdf1808ddfb07a7797fd86c0)
y 成分、z 成分も同様なので、これより証明された。
その他の証明1
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9057d3cb2b8d2ea36a5f0c049b19f187f04e3549)
を証明する。
a と b が平行の場合、等式が成り立つのは自明。
以下、a と b が平行でないとする。
スカラー三重積の反対称性より
![{\displaystyle {\boldsymbol {a}}\cdot ({\boldsymbol {a}}\times {\boldsymbol {b}})=0,\,{\boldsymbol {b}}\cdot ({\boldsymbol {a}}\times {\boldsymbol {b}})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e88de7cc8eb11ad27eb0b089bbb2ba4f19dc2ac)
すなわち、a×b は a および b に垂直である。同様に (a×b)×c
も a×b に垂直だから、 (a×b)×cとa と b は線形従属であり、同一平面内にある (∵この組が線形独立と仮定すると、全てに垂直なa×b を加えてできる組、(a×b)×cとa と bとa×b は線形独立になり、これらが3次元ベクトルであることに矛盾する)。 ここで、 a と b は一次独立なので、μ, ν を未定のスカラーとして
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=\mu {\boldsymbol {a}}+\nu {\boldsymbol {b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/636cbc60f4073ede2cdea0b061be59650d0e4fb5)
と書ける。
また、 (a×b)×c は c にも垂直だから、
![{\displaystyle 0=\mu ({\boldsymbol {a}}\cdot {\boldsymbol {c}})+\nu ({\boldsymbol {b}}\cdot {\boldsymbol {c}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07fcd7f976588b8478b9c608eb9298ba1c38d018)
よって
![{\displaystyle {\begin{aligned}\mu &=-\lambda ({\boldsymbol {b}}\cdot {\boldsymbol {c}})\\\nu &=\lambda ({\boldsymbol {a}}\cdot {\boldsymbol {c}})\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcd1e98cfd7c78b987f9485b3e423c0d6d3f15c0)
とおけ、
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=\lambda \left\{({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4ef31eddead9f7c44f76f27e5235e2132076cabe)
と書ける。ただし、λ は a, b, c に依存するスカラーである。
ここで
(a×b)×c
および
(a・c)b - (b・c)a
は共に a, b, c それぞれに対して線形なので、 λ は定数でなければいけない。更に
a=ex,
b=ey,
c=ex
を代入すると、λ = 1が得られる。
よって
![{\displaystyle ({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9057d3cb2b8d2ea36a5f0c049b19f187f04e3549)
が導かれた。
その他の証明2
ビネ・コーシーの恒等式
![{\displaystyle \left(\sum _{i=1}^{n}a_{i}c_{i}\right)\left(\sum _{j=1}^{n}b_{j}d_{j}\right)-\left(\sum _{i=1}^{n}a_{i}d_{i}\right)\left(\sum _{j=1}^{n}b_{j}c_{j}\right)=\sum _{1\leq i<j\leq n}(a_{i}b_{j}-a_{j}b_{i})(c_{i}d_{j}-c_{j}d_{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62b591d38761953e0b1b2a4eae980130bd3f20c3)
を既知とすれば、スカラー四重積の公式
![{\displaystyle ({\boldsymbol {a}}\cdot {\boldsymbol {c}})({\boldsymbol {b}}\cdot {\boldsymbol {d}})-({\boldsymbol {a}}\cdot {\boldsymbol {d}})({\boldsymbol {b}}\cdot {\boldsymbol {c}})=({\boldsymbol {a}}\times {\boldsymbol {b}})\cdot ({\boldsymbol {c}}\times {\boldsymbol {d}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d0a8a3a94afd115c768e0c2f75a2c91f0f75db1)
が得られるが、スカラー三重積の性質を使って変形すれば
![{\displaystyle \left\{({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}\right\}\cdot {\boldsymbol {d}}=\{({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}\}\cdot {\boldsymbol {d}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2130177f30f38f2dea2271b9b1aeb0d318f1807)
![{\displaystyle \therefore ~({\boldsymbol {a}}\times {\boldsymbol {b}})\times {\boldsymbol {c}}=({\boldsymbol {a}}\cdot {\boldsymbol {c}}){\boldsymbol {b}}-({\boldsymbol {b}}\cdot {\boldsymbol {c}}){\boldsymbol {a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/290142d270a49852e939e15ec3a235a97cb940d6)
となる。
その他の証明3
エディントンのイプシロンを使うと三重積は以下のように計算できる。
![{\displaystyle {\begin{aligned}({\boldsymbol {a}}\times ({\boldsymbol {b}}\times {\boldsymbol {c}}))_{i}&=\sum _{j,k}\varepsilon _{ijk}a_{j}({\boldsymbol {b}}\times {\boldsymbol {c}})_{k}\\&=\sum _{j,k}\varepsilon _{ijk}a_{j}\left(\sum _{\ell ,m}\varepsilon _{k\ell m}b_{\ell }c_{m}\right)\\&=\sum _{j,\ell ,m}(\delta _{i\ell }\delta _{jm}-\delta _{im}\delta _{j\ell })a_{j}b_{\ell }c_{m}\qquad (\because ~\sum _{k}\varepsilon _{ijk}\varepsilon _{k\ell m}=\delta _{i\ell }\delta _{jm}-\delta _{im}\delta _{j\ell })\\&=({\boldsymbol {a}}\cdot {\boldsymbol {c}})b_{i}-({\boldsymbol {a}}\cdot {\boldsymbol {b}})c_{i}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/379f67682f36c07ac4c80e549764984e33335e5b)
テンソル記法[編集]
アインシュタインの縮約記法を使えば ベクトル三重積は jij -jji と覚えることができる。
![{\displaystyle {\begin{aligned}({\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c1fc9a4e2fd25d291ecb4921da58737a6c5d205)
参考文献[編集]
関連項目[編集]
外部リンク[編集]