# Isomorphism iff Inverse Equals Adjoint

 It has been suggested that this article or section be renamed: something more detailed One may discuss this suggestion on the talk page.

## Theorem

Let $H, K$ be Hilbert spaces.

Let $U \in B \struct {H, K}$ be a bounded linear transformation.

Then the following are equivalent:

$(1): \quad U$ is an isomorphism
$(2): \quad U$ is invertible and $U^{-1} = U^*$, where $U^*$ denotes the adjoint of $U$.