Average

For the equivalent concept in geometry, see centre (geometry).

In mathematics, an average of a collection or group is a value that is most central, common, or typical in some sense, and represents its overall position. In mathematics, it most commonly refers to the arithmetic mean, but may also refer to other measures such as other types of mean, the median, or the mode.

A mean is a quantity representing the "center" of a collection of numbers and is intermediate to the extreme values of the set of numbers. There are several kinds of means (or "measures of central tendency") in mathematics, especially in statistics. Each attempts to summarize or typify a given group of data, illustrating the magnitude and sign of the data set. Which of these measures is most illuminating depends on what is being measured, and on context and purpose.

Definitions

Representation of the arithmetic mean, median and mode of a set of 250 points. The black curve represents the theoretical distribution used to generate the points, with the gray histogram depicting the actual distribution.

Four means of two numbers, a and b, constructed as chords on a semicircle. The arithmetic, geometric and harmonic means are sometimes referred to as the "Pythagorean means". This type of construction highlights the ordering of the values of the different means.

The most commonly used definition of the average is the arithmetic mean, also known as "arithmetic average" i.e. the sum divided by the count, so the "average" of the list of numbers [2, 3, 4, 7, 9] is generally considered to be (2+3+4+7+9)/5 = 25/5 = 5. The arithmetic mean of a set of numbers x₁, x₂, ..., x_n is typically denoted using an overhead bar, ${\bar {x}}$. If the numbers are from observing a sample of a larger group, the arithmetic mean is termed the sample mean (${\bar {x}}$) to distinguish it from the group mean (or expected value) of the underlying distribution, denoted $\mu$ or $\mu _{x}$.

However, other meanings are sometimes used depending on the context, which can lead to confusion; for instance, in teaching, "average" sometimes refers to "the three Ms": mean, median, and mode.

The median, defined as the value in the center after sorting the group, is usually used as the average in situations where the data is skewed or has outliers, in order to focus on the main part of the group rather than the long tail. For example, the average personal income is usually given as the median income, so that it represents the majority of the population rather than being overly influenced by the much higher incomes of the few rich people.

The harmonic mean, defined as the reciprocal of the mean of the reciprocals, is used in a variety of situations involving rates or ratios, such as computing the average speed from multiple measurements taken over the same distance. Indeed, unlike an arithmetic mean or median of speeds, a harmonic mean of speeds will give the value of the constant speed that would cause one to travel the same distance in the same amount of time.

The mode represents the most common value found in the group. It can be used when the data is categorical rather than numeric, when the frequency of each value is relevant (such as where a histogram, bar chart, or probability density function is being referenced), or to find a value that represents the majority of the group.

Other statistics that can be used as an average include the mid-range, the quadratic mean or the geometric mean, but they are rarely referred to as "the average".

Central tendency

For the graph/network concept, see Centrality.

In statistics, a central tendency (or measure of central tendency) is a central or typical value for a probability distribution. Informally, measures of central tendency are often called 'averages'. The term central tendency dates from the late 1920s.

The most common measures of central tendency are the arithmetic mean, the median, and the mode. A middle tendency can be calculated for either a finite set of values or for a theoretical distribution, such as the normal distribution. Occasionally authors use central tendency to denote "the tendency of quantitative data to cluster around some central value."

The central tendency of a distribution is typically contrasted with its dispersion or variability; dispersion and central tendency are the often characterized properties of distributions. Analysis may judge whether data has a strong or a weak central tendency based on its dispersion.

General properties

All averages of a collection are somewhere within its bounding box (and so for real numbers, between its maximum and minimum). Therefore, if a collection consists entirely of the same value, any average of it is that value.

Most averages are monotonic, i.e. moving a member of it in one direction causes the average to move in the same direction, or equivalently, if two collections of numbers A and B have the same number of elements, and they can be arranged such that each entry in A ≥ the corresponding entry in B, then the average of A ≥ the average of B.

All commonly-used averages are linearly homogeneous, i.e. multiplying every value by the same scale factor multiplies the average by that same scale factor.

Most averages remain identical when the list of items is permuted, i.e. the ordering does not matter.

Statistical location

See also: Average § Statistical location

