Let be a Hilbert Space and Then there is some such that

Corollary

The map is an isometric, conjugate, linear isomorphism from to . ( is self-dual)