Linear isometry of Hilbert spaces ($V^{†}V=I$)

A linear map $V:\mathcal{H}\to \mathcal{K}$ is an isometry when it preserves inner products, equivalently $V^{†}V=I$. It need not be surjective. It maps an orthonormal basis to an orthonormal family, and $\rho \mapsto V\rho V^{†}$ preserves the nonzero eigenvalues and the Von Neumann entropy of a density operator.