Endomorphisme qui conserve l'orthogonalité
Colle de mathématiques
Sujet de colle de maths:- Espaces euclidiensEspaces euclidiens, produit scalaire
Énoncé du sujet
Soit
un espace euclidien de dimension
,
muni du produit scalaire
et
de la norme associée
.
Soit
un endomorphisme de
qui vérifie
![\[\forall (x,y)\in E^2\, , \, \langle x , y \rangle=0
\implies \langle f(x) , f(y) \rangle=0\]](/Generateur-Devoirs/Colles/EspaceEuclidien/isortho/7.png)




Soit


![\[\forall (x,y)\in E^2\, , \, \langle x , y \rangle=0
\implies \langle f(x) , f(y) \rangle=0\]](/Generateur-Devoirs/Colles/EspaceEuclidien/isortho/7.png)
- Montrer que si
et
sont des vecteurs de même norme, alors
et
sont orthogonaux.
- Montrer qu'il existe un réel positif
tel que, pour tout vecteur unitaire
, on a
.
- Montrer que, pour tout
,
.
Correction
Correction
- On a, en utilisant la bilinéarité et la symétrie du produit scalaire
pour des vecteurset
de même norme.
- Soit un vecteur unitaire
, c'est-à-dire que
, et posons
.
Soit alorsun autre vecteur unitaire, et montrons que
.
Commeet
sont tous les deux unitaires, ils ont en particulier la même norme, et donc, d'après la question précédente,
et donc, par hypothèse sur,
En utilisant alors la linéarité deet la bilinéarité du produit scalaire, on obtient
et donc, par symétrie du produit scalaire,
- Pour tout vecteur unitaire
on a donc
.
Soit. Si
, on a directement
donc
.
Pour, on se ramène au cas précédent d'un vecteur unitaire en posant
qui est unitaire et donc, d'après la question précédente,
et ainsi,
Tag:Espaces euclidiens
Autres sujets au hasard:

Voir aussi: