Uniform integrability

Last updated July 10, 2024

In mathematics, uniform integrability is an important concept in real analysis, functional analysis and measure theory, and plays a vital role in the theory of martingales.

Measure-theoretic definition

Uniform integrability is an extension to the notion of a family of functions being dominated in $L_{1}$ which is central in dominated convergence. Several textbooks on real analysis and measure theory use the following definition:^[1]^[2]

Definition A: Let $(X,{\mathfrak {M}},\mu )$ be a positive measure space. A set $\Phi \subset L^{1}(\mu )$ is called uniformly integrable if $\sup _{f\in \Phi }\|f\|_{L_{1}(\mu )}<\infty$ , and to each $\varepsilon >0$ there corresponds a $\delta >0$ such that
$\int _{E}|f|\,d\mu <\varepsilon$
whenever $f\in \Phi$ and $\mu (E)<\delta .$

Definition A is rather restrictive for infinite measure spaces. A more general definition^[3] of uniform integrability that works well in general measures spaces was introduced by G. A. Hunt.

Definition H: Let $(X,{\mathfrak {M}},\mu )$ be a positive measure space. A set $\Phi \subset L^{1}(\mu )$ is called uniformly integrable if and only if
$\inf _{g\in L_{+}^{1}(\mu )}\sup _{f\in \Phi }\int _{\{|f|>g\}}|f|\,d\mu =0$
where $L_{+}^{1}(\mu )=\{g\in L^{1}(\mu ):g\geq 0\}$ .

Since Hunt's definition is equivalent to Definition A when the underlying measure space is finite (see Theorem 2 below), Definition H is widely adopted in Mathematics.

The following result^[4] provides another equivalent notion to Hunt's. This equivalency is sometimes given as definition for uniform integrability.

Theorem 1: If $(X,{\mathfrak {M}},\mu )$ is a (positive) finite measure space, then a set $\Phi \subset L^{1}(\mu )$ is uniformly integrable if and only if
$\inf _{g\in L_{+}^{1}(\mu )}\sup _{f\in \Phi }\int (|f|-g)^{+}\,d\mu =0$
If in addition $\mu (X)<\infty$ , then uniform integrability is equivalent to either of the following conditions
1. $\inf _{a>0}\sup _{f\in \Phi }\int (|f|-a)_{+}\,d\mu =0$ .
2. $\inf _{a>0}\sup _{f\in \Phi }\int _{\{|f|>a\}}|f|\,d\mu =0$

When the underlying space $(X,{\mathfrak {M}},\mu )$ is $\sigma$ -finite, Hunt's definition is equivalent to the following:

Theorem 2: Let $(X,{\mathfrak {M}},\mu )$ be a $\sigma$ -finite measure space, and $h\in L^{1}(\mu )$ be such that $h>0$ almost everywhere. A set $\Phi \subset L^{1}(\mu )$ is uniformly integrable if and only if $\sup _{f\in \Phi }\|f\|_{L_{1}(\mu )}<\infty$ , and for any $\varepsilon >0$ , there exits $\delta >0$ such that
$\sup _{f\in \Phi }\int _{A}|f|\,d\mu <\varepsilon$
whenever $\int _{A}h\,d\mu <\delta$ .

A consequence of Theorems 1 and 2 is that equivalence of Definitions A and H for finite measures follows. Indeed, the statement in Definition A is obtained by taking $h\equiv 1$ in Theorem 2.

Probability definition

In the theory of probability, Definition A or the statement of Theorem 1 are often presented as definitions of uniform integrability using the notation expectation of random variables.,^[5]^[6]^[7] that is,

1. A class ${\mathcal {C}}$ of random variables is called uniformly integrable if:

There exists a finite $M$ such that, for every $X$ in ${\mathcal {C}}$ , $\operatorname {E} (|X|)\leq M$ and
For every $\varepsilon >0$ there exists $\delta >0$ such that, for every measurable $A$ such that $P(A)\leq \delta$ and every $X$ in ${\mathcal {C}}$ , $\operatorname {E} (|X|I_{A})\leq \varepsilon$ .

or alternatively

