 Absolute continuity

In mathematics, the relationship between the two central operations of calculus, differentiation and integration, stated by fundamental theorem of calculus in the framework of Riemann integration, is generalized in several directions, using Lebesgue integration and absolute continuity. For realvalued 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.
Contents
Absolute continuity of functions
It may happen that a continuous function f is differentiable almost everywhere on [0,1], its derivative f ′ is Lebesgue integrable, and nevertheless the integral of f ′ differs from the increment of f. For example, this happens for the Cantor function, which means that this function is not absolutely continuous. Absolute continuity of functions is a smoothness property which is stricter than continuity and uniform continuity.
Definition
Let I be an interval in the real line R. A function f: I → R is absolutely continuous on I if for every positive number , there is a positive number δ such that whenever a finite sequence of pairwise disjoint subintervals (x_{k}, y_{k}) of I satisfies^{[1]}
then
The collection of all absolutely continuous functions on I is denoted AC(I).
Equivalent definitions
The following conditions on a realvalued function f on a compact interval [a,b] are equivalent:^{[2]}
 (1) f is absolutely continuous;
 (2) f has a derivative f ′ almost everywhere, the derivative is Lebesgue integrable, and
 for all x on [a,b];
 (3) there exists a Lebesgue integrable function g on [a,b] such that
 for all x on [a,b].
If these equivalent conditions are satisfied then necessarily g = f ′ almost everywhere.
Equivalence between (1) and (3) is known as the fundamental theorem of Lebesgue integral calculus, due to Lebesgue.^{[3]}
For an equivalent definition in terms of measures see the section Relation between the two notions of absolute continuity.
Properties
 The sum and difference of two absolutely continuous functions are also absolutely continuous. If the two functions are defined on a bounded closed interval, then their product is also absolutely continuous.^{[4]}
 If an absolutely continuous function is defined on a bounded closed interval and is nowhere zero then its reciprocal is absolutely continuous.^{[5]}
 Every absolutely continuous function is uniformly continuous and, therefore, continuous. Every Lipschitzcontinuous function is absolutely continuous.^{[6]}
 If f: [a,b] → R is absolutely continuous, then it is of bounded variation on [a,b].^{[7]}
 If f: [a,b] → R is absolutely continuous, then it has the Luzin N property (that is, for any such that λ(L) = 0, it holds that λ(f(L)) = 0, where λ stands for the Lebesgue measure on R).
 f: I → R is absolutely continuous if and only if it is continuous, is of bounded variation and has the Luzin N property.
Examples
The following functions are continuous everywhere but not absolutely continuous:
 the Cantor function;
 the function

 on a finite interval containing the origin;
 the function ƒ(x) = x^{ 2} on an unbounded interval.
Generalizations
Let (X, d) be a metric space and let I be an interval in the real line R. A function f: I → X is absolutely continuous on I if for every positive number , there is a positive number δ such that whenever a finite sequence of pairwise disjoint subintervals [x_{k}, y_{k}] of I satisfies
then
The collection of all absolutely continuous functions from I into X is denoted AC(I; X).
A further generalization is the space AC^{p}(I; X) of curves f: I → X such that^{[8]}
for some m in the L^{p} space L^{p}(I).
Properties of these generalizations
 Every absolutely continuous function is uniformly continuous and, therefore, continuous. Every Lipschitzcontinuous function is absolutely continuous.
 If f: [a,b] → X is absolutely continuous, then it is of bounded variation on [a,b].
 For f ∈ AC^{p}(I; X), the metric derivative of f exists for λalmost all times in I, and the metric derivative is the smallest m ∈ L^{p}(I; R) such that^{[9]}
Absolute continuity of measures
Definition
A measure μ on Borel subsets of the real line is absolutely continuous with respect to Lebesgue measure λ (in other words, dominated by λ) if μ(A) = 0 for every set A for which λ(A) = 0. This is written as “μ << λ”.
In most applications, if a measure on the real line is simply said to be absolutely continuous — without specifying with respect to which other measure it is absolutely continuous — then absolute continuity with respect to Lebesgue measure is meant.
The same holds for R^{n} for all n=1,2,3,...
Equivalent definitions
The following conditions on a finite measure μ on Borel subsets of the real line are equivalent:^{[10]}
 (1) μ is absolutely continuous;
 (2) for every positive number ε there is a positive number δ such that μ(A) < ε for all Borel sets A of Lebesgue measure less than δ;
 (3) there exists a Lebesgue integrable function g on the real line such that
 for all Borel subsets A of the real line.
