Ortogonalt komplement

Mall:Källor Ett ortogonalt komplement är i linjär algebra och funktionalanalys ett underrum $U^{\mathrm{\perp }}$ i ett inre produktrum $V$ som består av alla de element som är ortogonala mot alla elementen i ett givet underrum $U$:

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

Ändlig dimension

I ett ändligtdimensionellt inre produktrum av dimension n är det ortogonala komplementet till ett k-dimensionellt underrum ett underrum av dimension $n-k$. Det ortogonala komplementet av det ortogonala komplementet är det ursprungliga rummet:

$U^{\mathrm{\perp }\mathrm{\perp }}=U$

För en m × n-matris, så har kolonnrummet, $K(A)$, nollrummet, $N(A)$, och radrummet , $R(A)$, följande egenskaper:

$(R(A){)}^{\mathrm{\perp }}=N(A)$

$(K(A){)}^{\mathrm{\perp }}=N(A^T)$

Egenskaper

Det ortogonala komplementet är alltid en sluten mängd i den metriska topologin, för ändligtdimensionella inre produktrum är detta en enkel följd av att alla underrum är slutna. I oändlighetsdimensionella Hilbertrum finns det underrum som inte är slutna, men deras ortogonala komplement är slutna. Det är ortogonala komplementet till det ortogonala komplenetet av W blir då det slutna höljet av W:

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