ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F13257 on D6240: Euclidean complex dot product
F13257
Formulation 0
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} \sum_{n = 1}^N z_n \overline{w}_n \end{equation}