Maths WorkshopMaths problems with full solutions
Exercise 492Linear algebra › Inner product spacesHigh schoolAdded 3 Nov 2026

Orthogonal families are independent

#orthogonal family#linear independence#proof

Statement

Let (v1,…,vk)(v_1,\ldots,v_k) be a family of nonzero pairwise orthogonal vectors in an inner product space. Show that this family is linearly independent.

Hint

Suppose ∑αivi=0\sum\alpha_i v_i=0, and take the inner product with each vjv_j.

Show solutionHide solution

Solution

Orthogonality. For i≠ji\neq j, ⟨vi,vj⟩=0\langle v_i,v_j\rangle=0.

Linear independence. Suppose ∑i=1kαivi=0\sum_{i=1}^k\alpha_i v_i=0. For a fixed jj:
0=⟨0,vj⟩=⟨∑iαivi,vj⟩=∑iαi⟨vi,vj⟩=αj∥vj∥2.0=\langle 0,v_j\rangle=\left\langle\sum_i\alpha_i v_i,v_j\right\rangle=\sum_i\alpha_i\langle v_i,v_j\rangle=\alpha_j\|v_j\|^2.
Since vj≠0v_j\neq0, ∥vj∥2>0\|v_j\|^2>0, so αj=0\alpha_j=0.

Conclusion. All coefficients are zero, so the family is linearly independent.