exo7 1495

1

Soit \(F\) un sous-espace d’un espace euclidien \(E\). Montrer qu’il existe une base orthonormale de \(F\) qui est inclue dans une base orthonormale de \(E\).