grandes-ecoles 2022 Q15

grandes-ecoles · France · x-ens-maths1__mp Proof Proof of Equivalence or Logical Relationship Between Conditions
Let $p \in \llbracket 1, d \rrbracket$. We denote by $\widetilde{\operatorname{Gr}}(p, E)$ the set of oriented subspaces of dimension $p$ of $E$. For all oriented vector subspace $(V, C)$ of dimension $p$ of $E$, $\Psi(V, C)$ denotes the unique element of $\mathcal{A}_p(E, \mathbb{R})$ such that for all $e \in C$ we have $\Omega_p(e) = \operatorname{vol}_p(e) \Psi(V, C)$.
We equip $\mathcal{A}_p(E, \mathbb{R})$ with the inner product introduced in Part III.
Show that $\Psi(\widetilde{\operatorname{Gr}}(p, E))$ is a path-connected subset of $\mathcal{A}_p(E, \mathbb{R})$ if and only if $p \leqslant d-1$. (Hint: One may use question 3d.)
Let $p \in \llbracket 1, d \rrbracket$. We denote by $\widetilde{\operatorname{Gr}}(p, E)$ the set of oriented subspaces of dimension $p$ of $E$. For all oriented vector subspace $(V, C)$ of dimension $p$ of $E$, $\Psi(V, C)$ denotes the unique element of $\mathcal{A}_p(E, \mathbb{R})$ such that for all $e \in C$ we have $\Omega_p(e) = \operatorname{vol}_p(e) \Psi(V, C)$.

We equip $\mathcal{A}_p(E, \mathbb{R})$ with the inner product introduced in Part III.

Show that $\Psi(\widetilde{\operatorname{Gr}}(p, E))$ is a path-connected subset of $\mathcal{A}_p(E, \mathbb{R})$ if and only if $p \leqslant d-1$.
(Hint: One may use question 3d.)