Stinespring representation of a completely positive map ($\mathcal{N}(X)={\mathrm{Tr}}_E(VX{V}^{†})$)

In finite dimensions, a completely positive map has the form $\mathcal{N}(X)={\mathrm{Tr}}_E(VX{V}^{†})$ for $V:{\mathcal{H}}_Q\to {\mathcal{H}}_{Q\prime }\otimes {\mathcal{H}}_E$. From a Kraus representation take $V={\sum }_j{K}_j\otimes |j⟩$. The observable-picture adjoint is ${\mathcal{N}}^{†}(Y)=V^{†}(Y\otimes I_E)V$. A general completely positive map need not have isometric $V$; it is a linear isometry of Hilbert spaces precisely when the map is trace preserving.