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 :
  • Auteur :
  • Remarque :
    A la fin de mes devs je mets toujours une petite note sur les résultats annexes à savoir, c'est très subjectif et non exhaustif, il y a évidemment pleins d'autres choses à savoir sur chaque dev que ce que je mets.

    Pour me contacter si besoin : axel.carpentier2001@gmail.com
  • Référence :
  • Fichier :

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

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