Definition:Semi-Inner Product/Real Field

Definition
Let $V$ be a vector space over a real subfield $\GF$.

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

Also see

 * User:Leigh.Samphier/Refactor/Definition:Complex Semi-Inner Product


 * User:Leigh.Samphier/Refactor/Real Semi-Inner Product is Complex Semi-Inner Product


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