Comparison of the arithmetic mean, median, and mode of two skewed (log-normal) distributions

Geometric visualization of the mode, median and mean of an arbitrary probability density function

In descriptive statistics, the mean may be confused with the median, mode or mid-range, as any of these may colloquially be called an "average" (more formally, a measure of central tendency). The mean of a set of observations is the arithmetic average of the values; however, for skewed distributions, the mean is not necessarily the same as the middle value (median), or the most likely value (mode). For example, mean income is typically skewed upwards by a small number of people with very large incomes, so that the majority have an income lower than the mean. By contrast, the median income is the level at which half the population is below and half is above. The mode income is the most likely income and favors the larger number of people with lower incomes. While the median and mode are often more intuitive measures for such skewed data, many skewed distributions are in fact best described by their mean, including the exponential and Poisson distributions.

Mean of a probability distribution

Main article: Expected value

See also: Population mean

The mean of a probability distribution is the long-run arithmetic average value of a random variable having that distribution. If the random variable is denoted by $X$, then the mean is also known as the expected value of $X$ (denoted $E(X)$). For a discrete probability distribution, the mean is given by $\textstyle \sum xP(x)$, where the sum is taken over all possible values of the random variable and $P(x)$ is the probability mass function. For a continuous distribution, the mean is $\textstyle \int _{-\infty }^{\infty }xf(x)\,dx$, where $f(x)$ is the probability density function. In all cases, including those in which the distribution is neither discrete nor continuous, the mean is the Lebesgue integral of the random variable with respect to its probability measure. The mean need not exist or be finite; for some probability distributions the mean is infinite (+∞ or −∞), while for others the mean is undefined.

Relationships between the mean, median and mode

Main article: Nonparametric skew § Relationships between the mean, median and mode

For unimodal distributions the following bounds are known and are sharp:

${\frac {|\theta -\mu |}{\sigma }}\leq {\sqrt {3}},$

${\frac {|\nu -\mu |}{\sigma }}\leq {\sqrt {0.6}},$

${\frac {|\theta -\nu |}{\sigma }}\leq {\sqrt {3}},$

where μ is the mean, ν is the median, θ is the mode, and σ is the standard deviation.

For every distribution,

${\frac {|\nu -\mu |}{\sigma }}\leq 1.$

Possible averages

See also: Mean § Other means, and Central tendency § Solutions to variational problems

