Complément orthogonal

Modèle:Ébauche En mathématiques, plus précisément en algèbre linéaire et en analyse fonctionnelle, le complément orthogonal WModèle:Exp d'un sous-espace vectoriel W d'un espace préhilbertien V est l'ensemble des vecteurs de V qui sont orthogonaux à tout vecteur de W, c'est-à-dire

$W^{\mathrm{\perp }}=\{x\in V\mid \mathrm{\forall }y\in W⟨y\mid x⟩=0\}.$

Le complément orthogonal est toujours un sous-espace vectoriel fermé. Pour un espace de Hilbert, d'après le théorème du supplémentaire orthogonal, le complément orthogonal du complément orthogonal de W est l'adhérence de W, soit

$W^{\mathrm{\perp }\mathrm{\perp }}=\bar{W}.$

• 
  Exemple 1
• 
  Exemple 2. Calcul par la méthode gaussienne

Espace de Banach

Il existe un analogue de cette notion pour un espace de Banach quelconque. On peut alors définir le complément orthogonal de W comme étant le sous-espace du dual topologique V' de V défini par

$W^{\mathrm{\perp }}=\{x\in V^{\prime }\mid \mathrm{\forall }y\in Wx(y)=0\}.$

Il s'agit toujours d'un sous-espace fermé de VModèle:'. Il existe aussi une propriété analogue au double complément. WModèle:Exp est alors un sous-espace de V'' (qui n'est pas égal à V). Cependant, si V est un espace réflexif, c'est-à-dire si le morphisme naturel $i:V\to V^{″}$ est un isomorphisme, on a :

$i(\bar{W})=W^{\mathrm{\perp }\mathrm{\perp }}.$

C'est une conséquence du théorème de Hahn-Banach.

Références

• Modèle:Ouvrage