Linear Algebra Done Right · Problem 6C.5

Operators on Inner Product Spaces — Sheldon Axler

Mathematics — Linear Algebra · orthogonal-projections

Problem

Suppose that

V

is finite-dimensional and

U

is a subspace of

V

. Show that

P_{U^\perp} = I - P_U

, where

I

is the identity operator on

V