Définition [Espace euclidien]
On appelle espace euclidien un espace préhilbertien réel de dimension finie non nulle.
Un endomorphisme d'un espace euclidien est dit orthogonal si l'image d'une certaine base orthonormale est une base orthonormale.
On appelle similitude d'un espace euclidien un endomorphisme égal à la composée d'une homothétie (i.e. une application du type ,
) et d'un automorphisme orthogonal.
On appelle rapport d'une similitude le rapport d'une homothétie de la décomposition de cette similitude en une homothétie et un automorphisme (le rapport est unique).
Un espace euclidien est donc en particulier est espace préhilbertien et un espace de Hilbert; on pourra donc consulter la partie et plus spécialement la partie pour avoir les bases.
PropositionL'image de toute base orthonormale par un endomorphisme orthogonal est une base orthonormale.
Un endomorphisme est orthogonal si et seulement si sa matrice dans une base orthonormale est une matrice orthogonale.
Un espace euclidien est un espace de Hilbert.
muni du produit scalaire euclidien canonique (i.e.
) est un espace euclidien.
Un espace euclidien est isomorphe à
muni du produit scalaire euclidien canonique pour un certain .
Démonstration:Un espace euclidien est de dimension finie, en dimension finie toutes les normes sont équivalentes, donc l'espace est isomorphe au sens des espaces vectoriels normés à
muni d'une norme usuelle et est donc complet. Donc c'est un espace de Hilbert. Donc il admet une base orthonormale. Le tour est joué.
Soit un espace euclidien, sa dimension.
Les résultats suivants sont trop faciles pour valoir une démonstration (notez toutefois qu'ils n'apparaissent faciles qu'au vu des parties précédentes):
L'application
est un isomorphisme de sur .
Toute forme linéaire sur s'écrit pour un certain de .
Il existe une base orthonormale de , qui est d'ailleurs une base hilbertienne aussi.
Définition
Il y a plusieurs notions d'angles à définir:
On définit l'angle entre deux vecteurs non nuls et comme étant le réel de tel que
.
On définit l'angle entre deux droites par l'angle entre un vecteur d'une base de l'une et un vecteur d'une base de l'autre.
On définit l'angle entre deux hyperplans comme l'angle entre les droites qui leurs sont orthogonales.
On définit l'angle entre une droite et un hyperplan comme l'angle entre la droite et la droite orthogonale à l'hyperplan.
On dit que deux sous-espaces vectoriels de sont perpendiculaires s'ils sont orthogonaux.
Proposition
Un endomorphisme est une similitude si et seulement si les deux conditions suivantes sont vérifiées:
il est bijectif
il conserve l'écart angulaire
Démonstration:
Il est très facile de vérifier qu'une similitude vérifie bien les deux propriétés
annoncées.
Réciproquement, supposons les deux propriétés vérifiées par un endomorphisme . Alors:
Considérons l'application
, pour non nul.
Conservant l'écart angulaire, l'application conserve aussi l'orthogonalité.
Etant donnés et distincts,
est orthogonal à .
est donc orthogonal à .
En développant
puis en factorisant par
,
on obtient que .
est donc constante, égale à .
conserve donc la norme, et donc est orthogonal d'après la proposition . Par définition, est donc une similitude.
La preuve ci-dessus montre qu'en fait suffisant qu'un endomorphisme bijectif conserve l'orthogonalité pour qu'on puisse conclure qu'il s'agit d'une similitude.