Complexification and realification
[4/50%]One is asked to verify that an orthogonal operator on a Euclidean vector space , having no eigenvectors (this is possible only when ), is the realification of a unitary operator on a complex vector space of dimension related to . Note in this connection that the realification of a unitary space leads to a Euclidean space of twice the dimension.
Prove the formula from Proposition 3, choosing a basis of the complex space in which the matrix of the operator has upper triangular form with on the diagonal.
Proposition 3: .
Let be a vector space over . What is the complexification isomorphic to?
Let be a Euclidean space, its complexification, a linear operator on , defined by the rule: for all . Will be a linear operator on the realification , and if so, will be symmetric, orthogonal, idempotent?