Definition:Semi-Inner Product

From ProofWiki
Jump to navigation Jump to search


Let $\C$ be the field of complex numbers.

Let $\F$ be a subfield of $\C$.

Let $V$ be a vector space over $\F$

A semi-inner product is a mapping $\innerprod \cdot \cdot: V \times V \to \mathbb F$ that satisfies the following properties:

\((1)\)   $:$   Conjugate Symmetry      \(\displaystyle \forall x, y \in V:\) \(\displaystyle \quad \innerprod x y = \overline {\innerprod y x} \)             
\((2)\)   $:$   Sesquilinearity      \(\displaystyle \forall x, y, z \in V, \forall a \in \mathbb F:\) \(\displaystyle \quad \innerprod {a x + y} z = a \innerprod x z + \innerprod y z \)             
\((3)\)   $:$   Non-Negative Definiteness      \(\displaystyle \forall x \in V:\) \(\displaystyle \quad \innerprod x x \in \R_{\ge 0} \)             

If $\mathbb F$ is a subfield of the field of real numbers $\R$, it follows from Complex Number equals Conjugate iff Wholly Real that $\overline {\innerprod y x} = \innerprod y x$ for all $x, y \in V$.

Then $(1)$ above may be replaced by:

\((1^\prime)\)   $:$   Symmetry      \(\displaystyle \forall x, y \in V:\) \(\displaystyle \innerprod x y = \innerprod y x \)             

Semi-Inner Product Space

A semi-inner product space is a vector space together with an associated semi-inner product.

Also see