Name	Equation or description	As solution to optimization problem
Arithmetic mean (AM)	${\bar {x}}={\frac {1}{n}}\sum _{i=1}^{n}x_{i}={\frac {1}{n}}(x_{1}+\cdots +x_{n})$ For example, the arithmetic mean of five values: 4, 36, 45, 50, 75 is: ${\frac {4+36+45+50+75}{5}}={\frac {210}{5}}=42.$	${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}(x-x_{i})^{2}$
Median	A middle value that separates the higher half from the lower half of the data set; may not be unique if the data set contains an even number of points	${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}|x-x_{i}|$
Geometric median	A rotation invariant extension of the median for points in $\mathbb {R} ^{d}$	${\underset {{\vec {x}}\in \mathbb {R} ^{d}}{\operatorname {argmin} }}\,\sum _{i=1}^{n}||{\vec {x}}-{\vec {x}}_{i}||_{2}$
Tukey median	Another rotation invariant extension of the median for points in $\mathbb {R} ^{d}$—a point that maximizes the Tukey depth	${\underset {{\vec {x}}\in \mathbb {R} ^{d}}{\operatorname {argmax} }}\,{\underset {{\vec {u}}\in \mathbb {R} ^{d}}{\operatorname {min} }}\,\sum _{i=1}^{n}\left({\begin{cases}1,{\text{ if }}({\vec {x}}_{i}-{\vec {x}})\cdot {\vec {u}}\geq 0\\0,{\text{ otherwise}}\end{cases}}\right)$
Mode	The most frequent value in the data set	${\underset {x\in \mathbb {R} }{\operatorname {argmax} }}\,\sum _{i=1}^{n}\left({\begin{cases}1,{\text{ if }}x=x_{i}\\0,{\text{ if }}x\neq x_{i}\end{cases}}\right)$
Geometric mean (GM)	${\sqrt[{n}]{\prod _{i=1}^{n}x_{i}}}={\sqrt[{n}]{x_{1}\cdot x_{2}\dotsb x_{n}}}$ an average that is useful for sets of positive numbers, interpreted according to their product and not their sum For example, the geometric mean of five values: 4, 36, 45, 50, 75 is: $(4\times 36\times 45\times 50\times 75)^{\frac {1}{5}}={\sqrt[{5}]{24\;300\;000}}=30.$	${\underset {x\in \mathbb {R} _{>0}}{\operatorname {argmin} }}\,\sum _{i=1}^{n}(\ln(x)-\ln(x_{i}))^{2},\qquad {\text{if }}x_{i}>0\,\forall \,i\in \{1,\dots ,n\}$
Harmonic mean (HM)	${\frac {n}{{\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}+\cdots +{\frac {1}{x_{n}}}}}$ For example, the harmonic mean of the five values: 4, 36, 45, 50, 75 is ${\frac {5}{{\tfrac {1}{4}}+{\tfrac {1}{36}}+{\tfrac {1}{45}}+{\tfrac {1}{50}}+{\tfrac {1}{75}}}}={\frac {5}{\;{\tfrac {1}{3}}\;}}=15.$	${\underset {x\in \mathbb {R} _{\neq 0}}{\operatorname {argmin} }}\,\sum _{i=1}^{n}\left({\frac {1}{x}}-{\frac {1}{x_{i}}}\right)^{2}$
Contraharmonic mean	${\frac {x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}}{{x_{1}}+{x_{2}}+\cdots +{x_{n}}}}$	${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}x_{i}(x-x_{i})^{2}$
Lehmer mean	${\frac {\sum _{i=1}^{n}x_{i}^{p}}{\sum _{i=1}^{n}x_{i}^{p-1}}}$	${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}x_{i}^{p-1}(x-x_{i})^{2}$
Quadratic mean (or RMS)	${\sqrt {{\frac {1}{n}}\sum _{i=1}^{n}x_{i}^{2}}}={\sqrt {{\frac {1}{n}}\left(x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}\right)}}$	${\underset {x\in \mathbb {R} _{\geq 0}}{\operatorname {argmin} }}\,\sum _{i=1}^{n}(x^{2}-x_{i}^{2})^{2}$
Cubic mean	${\sqrt[{3}]{{\frac {1}{n}}\sum _{i=1}^{n}x_{i}^{3}}}={\sqrt[{3}]{{\frac {1}{n}}\left(x_{1}^{3}+x_{2}^{3}+\cdots +x_{n}^{3}\right)}}$	${\underset {x\in \mathbb {R} _{\geq 0}}{\operatorname {argmin} }}\,\sum _{i=1}^{n}(x^{3}-x_{i}^{3})^{2},\qquad {\text{if }}x_{i}\geq 0\,\forall \,i\in \{1,\dots ,n\}$
Generalized mean	${\sqrt[{p}]{{\frac {1}{n}}\cdot \sum _{i=1}^{n}x_{i}^{p}}}$	${\underset {x\in \mathbb {R} _{\geq 0}}{\operatorname {argmin} }}\,\sum _{i=1}^{n}(x^{p}-x_{i}^{p})^{2},\qquad {\text{if }}x_{i}\geq 0\,\forall \,i\in \{1,\dots ,n\}$
Quasi-arithmetic mean	$f^{-1}\left({\frac {1}{n}}\sum _{k=1}^{n}f(x_{k})\right)$	${\underset {x\in \operatorname {dom} (f)}{\operatorname {argmin} }}\,\sum _{i=1}^{n}(f(x)-f(x_{i}))^{2},\qquad {\text{if }}f$ is monotonic
Weighted mean	${\frac {\sum _{i=1}^{n}w_{i}x_{i}}{\sum _{i=1}^{n}w_{i}}}={\frac {w_{1}x_{1}+w_{2}x_{2}+\cdots +w_{n}x_{n}}{w_{1}+w_{2}+\cdots +w_{n}}}$	${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}w_{i}(x-x_{i})^{2}$
Truncated mean	The arithmetic mean of data values after a certain number or proportion of the highest and lowest data values have been discarded
Interquartile mean	A special case of the truncated mean, using the interquartile range. A special case of the inter-quantile truncated mean, which operates on quantiles (often deciles or percentiles) that are equidistant but on opposite sides of the median.
Midrange	${\frac {1}{2}}\left(\max x+\min x\right)$	${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,{\underset {i\in \{1,\dots ,n\}}{\operatorname {max} }}\,|x-x_{i}|$
Winsorized mean	Similar to the truncated mean, but, rather than deleting the extreme values, they are set equal to the largest and smallest values that remain
Medoid	A representative object of a set ${\mathcal {X}}$ of objects with minimal sum of dissimilarities to all the objects in the set, according to some dissimilarity function $d$.	${\underset {y\in {\mathcal {X}}}{\operatorname {argmin} }}\sum _{i=1}^{n}d(y,x_{i})$

Even though perhaps not an average, the $\tau$th quantile (another summary statistic that generalizes the median) can similarly be expressed as a solution to the optimization problem

${\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}\max {\big (}(1-\tau )(x_{i}-x),\,\tau (x-x_{i}){\big )}={\underset {x\in \mathbb {R} }{\operatorname {argmin} }}\,\sum _{i=1}^{n}{\big (}|x-x_{i}|+(1-2\tau )\,x{\big )}$,

which aims to minimize the total tilted absolute value loss (or quantile loss or pinball loss).

Other more sophisticated averages are: trimmore sophistiean, trimedian, and normalized mean, with their generalizations.

In a more general fashion, one can create their own average metric using the generalized f-mean:

$y=f^{-1}\left({\frac {1}{n}}\left[f(x_{1})+f(x_{2})+\cdots +f(x_{n})\right]\right)$

where f is any invertible function. The harmonic mean is an example of this using f(x) = 1/x, and the geometric mean is another, using f(x) = log x.

However, this method for generating means is not general enough to capture all averages. A more general method for defining an average takes any function g(x₁, x₂, ..., x_n) of a list of arguments that is continuous, strictly increasing in each argument, and symmetric (invariant under permutation of the arguments). The average y is then the value that, when replacing each member of the list, results in the same function value: g(y, y, ..., y) = g(x₁, x₂, ..., x_n). This most general definition still captures the important property of all averages that the average of a list of identical elements is that element itself. The function g(x₁, x₂, ..., x_n) = x₁+x₂+ ··· + x_n provides the arithmetic mean. The function g(x₁, x₂, ..., x_n) = x₁x₂···x_n (where the list elements are positive numbers) provides the geometric mean. The function g(x₁, x₂, ..., x_n) = (x₁⁻¹+x₂⁻¹+ ··· + x_n⁻¹)⁻¹) (where the list elements are positive numbers) provides the harmonic mean.

