Opening idea
In the previous chapters, orthogonality made geometry simpler. Projection onto a line was easy when the direction vector was known. Projection onto a subspace was especially simple when the basis was orthonormal: $$ \operatorname{proj}_W(b)=\sum_{j=1}^k (b\cdot q_j)q_j. $$ So a natural question appears: > Given a set of independent vectors, can we replace them with an orthonormal set that spans the same subspace? The answer is yes.