Inner product on ℝ^k
The dot product ⟨x,y⟩ = sum xi yi defining angles and lengths in ℝ^k.
Inner product on ℝ^k
For and in , the (standard) inner product is
The inner product is bilinear, symmetric, and positive definite, and it generates the Euclidean norm by . It is the algebraic structure behind orthogonality, projections, and many inequalities.
Examples:
- In , .
- for all , with equality iff .
- If and , then .