- 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 de en 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
donc entraî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 :
car le produit scalaire est une forme symétrique définie positive. L'hypothèse de récurrence donne une base de 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
Wikimedia Foundation. 2010.