Pythagorean means

Main article: Pythagorean means

In mathematics, the three classical Pythagorean means are the arithmetic mean (AM), the geometric mean (GM), and the harmonic mean (HM). These means were studied with proportions by Pythagoreans and later generations of Greek mathematicians because of their importance in geometry and music.

Relationship between AM, GM, and HM

Proof without words of the AM–GM inequality:
PR is the diameter of a circle centered on O; its radius AO is the arithmetic mean of a and b. Triangle PGR is a right triangle from Thales's theorem, enabling use of the geometric mean theorem to show that its altitude GQ is the geometric mean. For any ratio a:b, AO ≥ GQ.

Main article: QM-AM-GM-HM inequalities

AM, GM, and HM of nonnegative real numbers satisfy these inequalities:

$\mathrm {AM} \geq \mathrm {GM} \geq \mathrm {HM} \,$

Equality holds if all the elements of the given sample are equal.

Power mean

Main article: Generalized mean

The generalized mean, also known as the power mean or Hölder mean, abstracts several other means. It is defined for positive numbers $x_{1},\dots ,x_{n}$ by

$M_{p}(x_{1},\dots ,x_{n})=\left({\frac {1}{n}}\sum _{i=1}^{n}x_{i}^{p}\right)^{1/p}.$

This, as a function of $p$, is well defined on $\mathbb {R} \setminus \{0\}$, but can be extended continuously to $\mathbb {R} \cup \{-\infty ,+\infty \}$. By choosing different values for $p$, other well known means are retrieved.

