ドット積
ドット積について
a · a ≥ 0,
a · a = 0 となることと a の成分がすべて零であることとが同値である。
a · b = b · a,
任意の実数 k, l に対し、(ka1 + la2) · b = k(a1 · b) + l(a2 · b)
なる性質が満たされる。ゆえにドット積は内積の一種であり、ベクトルのノルムはノルムの一種である。