En mathématiques, la projection orthogonale est une transformation de l'espace, une application linéaire :
en géométrie plane, c'est une projection telle que les deux droites — la droite sur laquelle on projette et la direction de projection — sont perpendiculaires ;
en géométrie dans l'espace, c'est une projection telle que la droite et le plan — quels que soient leurs rôles respectifs — sont perpendiculaires.
La projection orthogonale est un type de perspective très utilisée en dessin (géométrie descriptive), et en infographie : la génération des figures est simple, par contre, on ne peut pas représenter l'éloignement (la taille des objets ne varie pas avec la distance).
De manière plus générale, en algèbre linéaire, une projection orthogonale est un projecteur tel que les deux sous-espaces sont orthogonaux.
La projection orthogonale permet de résoudre le problème de la plus courte distance d'un point à une droite, d'un point à un plan, ou plus généralement d'un point à un sous-espace affine d'un espace euclidien d'autre part. On peut alors utiliser ce concept pour résoudre des problèmes de type «moindres carrés».
L'idée générale, basée sur le théorème de Pythagore, est que le problème de plus courte distance se ramène à une propriété d'orthogonalité.
Le fil à plomb est un outil qui permet de visualiser la projection orthogonale d'un point sur un plan (en première analyse du moins).
Dessin par projection orthogonale
Exemple de projection orthogonale sur un plan
Les projections orthogonales sont utilisées pour le dessin, notamment le dessin technique et les jeux vidéo. On distingue typiquement deux types de projections utilisées :
la géométrie descriptive : le plan de projection contient deux des axes du repère orthonormé direct ;
la perspective axonométrique : le plan de projection est distinct des plans sus-cités.
Voir ces articles.
Projection orthogonale dans un espace vectoriel préhilbertien
Les projections orthogonales sont des endomorphismes qui font partie de la classe plus générale des projecteurs, qu'on peut alors considérer, a contrario, comme des projections «obliques».
On se place dans un espace préhilbertienE, de dimension quelconque. On se donne un sous-espace vectorielF de E. Le problème de projection orthogonale sur F peut être énoncé ainsi : peut-on décomposer un vecteur quelconque de E en une composante sur F et une composante orthogonale à F ? La réponse dépendra en fait de l'espace F considéré.
Projection orthogonale sur une droite vectorielle
Si F est une droite vectorielle engendrée par le vecteur a, l'ensemble des vecteurs orthogonaux à F est un hyperplan appelé hyperplan normal à F et défini par
Si x est un vecteur arbitraire de E, on peut toujours le décomposer de la façon suivante
avec
Et on constate que xF est dans F, tandis que
est dans l'hyperplan normal à F.
Il est donc toujours possible d'effectuer une projection orthogonale sur une droite vectorielle.
Existence d'une projection orthogonale
On peut donner un exemple d'espace F pour lequel la notion de projection orthogonale sur F n'a pas de sens. Ainsi si on considère l'espace
des polynômes réels muni de son produit scalaire usuel, et F l'hyperplan Vect(1 + X,1 + X2,...,1 + Xn,...), l'ensemble des vecteurs orthogonaux à F est réduit à {0}. On ne peut donc décomposer les éléments de E, autres que ceux de F, en un élément de F et un élément orthogonal.
Cet exemple est frappant : alors qu'une droite a toujours un supplémentaire orthogonal (unique d'ailleurs), un hyperplan peut très bien n'avoir aucun supplémentaire orthogonal. Il est difficile de faire un dessin convaincant pour une telle situation !
Plus généralement on a équivalence entre les propriétés suivantes
il existe une projection orthogonale sur F
F admet un supplémentaire orthogonal
est le supplémentaire orthogonal de F
Ceci montre au passage que le supplémentaire orthogonal, s'il existe, est unique.
Lorsque F admet un supplémentaire orthogonal,
donc F est nécessairement fermé, puisque l'orthogonal d'un sous-espace vectoriel l'est.
Un cas d'existence important
On peut généraliser la formule de projection sur une droite si F est de dimension finie. En effet, en considérant une base orthonormale(e1,...,en) de F, on exhibe la décomposition
avec
Attention à ne pas appliquer cette formule avec une base de F quelconque !
Si E est un espace de Hilbert et F un sous-espace vectoriel fermé, alors l'orthogonal de F est un supplémentaire de F dans E.
Le point commun entre les deux conditions suffisantes ci-dessus est qu'elles entraînent la complétude de F (tout sous-espace de dimension finie d'un préhilbert est complet, et tout sous-espace fermé d'un Hilbert également). Cette hypothèse plus faible est en fait suffisante :
Si F est un sous-espace complet d'un espace préhilbertien E alors l'orthogonal de F est un supplémentaire de F dans E.
Deux preuves sont présentées dans Théorème du supplémentaire orthogonal d'un fermé dans un Hilbert.
Minimisation de la distance
La distance d'un vecteur x au sous-espace F est par définition la borne inférieure des distances de x à tous les vecteurs de F :
Si le sous-espace F admet un supplémentaire orthogonal, le projeté orthogonal p(x) de x sur F est le point de F le plus proche de x (donc l'inf ci-dessus est en fait un min), ce qui fournit une définition alternative de p(x) :
.
En effet, non seulement ||x-p(x)|| majore la distance d(x,F) (puisqu'il fait partie des ||x-y|| dont d(x,F) est l'inf), mais il la minore également : pour tout y de F distinct de p(x) on a même ||x-y||>||x-p(x)||, d'après l'identité de Pythagore.
Cette propriété est généralisée dans l'article théorème de projection sur un convexe.
Une application linéairep sur l'espace préhilbertien E est k-lipschitzienne sur E si et seulement si
,
et la norme subordonnée de p est alors la plus petite des constantes k telles que p soit k-lipschitzienne.
On peut alors énoncer la caractérisation :
Soit p un projecteur de l'espace préhilbertien E, les trois conditions suivantes sont équivalentes :
p est une projection orthogonale
p est 1-lipschitzienne
la norme subordonnée de p est égale à 0 ou 1.
1 implique 2 car si p est une projection orthogonale, les vecteurs x - p(x) et p(x) sont orthogonaux, donc le théorème de Pythagore assure que
.
2 implique 1 car si p est une projection 1-lischitzienne alors pour tous vecteurs
et
, x et y sont orthogonaux. En effet, le projeté orthogonal z de y sur la droite vectorielle engendrée par x est nul, car z et y-z sont orthogonaux donc
.
3 implique bien sûr 2 mais réciproquement, la norme d'un projecteur 1-lispchitzien vaut 0 ou 1. En effet, la norme d'un projecteur non nul p vaut toujours au moins 1, car
.
Par le fait d'être autoadjoint
Un projecteur de l'espace préhilbertien E est une projection orthogonale si et seulement c'est un endomorphisme autoadjoint.
La condition est nécessaire car si p est une projection orthogonale alors l'égalité
est immédiate pour des vecteurs x, y appartenant chacun à l'image ou au noyau de p, puis s'étend aux autres vecteurs, puisque ces deux espaces sont supplémentaires.
La condition est suffisante car le noyau et l'image d'un endomorphisme autoadjoint sont orthogonaux.
![\mathbb R[X]](https://static.techno-science.net/illustrationWebp/Definitions/autres/6/6c73375ab2781a4914c650a6590abf73_956fedf2a7a96974765e625ac64bbe80.png)
