Développement : Matrices et déterminants de Gram

Détails/Enoncé :

On prouve d'abord une caractérisation des matrices de Gram ainsi que de leur inversibilité, puis on utilise la caractérisation de l'inversibilité pour montrer une jolie formule de distance entre vecteur et sous-espace vectoriel de dimension finie d'un espace préhilbertien.

Versions :

  • Auteur :
  • Remarque :
    Ce développement est non seulement la fois facile à comprendre et à retenir, mais il est en plus recasable à la fois en algèbre et en analyse !
  • Référence :
  • Fichier :

Références utilisées dans les versions de ce développement :

Algèbre , Gourdon (utilisée dans 238 versions au total)