Semi-Inner Product with Zero Vector

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

Let $\mathbf 0_V$ be the zero vector of $V$.

Then for all $v \in V$:


 * $\innerprod {\mathbf 0_V} v = \innerprod v {\mathbf 0_V} = 0$

Also see

 * Inner Product with Zero Vector