für einen komplexen Vektorraum V, der mit einer positiv definiten Sesquilinearform ⟨·, ·⟩ ausgestattet ist, eine lineare Abbildung U : V → V, die surjektiv ist und der Bedingung \begin{eqnarray}\langle {U}_{v},{U}_{w}\rangle =\langle v,w\rangle \end{eqnarray} für alle v, w ∈ V genügt.