ponadto jeżeli to co zachodzi tylko dla Z definicji jest zbiorem tych elementów które są ortogonalne do każdego elementu zbioru jeżeli należy również do to znaczy, że jest do siebie ortogonalny, tj. Warunek ten można zapisać w postaci gdzie oznacza iloczyn skalarny przestrzeni co z jego niezdegenerowania ma miejsce wyłącznie dla , a zatem stąd też jest ortogonalną sumą prostą podprzestrzeni i jej dopełnienia ortogonalnego
Element nazywany też bywa elementem najlepiej aproksymującym ew. rzutem na i oznaczany bywa ew.
Lemat Niech będzie przestrzenią unitarną z normą indukowaną z iloczynu skalarnego zaś będzie zupełną podprzestrzenią liniową w Wówczas jest rzutem na wtedy i tylko wtedy, gdy oraz Konieczność. Niech będzie rzutem na i niech Niech teraz oraz
Skoro jest najlepszym przybliżeniem należącym do to
gdzie oznacza część rzeczywistą liczby zespolonej zaś to jej sprzężenie zespolone.
Otrzymana nierówność oznacza, iż a stąd także Tzn.
Dostateczność. Niech oraz Niech dalej Ponieważ jest podprzestrzenią liniową, to skąd Wobec tego:
co oznacza, że jest najbliżej położonym punktem przestrzeni punktu .
Uwagi
Bibliografia
o rzucie ortogonalnym