The two nonzero proper invariant subspaces areBoth are preserved by the rotation. To show there are no others, note thatis the linear projection onto , and is the linear projection onto . Every invariant subspace is preserved by , and hence by both of these linear projections. ThereforeBecause has dimension one, is either or . If contains a nonzero , it also contains . These two vectors are linearly independent, because their two-dimensional determinant is . They span , so is either or . The only possibilities for are therefore .
Finally every has the unique decomposition , with one summand in each of . HenceThis also illustrates how invariant subspaces of a quarter-turn in three dimensions can be classified by linear projections.
Articles by others on the same topic
There are currently no matching articles.