ThmDex – An index of mathematical definitions, results, and conjectures.
F12409
Formulation 0
Let $\mathbb{R}^{N \times 1}$ be a D5656: Set of real column matrices.
The component sum operation on $\mathbb{R}^{N \times 1}$ is the D4364: Real function \begin{equation} \mathbb{R}^{N \times 1} \to \mathbb{R}, \quad x \mapsto \boldsymbol{1}^T x \end{equation}