Let
be a
finite-dimensional
-vector space,
with a fixed
inner product
. We call a
sesquilinear form
on
orthogonalizable if there exsts an
orthonormal basis
(with respect to the inner product)
of
fulfilling
-

for all
.
Show that via the correspondence
-
the
normal endomorphisms
correspond to the orthogonalizable sesquilinear forms.