Topics: Algebra - Orthonormal and Orthogonal Set - Vector


(definition)

Let with an orthonormal basis .

If , then the orthogonal projection of on , denoted as , is defined as:

Projections and Orthonormal Bases

(theorem)

Let be an orthonormal basis for . , and let . Then:

(theorem)

Let have two orthonormal bases and .

If , then: