Orthogonal direct sum
ID: orthogonal-direct-sum
An orthogonal direct sum is a direct sum whose distinct summands are mutually orthogonal. For and , the Pythagorean identity gives . In a Hilbert space, a closed subspace of a Hilbert space and its orthogonal complement give an orthogonal direct sum of the entire space. The component maps are orthogonal projections and have operator norm one when their ranges are nonzero.
New to topics? Read the docs here!