In
statistics
Statistics (from German language, German: ', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a s ...
, an empirical distribution function ( an empirical cumulative distribution function, eCDF) is the
distribution function associated with the
empirical measure of a
sample. This
cumulative distribution function
In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x.
Ever ...
is a
step function that jumps up by at each of the data points. Its value at any specified value of the measured variable is the fraction of observations of the measured variable that are less than or equal to the specified value.
The empirical distribution function is an
estimate of the cumulative distribution function that generated the points in the sample. It converges with probability 1 to that underlying distribution, according to the
Glivenko–Cantelli theorem
In the theory of probability, the Glivenko–Cantelli theorem (sometimes referred to as the fundamental theorem of statistics), named after Valery Ivanovich Glivenko and Francesco Paolo Cantelli, describes the asymptotic behaviour of the empirica ...
. A number of results exist to quantify the rate of
convergence
Convergence may refer to:
Arts and media Literature
*''Convergence'' (book series), edited by Ruth Nanda Anshen
*Convergence (comics), "Convergence" (comics), two separate story lines published by DC Comics:
**A four-part crossover storyline that ...
of the empirical distribution function to the underlying cumulative distribution function.
Definition
Let be
independent, identically distributed real random variables with the common
cumulative distribution function
In probability theory and statistics, the cumulative distribution function (CDF) of a real-valued random variable X, or just distribution function of X, evaluated at x, is the probability that X will take a value less than or equal to x.
Ever ...
. Then the empirical distribution function is defined as
[
]
:
where
is the
indicator of
event . For a fixed , the indicator
is a
Bernoulli random variable with parameter ; hence
is a
binomial random variable with
mean
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 statist ...
and
variance
In probability theory and statistics, variance is the expected value of the squared deviation from the mean of a random variable. The standard deviation (SD) is obtained as the square root of the variance. Variance is a measure of dispersion ...
. This implies that
is an
unbiased
Bias is a disproportionate weight ''in favor of'' or ''against'' an idea or thing, usually in a way that is inaccurate, closed-minded, prejudicial, or unfair. Biases can be innate or learned. People may develop biases for or against an individ ...
estimator for .
However, in some textbooks, the definition is given as
:
Asymptotic properties
Since the ratio approaches 1 as goes to infinity, the asymptotic properties of the two definitions that are given above are the same.
By the
strong law of large numbers, the estimator
converges to as
almost surely
In probability theory, an event is said to happen almost surely (sometimes abbreviated as a.s.) if it happens with probability 1 (with respect to the probability measure). In other words, the set of outcomes on which the event does not occur ha ...
, for every value of :
:
thus the estimator
is
consistent
In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
. This expression asserts the pointwise convergence of the empirical distribution function to the true cumulative distribution function. There is a stronger result, called the
Glivenko–Cantelli theorem
In the theory of probability, the Glivenko–Cantelli theorem (sometimes referred to as the fundamental theorem of statistics), named after Valery Ivanovich Glivenko and Francesco Paolo Cantelli, describes the asymptotic behaviour of the empirica ...
, which states that the convergence in fact happens uniformly over :
:
The sup-norm in this expression is called the
Kolmogorov–Smirnov statistic for testing the goodness-of-fit between the empirical distribution
and the assumed true cumulative distribution function . Other
norm functions may be reasonably used here instead of the sup-norm. For example, the
L2-norm gives rise to the
Cramér–von Mises statistic.
The asymptotic distribution can be further characterized in several different ways. First, the
central limit theorem
In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the Probability distribution, distribution of a normalized version of the sample mean converges to a Normal distribution#Standard normal distributi ...
states that ''pointwise'',
has asymptotically normal distribution with the standard
rate of convergence:
:
This result is extended by the
Donsker’s theorem, which asserts that the ''
empirical process''
, viewed as a function indexed by
,
converges in distribution in the
Skorokhod space