Kernel of Linear Transformation is Orthocomplement of Image of Adjoint/Corollary

Corollary to Kernel of Linear Transformation is Orthocomplement of Image of Adjoint
Let $\HH$ be a Hilbert space.

Let $\map \BB \HH$ denote the set of normal operators on $\HH$.

Let $A \in \map \BB \HH$ be a normal operator.

Then:


 * $\ker A = \paren {\Img A}^\perp$

where:


 * $A^*$ denotes the adjoint of $A$
 * $\ker A$ is the kernel of $A$
 * $\Img A$ is the image of $A$
 * $\perp$ signifies orthocomplementation