Name	Exponent	Value
Minimum	$p=-\infty$	$\min\{x_{1},\dots ,x_{n}\}$
Harmonic mean	$p=-1$	${\frac {n}{{\frac {1}{x_{1}}}+\dots +{\frac {1}{x_{n}}}}}$
Geometric mean	$p=0$	${\sqrt[{n}]{x_{1}\dots x_{n}}}$
Arithmetic mean	$p=1$	${\frac {x_{1}+\dots +x_{n}}{n}}$
Root mean square	$p=2$	${\sqrt {\frac {x_{1}^{2}+\dots +x_{n}^{2}}{n}}}$
Cubic mean	$p=3$	${\sqrt[{3}]{\frac {x_{1}^{3}+\dots +x_{n}^{3}}{n}}}$
Maximum	$p=+\infty$	$\max\{x_{1},\dots ,x_{n}\}$

Quasi-arithmetic mean

Main article: Quasi-arithmetic mean

A similar approach to the power mean is the $f$-mean, also known as the quasi-arithmetic mean. For an injective function $f\colon I\rightarrow \mathbb {R}$ on an interval $I\subset \mathbb {R}$ and real numbers $x_{1},\dots ,x_{n}\in I$ we define their $f$-mean as

$M_{f}(x_{1},\dots ,x_{n})=f^{-1}\left({{\frac {1}{n}}\sum _{i=1}^{n}{f\left(x_{i}\right)}}\right).$

By choosing different functions $f$, other well known means are retrieved.

