ドット積

数学あるいは物理学においてドット積（ドットせき、英: dot product）あるいは点乗積（てんじょうせき）とは、ベクトル演算の一種で、2つの同じ長さの数列から一つの数値を返す演算。代数的および幾何的に定義されている。幾何的定義では、（デカルト座標の入った）ユークリッド空間 Rⁿ において標準的に定義される内積のことである。

定義

代数的定義

2つのベクトル A = [A₁, A₂, ..., A_n] と B = [B₁, B₂, ..., B_n] のドット積は下記のように定義される。

[math]\mathbf{A}\cdot \mathbf{B} = \sum_{i=1}^n A_iB_i = A_1B_1 + A_2B_2 + \cdots + A_nB_n[/math]

幾何的定義

n 次元実ユークリッド空間 Rⁿ の幾何学的ベクトル（有向線分から位置の概念を取り除いたもの）a, b に対して、a · b を

[math]\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}|\,|\mathbf{b}|\cos \theta[/math]

と定めるとこれは一つの実数を定める。ただし θ はベクトルを有向線分と見なしたときに a, b の成す角であり、テンプレート:Mabs はベクトルの大きさ（対応する有向線分の長さ）である。これはすなわち、有向線分 b を a 方向へ正射影したものの大きさと a の大きさとの積である。これを Rⁿ におけるドット積あるいは標準内積という。

また一方で、ベクトルを a = (a_x, a_y, a_z), b = (b_x, b_y, b_z) のように成分表示した場合、（第二）余弦定理を用いることで

[math]\mathbf{a}\cdot\mathbf{b} = a_x b_x + a_y b_y + a_z b_z[/math]

が成り立つことが示される。ゆえにこちらを定義とすることもある。

ノルム

ベクトルの自分自身とのドット積の（正の）平方根

[math] \|\mathbf{a}\| := \sqrt{\mathbf{a}\cdot\mathbf{a}}[/math]

をベクトルのノルムという。具体的にベクトルを a = (a_x, a_y, a_z) と成分表示してやれば

[math] \|\mathbf{a}\| = \sqrt{{a_x}^2+{a_y}^2+{a_z}^2}[/math]

と書くことができる。これはベクトル a の "大きさ" である。

ドット積とノルムを使えば、2 つのベクトル a = (a_x, a_y, a_z), b = (b_x, b_y, b_z) のなす角は

[math]\cos\theta = \frac{\langle\mathbf{a}, \mathbf{b}\rangle}{\|\mathbf{a}\|\,\|\mathbf{b}\|}[/math]

から求めることが可能である。逆にベクトルのなす角をこの式で定義すれば、その角はベクトルを有向線分と見なした場合のそれらの成す角そのものと一致する。

したがってドット積は（ノルムを通して）、通常のユークリッド空間における長さ、角度に一致する計量を矛盾なく定めるものである。つまり、R³ でユークリッドの幾何学を考えることと、ドット積を定めることとが等価であることがわかる。

性質

ドット積について

1. a · a ≥ 0,
2. a · a = 0 となることと a の成分がすべて零であることとが同値である。
3. a · b = b · a,
4. 任意の実数 k, l に対し、(ka₁ + la₂) · b = k(a₁ · b) + l(a₂ · b)

なる性質が満たされる。ゆえにドット積は内積の一種であり、ベクトルのノルムはノルムの一種である。

応用例

力学において、物体に一定の力 F [N] が作用して、F と角度 θ だけずれた方向に物体が x [m] 移動したとき、なされた仕事は Fx cos θ [N.m] となる。これは力と変位を幾何学的なベクトルと見なした場合のドット積である。

関連項目

• ベクトル解析
• クロス積

外部リンク

• Weisstein, Eric W. “Dot Product”. MathWorld（英語）.
• dot product - PlanetMath.（英語）
• テンプレート:ProofWiki
• {{#invoke:citation/CS1|citation

|CitationClass=citation }}