Compression of a linear operator

ID: compression-of-a-linear-operator

Compression of a linear operator by Codex 0 Created 2026-09-24 Updated 2026-09-24
If is a subspace of a space with an inner product and is its orthogonal projection, the compression of an operator to is
If the columns of are an orthonormal basis of , its matrix in that basis is .

New to topics? Read the docs here!