We fix a real vector space $E$ of dimension $n \geq 2$, as well as a nilpotent vector subspace $\mathcal{V}$ of $\mathcal{L}(E)$ with $\operatorname{dim} \mathcal{V} = \frac{n(n-1)}{2}$, equipped with an inner product $(-\mid-)$. We choose $x$ in $\mathcal{V}^{\bullet} \backslash \{0\}$ (where $\mathcal{V}^{\bullet}$ is the subset of $E$ formed by vectors belonging to at least one of the sets $\operatorname{Im} u^{p-1}$ for $u$ in $\mathcal{V}$). We denote by $p$ the generic nilindex of $\mathcal{V}$ (with $p \geq n-1$ by question 21), and we fix $u \in \mathcal{V}$ such that $x \in \operatorname{Im} u^{p-1}$. We have $\mathcal{V} x := \{v(x) \mid v \in \mathcal{V}\}$ and $L^{\perp} = \operatorname{Vect}(x) \oplus \mathcal{V} x$. Let $v \in \mathcal{V}$ such that $v(x) \neq 0$. Show that $\operatorname{Im} v^{p-1} \subset \operatorname{Vect}(x) \oplus \mathcal{V} x$. One may use the results of questions 5 and 20.
We fix a real vector space $E$ of dimension $n \geq 2$, as well as a nilpotent vector subspace $\mathcal{V}$ of $\mathcal{L}(E)$ with $\operatorname{dim} \mathcal{V} = \frac{n(n-1)}{2}$, equipped with an inner product $(-\mid-)$. We choose $x$ in $\mathcal{V}^{\bullet} \backslash \{0\}$ (where $\mathcal{V}^{\bullet}$ is the subset of $E$ formed by vectors belonging to at least one of the sets $\operatorname{Im} u^{p-1}$ for $u$ in $\mathcal{V}$). We denote by $p$ the generic nilindex of $\mathcal{V}$ (with $p \geq n-1$ by question 21), and we fix $u \in \mathcal{V}$ such that $x \in \operatorname{Im} u^{p-1}$. We have $\mathcal{V} x := \{v(x) \mid v \in \mathcal{V}\}$ and $L^{\perp} = \operatorname{Vect}(x) \oplus \mathcal{V} x$.
Let $v \in \mathcal{V}$ such that $v(x) \neq 0$. Show that $\operatorname{Im} v^{p-1} \subset \operatorname{Vect}(x) \oplus \mathcal{V} x$. One may use the results of questions 5 and 20.