Compression of a linear operator
ID: compression-of-a-linear-operator
If is a subspace of a space with an inner product and is its orthogonal projection, the compression of an operator to isIf the columns of are an orthonormal basis of , its matrix in that basis is .
New to topics? Read the docs here!