- Orthogonalisation simultanée
-
La méthode de Gauss construit une base orthogonale pour une forme quadratique donnée sur un espace vectoriel réel de dimension finie. Dans cet article, on étudie simultanément deux formes quadratiques dont l'une est issue d'un produit scalaire. Le théorème montre l'existence d'une base orthogonale en même temps pour les deux formes.
Orthogonalisation simultanée dans le cas euclidien
Théorème — E est un espace euclidien avec son produit scalaire
et la norme euclidienne associée
. Si
est une forme quadratique sur E, alors il existe une base orthonormée pour le produit scalaire et orthogonale pour
.
Démonstration —
- Comme E est de dimension finie, la sphère unité
est compacte d'après le théorème de Borel-Lebesgue
La fonction
est continue sur
. Elle y est donc majorée et atteint cette borne en un certain point
.
- Si
est la forme polaire associée à
, on a :
La différentielle deen
est alors la partie linéaire du terme de droite :
- Comme
est un extremum pour
, la différentielle de
en
est nécessairement nulle, soit
ou
doncentraîne
pour tout
.
- On achève la preuve par récurrence sur la dimension de l'espace E. En dimension 1, c'est évident. Supposons la propriété vraie en dimension n-1. La droite dirigée par
est en somme directe orthogonale avec son orthogonal :
overset{\perp}{\bigoplus}
^\perp\," border="0">
car le produit scalaire est une forme symétrique définie positive. L'hypothèse de récurrence donne une base
de
perp\," border="0">orthonormée pour le produit scalaire, orthogonale pour
. Par construction :
et donc aussi
pour
La base
répond donc à la question.
Contrairement à la réduction de Gauss, c'est un résultat d'existence qui ne produit pas la base en question. La preuve est prise dans [Aud][1]
Applications
- Une conique à centre a des axes de symétrie orthogonaux.
Notes et références
- Michèle Audin, Géométrie, EDP Sciences, 2006, 3e éd. (ISBN 2-86883-883-9), p. 271
- Comme E est de dimension finie, la sphère unité
Wikimedia Foundation. 2010.