Sea un espacio vectorial sobre un campo con dimensión finita , y sea un subespacio de de dimensión . Supongamos que existe una base ortonormal de tal que los primeros vectores forman una base ortonormal de .
Un proyector ortogonal es un operador lineal que cumple:
- Idempotencia: .
- Hermiticidad: .
El operador proyecta ortogonalmente sobre , es decir, para todo , se tiene , y .
En términos de la base ortonormal anterior, el proyector puede escribirse como:
donde es el vector dual correspondiente a , con .
Es común referirse al espacio de como el subespacio sobre el cual proyecta, en este caso .
También se define el complemento ortogonal del proyector como el operador:
el cual es también un proyector ortogonal sobre el complemento ortogonal .
Resultados
- Los eigenvalores de un proyector ortogonal son necesariamente o .
- Si y son proyectores ortogonales, entonces y .