In functional analysis, the compression of a linear operator T on a Hilbert space to a subspace K is the operator
where [math]\displaystyle{ P_K : H \rightarrow K }[/math] is the orthogonal projection onto K. This is a natural way to obtain an operator on K from an operator on the whole Hilbert space. If K is an invariant subspace for T, then the compression of T to K is the restricted operator K→K sending k to Tk.
More generally, for a linear operator T on a Hilbert space [math]\displaystyle{ H }[/math] and an isometry V on a subspace [math]\displaystyle{ W }[/math] of [math]\displaystyle{ H }[/math], define the compression of T to [math]\displaystyle{ W }[/math] by
where [math]\displaystyle{ V^* }[/math] is the adjoint of V. If T is a self-adjoint operator, then the compression [math]\displaystyle{ T_W }[/math] is also self-adjoint. When V is replaced by the inclusion map [math]\displaystyle{ I: W \to H }[/math], [math]\displaystyle{ V^* = I^*=P_K : H \to W }[/math], and we acquire the special definition above.
Original source: https://en.wikipedia.org/wiki/Compression (functional analysis).
Read more |