grandes-ecoles 2019 Q37

grandes-ecoles · France · centrale-maths1__official Matrices Linear Transformation and Endomorphism Properties
In this part, we assume that $\mathbb{K} = \mathbb{R}$ and that $E$ is a Euclidean space. We say that an endomorphism $f$ of $E$ is orthocyclic if there exists an orthonormal basis of $E$ in which the matrix of $f$ is of the form $C_Q$ (companion matrix). Let $f$ be a nilpotent endomorphism of $E$. Deduce that $f$ is orthocyclic if and only if
$$f \text{ has rank } n-1 \quad \text{and} \quad \forall x, y \in (\ker f)^{\perp}, \quad (f(x) \mid f(y)) = (x \mid y).$$
In this part, we assume that $\mathbb{K} = \mathbb{R}$ and that $E$ is a Euclidean space. We say that an endomorphism $f$ of $E$ is orthocyclic if there exists an orthonormal basis of $E$ in which the matrix of $f$ is of the form $C_Q$ (companion matrix). Let $f$ be a nilpotent endomorphism of $E$. Deduce that $f$ is orthocyclic if and only if

$$f \text{ has rank } n-1 \quad \text{and} \quad \forall x, y \in (\ker f)^{\perp}, \quad (f(x) \mid f(y)) = (x \mid y).$$