Développement : Loi d’inertie de Sylvester et classification des formes quadratiques sur R

Détails/Enoncé :

Le but de ce développement est de démontrer quelques résultats sur la signature d'une forme quadratique réelle.

Versions :

  • Auteur :
  • Remarque :
    Attention aux éventuelles coquilles.

    Dev pas compliqué, je trouve un peu long mais ca passe.
    Je suis passé dessus le jour j pour la leçon 148 (ca c'est plutôt bien passé j'ai eu 14.25). J'ai eu des questions sur le cône isotrope, dans quel type de K-ev fonctionnait ce résultat (K=R) et je crois que c'est tout. Je n'ai pas eu le temps de détailler la fin, j'ai ecris 2-3 trucs au tableau et j'ai expliqué l'idée à l'oral.

    Je suis ok avec les recasages proposés mais moi j'ajouterais ducoup dans la 148, la notion de dimension d'un ev est omniprésente et dans ma leçon j'avais insisté sur les propriétés qu'on conserve ou non si on a une forme quadratique ou un produit scalaire (au niveau de l'orthogonal) notamment sur ces histoires de dimensions.
  • Fichier :

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

Mathématiques pour l'agrégation: Algèbre et géométrie, Jean Etienne Rombaldi (utilisée dans 493 versions au total)