2. A class ${\mathcal {C}}$ of random variables is called uniformly integrable (UI) if for every $\varepsilon >0$ there exists $K\in [0,\infty )$ such that $\operatorname {E} (|X|I_{|X|\geq K})\leq \varepsilon \ {\text{ for all }}X\in {\mathcal {C}}$ , where $I_{|X|\geq K}$ is the indicator function $I_{|X|\geq K}={\begin{cases}1&{\text{if }}|X|\geq K,\\0&{\text{if }}|X|<K.\end{cases}}$ .

Tightness and uniform integrability

One consequence of uniformly integrability of a class ${\mathcal {C}}$ of random variables is that family of laws or distributions $\{P\circ |X|^{-1}(\cdot ):X\in {\mathcal {C}}\}$ is tight. That is, for each $\delta >0$ , there exists $a>0$ such that $P(|X|>a)\leq \delta$ for all $X\in {\mathcal {C}}$ .^[8]

This however, does not mean that the family of measures ${\mathcal {V}}_{\mathcal {C}}:={\Big \{}\mu _{X}:A\mapsto \int _{A}|X|\,dP,\,X\in {\mathcal {C}}{\Big \}}$ is tight. (In any case, tightness would require a topology on $\Omega$ in order to be defined.)

Uniform absolute continuity

There is another notion of uniformity, slightly different than uniform integrability, which also has many applications in probability and measure theory, and which does not require random variables to have a finite integral^[9]

Definition: Suppose $(\Omega ,{\mathcal {F}},P)$ is a probability space. A classed ${\mathcal {C}}$ of random variables is uniformly absolutely continuous with respect to $P$ if for any $\varepsilon >0$ , there is $\delta >0$ such that $E[|X|I_{A}]<\varepsilon$ whenever $P(A)<\delta$ .

It is equivalent to uniform integrability if the measure is finite and has no atoms.

The term "uniform absolute continuity" is not standard,^{[ citation needed ]} but is used by some authors.^[10]^[11]

Related corollaries

The following results apply to the probabilistic definition.^[12]

Definition 1 could be rewritten by taking the limits as $\lim _{K\to \infty }\sup _{X\in {\mathcal {C}}}\operatorname {E} (|X|\,I_{|X|\geq K})=0.$
A non-UI sequence. Let $\Omega =[0,1]\subset \mathbb {R}$ , and define $X_{n}(\omega )={\begin{cases}n,&\omega \in (0,1/n),\\0,&{\text{otherwise.}}\end{cases}}$ Clearly $X_{n}\in L^{1}$ , and indeed $\operatorname {E} (|X_{n}|)=1\ ,$ for all n. However, $\operatorname {E} (|X_{n}|I_{\{|X_{n}|\geq K\}})=1\ {\text{ for all }}n\geq K,$ and comparing with definition 1, it is seen that the sequence is not uniformly integrable.

By using Definition 2 in the above example, it can be seen that the first clause is satisfied as $L^{1}$ norm of all $X_{n}$ s are 1 i.e., bounded. But the second clause does not hold as given any $\delta$ positive, there is an interval $(0,1/n)$ with measure less than $\delta$ and $E[|X_{m}|:(0,1/n)]=1$ for all $m\geq n$ .
If $X$ is a UI random variable, by splitting $\operatorname {E} (|X|)=\operatorname {E} (|X|I_{\{|X|\geq K\}})+\operatorname {E} (|X|I_{\{|X|<K\}})$ and bounding each of the two, it can be seen that a uniformly integrable random variable is always bounded in $L^{1}$ .
If any sequence of random variables $X_{n}$ is dominated by an integrable, non-negative $Y$ : that is, for all ω and n, $|X_{n}(\omega )|\leq Y(\omega ),\ Y(\omega )\geq 0,\ \operatorname {E} (Y)<\infty ,$ then the class ${\mathcal {C}}$ of random variables $\{X_{n}\}$ is uniformly integrable.
A class of random variables bounded in $L^{p}$ ( $p>1$ ) is uniformly integrable.

Relevant theorems

