◀ ▲ ▶Branches / Algebra / Proposition: Properties of a Complex Scalar Product
Proposition: Properties of a Complex Scalar Product
Let \(V\) be a vector space over the field of complex numbers \(\mathbb C\). It follows immediately from the definition of scalar product \(\langle \cdot,\cdot\rangle\) on \(V\) that it is function.
\[V\times V\longrightarrow \mathbb {C} ,\,(v,w)\longmapsto \left\langle v,w\right\rangle \,,\]
with the following properties:
 \(\left\langle \lambda _{1}x_{1}+\lambda _{2}x_{2},y\right\rangle =\lambda _{1}\left\langle x_{1},y\right\rangle +\lambda _{2}\left\langle x_{2},y\right\rangle \,\) for all \(\lambda_{1},\lambda _{2}\in \mathbb {C} \), \(x_{1},x_{2},y\in V\),
 \(\left\langle x, \lambda _{1}y_{1}+\lambda _{2}y_{2}\right\rangle = \lambda_{1}^*\left\langle x, y_{1}\right\rangle + \lambda_{2}^*\left\langle x, y_{2}\right\rangle \,\) for all \(\lambda _{1},\lambda _{2}\in \mathbb {C} \), \(x, y_{1},y_{2}\in V\), where \(\lambda_i^*\) is the complex conjugate of \(\lambda_i\)
 \(\left\langle v,w\right\rangle =\left\langle w,v\right\rangle^* \,\) for all \(v,w\in V\).
 \(\left\langle v,v\right\rangle \geq 0\) for all \(v\in V\) and \(\left\langle v,v\right\rangle =0\) if and only if \(v=0\).
If only the first three properties are fulfilled, then we call \(\langle \cdot,\cdot\rangle\) a Hermitian form.
Table of Contents
Proofs: 1
Mentioned in:
Definitions: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Brenner
References
Adapted from CC BYSA 3.0 Sources:
 Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of OsnabrÃ¼ck