Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2001 / Paper 1 / 4 / b / Solution

The first three output components equal $x_1,x_2,x_3$, while the fourth is $x_4-{\sum }_{k=1}^4{x}_k=-x_1-x_2-x_3$. HenceIts outputs have component sum zero, and applying $P$ to any such output leaves it fixed. ThusThe first three columns give a basis of the image of a linear map:They are linearly independent because their first three coordinates are the standard basis. Their span is precisely the three-dimensional hyperplane $y_1+y_2+y_3+y_4=0$.

Apply the Gram-Schmidt process. First $q_1=v_1/\sqrt{2}$. Subtracting the $q_1$ projection from $v_2$ gives $(-1,2,0,-1{)}^T/2$, of length $\sqrt{3/2}$. Subtracting both preceding projections from $v_3$ gives $(-1,-1,3,-1{)}^T/3$, of length $2/\sqrt{3}$. Therefore an orthonormal basis isTheir pairwise dot products vanish and each has length one. Although this image admits an orthonormal basis, $P$ itself is an oblique projection: its kernel is the fourth coordinate axis, which is not perpendicular to the image, and $P\ne P^T$.