# Mean

31,768pages on
this wiki

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In statistics, mean has two related meanings:

It is sometimes stated that the 'mean' means average. This is incorrect if "mean" is taken in the specific sense of "arithmetic mean" as there are different types of averages: the mean, median, and mode. For instance, average house prices almost always use the median value for the average. These three types of averages are all measures of locations. Other simple statistical analyses use measures of spread, such as range, interquartile range, or standard deviation. For a real-valued random variable X, the mean is the expectation of X. Note that not every probability distribution has a defined mean (or variance); see the Cauchy distribution for an example.

For a data set, the mean is the sum of the observations divided by the number of observations. The mean is often quoted along with the standard deviation: the mean describes the central location of the data, and the standard deviation describes the spread.

An alternative measure of dispersion is the mean deviation, equivalent to the average absolute deviation from the mean. It is less sensitive to outliers, but less mathematically tractable.

As well as statistics, means are often used in geometry and analysis; a wide range of means have been developed for these purposes, which are not much used in statistics. These are listed below.

## Examples of meansEdit

### Arithmetic meanEdit

Main article: Arithmetic mean

The arithmetic mean is the "standard" average, often simply called the "mean".

$\bar{x} = \frac{1}{n}\cdot \sum_{i=1}^n{x_i}$

The mean may often be confused with the median, mode or range. The mean is the arithmetic average of a set of values, or distribution; however, for skewed distributions, the mean is not necessarily the same as the middle value (median), or the most likely (mode). For example, mean income is 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. The median or mode are often more intuitive measures of such data.

Nevertheless, many skewed distributions are best described by their mean - such as the Exponential and Poisson distributions.

For example, the arithmetic mean of six values: 34, 27, 45, 55, 22, 34 is:

$\frac{34+27+45+55+22+34}{6} = \frac{217}{6} \approx 36.167.$

### Geometric meanEdit

Main article: Geometric mean

The geometric mean is an average that is useful for sets of positive numbers that are interpreted according to their product and not their sum (as is the case with the arithmetic mean) e.g. rates of growth.

$\bar{x} = \left ( \prod_{i=1}^n{x_i} \right ) ^{1/n}$

For example, the geometric mean of six values: 34, 27, 45, 55, 22, 34 is:

$(34 \cdot 27 \cdot 45 \cdot 55 \cdot 22 \cdot 34)^{1/6} = 1,699,493,400^{1/6} = 34.545.$

### Harmonic meanEdit

Main article: Harmonic mean

The harmonic mean is an average which is useful for sets of numbers which are defined in relation to some unit, for example speed (distance per unit of time).

$\bar{x} = n \cdot \left ( \sum_{i=1}^n \frac{1}{x_i} \right ) ^{-1}$

For example, the harmonic mean of the six values: 34, 27, 45, 55, 22, and 34 is

$\frac{6}{\frac{1}{34}+\frac{1}{27}+\frac{1}{45} + \frac{1}{55} + \frac{1}{22}+\frac{1}{34}} = \frac{60588}{1835} \approx 33.0179836.$

### Generalized meansEdit

#### Power meanEdit

The generalized mean, also known as the power mean or Hölder mean, is an abstraction of the quadratic, arithmetic, geometric and harmonic means. It is defined for a set of n positive numbers xi by

$\bar{x}(m) = \left ( \frac{1}{n}\cdot\sum_{i=1}^n{x_i^m} \right ) ^{1/m}$

By choosing the appropriate value for the parameter m we get

 $m\rightarrow\infty$ maximum $m=2$ quadratic mean, $m=1$ arithmetic mean, $m\rightarrow0$ geometric mean, $m=-1$ harmonic mean, $m\rightarrow-\infty$ minimum.

#### f-meanEdit

This can be generalized further as the generalized f-mean

$\bar{x} = f^{-1}\left({\frac{1}{n}\cdot\sum_{i=1}^n{f(x_i)}}\right)$

