Namespaces
Variants
Actions

Difference between revisions of "Absolute continuity"

From Encyclopedia of Mathematics
Jump to: navigation, search
m
m (link)
 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{MSC|28A33}}
+
{{MSC|28A33}} (Absolute continuity of measures)
 +
 
 +
{{MSC|26A46}} (Absolute continuity of functions)
  
 
[[Category:Classical measure theory]]
 
[[Category:Classical measure theory]]
Line 10: Line 12:
 
euclidean space and let $f\in L^1 (\mathbb R^n, \lambda)$. Then for every $\varepsilon>0$ there is a $\delta>0$ such that
 
euclidean space and let $f\in L^1 (\mathbb R^n, \lambda)$. Then for every $\varepsilon>0$ there is a $\delta>0$ such that
 
\[
 
\[
\left|\int_E f (x) \rd\lambda (x)\right| < \varepsilon \qquad \text{for every measurable set $A$ with $\lambda (A)< \delta$}.
+
\left|\int_A f (x) \rd\lambda (x)\right| < \varepsilon \qquad \mbox{for every measurable set}\, A \mbox{ with } \lambda (A)< \delta\, .
 
\]
 
\]
 
This property can be generalized to measures $\mu$ on a $\sigma$-algebra $\mathcal{B}$ of subsets of a space $X$ and
 
This property can be generalized to measures $\mu$ on a $\sigma$-algebra $\mathcal{B}$ of subsets of a space $X$ and
Line 24: Line 26:
 
the existence of a function $f\in L^1 (\mu)$ such that $\nu = f \mu$, i.e. such that  
 
the existence of a function $f\in L^1 (\mu)$ such that $\nu = f \mu$, i.e. such that  
 
\[
 
\[
\nu (A) = \int_A f\, \rd\mu \qquad \text{for every $A\in\mathcal{B}$.}
+
\nu (A) = \int_A f\, \rd\mu \qquad \text{for every } A\in\mathcal{B}.
 
\]
 
\]
A corollary of the Radon-Nikodym, the Hahn decomposition theorem, characterizes signed measures
+
A corollary of the Radon-Nikodym, the [[Jordan decomposition (of a signed measure)|Jordan decomposition Theorem]], characterizes signed measures
as differences of nonnegative measures. We refer to [[Signed measure]] for more on this topic.
+
as differences of nonnegative measures. We refer to [[Signed measure]] for more on this topic (see also [[Hahn decomposition]]).
  
 
===Absolute continuity of a function===
 
===Absolute continuity of a function===
 
A function $f:I\to \mathbb R$, where $I$ is an interval of the real line,  
 
A function $f:I\to \mathbb R$, where $I$ is an interval of the real line,  
 
is said absolutely continuous if for every $\varepsilon> 0$  
 
is said absolutely continuous if for every $\varepsilon> 0$  
there is $\delta> 0$ such that, for any $a_1<b_1<a_2<b_2<\ldots < a_n<b_n \in I$ with  
+
there is $\delta> 0$ such that, for every finite collection of pairwise disjoint intervals $(a_1,b_1), (a_2,b_2), \ldots , (a_n,b_n) \subset I$ with  
$\sum_i |a_i -b_i| <\delta$, we have
+
$\sum_i (b_i-a_i) <\delta$, we have
 
\[
 
\[
\sum_i |f(a_i)-f (b_i)| <\varepsilon
+
\sum_i |f(b_i)-f (a_i)| <\varepsilon
 
\]
 
\]
 
(see Section 4 in Chapter 5 of {{Cite|Ro}}).
 
(see Section 4 in Chapter 5 of {{Cite|Ro}}).
Line 45: Line 47:
 
Take for instance the function $f:[0,1]\to \mathbb R$ such that $f(0)=0$ and $f(x) = x \sin x^{-1}$ for
 
Take for instance the function $f:[0,1]\to \mathbb R$ such that $f(0)=0$ and $f(x) = x \sin x^{-1}$ for
 
$x>0$. The space of absolutely continuous (real-valued) functions is a vector space.  
 
$x>0$. The space of absolutely continuous (real-valued) functions is a vector space.  
 +
 
A characterization of absolutely continuous functions on an interval might be
 
A characterization of absolutely continuous functions on an interval might be
given in terms of Sobolev spaces: a continuous function $f:I\to \mathbb R$ is absolutely continuous
+
given in terms of [[Sobolev space|Sobolev spaces]]: a continuous function $f:I\to \mathbb R$ is absolutely continuous
 