In the following we use the probabilistic framework, but regardless of the finiteness of the measure, by adding the boundedness condition on the chosen subset of $L^{1}(\mu )$ .

Dunford–Pettis theorem^[13]^[14]
A class^{[ clarification needed ]} of random variables $X_{n}\subset L^{1}(\mu )$ is uniformly integrable if and only if it is relatively compact for the weak topology $\sigma (L^{1},L^{\infty })$ .^{[ clarification needed ]}^{[ citation needed ]}
de la Vallée-Poussin theorem^[15]^[16]
The family $\{X_{\alpha }\}_{\alpha \in \mathrm {A} }\subset L^{1}(\mu )$ is uniformly integrable if and only if there exists a non-negative increasing convex function $G(t)$ such that $\lim _{t\to \infty }{\frac {G(t)}{t}}=\infty {\text{ and }}\sup _{\alpha }\operatorname {E} (G(|X_{\alpha }|))<\infty .$

Relation to convergence of random variables

A sequence $\{X_{n}\}$ converges to $X$ in the $L_{1}$ norm if and only if it converges in measure to $X$ and it is uniformly integrable. In probability terms, a sequence of random variables converging in probability also converge in the mean if and only if they are uniformly integrable.^[17] This is a generalization of Lebesgue's dominated convergence theorem, see Vitali convergence theorem.

Citations

↑ Rudin, Walter (1987). Real and Complex Analysis (3 ed.). Singapore: McGraw–Hill Book Co. p. 133. ISBN 0-07-054234-1.
↑ Royden, H.L. & Fitzpatrick, P.M. (2010). Real Analysis (4 ed.). Boston: Prentice Hall. p. 93. ISBN 978-0-13-143747-0.
↑ Hunt, G. A. (1966). Martingales et Processus de Markov. Paris: Dunod. p. 254.
↑ Klenke, A. (2008). Probability Theory: A Comprehensive Course. Berlin: Springer Verlag. pp. 134–137. ISBN 978-1-84800-047-6.
↑ Williams, David (1997). Probability with Martingales (Repr. ed.). Cambridge: Cambridge Univ. Press. pp. 126–132. ISBN 978-0-521-40605-5.
↑ Gut, Allan (2005). Probability: A Graduate Course. Springer. pp. 214–218. ISBN 0-387-22833-0.
↑ Bass, Richard F. (2011). Stochastic Processes. Cambridge: Cambridge University Press. pp. 356–357. ISBN 978-1-107-00800-7.
↑ Gut 2005, p. 236.
↑ Bass 2011, p. 356.
↑ Benedetto, J. J. (1976). Real Variable and Integration. Stuttgart: B. G. Teubner. p. 89. ISBN 3-519-02209-5.
↑ Burrill, C. W. (1972). Measure, Integration, and Probability. McGraw-Hill. p. 180. ISBN 0-07-009223-0.
↑ Gut 2005, pp. 215–216.
↑ Dunford, Nelson (1938). "Uniformity in linear spaces". Transactions of the American Mathematical Society. 44 (2): 305–356. doi: 10.1090/S0002-9947-1938-1501971-X . ISSN 0002-9947.
↑ Dunford, Nelson (1939). "A mean ergodic theorem". Duke Mathematical Journal. 5 (3): 635–646. doi:10.1215/S0012-7094-39-00552-1. ISSN 0012-7094.
↑ Meyer, P.A. (1966). Probability and Potentials, Blaisdell Publishing Co, N. Y. (p.19, Theorem T22).
↑ Poussin, C. De La Vallee (1915). "Sur L'Integrale de Lebesgue". Transactions of the American Mathematical Society. 16 (4): 435–501. doi:10.2307/1988879. hdl: 10338.dmlcz/127627 . JSTOR 1988879.
↑ Bogachev, Vladimir I. (2007). "The spaces Lp and spaces of measures". Measure Theory Volume I. Berlin Heidelberg: Springer-Verlag. p. 268. doi:10.1007/978-3-540-34514-5_4. ISBN 978-3-540-34513-8.

Related Research Articles