and again a suitable choice of an invertible $f$ will give

 $f(x) = \frac{1}{x}$ harmonic mean, $f(x) = x^m$ power mean, $f(x) = \ln x$ geometric mean.

### Weighted arithmetic meanEdit

The weighted arithmetic mean is used, if one wants to combine average values from samples of the same population with different sample sizes:

$\bar{x} = \frac{\sum_{i=1}^n{w_i \cdot x_i}}{\sum_{i=1}^n {w_i}}.$

The weights $w_i$ represent the bounds of the partial sample. In other applications they represent a measure for the reliability of the influence upon the mean by respective values.

### Truncated meanEdit

Sometimes a set of numbers might contain outliers, i.e. a datum which is much lower or much higher than the others. 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. The number of values removed is indicated as a percentage of total number of values.

### Interquartile meanEdit

The interquartile mean is a specific example of a truncated mean. It is simply the arithmetic mean after removing the lowest and the highest quarter of values.

$\bar{x} = {2 \over n} \sum_{i=(n/4)+1}^{3n/4}{x_i}$

assuming the values have been ordered.

### Mean of a functionEdit

In calculus, and especially multivariable calculus, the mean of a function is loosely defined as the average value of the function over its domain. In one variable, the mean of a function f(x) over the interval (a,b) is defined by

$\bar{f}=\frac{1}{b-a}\int_a^bf(x)\,dx.$

(See also mean value theorem.) In several variables, the mean over a relatively compact domain U in a Euclidean space is defined by

$\bar{f}=\frac{1}{\hbox{Vol}(U)}\int_U f.$

This generalizes the arithmetic mean. On the other hand, it is also possible to generalize the geometric mean to functions by defining the geometric mean of f to be

$\exp\left(\frac{1}{\hbox{Vol}(U)}\int_U \log f\right).$

More generally, in measure theory and probability theory either sort of mean plays an important role. In this context, Jensen's inequality places sharp estimates on the relationship between these two different notions of the mean of a function.

### Mean of anglesEdit

Most of the usual means fail on circular quantities, like angles, daytimes, fractional parts of real numbers. For those quantities you need a mean of circular quantities.

## Properties Edit

All means share some properties and additional properties are shared by the most common means. Some of these properties are collected here.

### Weighted mean Edit

A weighted mean $M$ is a function which maps tuples of positive numbers to a positive number ($\mathbb{R}_{>0}^n\to\mathbb{R}_{>0}$).

• "Fixed point": $M(1,1,\dots,1) = 1$
• Homogeneity: $\forall\lambda\ \forall x\ M(\lambda\cdot x_1, \dots, \lambda\cdot x_n) = \lambda \cdot M(x_1, \dots, x_n)$
(using vector notation: $\forall\lambda\ \forall x\ M(\lambda\cdot x) = \lambda \cdot M x$)
• Monotony: $\forall x\ \forall y\ (\forall i\ x_i \le y_i) \Rightarrow M x \le M y$

It follows

• Boundedness: $\forall x\ M x \in [\min x, \max x]$
• Continuity: $\lim_{x\to y} M x = M y$
Sketch of a proof: Because $\forall x\ \forall y\ \left(||x-y||_\infty\le\lambda\cdot\min y \Rightarrow (\forall i\ |x_i-y_i|\le\lambda\cdot y_i) \Rightarrow (\forall i\ x_i\le y_i+\lambda\cdot y_i) \Rightarrow M x \le(1+\lambda)\cdot M y\right)$ it follows $\forall x\ \forall y\ Mx\ge My\ \Rightarrow\ \forall \varepsilon>0\ ||x-y||_\infty\le\frac{\varepsilon\cdot\min y}{M y} \Rightarrow |Mx-My|\le\varepsilon$.
• There are means which are not differentiable. For instance, the maximum number of a tuple is considered a mean (as an extreme case of the power mean, or as a special case of a median), but is not differentiable.
• All means listed above, with the exception of most of the Generalized f-means, satisfy the presented properties.
• If $f$ is bijective, then the generalized f-mean satisfies the fixed point property.
• If $f$ is strictly monotonic, then the generalized f-mean satisfy also the monotony property.
• In general a generalized f-mean will miss homogeneity.