For an equivalent definition in terms of functions see the section Relation between the two notions of absolute continuity.
Any other function satisfying (3) is equal to g almost everywhere. Such a function is called RadonNikodym derivative, or density, of the absolutely continuous measure μ.
Equivalence between (1), (2) and (3) holds also in R^{n} for all n=1,2,3,...
Thus, the absolutely continuous measures on R^{n} are precisely those that have densities; as a special case, the absolutely continuous probability measures are precisely the ones that have probability density functions.
Generalizations
If μ and ν are two measures on the same measurable space then μ is said to be absolutely continuous with respect to ν, or dominated by ν if μ(A) = 0 for every set A for which ν(A) = 0.^{[11]} This is written as “μ ν”. In symbols:
Absolute continuity of measures is reflexive and transitive, but is not antisymmetric, so it is a preorder rather than a partial order. Instead, if μ ν and ν μ, the measures μ and ν are said to be equivalent. Thus absolute continuity induces a partial ordering of such equivalence classes.
If μ is a signed or complex measure, it is said that μ is absolutely continuous with respect to ν if its variation μ satisfies μ ≪ ν; equivalently, if every set A for which ν(A) = 0 is μnull.
The Radon–Nikodym theorem^{[12]} states that if μ is absolutely continuous with respect to ν, and both measures are σfinite, then μ has a density, or "RadonNikodym derivative", with respect to ν, which means that there exists a νmeasurable function f taking values in [0, +∞], denoted by f = ^{dμ}⁄_{dν}, such that for any νmeasurable set A we have
Singular measures
Via Lebesgue's decomposition theorem,^{[13]} every measure can be decomposed into the sum of an absolutely continuous measure and a singular measure. See singular measure for examples of measures that are not absolutely continuous.
Relation between the two notions of absolute continuity
A finite measure μ on Borel subsets of the real line is absolutely continuous with respect to Lebesgue measure if and only if the point function
is locally an absolutely continuous real function. In other words, a function is locally absolutely continuous if and only if its distributional derivative is a measure that is absolutely continuous with respect to the Lebesgue measure.
If the absolute continuity holds then the RadonNikodym derivative of μ is equal almost everywhere to the derivative of F.^{[14]}
More generally, the measure μ is assumed to be locally finite (rather than finite) and F(x) is defined as μ((0,x]) for x>0, 0 for x=0, and μ((x,0]) for x<0. In this case μ is the LebesgueStieltjes measure generated by F.^{[15]} The relation between the two notions of absolute continuity still holds.^{[16]}
Notes
 ^ Royden 1988, Sect. 5.4, page 108; Nielsen 1997, Definition 15.6 on page 251; Athreya & Lahiri 2006, Definitions 4.4.1, 4.4.2 on pages 128,129. The interval I is assumed to be bounded and closed in the former two books but not the latter book.
 ^ Nielsen 1997, Theorem 20.8 on page 354; also Royden 1988, Sect. 5.4, page 110 and Athreya & Lahiri 2006, Theorems 4.4.1, 4.4.2 on pages 129,130.
 ^ Athreya & Lahiri 2006, before Theorem 4.4.1 on page 129.
 ^ Royden 1988, Problem 5.14(a,b) on page 111.
 ^ Royden 1988, Problem 5.14(c) on page 111.
 ^ Royden 1988, Problem 5.20(a) on page 112.
 ^ Royden 1988, Lemma 5.11 on page 108.
 ^ Ambrosio, Gigli & Savaré 2005, Definition 1.1.1 on page 23
 ^ Ambrosio, Gigli & Savaré 2005, Theorem 1.1.2 on page 24
 ^ Equivalence between (1) and (2) is a special case of Nielsen 1997, Proposition 15.5 on page 251 (fails for σfinite measures); equivalence between (1) and (3) is a special case of the Radon–Nikodym theorem, see Nielsen 1997, Theorem 15.4 on page 251 or Athreya & Lahiri 2006, Item (ii) of Theorem 4.1.1 on page 115 (still holds for σfinite measures).
 ^ Nielsen 1997, Definition 15.3 on page 250; Royden 1988, Sect. 11.6, page 276; Athreya & Lahiri 2006, Definition 4.1.1 on page 113.
 ^ Royden 1988, Theorem 11.23 on page 276; Nielsen 1997, Theorem 15.4 on page 251; Athreya & Lahiri 2006, Item (ii) of Theorem 4.1.1 on page 115.
 ^ Royden 1988, Proposition 11.24 on page 278; Nielsen 1997, Theorem 15.14 on page 262; Athreya & Lahiri 2006, Item (i) of Theorem 4.1.1 on page 115.
 ^ Royden 1988, Problem 12.17(b) on page 303.
 ^ Athreya & Lahiri 2006, Sect. 1.3.2, page 26.
 ^ Nielsen 1997, Proposition 15.7 on page 252; Athreya & Lahiri 2006, Theorem 4.4.3 on page 131; Royden 1988, Problem 12.17(a) on page 303.
References
 Ambrosio, Luigi; Gigli, Nicola; Savaré, Guiseppe (2005), Gradient Flows in Metric Spaces and in the Space of Probability Measures, ETH Zürich, Birkhäuser Verlag, Basel, ISBN 3764324287
 Athreya, Krishna B.; Lahiri, Soumendra N. (2006), Measure theory and probability theory, Springer, ISBN 038732903X
 Nielsen, Ole A. (1997), An introduction to integration and measure theory, WileyInterscience, ISBN 0471595187
 Royden, H.L. (1988), Real Analysis (third ed.), Collier Macmillan, ISBN 0024041513
Categories: Continuous mappings
 Real analysis
 Measure theory
Wikimedia Foundation. 2010.