Dopełnienie ortogonalne podzbioru ${\displaystyle A}$ przestrzeni ${\displaystyle V}$ z określonym iloczynem skalarnym – zbiór wszystkich elementów w przestrzeni ${\displaystyle V,}$ które są ortogonalne do każdego elementu zbioru ${\displaystyle A.}$ Symbolicznie:

${\displaystyle A^{\bot }:=\left\{x\in V:\forall y\in A\ \langle x,y\rangle =0\right\}.}$

• Dopełnienie ortogonalne podzbioru przestrzeni Hilberta jest zbiorem domkniętym.
• W przestrzeni Hilberta ${\displaystyle {\mathcal {H}}}$ dwukrotne złożenie dopełnienia ortogonalnego dla danego zbioru ${\displaystyle A\subseteq {\mathcal {H}}}$ jest domknięciem powłoki liniowej, tj.

${\displaystyle (A^{\bot })^{\bot }={\overline {\mathrm {lin} A}}.}$

Piotr Stachura, nagrania dla Khan Academy na YouTube [dostęp 2024-06-22]:

• Dopełnienia ortogonalne, 19 września 2021.
• Związek między wymiarami podprzestrzeni i jej dopełnienia ortogonalnego, 4 października 2021.
• Dopełnienie ortogonalne dopełnienia ortogonalnego, 13 października 2021.
• Dopełnienie ortogonalne jądra odwzorowania liniowego, 15 października 2021.