Definition:Semi-Inner Product Space/Complex Field
< Definition:Semi-Inner Product Space(Redirected from Definition:Complex Semi-Inner Product Space)
Jump to navigation
Jump to search
Definition
Let $V$ be a vector space over a complex subfield $\GF$.
Let $\innerprod \cdot \cdot : V \times V \to \GF$ be an complex semi-inner product on $V$.
We say that $\struct {V, \innerprod \cdot \cdot}$ is a (complex) semi-inner product space.
That is, a (complex) semi-inner product space is a vector space over a complex subfield together with an associated complex semi-inner product.
Also see
- Results about semi-inner product spaces can be found here.