IMC / 1996 / Problems / Day 1, P3
IMC 1996 · Day 1 · P3
The linear operator on the vector space is called an involution if where is the identity operator on . Let .
(i) Prove that for every involution on there exists a basis of consisting of eigenvectors of .
(ii) Find the maximal number of distinct pairwise commuting involutions on .
Solution (official)
(i) Let . Then Hence is a projection. Thus there exists a basis of eigenvectors for , and the matrix of in this basis is of the form .
Since the eigenvalues of are only.
(ii) Let be a set of commuting diagonalizable operators on , and let be one of these operators. Choose an eigenvalue of and denote . Then is a subspace of , and since for each we obtain that is invariant under each . If then is either or , and we can start with another operator . If we proceed by induction on in order to find a common eigenvector for all . Therefore are simultaneously diagonalizable.
If they are involutions then since the diagonal entries may equal 1 or only.