一般力学/ベクトルの乗法

§3 ベクトルの乗法

二つのベクトル $\mathbf {A} ,\mathbf {B}$ の積を定義するのに，加え算の場合から類推される $A_{x}B_{x},A_{x}B_{y}$ というような単なる成分の積は，座標系の取り方によりその値を異にし，一定の幾何学的意味を有するものとならない．そこで，これらを組み合わせて $\sum _{x,y,z}c_{ij}A_{i}B_{j}$ の形のもので，定まった幾何学的意味を有するものを作り，かつこれに対して数の掛け算に関する諸法則がなるべく満足させられるようなものを求める．この条件に適うものは次の二つである^[1]．

(i) スカラー積 $\quad$ 二つのベクトル $\mathbf {A} ,\mathbf {B}$ から一つのスカラーを積として作り出す算法をスカラー積といい，積を $\mathbf {A} \mathbf {B} ,\mathbf {A} \cdot \mathbf {B} ,(\mathbf {A} ,\mathbf {B} )$ などと記す．その定義は $\mathbf {A} ,\mathbf {B}$ の間の角を $\theta$ として，

(3.1)

\mathbf {A} \mathbf {B} =AB\cos \theta

即ち一方のベクトルの大きさに他方のベクトルのその上への射影を掛けたものである．この定義からスカラー乗法に対して数の掛け算と類似な関係

(3.2)

\mathbf {A} \mathbf {B} =\mathbf {B} \mathbf {A} ,\quad (c\mathbf {A} )\mathbf {B} =\mathbf {A} (c\mathbf {B} )=c\mathbf {A} \mathbf {B} ,\quad \mathbf {A} (\mathbf {B} +\mathbf {C} )=\mathbf {A} \mathbf {B} +\mathbf {A} \mathbf {C}

が成り立つことがわかる．（最後のものの左辺は $|\mathbf {A} |$ に $\mathbf {B} +\mathbf {C}$ の上への射影を掛けたもので，これが右辺に等しいことは作図すれば明瞭である）．数の場合と違うのは $\mathbf {A} \mathbf {B} =0$ なるときは $\mathbf {A} =0,\mathbf {B} =0$ のほかに $\mathbf {A} \bot \mathbf {B}$ でもよいこと，除法が一義的に可能でないことなどである． $\mathbf {A} =\mathbf {B}$ なるときには， $\mathbf {A} \mathbf {A} =\mathbf {A} ^{2}$ は $A^{2}$ ，即ちベクトルの大きさの二乗に等しい．

基本ベクトルは大きさが $1$ で，かつ互いに垂直であるから，その間に次の関係がある：

(3.3)

\mathbf {i} ^{2}=\mathbf {j} ^{2}=\mathbf {k} ^{2}=1,\quad \mathbf {i} \mathbf {j} =\mathbf {j} \mathbf {k} =\mathbf {k} \mathbf {i} =0

よって $\mathbf {A} \mathbf {B} =(A_{x}\mathbf {i} +A_{y}\mathbf {j} +A_{z}\mathbf {k} )(B_{x}\mathbf {i} +B_{y}\mathbf {j} +B_{z}\mathbf {k} )$ を(3.2)，(3.3)の関係を用いてほぐせば，

(3.4)

\mathbf {A} \mathbf {B} =A_{x}B_{x}+A_{y}B_{y}+A_{z}B_{z}

．

特に $\mathbf {A} ,\mathbf {B}$ がどちらも単位ベクトルであるときには $\mathbf {A} \mathbf {B} =\cos \theta$ であるから，

(3.5)

\cos \theta =\lambda \lambda '+\mu \mu '+\nu \nu '

ただし $\lambda ,\mu ,\nu ;\lambda ',\mu ',\nu '$ はそれぞれ $\mathbf {A} ,\mathbf {B}$ の成分，即ちその方向余弦である．また或るベクトル $\mathbf {A}$ の単位ベクトル $\mathbf {e} (\lambda ,\mu ,\nu )$ の方向への射影は， $\mathbf {A}$ と $\mathbf {e}$ との間の角を $\theta$ とすれば，

(3.6)

A\cos \theta =\mathbf {A} \mathbf {e} =A_{x}\lambda +A_{y}\mu +A_{z}\nu

で与えられる．

(ii) ベクトル積 $\quad$ 二つのベクトル $\mathbf {A} ={\vec {\mathrm {OA} }},\mathbf {B} ={\vec {\mathrm {OB} }}$ により定められる平行四辺形　 $\mathrm {OABC}$ の代表ベクトル $\mathbf {C}$ を $\mathbf {A} ,\mathbf {B}$ のベクトル積と呼び， $\mathbf {A} \times \mathbf {B} ,\mathbf {A} \wedge \mathbf {B} ,[\mathbf {A} ,\mathbf {B} ]$ などと記す．従ってその大きさは