\begin{definition}[Definition:Diagonalizable Operator]
Let $H$ be a Hilbert space over $\Bbb F \in \set {\R, \C}$.
Let $A:H \to H$ be a linear operator on $H$.
The following two definitions of '''diagonalizable operator''' are equivalent:
\end{definition}