(i) スカラー積
二つのベクトル
から一つのスカラーを積として作り出す算法をスカラー積といい,
積を
などと記す.その定義は
の間の角を
として,
(3.1)
![{\displaystyle \mathbf {A} \mathbf {B} =AB\cos \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/77eeabca7492d4642e10179e47431f969fdc6006)
即ち一方のベクトルの大きさに他方のベクトルのその上への射影を掛けたものである.
この定義からスカラー乗法に対して数の掛け算と類似な関係
(3.2)
![{\displaystyle \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} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f848097f8111a208b571891edfadaa65aecba6b5)
が成り立つことがわかる.(最後のものの左辺は
に
の上への射影を掛けたもので,これが右辺に等しいことは作図すれば明瞭である).
数の場合と違うのは
なるときは
のほかに
でもよいこと,除法が一義的に可能でないことなどである.
なるときには,
は
,即ちベクトルの大きさの二乗に等しい.
基本ベクトルは大きさが
で,かつ互いに垂直であるから,その間に次の関係がある:
(3.3)
![{\displaystyle \mathbf {i} ^{2}=\mathbf {j} ^{2}=\mathbf {k} ^{2}=1,\quad \mathbf {i} \mathbf {j} =\mathbf {j} \mathbf {k} =\mathbf {k} \mathbf {i} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a62f6ac1aaa88d944371736fe783548424ea4d52)
よって
を(3.2),(3.3)の関係を用いてほぐせば,
(3.4)
![{\displaystyle \mathbf {A} \mathbf {B} =A_{x}B_{x}+A_{y}B_{y}+A_{z}B_{z}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f862d25e3d41e956c0951c2a3b9193c8bda91df1)
.
特に
がどちらも単位ベクトルであるときには
であるから,
(3.5)
![{\displaystyle \cos \theta =\lambda \lambda '+\mu \mu '+\nu \nu '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a682d6d472f0b97ff5d3d3e0afbf1c4ac46026c9)
ただし
はそれぞれ
の成分,即ちその方向余弦である.
また或るベクトル
の単位ベクトル
の方向への射影は,
と
との間の角を
とすれば,
(3.6)
![{\displaystyle A\cos \theta =\mathbf {A} \mathbf {e} =A_{x}\lambda +A_{y}\mu +A_{z}\nu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3a709f2ec646f59cb71e627d326cba6ffd6566b)
で与えられる.
(ii) ベクトル積
二つのベクトル
により定められる平行四辺形
の代表ベクトル
を
のベクトル積と呼び,
などと記す.従ってその大きさは
![{\displaystyle |\mathbf {A} \times \mathbf {B} |=AB\sin \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d656df35d26415e629be79d6b9efef08b0dfccd9)
,
方向は
に垂直,向きは
を
へ(
> より小さい角で)まわしたとき,右ネジの進む向きである.この定義から次の関係が証明される.
(iii)三つのベクトルの積
- ^
ここでは結果だけを示したが,上のようなベクトル成分の双一次形式で一定の幾何学的意味(座標系の取り方に無関係な意味)を有する量を求めることは三次元回転群の表現論を用いれば最も簡単に解決される.