Développement #1016

Titre : Sous-espaces totalement isotropes maximals

Contenu : Théorème : Soit $q$ une forme quadratique non-dégénérée sur un espace vectoriel de dimension finie. On appelle sous-espace totalement isotrope (SETI) un sous-espace vectoriel $F$ vérifiant $\forall x \in F, q(x)=0$. On appelle SETI maximal un SETI $F$ maximal pour l'inclusion (si $G$ est un SETI tel que $F \subset G$ alors $F=G$). Les SETIM ont tous même dimension (appelé indice de Witt).\r\rCas particulier : Si $q$ est une forme quadratique réelle non-dégénérée de signature (s,t) (en particulier s+t=n) son indice de Witt est min(s,t).

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42