 Partial isometry

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

A **partial isometry** is a concept in functional analysis and operator theory, particularly in the context of Hilbert spaces.