We fix two orthonormal families $u = (u_1, \ldots, u_p)$ of vectors of $V$ and $u^{\prime} = (u_1^{\prime}, \ldots, u_p^{\prime})$ of vectors of $V^{\prime}$ satisfying the conditions of question (1). (a) Show that there exist $0 \leqslant \theta_1 \leqslant \cdots \leqslant \theta_p \leqslant \pi/2$ such that $\cos(\theta_k) = \langle u_k, u_k^{\prime}\rangle$ for all $k \in \llbracket 1, p \rrbracket$. (b) Calculate the value of $\det(\operatorname{Gram}(u, u^{\prime}))$ as a function of the $\cos(\theta_k)$. (c) Deduce that $\det(\operatorname{Gram}(u, u^{\prime})) \leqslant 1$. What can be said about $V$ and $V^{\prime}$ in the case of equality?
We fix two orthonormal families $u = (u_1, \ldots, u_p)$ of vectors of $V$ and $u^{\prime} = (u_1^{\prime}, \ldots, u_p^{\prime})$ of vectors of $V^{\prime}$ satisfying the conditions of question (1).
(a) Show that there exist $0 \leqslant \theta_1 \leqslant \cdots \leqslant \theta_p \leqslant \pi/2$ such that $\cos(\theta_k) = \langle u_k, u_k^{\prime}\rangle$ for all $k \in \llbracket 1, p \rrbracket$.
(b) Calculate the value of $\det(\operatorname{Gram}(u, u^{\prime}))$ as a function of the $\cos(\theta_k)$.
(c) Deduce that $\det(\operatorname{Gram}(u, u^{\prime})) \leqslant 1$. What can be said about $V$ and $V^{\prime}$ in the case of equality?