if and only its [[Generalized derivative|distributional derivative]] is an $L^1$ function, cp. with Theorem 1 in Section 4.9 of {{Cite|EG}} (if $I$ is
 
if and only its [[Generalized derivative|distributional derivative]] is an $L^1$ function, cp. with Theorem 1 in Section 4.9 of {{Cite|EG}} (if $I$ is
 
bounded, this is equivalent to require $f\in W^{1,1} (I)$). Vice versa,  
 
bounded, this is equivalent to require $f\in W^{1,1} (I)$). Vice versa,  
Line 62: Line 65:
  
 
The differentiability almost everywhere does not imply the absolute continuity: a notable
 
The differentiability almost everywhere does not imply the absolute continuity: a notable
example is the [[Cantor set#Cantor staircase|Cantor ternary function or devil staircase]] (see Problem 46 in Chapter 2 of {{Cite|Ro}}). Though such function is differentiable
+
example is the [[Cantor ternary function]] or "Devil's staircase" (see Problem 46 in Chapter 2 of {{Cite|Ro}}). Though such function is differentiable
 
almost everywhere, it fails to satisfy \ref{e:fundamental} since the derivative vanishes almost everywhere but the function is not constant, cp. with Problems 11 and 12 of Chapter 5 in {{Cite|Ro}} (indeed the generalized derivative
 
almost everywhere, it fails to satisfy \ref{e:fundamental} since the derivative vanishes almost everywhere but the function is not constant, cp. with Problems 11 and 12 of Chapter 5 in {{Cite|Ro}} (indeed the generalized derivative
 
of the Cantor ternary function is a measure which is not absolutely continuous with respect to
 
of the Cantor ternary function is a measure which is not absolutely continuous with respect to
 
the Lebesgue measure, see {{Cite|AFP}}).
 
the Lebesgue measure, see {{Cite|AFP}}).
  
It follows from \ref{e:fundamental} that an absolutely continuous function maps a set of (Lebesgue) measure zero into a set of measure zero, and a (Lebesgue) measurable set into a measurable set. Any continuous [[Function of bounded variation|function of bounded variation]] which maps each set of measure zero into a set of measure zero is absolutely continuous (this follows, for instance, from the [[Radon-Nikodym theorem]]). Any absolutely continuous function can be represented as the difference of two absolutely continuous non-decreasing functions.
+
It follows from \ref{e:fundamental} that an absolutely continuous function maps a set of (Lebesgue) measure zero into a set of measure zero (i.e. it has the [[Luzin-N-property]]), and a (Lebesgue) measurable set into a measurable set. Any continuous [[Function of bounded variation|function of bounded variation]] which maps each set of measure zero into a set of measure zero is absolutely continuous (this follows, for instance, from the [[Radon-Nikodym theorem]]). Any absolutely continuous function can be represented as the difference of two absolutely continuous non-decreasing functions.
  
 
====Metric setting====
 
====Metric setting====
 
This notion can be easily generalized when the target of the function is a [[Metric space|metric space]] $(X,d)$. In that case the function $f:I\to X$ is absolutely continuous if for every positive $\varepsilon$ there is a positive $\delta$ such that  
 
This notion can be easily generalized when the target of the function is a [[Metric space|metric space]] $(X,d)$. In that case the function $f:I\to X$ is absolutely continuous if for every positive $\varepsilon$ there is a positive $\delta$ such that  
for any $a_1<b_1<a_2<b_2<\ldots < a_n<b_n \in I$ with $\sum_i |a_i -b_i| <\delta$, we have
+
for any $a_1<b_1\leq a_2<b_2 \leq \ldots \leq a_n<b_n \in I$ with $\sum_i |a_i -b_i| <\delta$, we have
 
\[
 
\[
 
\sum_i d (f (b_i), f(a_i)) <\varepsilon\, .
 
\sum_i d (f (b_i), f(a_i)) <\varepsilon\, .
Line 85: Line 88:
  
 
'''Definition 2'''
 
'''Definition 2'''
If  $f:I\to X$ is a absolutely continuous and $I$ is compact, the metric  derivative of $f$ is the function $g\in L^1$ with the smalles $L^1$ norm  such that \ref{e:metric} holds (cp. with {{Cite|AGS}}).
+
If  $f:I\to X$ is absolutely continuous and $I$ is a closed interval, the metric  derivative of $f$ is the function $g\in L^1$ with the smallest $L^1$ norm  such that \ref{e:metric} holds (cp. with {{Cite|AGS}}).
  
The definition can be easily generalized to noncompact domains. Observe also that, if $X$ is the standard Euclidean space $\mathbb R^k$, then the metric derivative of $f$ is the ''norm'' of the classical derivative.
+
The definition can be easily generalized to more general domains of definition. Observe also that, if $X$ is the standard Euclidean space $\mathbb R^k$, then the metric derivative of $f$ is the ''norm'' of the classical derivative.
  
===Reference===
+
===References===
 
{|
 
{|
 
|-
 
|-

Latest revision as of 11:50, 4 February 2021

2020 Mathematics Subject Classification: Primary: 28A33 [MSN][ZBL] (Absolute continuity of measures)

2020 Mathematics Subject Classification: Primary: 26A46 [MSN][ZBL] (Absolute continuity of functions)

Absolute continuity of the Lebesgue integral

Describes a property of absolutely Lebesgue integrable functions. Consider the Lebesgue measure $\lambda$ on the $n$-dimensional euclidean space and let $f\in L^1 (\mathbb R^n, \lambda)$. Then for every $\varepsilon>0$ there is a $\delta>0$ such that \[ \left|\int_A f (x) \rd\lambda (x)\right| < \varepsilon \qquad \mbox{for every measurable set}\, A \mbox{ with } \lambda (A)< \delta\, . \] This property can be generalized to measures $\mu$ on a $\sigma$-algebra $\mathcal{B}$ of subsets of a space $X$ and to functions $f\in L^1 (X, \mu)$ (cp. with Theorem 12.34 of [HS]).

Absolute continuity of measures

A concept in measure theory (see also Absolutely continuous measures). If $\mu$ and $\nu$ are two measures on a σ-algebra $\mathcal{B}$ of subsets of $X$, we say that $\nu$ is absolutely continuous with respect to $\mu$ if $\nu (A) =0$ for any $A\in\mathcal{B}$ such that $\mu (A) =0$ (cp. with Defininition 2.11 of [Ma]). This definition can be generalized to signed measures $\nu$ and even to vector-valued measures $\nu$. Some authors generalize it further to vector-valued $\mu$'s: in that case the absolute continuity of $\nu$ with respect to $\mu$ amounts to the requirement that $\nu (A) = 0$ for any $A\in\mathcal{B}$ such that $|\mu| (A)=0$, where $|\mu|$ is the total variation of $\mu$ (see for instance Section 30 of [Ha]).

The Radon-Nikodym theorem (see Theorem B, Section 31 of [Ha]) characterizes the absolute continuity of $\nu$ with respect to $\mu$ with the existence of a function $f\in L^1 (\mu)$ such that $\nu = f \mu$, i.e. such that \[ \nu (A) = \int_A f\, \rd\mu \qquad \text{for every } A\in\mathcal{B}. \] A corollary of the Radon-Nikodym, the Jordan decomposition Theorem, characterizes signed measures as differences of nonnegative measures. We refer to Signed measure for more on this topic (see also Hahn decomposition).

Absolute continuity of a function

A function $f:I\to \mathbb R$, where $I$ is an interval of the real line, is said absolutely continuous if for every $\varepsilon> 0$ there is $\delta> 0$ such that, for every finite collection of pairwise disjoint intervals $(a_1,b_1), (a_2,b_2), \ldots , (a_n,b_n) \subset I$ with $\sum_i (b_i-a_i) <\delta$, we have \[ \sum_i |f(b_i)-f (a_i)| <\varepsilon \] (see Section 4 in Chapter 5 of [Ro]).

An absolutely continuous function is always continuous. Indeed, if the interval of definition is open, then the absolutely continuous function has a continuous extension to its closure, which is itself absolutely continuous. A continuous function might not be absolutely continuous, even if the interval $I$ is compact. Take for instance the function $f:[0,1]\to \mathbb R$ such that $f(0)=0$ and $f(x) = x \sin x^{-1}$ for $x>0$. The space of absolutely continuous (real-valued) functions is a vector space.

A characterization of absolutely continuous functions on an interval might be given in terms of Sobolev spaces: a continuous function $f:I\to \mathbb R$ is absolutely continuous if and only its distributional derivative is an $L^1$ function, cp. with Theorem 1 in Section 4.9 of [EG] (if $I$ is bounded, this is equivalent to require $f\in W^{1,1} (I)$). Vice versa, for any function with $L^1$ distributional derivative there is an absolutely continuous representative, i.e. an absolutely continuous $\tilde{f}$ such that $\tilde{f} = f$ a.e. (cp. again with [EG]). The latter statement can be proved using the absolute continuity of the Lebesgue integral.

An absolutely continuous function is differentiable almost everywhere and its pointwise derivative coincides with the generalized one. The fundamental theorem of calculus holds for absolutely continuous functions, i.e. if we denote by $f'$ its pointwise derivative, we then have \begin{equation}\label{e:fundamental} f (b)-f(a) = \int_a^b f' (x)\rd x \qquad \forall a<b\in I. \end{equation} In fact this is yet another characterization of absolutely continuous functions (see Theorem 13 and Corollary 11 of Section 4 in Chapter 5 of [Ro]).

The differentiability almost everywhere does not imply the absolute continuity: a notable example is the Cantor ternary function or "Devil's staircase" (see Problem 46 in Chapter 2 of [Ro]). Though such function is differentiable almost everywhere, it fails to satisfy \ref{e:fundamental} since the derivative vanishes almost everywhere but the function is not constant, cp. with Problems 11 and 12 of Chapter 5 in [Ro] (indeed the generalized derivative of the Cantor ternary function is a measure which is not absolutely continuous with respect to the Lebesgue measure, see [AFP]).

It follows from \ref{e:fundamental} that an absolutely continuous function maps a set of (Lebesgue) measure zero into a set of measure zero (i.e. it has the Luzin-N-property), and a (Lebesgue) measurable set into a measurable set. Any continuous function of bounded variation which maps each set of measure zero into a set of measure zero is absolutely continuous (this follows, for instance, from the Radon-Nikodym theorem). Any absolutely continuous function can be represented as the difference of two absolutely continuous non-decreasing functions.

Metric setting

This notion can be easily generalized when the target of the function is a metric space $(X,d)$. In that case the function $f:I\to X$ is absolutely continuous if for every positive $\varepsilon$ there is a positive $\delta$ such that for any $a_1<b_1\leq a_2<b_2 \leq \ldots \leq a_n<b_n \in I$ with $\sum_i |a_i -b_i| <\delta$, we have \[ \sum_i d (f (b_i), f(a_i)) <\varepsilon\, . \] The absolute continuity guarantees the uniform continuity. As for real valued functions, there is a characterization through an appropriate notion of derivative.

Theorem 1 A continuous function $f$ is absolutely continuous if and only if there is a function $g\in L^1_{loc} (I, \mathbb R)$ such that \begin{equation}\label{e:metric} d (f(b), f(a))\leq \int_a^b g(t)\, dt \qquad \forall a<b\in I\, \end{equation} (cp. with [AGS]). This theorem motivates the following

Definition 2 If $f:I\to X$ is absolutely continuous and $I$ is a closed interval, the metric derivative of $f$ is the function $g\in L^1$ with the smallest $L^1$ norm such that \ref{e:metric} holds (cp. with [AGS]).

The definition can be easily generalized to more general domains of definition. Observe also that, if $X$ is the standard Euclidean space $\mathbb R^k$, then the metric derivative of $f$ is the norm of the classical derivative.

References

[AFP] L. Ambrosio, N. Fusco, D. Pallara, "Functions of bounded variations and free discontinuity problems". Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 2000. MR1857292Zbl 0957.49001
[AGS] L. Ambrosio, N. Gigli, G. Savaré, "Gradient flows in metric spaces and in the space of probability measures". Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 2005. MR2129498 Zbl 1090.35002
[Bi] P. Billingsley, "Convergence of probability measures" , Wiley (1968) MR0233396 Zbl 0172.21201
[Bo] N. Bourbaki, "Elements of mathematics. Integration" , Addison-Wesley (1975) pp. Chapt.6;7;8 (Translated from French) MR0583191 Zbl 1116.28002 Zbl 1106.46005 Zbl 1106.46006 Zbl 1182.28002 Zbl 1182.28001 Zbl 1095.28002 Zbl 1095.28001 Zbl 0156.06001
[DS] N. Dunford, J.T. Schwartz, "Linear operators. General theory" , 1 , Interscience (1958) MR0117523 Zbl 0635.47001
[EG] L.C. Evans, R.F. Gariepy, "Measure theory and fine properties of functions" Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 1992. MR1158660 Zbl 0804.2800
[Ha] P.R. Halmos, "Measure theory" , v. Nostrand (1950) MR0033869 Zbl 0040.16802
[HS] E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965) MR0188387 Zbl 0137.03202
[KF] A.N. Kolmogorov, S.V. Fomin, "Elements of the theory of functions and functional analysis" , 1–2 , Graylock (1957–1961). MR0085462 MR0118796Zbl 0103.08801
[Ma] P. Mattila, "Geometry of sets and measures in euclidean spaces". Cambridge Studies in Advanced Mathematics, 44. Cambridge University Press, Cambridge, 1995. MR1333890 Zbl 0911.28005
[Ro] H.L. Royden, "Real analysis" , Macmillan (1969) MR0151555 Zbl 0197.03501
[Ru] W. Rudin, "Principles of mathematical analysis", Third edition, McGraw-Hill (1976) MR038502 Zbl 0346.2600
[Ta] A.E. Taylor, "General theory of functions and integration" , Blaisdell (1965) MRMR0178100 Zbl 0135.11301
How to Cite This Entry:
Absolute continuity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Absolute_continuity&oldid=27471
This article was adapted from an original article by A.P. Terekhin, V.F. Emel'yanov, L.D. Kudryavtsev, V.V. Sazonov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article