The above properties imply techniques to construct more complex means:

If $C, M_1, \dots, M_m$ are weighted means, $p$ is a positive real number, then $A, B$ with

$\forall x\ A x = C(M_1 x, \dots, M_m x)$
$\forall x\ B x = \sqrt[p]{C(x_1^p, \dots, x_n^p)}$

are also a weighted mean.

### Unweighted mean Edit

Intuitively spoken, an unweighted mean is a weighted mean with equal weights. Since our definition of weighted mean above does not expose particular weights, equal weights must be asserted by a different way. A different view on homogeneous weighting is, that the inputs can be swapped without altering the result.

Thus we define $M$ being an unweighted mean if it is a weighted mean and for each permutation $\pi$ of inputs, the result is the same. Let $P$ be the set of permutations of $n$-tuples.

Symmetry: $\forall x\ \forall \pi\in P \ M x = M(\pi x)$

Analogously to the weighted means, if $C$ is a weighted mean and $M_1, \dots, M_m$ are unweighted means, $p$ is a positive real number, then $A, B$ with

$\forall x\ A x = C(M_1 x, \dots, M_m x)$
$\forall x\ B x = \sqrt[p]{M_1(x_1^p, \dots, x_n^p)}$

are also unweighted means.

### Convert unweighted mean to weighted mean Edit

An unweighted mean can be turned into a weighted mean by repeating elements. This connection can also be used to state that a mean is the weighted version of an unweighted mean. Say you have the unweighted mean $M$ and weight the numbers by natural numbers $a_1,\dots,a_n$. (If the numbers are rational, then multiply them with the least common denominator.) Then the corresponding weighted mean $A$ is obtained by

$A(x_1,\dots,x_n) = M(\underbrace{x_1,\dots,x_1}_{a_1},x_2,\dots,x_{n-1},\underbrace{x_n,\dots,x_n}_{a_n}).$

### Means of tuples of different sizes Edit

If a mean $M$ is defined for tuples of several sizes, then one also expects that the mean of a tuple is bounded by the means of partitions. More precisely

• Given an arbitrary tuple $x$, which is partitioned into $y_1, \dots, y_k$, then it holds $M x \in \mathrm{convexhull}(M y_1, \dots, M y_k)$. (See Convex hull)

## Population and sample meansEdit

The mean of a population has an expected value of μ, known as the population mean. The sample mean makes a good estimator of the population mean, as its expected value is the same as the population mean. The sample mean of a population is a random variable, not a constant, and consequently it will have its own distribution. For a random sample of n observations from a normally distributed population, the sample mean distribution is

$\bar{x} \thicksim N\left\{\mu, \frac{\sigma^2}{n}\right\}.$

Often, since the population variance is an unknown parameter, it is estimated by the mean sum of squares, which changes the distribution of the sample mean from a normal distribution to a Student's t distribution with n − 1 degrees of freedom.

## Mathematics educationEdit

In many state and government curriculum standards, students are traditionally expected to learn either the meaning or formula for computing the mean by the fourth grade. However, in many standards-based mathematics curricula, students are encouraged to invent their own methods, and may not be taught the traditional method. Reform based texts such as TERC in fact discourage teaching the traditional "add the numbers and divide by the number of items" method in favor of spending more time on the concept of median, which does not require division. However, mean can be computed with a simple four-function calculator, while median requires an abacus. The same teacher guide devotes several pages on how to find the median of a set, which is judged to be simpler than finding the mean.

For an independent identical distribution from the reals, the mean of a sample is an unbiased estimator for the mean of the population.