Definition:Semi-Inner Product Space/Real Field

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

Let $\innerprod \cdot \cdot : V \times V \to \GF$ be an real semi-inner product on $V$.

We say that $\struct {V, \innerprod \cdot \cdot}$ is a (real) semi-inner product space.

That is, a (real) semi-inner product space is a vector space over a real subfield together with an associated real semi-inner product.

Also see

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


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


 * User:Leigh.Samphier/Refactor/Definition:Real Inner Product Space


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