The linear operator on a finite-dimensional vector space is called an involution if
, where is the identity operator. 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
### Part (i)
1. Definition and Setup:
- Let be an involution on , meaning , where is the identity operator.
- We need to show that there exists a basis of consisting of eigenvectors of .
2. **Eigenvalues of **:
- Since , the eigenvalues of must satisfy .
- Therefore, the possible eigenvalues of are and .
3. **Decomposition of **:
- Let be the eigenspace corresponding to the eigenvalue , i.e., .
- Let be the eigenspace corresponding to the eigenvalue , i.e., .
4. Direct Sum of Eigenspaces:
- Any vector can be written as .
- Define and .
- Notice that , so .
- Similarly, , so .
- Therefore, with and .
5. Basis of Eigenvectors:
- Since and are eigenspaces corresponding to distinct eigenvalues, they are linearly independent.
- The direct sum spans .
- Hence, there exists a basis of consisting of eigenvectors of .
### Part (ii)
1. Commuting Involutions:
- We need to find the maximal number of distinct pairwise commuting involutions on .
2. Simultaneous Diagonalization:
- Recall that any set of pairwise commuting, diagonalizable matrices is simultaneously diagonalizable.
- Since involutions are diagonalizable with eigenvalues , we can assume that all the matrices are diagonal in some common basis.
3. Diagonal Entries:
- In the common basis, each involution can be represented as a diagonal matrix with entries .
- Each diagonal entry can independently be or .
4. Number of Distinct Involutions:
- For an -dimensional vector space , there are diagonal entries.
- Each entry can be independently or , leading to possible distinct diagonal matrices.
- Therefore, the maximal number of distinct pairwise commuting involutions on is .
The final answer is .