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:

  1. Idempotencia: .
  2. 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 .

algebra-lineal