Partial isometry (source code)

= Partial isometry
{wiki}

An operator $U$ on a Hilbert space is a partial isometry when it is isometric on $(\ker U)^\perp$. Equivalently, $U^*U$ is the orthogonal projection onto this initial space.