c
Éditions H&K Publié dans les Annales des Concours 1/27
X Maths A MP 2014 — Corrigé
Ce corrigé est proposé par Florian Metzger (ENS Cachan) ; il a été relu par Kévin
Destagnol (ENS Cachan) et Guillaume Batog (Professeur en CPGE).
Ce sujet est consacré à l’étude de l’ensemble Q(V) des formes quadratiques non
dégénérées définies sur un K-espace vectoriel Vde dimension finie n(où Kest un
corps commutatif de caractéristique nulle) et de leurs groupes d’isométries, à savoir
les ensembles O(q) = {f∈GL(V) |q◦f=q}.
•Dans les préliminaires, on démontre des résultats classiques sur les formes qua-
dratiques généralisant les résultats du cours sur les espaces préhilbertiens réels
ou complexes. On y prouve en particulier que deux formes quadratiques équi-
valentes ont des groupes d’isométries isomorphes.
•La première partie établit que toute forme quadratique non dégénérée est équi-
valente à la forme quadratique (x1,...,xn)7→
n
P
i=1
aixi2pour un certain n-
uplet (a1,...,an)∈(Kr{0})n.
•La deuxième partie étudie spécifiquement, pour r∈[[ 0 ; n]], des propriétés al-
gébriques et topologiques du groupe orthogonal Or,n−rde la forme quadratique
Qr,n−r(x1,...,xn) =
r
P
i=1
xi2−
n
P
i=r+1
xi2
appelé groupe pseudo-euclidien de signature (r, n −r)et qui englobe le cas du
groupe orthogonal euclidien pour r=n. Ces groupes apparaissent en phy-
sique relativiste. Une attention particulière est portée au groupe O2,1dont on
dénombre les quatre composantes connexes par arcs et dont on exhibe des gé-
nérateurs, avant d’en déduire un morphisme surjectif entre O2,1et le groupe,
dit de Klein, Z/2Z×Z/2Z.
•Enfin, la troisième et dernière partie introduit la notion de somme orthogonale
de formes quadratiques non dégénérées q∈ Q(V) et q′∈ Q(V′):
∀(x, x′)∈V×V′q⊥q′(x, x′) = q(x) + q(x′)
On y établit des propriétés de la loi ⊥, puis la transitivité de l’action de O(q)
sur toute ligne de niveau de q: si u, v sont deux vecteurs avec q(u) = q(v)6= 0
alors il existe g∈O(q)telle que g(u) = v. Ces résultats sont mis à profit pour
obtenir que, trois formes quadratiques non dégénérées q,q1,q2étant données,
q1⊥qest équivalente à q2⊥qsi et seulement si q1est équivalente à q2; résultat
utile en vue de prouver la décomposition de Witt : toute forme quadratique non
dégénérée est équivalente à qan ⊥m·hoù qan est anisotrope, c’est-à-dire qu’elle
ne s’annule qu’en 0, et m·hest la somme orthogonale de mcopies de la forme
h: (x1, x2)7→ x1x2.
Après une première partie abordable car proche du cours, le sujet est de difficulté
croissante à l’intérieur des deuxième et troisième parties, dont les dernières questions
supposent d’avoir bien compris les résultats précédents, et exigent une certaine matu-
rité mathématique. Signalons que le sujet est complètement hors programme à partir
de la rentrée 2014. L’énoncé est toutefois suffisamment guidé pour être théoriquement
« faisable » sans avoir suivi de cours sur les formes quadratiques...
Téléchargé gratuitement sur www.Doc-Solus.fr .