Section II.3.4

Complexification and realification

[4/50%]
Show
LaTeX
Problem II.3.4.1

One is asked to verify that an orthogonal operator A\mathcal{A} on a Euclidean vector space VV, having no eigenvectors (this is possible only when dim⁡V=2m\operatorname {dim} V=2 m), is the realification of a unitary operator B:U→U\mathcal{B}: U \rightarrow U on a complex vector space UU of dimension mm related to VV. Note in this connection that the realification of a unitary space leads to a Euclidean space of twice the dimension.

?
Problem II.3.4.2

Prove the formula from Proposition 3, choosing a basis (e1,…,en)(\mathbf{e}_{1}, \ldots , \mathbf{e}_{n}) of the complex space UU in which the matrix AA of the operator A:U→U\mathcal{A}: U \rightarrow U has upper triangular form with λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} on the diagonal.

Proposition 3: det⁡AR=∣det⁡A∣2\operatorname {det} A_{\mathbb {R}}=\left|\operatorname {det} A\right|^{2}.

?
Problem II.3.4.3

Let UU be a vector space over C\mathbb {C}. What is the complexification UCU^{\mathbb {C}} isomorphic to?

?
Problem II.3.4.4

Let (V,(∗∣∗))(V,(* \mid *)) be a Euclidean space, VCV^{\mathbb {C}} its complexification, A\mathcal{A} a linear operator on VCV^{\mathbb {C}}, defined by the rule: A(u+iv)=u−iv\mathcal{A}(\mathbf{u}+i \mathbf{v})=\mathbf{u}-i \mathbf{v} for all u,v∈V\mathbf{u}, \mathbf{v} \in V. Will A\mathcal{A} be a linear operator on the realification RVC{ }^{\mathbb {R}} V^{\mathbb {C}}, and if so, will A\mathcal{A} be symmetric, orthogonal, idempotent?

?