University of Oxford - M1 Linear Algebra I: Exercise 7 - Basis and dimension of the orthogonal complement of subspace of 2*2 symmetric matrices in an inner product space