ドット積
数学あるいは物理学においてドット積(ドットせき、英: dot product)あるいは点乗積(てんじょうせき)とは、ベクトル演算の一種で、2つの同じ長さの数列から一つの数値を返す演算。代数的および幾何的に定義されている。幾何的定義では、(デカルト座標の入った)ユークリッド空間 において標準的に定義される内積のことである。
定義
[編集]代数的定義
[編集]2つのベクトル a = [a1, a2, ..., an] と b = [b1, b2, ..., bn] のドット積は下記のように定義される[1]。
幾何的定義
[編集]n 次元実ユークリッド空間 の幾何学的ベクトル(有向線分から位置の概念を取り除いたもの)a, b に対して、a · b を
と定めるとこれは一つの実数を定める。ただし θ はベクトルを有向線分と見なしたときに a, b の成す角であり、‖ · ‖ はベクトルの大きさ(対応する有向線分の長さ)である。これはすなわち、有向線分 b を a 方向へ正射影したものの大きさと a の大きさとの積である。これを におけるドット積あるいは標準内積という。
また一方で、ベクトルを a = [ax, ay, az], b = [bx, by, bz] のように成分表示した場合、(第二)余弦定理を用いることで
が成り立つことが示される。ゆえにこちらを定義とすることもある。
ノルム
[編集]ベクトルの自分自身とのドット積の(正の)平方根
をベクトルのノルムという。具体的にベクトルを a = [ax, ay, az] と成分表示してやれば
と書くことができる。これはベクトル a の "大きさ" である。
ドット積とノルムを使えば、2つのベクトル a = [ax, ay, az], b = [bx, by, bz] のなす角は
から求めることが可能である。逆にベクトルのなす角をこの式で定義すれば、その角はベクトルを有向線分と見なした場合のそれらの成す角そのものと一致する。
したがってドット積は(ノルムを通して)、通常のユークリッド空間における長さ、角度に一致する計量を矛盾なく定めるものである。つまり、 でユークリッドの幾何学を考えることと、ドット積を定めることとが等価であることがわかる。
性質
[編集]ドット積について
- a · a ≥ 0,
- a · a = 0 となることと a の成分がすべて零であることとが同値である。
- a · b = b · a,
- 任意の実数 k, l に対し、(ka1 + la2) · b = k(a1 · b) + l(a2 · b)
なる性質が満たされる。ゆえにドット積は内積の一種であり、ベクトルのノルムはノルムの一種である。
応用例
[編集]力学において、物体に一定の力 F [N] が作用して、F と角度 θ だけずれた方向に物体が x [m] 移動したとき、なされた仕事は Fx cos θ [N.m] となる。これは力と変位を幾何学的なベクトルと見なした場合のドット積である。
参考文献
[編集]- ^ S. Lipschutz, M. Lipson (2009). Linear Algebra (Schaum’s Outlines) (4th ed.). McGraw Hill. ISBN 978-0-07-154352-1
関連項目
[編集]外部リンク
[編集]- Weisstein, Eric W. "Dot Product". mathworld.wolfram.com (英語).
- dot product - PlanetMath.
- Definition:Dot Product at ProofWiki
- Hazewinkel, Michiel, ed. (2001), “Inner product”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
連立一次方程式 | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
ベクトル | |||||||||||
ベクトル空間 | |||||||||||
計量ベクトル空間 | |||||||||||
行列・線型写像 |
| ||||||||||
行列式 | |||||||||||
多重線型代数 | |||||||||||
数値線形代数 |
| ||||||||||
行列値関数 | |||||||||||
その他 | |||||||||||
![]() |
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.