Mean	$I$	Function
Arithmetic mean	$\mathbb {R}$	$x\mapsto x$
Geometric mean	$]0,+\infty [$	$x\mapsto \ln(x)$
Harmonic mean	$\mathbb {R} \setminus \{0\}$	$x\mapsto x^{-1}$
Power mean	$\mathbb {R} \setminus \{0\}$	$x\mapsto x^{m}$

Weighted arithmetic mean

The weighted arithmetic mean (or weighted average) is used if one wants to combine average values from different sized samples of the same population, and is define by

${\bar {x}}={\frac {\sum _{i=1}^{n}{w_{i}x_{i}}}{\sum _{i=1}^{n}w_{i}}},$

where $x_{i}$ and $w_{i}$ are the mean and size of sample $i$ respectively. In other applications, they represent a measure for the reliability of the influence upon the mean by the respective values.

Truncated mean

Sometimes, a set of numbers might contain outliers. Often, outliers are erroneous data caused by artifacts. In this case, one can use a truncated mean. It involves discarding given parts of the data at the top or the bottom end, typically an equal amount at each end and then taking the arithmetic mean of the remaining data. A specific example of a truncated mean is the interquartile mean.

Mean of a function

Main article: Mean of a function

In some circumstances, mathematicians may calculate a mean of an infinite (or even an uncountable) set of values. This can happen when calculating the mean value $y_{\text{avg}}$ of a function $f(x)$. Intuitively, a mean of a function can be thought of as calculating the area under a section of a curve, and then dividing by the length of that section. This can be done crudely by counting squares on graph paper, or more precisely by integration. The integration formula is written as:

$y_{\text{avg}}(a,b)={\frac {1}{b-a}}\int _{a}^{b}f(x)\,dx.$

In this case, care must be taken to make sure that the integral converges. But the mean may be finite even if the function itself tends to infinity at some points.

Mean of angles and cyclical quantities

Angles, times of day, and other cyclical quantities require modular arithmetic to add and otherwise combine numbers. These quantities can be averaged using the circular mean. In all these situations, it is possible that no mean exists, for example if all points being averaged are equidistant. Consider a color wheel—there is no mean to the set of all colors. Additionally, there may not be a unique mean for a set of values: for example, when averaging points on a clock, the mean of the locations of 11:00 and 13:00 is 12:00, but this location is equivalent to that of 00:00.

Fréchet mean

The Fréchet mean gives a manner for determining the "center" of a mass distribution on a surface or, more generally, Riemannian manifold. Unlike many other means, the Fréchet mean is defined on a space whose elements cannot necessarily be added together or multiplied by scalars.

Center of a triangle

In geometry, there are thousands of different definitions for the center of a triangle that can all be interpreted as the mean of a triangular set of points in the plane.

Swanson's rule

This is an approximation to the mean for a moderately skewed distribution. It is used in hydrocarbon exploration and is defined as:

$m=0.3P_{10}+0.4P_{50}+0.3P_{90}$

where ${\textstyle P_{10}}$, ${\textstyle P_{50}}$ and ${\textstyle P_{90}}$ are the 10th, 50th and 90th percentiles of the distribution, respectively.

Moving average

Main article: Moving average

Given a time series, such as daily stock market prices or yearly temperatures, people often want to create a smoother series. This helps to show underlying trends or perhaps periodic behavior. An easy way to do this is the moving average: one chooses a number n and creates a new series by taking the arithmetic mean of the first n values, then moving forward one place by dropping the oldest value and introducing a new value at the other end of the list, and so on. This is the simplest form of moving average. More complicated forms involve using a weighted average. The weighting can be used to enhance or suppress various periodic behaviors and there is extensive analysis of what weightings to use in the literature on filtering. In digital signal processing the term "moving average" is used even when the sum of the weights is not 1.0 (so the output series is a scaled version of the averages). The reason for this is that the analyst is usually interested only in the trend or the periodic behavior.

Solutions to variational problems

See also: Average § Summary of types

Several measures of central tendency can be characterized as solving a variational problem, in the sense of the calculus of variations, namely minimizing variation from the center. That is, given a measure of statistical dispersion, one asks for a measure of central tendency that minimizes variation: such that variation from the center is minimal among all choices of center. In a quip, "dispersion precedes location". These measures are initially defined in one dimension, but can be generalized to multiple dimensions. This center may or may not be unique. In the sense of L^p spaces, the correspondence is:

Lp	dispersion	central tendency
L0	variation ratio	mode
L1	average absolute deviation	median (geometric median)
L2	standard deviation	mean (centroid)
L∞	maximum deviation	midrange

The associated functions are called p-norms: respectively 0-"norm", 1-norm, 2-norm, and ∞-norm. The function corresponding to the L⁰ space is not a norm, and is thus often referred to in quotes: 0-"norm".

In equations, for a given (finite) data set X, thought of as a vector x = (x₁,…,x_n), the dispersion about a point c is the "distance" from x to the constant vector c = (c,…,c) in the p-norm (normalized by the number of points n):

$f_{p}(c)=\left\|\mathbf {x} -\mathbf {c} \right\|_{p}:={\bigg (}{\frac {1}{n}}\sum _{i=1}^{n}\left|x_{i}-c\right|^{p}{\bigg )}^{1/p}$

For p = 0 and p = ∞ these functions are defined by taking limits, respectively as p → 0 and p → ∞. For p = 0 the limiting values are 0⁰ = 0 and a⁰ = 1 for a ≠ 0, so the difference becomes simply equality, so the 0-norm counts the number of unequal points. For p = ∞ the largest number dominates, and thus the ∞-norm is the maximum difference.

Uniqueness

The mean (L² center) and midrange (L^∞ center) are unique (when they exist), while the median (L¹ center) and mode (L⁰ center) are not in general unique. This can be understood in terms of convexity of the associated functions (coercive functions).

The 2-norm and ∞-norm are strictly convex, and thus (by convex optimization) the minimizer is unique (if it exists), and exists for bounded distributions. Thus standard deviation about the mean is lower than standard deviation about any other point, and the maximum deviation about the midrange is lower than the maximum deviation about any other point.

The 1-norm is not strictly convex, whereas strict convexity is needed to ensure uniqueness of the minimizer. Correspondingly, the median (in this sense of minimizing) is not in general unique, and in fact any point between the two central points of a discrete distribution minimizes average absolute deviation.

The 0-"norm" is not convex (hence not a norm). Correspondingly, the mode is not unique – for example, in a uniform distribution any point is the mode.

Clustering

Instead of a single central point, one can ask for multiple points such that the variation from these points is minimized. This leads to cluster analysis, where each point in the data set is clustered with the nearest "center". Most commonly, using the 2-norm generalizes the mean to k-means clustering, while using the 1-norm generalizes the (geometric) median to k-medians clustering. Using the 0-norm simply generalizes the mode (most common value) to using the k most common values as centers.

Unlike the single-center statistics, this multi-center clustering cannot in general be computed in a closed-form expression, and instead must be computed or approximated by an iterative method; one general approach is expectation–maximization algorithms.

Information geometry

The notion of a "center" as minimizing variation can be generalized in information geometry as a distribution that minimizes divergence (a generalized distance) from a data set. The most common case is maximum likelihood estimation, where the maximum likelihood estimate (MLE) maximizes likelihood (minimizes expected surprisal), which can be interpreted geometrically by using entropy to measure variation: the MLE minimizes cross-entropy (equivalently, relative entropy, Kullback–Leibler divergence).

A simple example of this is for the center of nominal data: instead of using the mode (the only single-valued "center"), one often uses the empirical measure (the frequency distribution divided by the sample size) as a "center". For example, given binary data, say heads or tails, if a data set consists of 2 heads and 1 tails, then the mode is "heads", but the empirical measure is 2/3 heads, 1/3 tails, which minimizes the cross-entropy (total surprisal) from the data set. This perspective is also used in regression analysis, where least squares finds the solution that minimizes the distances from it, and analogously in logistic regression, a maximum likelihood estimate minimizes the surprisal (information distance).

History

Origin

The first recorded time that the arithmetic mean was extended from 2 to n cases for the use of estimation was in the sixteenth century. From the late sixteenth century onwards, it gradually became a common method to use for reducing errors of measurement in various areas. At the time, astronomers wanted to know a real value from noisy measurement, such as the position of a planet or the diameter of the moon. Using the mean of several measured values, scientists assumed that the errors add up to a relatively small number when compared to the total of all measured values. The method of taking the mean for reducing observation errors was mainly developed in astronomy. A possible precursor to the arithmetic mean is the mid-range (the mean of the two extreme values), used for example in Arabian astronomy of the ninth to eleventh centuries, but also in metallurgy and navigation.

However, there are various older vague references to the use of the arithmetic mean (which are not as clear, but might reasonably have to do with our modern definition of the mean). In a text from the 4th century, it was written that (text in square brackets is a possible missing text that might clarify the meaning):

In the first place, we must set out in a row the sequence of numbers from the monad up to nine: 1, 2, 3, 4, 5, 6, 7, 8, 9. Then we must add up the amount of all of them together, and since the row contains nine terms, we must look for the ninth part of the total to see if it is already naturally present among the numbers in the row; and we will find that the property of being [one] ninth [of the sum] only belongs to the [arithmetic] mean itself...

Even older potential references exist. There are records that from about 700 BC, merchants and shippers agreed that damage to the cargo and ship (their "contribution" in case of damage by the sea) should be shared equally among themselves. This might have been calculated using the average, although there seem to be no direct record of the calculation.

Etymology

The root is found in Arabic as عوار ʿawār, a defect, or anything defective or damaged, including partially spoiled merchandise; and عواري ʿawārī (also عوارة ʿawāra) = "of or relating to ʿawār, a state of partial damage". Within the Western languages the word's history begins in medieval sea-commerce on the Mediterranean. 12th and 13th century Genoa Latin avaria meant "damage, loss and non-normal expenses arising in connection with a merchant sea voyage"; and the same meaning for avaria is in Marseille in 1210, Barcelona in 1258 and Florence in the late 13th. 15th-century French avarie had the same meaning, and it begot English "averay" (1491) and English "average" (1502) with the same meaning. Today, Italian avaria, Catalan avaria and French avarie still have the primary meaning of "damage". The transformation of the meaning in English began in later medieval and early modern Western merchant-marine law contracts under which if the ship met a bad storm and some of the goods had to be thrown overboard to make the ship lighter and safer, then all merchants whose goods were on the ship were to suffer proportionately (and not whoever's goods were thrown overboard); and more generally there was to be proportionate distribution of any avaria. From there the word was adopted by British insurers, creditors, and merchants for talking about their losses as being spread across their whole portfolio of assets and having a mean proportion.

