Worked examples · Sheet 2
Orthogonal projections onto a vector and onto a subspace
Theory used: Orthogonal projection onto a vectorOrthogonal projection onto a subspaceDistance from a subspaceDimension of the orthogonal complementComplement of a subspace in Cartesian form
Go to: Exercise 1Exercise 2Exercise 3Exercise 4
Exercise 1
Compute the orthogonal projection of onto the vector and write as the sum of a vector parallel to and a vector orthogonal to .
The orthogonal projection of onto is the multiple , and the coefficient equals . Subtracting the projection from one obtains the orthogonal component ; its scalar product with is zero, therefore the decomposition has the first summand parallel to and the second orthogonal to , as required.
Exercise 2
Decompose into the sum of a vector parallel to and a vector orthogonal to .
The part parallel to is the orthogonal projection of onto , that is, . The orthogonal part is the difference , and checking that the scalar product is zero confirms that it is orthogonal to . The decomposition is unique, because the projection is the only multiple of that leaves a difference orthogonal to .
Exercise 3
Let . Compute the orthogonal projection of onto and the distance of from .
The formula for the projection as a sum of projections onto the generators holds only for an orthogonal basis, therefore the first step checks that and are orthogonal; their scalar product is zero, so the theorem on orthogonal projection onto a subspace applies directly. One obtains . As a check, the difference has zero scalar product both with , since , and with , since . The projection is the point of closest to , therefore the distance of from is the norm of the difference and equals .
Exercise 4
Let . Compute the orthogonal projection of onto and the distance of from .
The plane is given in Cartesian form, therefore its orthogonal complement is spanned by the row of coefficients, that is, by the normal vector . Since , the vector can be written uniquely as the sum of its projection onto and its projection onto ; so . In this way the computation of an orthogonal basis of the plane is avoided. The result belongs to , since . The distance of from is the norm of , and equals .