Orthogonality
when , respectively in ; the zero vector counts as orthogonal to everything.
Independence of orthogonal vectors
Non-zero mutually orthogonal vectors are linearly independent. If , taking the inner product with gives
so forces by positive definiteness, for every .
Related
Stated in
- Definition 2.8 (Perpendicularity)§2.2 Scalar Product (Dot Product)