Marine damage is either particular average, which is borne only by the owner of the damaged property, or general average, where the owner can claim a proportional contribution from all the parties to the marine venture. The type of calculations used in adjusting general average gave rise to the use of "average" to mean "arithmetic mean".

A second English usage, documented as early as 1674 and sometimes spelled "averish", is as the residue and second growth of field crops, which were considered suited to consumption by draught animals ("avers").

There is earlier (from at least the 11th century), unrelated use of the word. It appears to be an old legal term for a tenant's day labour obligation to a sheriff, probably anglicised from "avera" found in the English Domesday Book (1085).

The Oxford English Dictionary, however, says that derivations from German hafen haven, and Arabic ʿawâr loss, damage, have been "quite disposed of" and the word has a Romance origin.

Averages as a rhetorical tool

Due to the aforementioned colloquial nature of the term "average", the term can be used to obfuscate the true meaning of data and suggest varying answers to questions based on the averaging method (most frequently arithmetic mean, median, or mode) used. In his article "Framed for Lying: Statistics as In/Artistic Proof", University of Pittsburgh faculty member Daniel Libertz comments that statistical information is frequently dismissed from rhetorical arguments for this reason. However, due to their persuasive power, averages and other statistical values should not be discarded completely, but instead used and interpreted with caution. Libertz invites us to engage critically not only with statistical information such as averages, but also with the language used to describe the data and its uses, saying: "If statistics rely on interpretation, rhetors should invite their audience to interpret rather than insist on an interpretation." In many cases, data and specific calculations are provided to help facilitate this audience-based interpretation.

