Podprzestrzeń uzupełniająca
Podprzestrzeń uzupełniająca – niepusta podprzestrzeń liniowa przestrzeni liniowej która spełnia
dla pewnej ustalonej podprzestrzeni
Symbol oznacza sumę prostą przestrzeni
Każda podprzestrzeń posiada podprzestrzeń uzupełniającą (na ogół jest ich wiele).