ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13259 on D6240: Euclidean complex dot product
F13259
Formulation 1
Let $z, w \in \mathbb{C}^{N \times 1}$ each be a D5689: Complex column matrix.
The dot product of $(z, w)$ is the D1207: Complex number \begin{equation} z^T \overline{w} \end{equation}