See also

• Average absolute deviation
• Central limit theorem
• Central moment
• Descriptive statistics
• Expected value
• Kurtosis
• Law of averages
• Location parameter
• Mean value theorem
• Moment (mathematics)
• Population mean
• Sample mean
• Statistical dispersion
• Summary statistics
• Taylor's law

Other means

Main category: Means

• Arithmetic-geometric mean
• Arithmetic-harmonic mean
• Cesàro mean
• Chisini mean
• Contraharmonic mean
• Elementary symmetric mean
• Geometric-harmonic mean
• Grand mean
• Heinz mean
• Heronian mean
• Identric mean
• Lehmer mean
• Logarithmic mean
• Moving average
• Neuman–Sándor mean
• Quasi-arithmetic mean
• Root mean square (quadratic mean)
• Rényi's entropy (a generalized f-mean)
• Spherical mean
• Stolarsky mean
• Weighted geometric mean
• Weighted harmonic mean

Notes

Arabic:

Numeric:

Further reading

• Bakker, Arthur (March 2003). "The Early History of Average Values and Implications for Education". Journal of Statistics Education. 11 (1). doi:10.1080/10691898.2003.11910694.
• Edgeworth, F. Y. (1889) [Read May 25, 1885.]. "VII. Observations and Statistics. An Essay on the Theory of Errors of Observation and the First Principles of Statistics". Transactions of the Cambridge Philosophical Society. XIV (II): 138–169. Google Books TdIsAAAAYAAJ. HathiTrust record 000526741, item mdp.39015008919659; record 100324784, item hvd.32044092879402.
  • Edgeworth, F. Y. (May 25, 1885). "(4) Observations and statistics : Abstract". Proceedings of the Cambridge Philosophical Society. V (IV): 310–312. Google Books KdIsAAAAYAAJ, zpw1AAAAIAAJ. HathiTrust record 100528415, item hvd.hwhqbe. Internet Archive proceedingscambr05camb, proceedingsofcam5188386camb, proceedingscamb09socigoog.
  • "Corrigendum on Mr F. Y. Edgeworth's paper". Proceedings of the Cambridge Philosophical Society. VI (II): 101–102. May 30, 1887. Google Books E501AAAAIAAJ. Internet Archive proceedingscamb12socigoog.
• Kennedy, Christopher; Stanley, Jason (July 2009). "On 'Average'". Mind. 118 (471): 583–646. doi:10.1093/mind/fzp094. eISSN 1460-2113. ISSN 0026-4423.

External links

• Calculations and comparison between arithmetic and geometric mean of two values