Exercice 18, § 1

Soit E un espace hilbertien complexe et soit $I_E$ l’ensemble défini dans le n$^o3$ de IV, p. 151.

Soit $n\in I_E$. Soit F un espace hilbertien complexe. L’application $u\mapsto \lambda_n(|u|)$ de $\mathscr{L}^c(E; F)$ dans $\mathbf{R}_+$ est continue.