In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the distribution of a normalized version of the sample mean converges to a standard normal distribution. This holds even if the original variables themselves are not normally distributed. There are several versions of the CLT, each applying in the context of different conditions.

In mathematics, the $L p$ spaces are function spaces defined using a natural generalization of the $p$ -norm for finite-dimensional vector spaces. They are sometimes called Lebesgue spaces, named after Henri Lebesgue, although according to the Bourbaki group they were first introduced by Frigyes Riesz.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the good convergence behaviour of monotonic sequences, i.e. sequences that are non-increasing, or non-decreasing. In its simplest form, it says that a non-decreasing bounded-above sequence of real numbers $converges to its smallest upper bound, its supremum. Likewise, a non-increasing bounded-below sequence converges to its largest lower bound, its infimum. In particular, infinite sums of non-negative numbers converge to the supremum of the partial sums if and only if the partial sums are bounded.$

Noether's theorem states that every continuous symmetry of the action of a physical system with conservative forces has a corresponding conservation law. This is the first of two theorems proven by mathematician Emmy Noether in 1915 and published in 1918. The action of a physical system is the integral over time of a Lagrangian function, from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries of physical space.

In calculus and real analysis, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central operations of calculus—differentiation and integration. This relationship is commonly characterized in the framework of Riemann integration, but with absolute continuity it may be formulated in terms of Lebesgue integration. For real-valued functions on the real line, two interrelated notions appear: absolute continuity of functions and absolute continuity of measures. These two notions are generalized in different directions. The usual derivative of a function is related to the Radon–Nikodym derivative, or density, of a measure. We have the following chains of inclusions for functions over a compact subset of the real line:

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

Vapnik–Chervonenkis theory was developed during 1960–1990 by Vladimir Vapnik and Alexey Chervonenkis. The theory is a form of computational learning theory, which attempts to explain the learning process from a statistical point of view.

In mathematical analysis, a function of bounded variation, also known as $BV$ function, is a real-valued function whose total variation is bounded (finite): the graph of a function having this property is well behaved in a precise sense. For a continuous function of a single variable, being of bounded variation means that the distance along the direction of the $y$ -axis, neglecting the contribution of motion along $x$ -axis, traveled by a point moving along the graph has a finite value. For a continuous function of several variables, the meaning of the definition is the same, except for the fact that the continuous path to be considered cannot be the whole graph of the given function, but can be every intersection of the graph itself with a hyperplane parallel to a fixed $x$ -axis and to the $y$ -axis.

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation x ↦ f(x), for x ∈ [a, b]. Functions whose total variation is finite are called functions of bounded variation.

In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: e.g. mixing paint, mixing drinks, industrial mixing.

<span class="mw-page-title-main">Classical Wiener space</span>

In mathematics, classical Wiener space is the collection of all continuous functions on a given domain, taking values in a metric space. Classical Wiener space is useful in the study of stochastic processes whose sample paths are continuous functions. It is named after the American mathematician Norbert Wiener.

In mathematics, more specifically measure theory, there are various notions of the convergence of measures. For an intuitive general sense of what is meant by convergence of measures, consider a sequence of measures $μ n$ on a space, sharing a common collection of measurable sets. Such a sequence might represent an attempt to construct 'better and better' approximations to a desired measure $μ$ that is difficult to obtain directly. The meaning of 'better and better' is subject to all the usual caveats for taking limits; for any error tolerance $ε > 0$ we require there be $N$ sufficiently large for $n \geq N$ to ensure the 'difference' between $μ n$ and $μ$ is smaller than $ε$ . Various notions of convergence specify precisely what the word 'difference' should mean in that description; these notions are not equivalent to one another, and vary in strength.

The Titchmarsh convolution theorem describes the properties of the support of the convolution of two functions. It was proven by Edward Charles Titchmarsh in 1926.

In real analysis and measure theory, the Vitali convergence theorem, named after the Italian mathematician Giuseppe Vitali, is a generalization of the better-known dominated convergence theorem of Henri Lebesgue. It is a characterization of the convergence in L^p in terms of convergence in measure and a condition related to uniform integrability.

In mathematical analysis, and especially in real, harmonic analysis and functional analysis, an Orlicz space is a type of function space which generalizes the L^p spaces. Like the L^p spaces, they are Banach spaces. The spaces are named for Władysław Orlicz, who was the first to define them in 1932.

In mathematics, the Pettis integral or Gelfand–Pettis integral, named after Israel M. Gelfand and Billy James Pettis, extends the definition of the Lebesgue integral to vector-valued functions on a measure space, by exploiting duality. The integral was introduced by Gelfand for the case when the measure space is an interval with Lebesgue measure. The integral is also called the weak integral in contrast to the Bochner integral, which is the strong integral.

The exponential mechanism is a technique for designing differentially private algorithms. It was developed by Frank McSherry and Kunal Talwar in 2007. Their work was recognized as a co-winner of the 2009 PET Award for Outstanding Research in Privacy Enhancing Technologies.

The uncertainty theory invented by Baoding Liu is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms.

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset $that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the " " subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.$

References

Shiryaev, A.N. (1995). Probability (2 ed.). New York: Springer-Verlag. pp. 187–188. ISBN 978-0-387-94549-1.
Diestel, J. and Uhl, J. (1977). Vector measures, Mathematical Surveys 15, American Mathematical Society, Providence, RI ISBN 978-0-8218-1515-1

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Rudin, Walter (1987). Real and Complex Analysis (3 ed.). Singapore: McGraw–Hill Book Co. p. 133. ISBN 0-07-054234-1.

[2] Royden, H.L. & Fitzpatrick, P.M. (2010). Real Analysis (4 ed.). Boston: Prentice Hall. p. 93. ISBN 978-0-13-143747-0.

[3] Hunt, G. A. (1966). Martingales et Processus de Markov. Paris: Dunod. p. 254.

[4] Klenke, A. (2008). Probability Theory: A Comprehensive Course. Berlin: Springer Verlag. pp. 134–137. ISBN 978-1-84800-047-6.

[5] Williams, David (1997). Probability with Martingales (Repr. ed.). Cambridge: Cambridge Univ. Press. pp. 126–132. ISBN 978-0-521-40605-5.

[6] Gut, Allan (2005). Probability: A Graduate Course. Springer. pp. 214–218. ISBN 0-387-22833-0.

[7] Bass, Richard F. (2011). Stochastic Processes. Cambridge: Cambridge University Press. pp. 356–357. ISBN 978-1-107-00800-7.

[FOOTNOTEGut2005236-8] Gut 2005, p. 236.

[FOOTNOTEBass2011356-9] Bass 2011, p. 356.

[10] Benedetto, J. J. (1976). Real Variable and Integration. Stuttgart: B. G. Teubner. p. 89. ISBN 3-519-02209-5.

[11] Burrill, C. W. (1972). Measure, Integration, and Probability. McGraw-Hill. p. 180. ISBN 0-07-009223-0.

[FOOTNOTEGut2005215–216-12] Gut 2005, pp. 215–216.

[13] Dunford, Nelson (1938). "Uniformity in linear spaces". Transactions of the American Mathematical Society. 44 (2): 305–356. doi: 10.1090/S0002-9947-1938-1501971-X . ISSN 0002-9947.

[14] Dunford, Nelson (1939). "A mean ergodic theorem". Duke Mathematical Journal. 5 (3): 635–646. doi:10.1215/S0012-7094-39-00552-1. ISSN 0012-7094.

[15] Meyer, P.A. (1966). Probability and Potentials, Blaisdell Publishing Co, N. Y. (p.19, Theorem T22).

[16] Poussin, C. De La Vallee (1915). "Sur L'Integrale de Lebesgue". Transactions of the American Mathematical Society. 16 (4): 435–501. doi:10.2307/1988879. hdl: 10338.dmlcz/127627 . JSTOR 1988879.

[17] Bogachev, Vladimir I. (2007). "The spaces Lp and spaces of measures". Measure Theory Volume I. Berlin Heidelberg: Springer-Verlag. p. 268. doi:10.1007/978-3-540-34514-5_4. ISBN 978-3-540-34513-8.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]