In measure theory (a branch of mathematical analysis), one says that a property holds almost everywhere if the set of elements for which the property does not hold is a null set, i.e. is a set with measure zero. If used for properties of the real numbers, the Lebesgue measure is assumed unless otherwise stated. It is abbreviated a. e.; in older literature one can find p. p. instead, which stands for the equivalent French language phrase presque partout.

Occasionally, instead of saying that a property holds almost everywhere, one also says that the property holds for almost all elements, though the term almost all also has other meanings.

Here are some theorems that involve the term "almost everywhere":

• If f : R → R is a Lebesgue integrable function and f(x) ≥ 0 almost everywhere, then

$\backslash int\; f(x)\; \backslash ,\; dx\; \backslash geq\; 0.$

• If f : b → R is a monotonic function, then f is differentiable almost everywhere.
• If f : R → R is Lebesgue measurable and

for every real numbers a < b, then there exists a null set E (depending on f) such that, if x is not in E, the Lebesgue mean

$\backslash frac\{1\}\{2\backslash epsilon\}\; \backslash int\_\{x-\backslash epsilon\}^\{x+\backslash epsilon\}\; f(t)\backslash ,dt$

converges to f(x) as $\backslash epsilon$ decreases to zero. In other words, the Lebesgue mean of f converges to f almost everywhere. The set E is called the Lebesgue set of f.

• If f(x,y) is Borel measurable on R² then for almost every x, the function y→f(x,y) is Borel measurable.

• A bounded function f : b -> R is Riemann integrable if and only if it is continuous almost everywhere.

Outside of the context of real analysis, the notion of a property true almost everywhere can be defined in terms of an ultrafilter. For example, one construction of the hyperreal number system defines a hyperreal number as an equivalence class of sequences that are equal almost everywhere as defined by an ultrafilter.

In probability theory, the phrases become almost surely, almost certain or almost always, corresponding to a probability of 1.

References

Measure theory | Mathematical terminology

Presque partout | Quasi ovunque | Bijna overal | Почти всюду | Nästan överallt