# Isometry iff Adjoint is Left-Inverse

Jump to: navigation, search

## Theorem

Let $H, K$ be Hilbert spaces.

Let $A \in B \left({H, K}\right)$ be a bounded linear transformation.

Then $A$ is an isometry iff:

$A^*A = I_H$

where $A^*$ denotes the adjoint of $A$, and $I_H$ the identity operator on $H$.

## Proof

Let $g, h \in H$. Then by the definition of adjoint:

$\left\langle{Ag, Ah}\right\rangle_K = \left\langle{A^*Ag, h}\right\rangle_H$

From the uniqueness of the adjoint, it follows that:

$\left\langle{Ag, Ah}\right\rangle_K = \left\langle{g, h}\right\rangle_H$

holds iff $A^*A = I_H$.

Hence the result by definition of isometry.

$\blacksquare$