Let be a vector space over or
with an Inner Product
Then if is real:

If is complex: