三重積 (ベクトル解析)

三重積とは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-ベクトル a ∧ b ∧ c は a, b, c で張られた平行六面体に対応し、2-ベクトル a ∧ b, b ∧ c, a ∧ c は平行六面体の各面をなす平行四辺形に対応する。

ベクトル三重積[編集]

ベクトル三重積は三つのベクトルからベクトル値を返す三項演算、すなわち、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

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

を証明する。

a と b が平行の場合、等式が成り立つのは自明。以下、a と b が平行でないとする。

スカラー三重積の反対称性より

$\boldsymbol{a}\cdot(\boldsymbol{a}\times\boldsymbol{b})=0,\, \boldsymbol{b}\cdot(\boldsymbol{a}\times\boldsymbol{b})=0$

すなわち、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 は一次独立なので、μ, ν を未定のスカラーとして

$(\boldsymbol{a}\times\boldsymbol{b})\times\boldsymbol{c}= \mu \boldsymbol{a} + \nu \boldsymbol{b}$

と書ける。

また、 (a×b)×c は c にも垂直だから、

$0 = \mu (\boldsymbol{a}\cdot\boldsymbol{c}) + \nu (\boldsymbol{b}\cdot\boldsymbol{c})$

よって

$\begin{align} \mu &= -\lambda (\boldsymbol{b}\cdot\boldsymbol{c})\\ \nu &= \lambda (\boldsymbol{a}\cdot\boldsymbol{c}) \end{align}$

とおけ、

$(\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\}$

と書ける。ただし、λ は a, b, c に依存するスカラーである。

ここで (a×b)×c および (a・c)b - (b・c)a は共に a, b, c それぞれに対して線形なので、 λ は定数でなければいけない。更に a=e_x, b=e_y, c=e_x を代入すると、λ = 1が得られる。

よって

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

が導かれた。

その他の証明2

ビネ・コーシーの恒等式

$\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\le i < j \le n} (a_i b_j - a_j b_i ) (c_i d_j - c_j d_i )$

を既知とすれば、スカラー四重積の公式

$(\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})$

が得られるが、スカラー三重積の性質を使って変形すれば

$\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}$

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

となる。

その他の証明3

エディントンのイプシロンを使うと三重積は以下のように計算できる。

$\begin{align} (\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{align}$

出典[編集]

^ Kiyoshi Itō (1993). “§C: Vector product”. Encyclopedic dictionary of mathematics (2nd ed.). MIT Press. p. 1679. ISBN 0-262-59020-4.

参考文献[編集]

Gibbs, Josiah Willard; Wilson, Edwin Bidwell (1901). Vector analysis: a text-book for the use of students of mathematics. Scribner.
丸山祐一、喜多義範『理工系ベクトル解析』共立出版、2003年。ISBN 4320017439。
小野寺嘉孝『なっとくするベクトル』講談社、2001年。ISBN 4061545337。
北野正雄『マクスウェル方程式―電磁気学のよりよい理解のために』サイエンス社、2009年。ISBN 4781912222。

[1] Kiyoshi Itō (1993). “§C: Vector product”. Encyclopedic dictionary of mathematics (2nd ed.). MIT Press. p. 1679. ISBN 0-262-59020-4.

[1]

三重積 (ベクトル解析)

目次

スカラー三重積[編集]

幾何学的解釈[編集]

代数学的性質[編集]

鏡像変換[編集]

外積[編集]

ベクトル三重積[編集]

証明[編集]

関連項目[編集]

出典[編集]

参考文献[編集]

案内メニュー

個人用ツール

名前空間

変種

表示

操作

検索

案内

ヘルプ

ツールボックス

他言語版