ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Cartesian product
▼ Complex cartesian product
▼ Real cartesian product
▼ Real number collection
▼ Descriptive statistic
▼ Real function arithmetic mean
Definition D4925
Euclidean real arithmetic mean
Formulation 3
Let $x_1, \ldots, x_N \in \mathbb{R}^D$ each be a D4924: Euclidean real number.
A D4924: Euclidean real number $a \in \mathbb{R}^D$ is an arithmetic mean of $x_1, \ldots, x_N$ if and only if \begin{equation} \sum_{n = 1}^N a = \sum_{n = 1}^N x_n \end{equation}
Formulation 4
Let $x_1, \ldots, x_N \in \mathbb{R}^D$ each be a D4924: Euclidean real number.
A D4924: Euclidean real number $a \in \mathbb{R}^D$ is an arithmetic mean of $x_1, \ldots, x_N$ if and only if \begin{equation} \underbrace{a + a + \cdots + a}_{N \text{ times}} = x_1 + x_2 + \cdots + x_N \end{equation}