ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F13264 on R5624: Euclidean real dot product is symmetric

F13264

Formulation 1

Let $x, y \in \mathbb{R}^{N \times 1}$ each be a D5200: Real column matrix.

Then \begin{equation} x^T y = y^T x \end{equation}