Definition:Semi-Inner Product/Complex Field

Definition
Let $\C$ be the field of complex numbers.

Let $\GF$ be a subfield of $\C$.

Let $V$ be a vector space over $\GF$.

A (complex) semi-inner product is a mapping $\innerprod \cdot \cdot: V \times V \to \GF$ that satisfies the (complex) semi-inner product axioms:

Also see

 * User:Leigh.Samphier/Refactor/Definition:Complex Inner Product, a semi-inner product with the additional property of positiveness.