Développement : Orthogonalisation sur un groupe abélien

Détails/Enoncé :

Recasages pour l'année 2025 :

Versions :

  • Auteur :
  • Remarque :
    Exercice I.8 du Peyré.
    Attention il manque un argument à la fin pour sortir un facteur du produit scalaire : il faut préciser que sqrt(phi(chi)) est réel car phi est un projecteur orthogonal.
  • Fichier :

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