1) E étant un endomorphisme symétrique, il est diagonalisable dans une base orthonormale. Soit
une telle base telle que
soit associé à la valeur propre
, lesquelles seront supposées rangées en ordre décroissant.
Si
sont strictement positives et
, on peut écrire pour tout
:
avec décomposition
unique. Il vient :
et là deux choses, avec
:
est non nul puisque les
sous la somme sont toutes non nulles, qu'au moins un
est non nul et que la famille
extraite de la base est une base de l'espace qu'elle engendre; cet espace n'est alors rien d'autre qu'une partie de
.
est nul puisque les
.
Comme la famille
extraite de la base est également une base de l'espace qu'elle engendre, cet espace n'est alors rien d'autre qu'une partie
.