În algebra liniară și analiza funcțională , un operator liniar care acționează într-un spațiu liniar este numit proiector (și, de asemenea , operator de proiecție și operator de proiecție ) dacă . Un astfel de operator se numește idempotent .
În ciuda abstractității sale, această definiție generalizează ideea de a construi o proiecție geometrică .
Următoarea proprietate a unui proiector poate fi folosită ca definiție: un operator liniar este un proiector dacă și numai dacă există astfel de subspații și spații care se extind în suma lor directă și, în plus, pentru orice pereche de elemente pe care o avem . Subspațiile și sunt, respectiv , imaginea și nucleul proiectorului și sunt notate cu și .
În cazul general, descompunerea unui spațiu liniar într-o sumă directă nu este unică. Prin urmare, pentru un subspațiu al spațiului , în general, există multe proiectoare a căror imagine sau nucleu coincide cu .
Fie și proiectoare definite pe spațiul vectorial și proiectând pe subspații și, respectiv. Apoi
Acționează asupra punctelor după cum urmează:
Este ușor să arăți că acesta este într-adevăr un proiector:
Proiecția dată de este ortogonală dacă și numai dacă .
Dacă spațiul este Hilbert , adică are un produs interior (și de aici conceptul de ortogonalitate ), atunci putem introduce conceptul de proiector ortogonal.
Un proiector ortogonal este un caz special al unui proiector când subspațiile menționate mai sus și sunt ortogonale între ele, cu alte cuvinte, când , sau , sau . În acest caz, proiecția unui element este elementul de spațiu cel mai apropiat de acesta .