Relation entre vecteurs (ou fonctions) indiquant que leur produit intérieur est nul ; géométriquement : directions perpendiculaires ; en statistique : absence de corrélation linéaire par rapport au produit scalaire choisi.

Principe

u et v sont orthogonaux lorsque ⟨u,v⟩=0. L'orthogonalité permet la décomposition (projection sur des sous-espaces), des relations pythagoriciennes pour les normes et simplifie l'analyse car les composantes orthogonales n'interagissent pas via le produit intérieur.

Démonstration

Dans R^2, (1,0) est orthogonal à (0,1) car leur produit scalaire est 0. Dans L^2([0,1]), sin(2πx) et cos(2πx) sont orthogonaux car l'intégrale de leur produit est nulle.

Mauvaise application

Assimiler orthogonalité et indépendance statistique : des variables non corrélées (covariance nulle) ne sont pas nécessairement indépendantes sauf sous hypothèses supplémentaires (par ex. normalité conjointe). De même, affirmer l'orthogonalité sans préciser le produit scalaire est trompeur.

Conséquence

L'orthogonalité permet une décomposition unique en composantes orthogonales, la diagonalisation d'opérateurs dans des bases orthonormées, et une stabilité numérique dans des algorithmes exploitant des transformations orthogonales (QR, SVD).

Inversion

Le parallélisme ou la colinéarité (multiples scalaires non nuls) est la relation inverse : au lieu d'un produit intérieur nul, les vecteurs sont alignés et ne forment pas un angle droit.

Limite

Nécessite un produit intérieur ou une forme bilinéaire précisée ; dans les espaces sans cette structure le concept n'existe pas. L'orthogonalité dépend du produit scalaire choisi et peut varier entre produits euclidien, pondéré ou d'espace de fonctions.

Tension sémantique

Tension entre l'orthogonalité géométrique (angle droit) et les notions statistiques (non corrélation) : toutes deux utilisent le 'produit nul' mais diffèrent par leurs implications ; tension aussi entre orthogonalité par produit intérieur et notions basées seulement sur la métrique.

Synthèse

L'orthogonalité est la relation de produit intérieur nul incarnant la perpendicularité et l'absence d'interaction selon un produit scalaire, facilitant projections et décompositions, mais dépendant du produit intérieur et du contexte d'application.