Existence and Uniqueness of Adjoint

Theorem
Let $\mathbb F \in \set {\R, \C}$.

Let $\HH$ a be Hilbert space over $\mathbb F$ with inner product ${\innerprod \cdot \cdot}_\HH$.

Let $\KK$ a be Hilbert space over $\mathbb F$ with inner product ${\innerprod \cdot \cdot}_\KK$.

Let $A : \HH \to \KK$ be a bounded linear transformation.

Then there exists a unique bounded linear transformation $B : \KK \to \HH$ such that:


 * $\innerprod {A x} y_\KK = \innerprod x {B y}_\HH$

for all $x \in \HH$ and $y \in \KK$.