Real Semi-Inner Product Space is Complex Semi-Inner Product Space

Theorem
Let $\struct{V, \innerprod \cdot \cdot}$ be a real semi-inner product space.

Then $\struct{V, \innerprod \cdot \cdot}$ is a complex semi-inner product Space.

Proof
This follows immediately from:






 * Real Semi-Inner Product is Complex Semi-Inner Product

Also see

 * Real Inner Product Space is Complex Inner Product Space