A continuous-looking object can still hide mass, oscillation, or variation in places a weaker notion cannot detect. Absolute continuity asks when smallness in one sense forces smallness in another, especially when ordinary [continuity](/page/Continuity) is too local or too pointwise to control accumulation. For functions on an interval, continuity says that moving the input a small distance moves the output a small distance. That condition is local at a point. It does not prevent the function from making many tiny changes on many tiny intervals whose total effect is large. Absolute continuity asks for a stronger bargain: if a finite collection of intervals has small total length, then the total oscillation of the function across those intervals is small. For measures, the same idea appears in a sharper form. If a measure $\mu$ declares a set invisible, does another measure $\nu$ also ignore it? Absolute continuity of $\nu$ with respect to $\mu$ says yes. The slogan is that $\nu$ has no mass outside the measure-theoretic world seen by $\mu$. The simplest failure is a function that is continuous everywhere, increases from $0$ to $1$, has derivative $0$ almost everywhere, and yet cannot be recovered by integrating its derivative. Such a function violates the usual calculus story. [example: The Cantor Function Breaks Naive Calculus] Let $C\subsetneq[0,1]$ be the middle-thirds [Cantor set](/page/Cantor%20Set), and let $F:[0,1]\to[0,1]$ be the Cantor function, normalized so that $F(0)=0$ and $F(1)=1$. The function $F$ is continuous, nondecreasing, and constant on each [connected component](/page/Connected%20Component) of $[0,1]\setminus C$. If $x\in[0,1]\setminus C$, then $x$ lies in an open interval component $(\alpha,\beta)$ of $[0,1]\setminus C$, so $F$ is constant on $(\alpha,\beta)$ and therefore \begin{align*} F'(x)=0. \end{align*} Thus $F'=0$ on $[0,1]\setminus C$. Since $\mathcal L^1(C)=0$, this says $F'=0$ for $\mathcal L^1$-a.e. $x\in[0,1]$, and hence \begin{align*} \int_0^1 F'(x)\,d\mathcal L^1(x)=\int_0^1 0\,d\mathcal L^1(x)=0. \end{align*} On the other hand, \begin{align*} F(1)-F(0)=1-0=1. \end{align*} Therefore this continuous, nondecreasing, almost-everywhere differentiable function satisfies \begin{align*} F(1)-F(0)\ne \int_0^1 F'(x)\,d\mathcal L^1(x). \end{align*} The example shows that continuity and almost-everywhere differentiability alone do not justify the formula \begin{align*} F(b)-F(a)=\int_a^b F'(x)\,d\mathcal L^1(x). \end{align*} [/example] The Cantor function isolates the missing condition. We need a form of continuity that prevents a function from hiding total variation on a set of length zero. That condition is absolute continuity. Before the formal definition, we fix the basic measure notation used throughout the page. On the real line, $\mathcal B(I)$ denotes the Borel $\sigma$-algebra of an interval $I\subset\mathbb R$, and $\mathcal L^1$ denotes one-dimensional [Lebesgue measure](/page/Lebesgue%20Measure). Thus $L^1(I,\mathcal B(I),\mathcal L^1)$ is the space of integrable functions on $I$ with respect to Lebesgue measure; when no ambiguity is possible, this is abbreviated to $L^1(I)$. ## Definition The pointwise definition of continuity controls one input at a time. To recover integration from differentiation, we need to control many disjoint input intervals at once, because a derivative is integrated over sets rather than inspected at single points. In the measure-theoretic language around this page, the core domination idea is even sharper: null sets for the reference measure must also be null for the controlled measure. [definition: Absolute Continuity] For a complex measure $\nu:\mathcal E\to\mathbb C$ and a positive measure $\mu:\mathcal E\to[0,\infty]$ on a measurable space $(E,\mathcal E)$, absolute continuity means that $\mu(A)=0$ implies $\nu(A)=0$ for every $A\in\mathcal E$. [/definition] This primary definition foregrounds the measure-theoretic meaning used throughout the page: $\nu$ is controlled by $\mu$ precisely when $\mu$-null sets cannot carry $\nu$-mass. The interval version below is the one-dimensional calculus analogue of the same domination idea. ## Absolute Continuity of Functions The interval definition looks technical until it is compared with ordinary continuity. Ordinary continuity can be checked near each point; absolute continuity monitors the total effect of many separated changes. The distinction matters because integration is additive across disjoint sets. The interval form is the one that repairs the [fundamental theorem of calculus](/theorems/632). It asks for uniform control over every finite family of disjoint intervals, not just one neighbourhood of one point. [definition: Absolutely Continuous Function on an Interval] Let $I\subset\mathbb R$ be an interval, and let $f:I\to\mathbb C$ be a function. The function $f$ is absolutely continuous on $I$ if for every $\varepsilon>0$ there exists $\delta>0$ such that for every finite family of pairwise disjoint intervals with endpoints $a_k,b_k\in I$ and $a_k<b_k$, $1\le k\le n$, \begin{align*} \sum_{k=1}^n (b_k-a_k)<\delta \quad\implies\quad \sum_{k=1}^n |f(b_k)-f(a_k)|<\varepsilon. \end{align*} [/definition] This is a uniform condition over all finite interval families. The number of intervals is not fixed, so the definition rules out infinitely distributed oscillation after passing through finite approximations. It also explains why absolute continuity is stronger than [uniform continuity](/page/Uniform%20Continuity): a single interval is only the special case $n=1$. On an unbounded interval, this is the global version of absolute continuity on the whole interval; local absolute continuity would only require the same condition on each compact subinterval. ### Integral Representation A first sanity check is that functions recovered by integrating an $L^1$ function should be absolutely continuous. Otherwise the definition would be too strong for the main objects produced by Lebesgue integration. [quotetheorem:10120] The statement says that indefinite Lebesgue integrals have exactly the kind of distributed continuity required by the definition. The next question is whether every absolutely [continuous function](/page/Continuous%20Function) is produced this way, because that is what would restore the fundamental theorem of calculus. The theorem below gives the converse, which is the main reason absolute continuity deserves its own name. It says that an absolutely continuous function is not merely compatible with integration; it is generated by an integrable derivative. [quotetheorem:10121] This theorem repairs the failure seen in the Cantor function. Absolute continuity is precisely the condition that makes the derivative carry all of the function's change. ### Comparison with Lipschitz Regularity The fundamental theorem places absolute continuity near differentiability and integration. To understand its strength, we compare it with a more familiar global condition: a uniform bound on slopes. [definition: Lipschitz Function on an Interval] Let $I\subset\mathbb R$ be an interval, and let $f:I\to\mathbb C$ be a function. The function $f$ is Lipschitz on $I$ if there exists $L\ge0$ such that for all $x,y\in I$, \begin{align*} |f(x)-f(y)|\le L|x-y|. \end{align*} [/definition] A Lipschitz condition bounds each oscillation by a fixed multiple of length. This is more rigid than the small-total-length control in absolute continuity, but it should still force that control: if every interval contributes at most a fixed multiple of its length, then a disjoint family with small total length has small total oscillation. This raises the first comparison question: does the familiar slope bound automatically give the interval-family control required in the definition of absolute continuity? The comparison theorem makes this domination precise. [quotetheorem:10122] The implication is strict. Absolute continuity allows unbounded derivatives as long as those derivatives remain integrable, so it is flexible enough for analysis while still strong enough for the fundamental theorem. [example: An Absolutely Continuous Function That Is Not Lipschitz] Define $f:[0,1]\to\mathbb R$ by $f(x)=\sqrt{x}$. For every $x\in(0,1]$, \begin{align*} \frac{|f(x)-f(0)|}{|x-0|}=\frac{|\sqrt{x}-0|}{x}=\frac{\sqrt{x}}{x}=\frac{1}{\sqrt{x}}. \end{align*} This quotient is not bounded: if $M>0$, then choosing $0<x<1/M^2$ gives $\sqrt{x}<1/M$, hence $1/\sqrt{x}>M$. Therefore no constant $L\ge0$ can satisfy $|f(x)-f(y)|\le L|x-y|$ for all $x,y\in[0,1]$, so $f$ is not Lipschitz. On the other hand, for $x\in(0,1]$, \begin{align*} f'(x)=\frac{d}{dx}x^{1/2}=\frac{1}{2}x^{-1/2}=\frac{1}{2\sqrt{x}}. \end{align*} The derivative is integrable on $(0,1)$, since \begin{align*} \int_0^1 \frac{1}{2\sqrt{t}}\,d\mathcal L^1(t)=\lim_{\varepsilon\downarrow0}\int_\varepsilon^1 \frac{1}{2\sqrt{t}}\,d\mathcal L^1(t)=\lim_{\varepsilon\downarrow0}(1-\sqrt{\varepsilon})=1. \end{align*} For $x=0$, \begin{align*} \int_0^0 \frac{1}{2\sqrt{t}}\,d\mathcal L^1(t)=0=f(0). \end{align*} For $x\in(0,1]$, \begin{align*} \int_0^x \frac{1}{2\sqrt{t}}\,d\mathcal L^1(t)=\lim_{\varepsilon\downarrow0}\int_\varepsilon^x \frac{1}{2\sqrt{t}}\,d\mathcal L^1(t)=\lim_{\varepsilon\downarrow0}(\sqrt{x}-\sqrt{\varepsilon})=\sqrt{x}=f(x). \end{align*} Thus $f(x)=\int_0^x (2\sqrt{t})^{-1}\,d\mathcal L^1(t)$ for every $x\in[0,1]$, so $f$ is absolutely continuous by *Integral Representation Implies Absolute Continuity*. This example shows that absolute continuity allows an unbounded pointwise slope as long as the slope is integrable. [/example] This example clarifies the analytic balance: absolute continuity does not demand a uniform pointwise slope bound, but it does demand that the total slope be integrable. ### Bounded Variation and Singular Change A monotone function cannot oscillate back and forth, so it has bounded total variation. Yet monotonicity alone still allows the function to concentrate all its increase on a null set. To separate these behaviours, we need the variation language. [definition: Total Variation on an Interval] Let $a<b$. The total variation on $[a,b]$ is the map $V_a^b:\mathbb C^{[a,b]}\to[0,\infty]$ defined for a function $f:[a,b]\to\mathbb C$ by \begin{align*} V_a^b(f)=\sup\left\{\sum_{k=1}^n |f(x_k)-f(x_{k-1})| : a=x_0<x_1<\cdots<x_n=b,\ n\in\mathbb N\right\}. \end{align*} [/definition] Variation records the total amount of movement rather than the net displacement. Without a finiteness condition, this quantity is too large to distinguish controlled motion from arbitrary oscillation. The useful ambient class is therefore made of functions whose accumulated movement over all partitions remains finite. [definition: Function of Bounded Variation] Let $a<b$, and let $f:[a,b]\to\mathbb C$ be a function. The function $f$ has bounded variation on $[a,b]$ if \begin{align*} V_a^b(f)<\infty. \end{align*} [/definition] Absolute continuity is stronger than bounded variation, but bounded variation is the natural ambient class in which the missing pieces can be named. The point is that absolute continuity controls every disjoint collection of small intervals, and a partition is exactly such a collection arranged end to end. The structural question is whether this local control over disjoint intervals is strong enough to bound the total movement over all partitions. The bounded-variation theorem records that absolute continuity always has this finite-variation consequence. [quotetheorem:10123] The theorem explains why the Cantor function is not a problem of excessive variation. Its variation is only $1$. The problem is where that variation lives: it is concentrated on a null set. [example: A Continuous Function of Bounded Variation That Is Not Absolutely Continuous] Let $F:[0,1]\to[0,1]$ be the Cantor function, normalized by $F(0)=0$ and $F(1)=1$. Since $F$ is nondecreasing, for every partition $0=x_0<x_1<\cdots<x_n=1$ each increment $F(x_k)-F(x_{k-1})$ is nonnegative, so \begin{align*} \sum_{k=1}^n |F(x_k)-F(x_{k-1})|=\sum_{k=1}^n \bigl(F(x_k)-F(x_{k-1})\bigr)=F(1)-F(0)=1. \end{align*} Taking the supremum over all partitions gives $V_0^1(F)\le 1$, while the partition $0<1$ gives \begin{align*} V_0^1(F)\ge |F(1)-F(0)|=|1-0|=1. \end{align*} Hence $V_0^1(F)=1$, so $F$ has bounded variation. The Cantor function is constant on every connected component of $[0,1]\setminus C$, where $C$ is the middle-thirds Cantor set. Thus $F'(x)=0$ for every $x\in[0,1]\setminus C$, and since $\mathcal L^1(C)=0$, we have $F'=0$ for $\mathcal L^1$-a.e. $x\in[0,1]$. If $F$ were absolutely continuous, then *Fundamental Theorem for Absolutely Continuous Functions* would give \begin{align*} F(1)-F(0)=\int_0^1 F'(x)\,d\mathcal L^1(x). \end{align*} But the left-hand side is \begin{align*} F(1)-F(0)=1-0=1, \end{align*} whereas the right-hand side is \begin{align*} \int_0^1 F'(x)\,d\mathcal L^1(x)=\int_0^1 0\,d\mathcal L^1(x)=0. \end{align*} This contradiction shows that the Cantor function is continuous and has bounded variation, but is not absolutely continuous. [/example] The example introduces the central pathology without requiring any discontinuity. Absolute continuity is not merely about ruling out jumps; it also rules out singular continuous change. ## Absolute Continuity of Measures For measures, absolute continuity is the language of domination. If $\nu\ll\mu$, then the null sets of $\mu$ are also null for $\nu$. This is weaker than a pointwise inequality $|\nu(A)|\le C\mu(A)$, but it is strong enough to force a density under the hypotheses of the [Radon-Nikodym theorem](/theorems/1247). The relation is asymmetric: it says that $\nu$ is controlled by $\mu$, not that the two measures see the same sets. This is the canonical form of absolute continuity on this page. [definition: Absolute Continuity of a Measure] Let $(E,\mathcal E)$ be a measurable space, let $\mu:\mathcal E\to[0,\infty]$ be a positive measure, and let $\nu:\mathcal E\to\mathbb C$ be a complex measure. The measure $\nu$ is absolutely continuous with respect to $\mu$, written $\nu\ll\mu$, if for every $A\in\mathcal E$, \begin{align*} \mu(A)=0 \implies \nu(A)=0. \end{align*} [/definition] The definition replaces pointwise closeness by null-set control. This raises a second question: for a complex measure, which positive measure records the size of $\nu$ without allowing cancellation? ### Total Variation of Complex Measures To discuss complex measures carefully, one first has to remove cancellation. A complex measure can assign values with different arguments to different pieces of a set, so looking only at $\nu(A)$ can hide large contributions that cancel in the sum. The positive measure attached to $\nu$ is obtained by partitioning a set and adding the magnitudes of the pieces. [definition: Total Variation Measure] Let $(E,\mathcal E)$ be a measurable space, and let $\nu:\mathcal E\to\mathbb C$ be a complex measure. The total variation measure of $\nu$ is the function $|\nu|:\mathcal E\to[0,\infty]$ defined for $A\in\mathcal E$ by \begin{align*} |\nu|(A)=\sup\left\{\sum_{k=1}^{\infty} |\nu(A_k)| : (A_k)_{k=1}^{\infty}\subset\mathcal E\text{ is pairwise disjoint and }A=\bigcup_{k=1}^{\infty} A_k\right\}. \end{align*} [/definition] This definition converts a signed or complex counting problem into a positive measure problem. It prevents cancellation from hiding mass, so it is the right object for comparing complex measures to a positive reference measure. [quotetheorem:10124] The theorem means that absolute continuity of complex measures can be tested after replacing the measure by its size. This keeps the theory aligned with positive measure estimates. ### Small Sets and Quantitative Control The null-set definition is qualitative, but analysis often needs a quantitative version. For finite measures, absolute continuity also says that sets with sufficiently small $\mu$-measure have small $|\nu|$-measure. [quotetheorem:10125] This result is the direct measure-theoretic analogue of absolute continuity for functions. It replaces finite families of intervals by arbitrary measurable sets, and it replaces total oscillation by total variation measure. [example: Lebesgue Measure and Counting Measure] Let $E=[0,1]$, let $\mathcal E=\mathcal B([0,1])$, let $\mu$ be counting measure on $\mathcal E$, and let $\nu=\mathcal L^1|_{[0,1]}$. We first show that $\nu\ll\mu$. If $A\in\mathcal E$ and $\mu(A)=0$, then counting measure gives \begin{align*} \mu(A)=\#A. \end{align*} The only set with cardinality $0$ is the empty set, so $A=\varnothing$. Therefore \begin{align*} \nu(A)=\nu(\varnothing)=\mathcal L^1(\varnothing)=0. \end{align*} Thus every $\mu$-null Borel set is $\nu$-null, so $\nu\ll\mu$. The reverse absolute continuity fails. Fix any $x\in[0,1]$. The singleton $\{x\}$ is Borel, and Lebesgue measure gives \begin{align*} \nu(\{x\})=\mathcal L^1(\{x\})=0. \end{align*} Counting measure gives \begin{align*} \mu(\{x\})=\#\{x\}=1. \end{align*} So there exists a $\nu$-null set, namely $\{x\}$, which is not $\mu$-null. Hence $\mu\not\ll\nu$. This example shows that absolute continuity is directional: Lebesgue measure is absolutely continuous with respect to counting measure on $[0,1]$, but counting measure is not absolutely continuous with respect to Lebesgue measure. [/example] The example demonstrates the asymmetry of the relation. Counting measure sees every nonempty set, while Lebesgue measure ignores singletons; absolute continuity only follows the null sets in the specified direction. ## Densities and the Radon-Nikodym Theorem The strongest reason to introduce absolute [continuity of measures](/theorems/1082) is that it recognises when one measure has a density with respect to another. The density is not additional decoration; it is the function that lets measure theory return to integration. When a measure is built by integrating a function, absolute continuity is automatic. This construction is the model case behind the [Radon-Nikodym theorem](/theorems/2640), and it should be isolated before the abstract theorem is stated. [definition: Measure with Density] Let $(E,\mathcal E,\mu)$ be a [measure space](/page/Measure%20Space), and let $g\in L^1(E,\mathcal E,\mu)$. The complex measure with density $g$ with respect to $\mu$ is the map $\nu_g:\mathcal E\to\mathbb C$ defined by \begin{align*} \nu_g(A)=\int_A g\,d\mu. \end{align*} [/definition] The density $g$ measures how much $\nu_g$ charges each part of the underlying $\mu$-space. If $\mu(A)=0$, then integration over $A$ should contribute nothing, no matter how $g$ behaves away from $A$. To use $\nu_g$ as a measure controlled by $\mu$, this null-set behavior has to be checked from the integral formula itself. The possible obstruction is that $g$ may be large or poorly behaved on a null set, so the relevant question is whether integrability still forces every integral over a $\mu$-null measurable set to vanish. That is exactly the absolute-continuity property needed before density measures can serve as the model for Radon-Nikodym derivatives. [quotetheorem:10126] This theorem gives the easy direction: integrable densities produce [absolutely continuous measures](/page/Absolutely%20Continuous%20Measures). The harder direction reverses the problem: if $\nu$ is merely known to satisfy $\nu\ll\mu$, then the missing object is a function whose integrals recover $\nu$ on every measurable set. That reverse problem needs its own definition before it can become a theorem. Since measures assign mass to sets rather than values to points, the definition cannot be pointwise division; it must name a [measurable function](/page/Measurable%20Function) whose integrals reproduce all set values of $\nu$. [definition: Radon-Nikodym Derivative] Let $(E,\mathcal E,\mu)$ be a measure space, and let $\nu:\mathcal E\to\mathbb C$ be a finite complex measure. A measurable integrable function $g:E\to\mathbb C$, regarded as an element of $L^1(E,\mathcal E,\mu)$, is a Radon-Nikodym derivative of $\nu$ with respect to $\mu$ if for every $A\in\mathcal E$, \begin{align*} \nu(A)=\int_A g\,d\mu. \end{align*} [/definition] When such a function is fixed, it is denoted by $d\nu/d\mu$. For a positive measure $\nu$ represented with respect to a $\sigma$-finite positive measure $\mu$, the same notation is used for an extended nonnegative density $g:E\to[0,\infty]$. This density need not belong to $L^1(E,\mathcal E,\mu)$ unless the represented measure $\nu$ is finite. For finite complex measures, finiteness forces the representing density to be integrable. The notation $d\nu/d\mu$ is suggestive, but the definition is an integral identity over all measurable sets. The derivative is determined only up to equality $\mu$-a.e., because changing $g$ on a $\mu$-null set does not change any integral. The main theorem asks when such a representing function must exist. [quotetheorem:1247] The theorem says that absolute continuity is the exact condition for the existence of a density, once the standard $\sigma$-finiteness assumptions are in place. It is the measure-theoretic counterpart of the fundamental theorem for absolutely continuous functions. The complex-measure version follows by applying the positive theorem to total variation and then accounting for phase or sign. For analytic applications, the finite complex version is often the form that interacts with linear functionals and integration. [quotetheorem:10127] This version matches the graph context where $\nu$ is a complex measure. It also explains why the notation $\nu\ll\mu$ is so common in functional analysis: it is the hypothesis that allows complex linear functionals represented by measures to become integrals against densities. [example: A Weighted Lebesgue Measure] Let $E=[0,1]$, let $\mathcal E=\mathcal B([0,1])$, let $\mu=\mathcal L^1|_{[0,1]}$, and define \begin{align*} g(x)=2x+i\mathbb 1_{[1/2,1]}(x). \end{align*} For every $x\in[0,1]$, \begin{align*} |g(x)|\le 2x+\mathbb 1_{[1/2,1]}(x)\le 3. \end{align*} Since $\mathcal L^1([0,1])=1$, the constant function $3$ is integrable on $[0,1]$, so $g\in L^1(E,\mathcal E,\mu)$. For $A\in\mathcal E$, set \begin{align*} \nu(A)=\int_A g(x)\,d\mathcal L^1(x). \end{align*} This is the complex measure with density $g$ with respect to $\mu$. If $\mu(A)=0$, then $\mathbb 1_A g=0$ $\mathcal L^1$-a.e., so \begin{align*} \nu(A)=\int_A g\,d\mathcal L^1=\int_E \mathbb 1_A g\,d\mathcal L^1=0. \end{align*} Hence $\nu\ll\mu$, and by the defining integral identity for a Radon-Nikodym derivative, $d\nu/d\mu=g$ up to equality $\mu$-a.e. For the first interval, \begin{align*} \nu([0,1/2])=\int_{[0,1/2]} \left(2x+i\mathbb 1_{[1/2,1]}(x)\right)\,d\mathcal L^1(x). \end{align*} By linearity of the integral, \begin{align*} \nu([0,1/2])=\int_0^{1/2}2x\,d\mathcal L^1(x)+i\mathcal L^1(\{1/2\}). \end{align*} Since $\mathcal L^1(\{1/2\})=0$ and $\int_0^{1/2}2x\,d\mathcal L^1(x)=(1/2)^2-0^2=1/4$, \begin{align*} \nu([0,1/2])=\frac14. \end{align*} For the second interval, \begin{align*} \nu([1/2,1])=\int_{1/2}^1 2x\,d\mathcal L^1(x)+i\int_{1/2}^1 1\,d\mathcal L^1(x). \end{align*} The real part is \begin{align*} \int_{1/2}^1 2x\,d\mathcal L^1(x)=1^2-(1/2)^2=1-\frac14=\frac34, \end{align*} and the imaginary part is \begin{align*} \int_{1/2}^1 1\,d\mathcal L^1(x)=\mathcal L^1([1/2,1])=1-\frac12=\frac12. \end{align*} Therefore \begin{align*} \nu([1/2,1])=\frac34+\frac{i}{2}. \end{align*} This example shows concretely that the Radon-Nikodym derivative is the density used to compute the measure of each Borel set by integration. [/example] The example shows that the derivative is not metaphorical. It is the actual density used to compute the measure of every set by integration. The Radon-Nikodym theorem cannot be repaired if absolute continuity is removed. A measure with an atom cannot have a density with respect to Lebesgue measure, because singletons are invisible to $\mathcal L^1$ but not to the atomic measure. The cleanest way to test this obstruction is to put all mass at one point and ask whether integration against a Lebesgue density could ever reproduce it; the answer is no, and the object that records this failure is the Dirac measure. [definition: Dirac Measure] Let $(E,\mathcal E)$ be a measurable space, and let $x_0\in E$ be such that $\{x_0\}\in\mathcal E$. The Dirac measure at $x_0$ is the positive measure $\delta_{x_0}:\mathcal E\to[0,\infty]$ defined by \begin{align*} \delta_{x_0}(A)=\mathbb 1_{\{x_0\in A\}} \end{align*} for every $A\in\mathcal E$. [/definition] The Dirac measure concentrates all mass at one point. That makes it the minimal example of a measure that violates absolute continuity with respect to Lebesgue measure. [example: A Point Mass Has No Lebesgue Density] Let $\delta_0$ be the Dirac measure at $0$ on $(\mathbb R,\mathcal B(\mathbb R))$. The singleton $\{0\}$ is Borel, and one-dimensional Lebesgue measure assigns length zero to a singleton, so \begin{align*} \mathcal L^1(\{0\})=0. \end{align*} By the definition of the Dirac measure, \begin{align*} \delta_0(\{0\})=\mathbb 1_{\{0\in\{0\}\}}=1. \end{align*} Thus there is a Borel set with $\mathcal L^1$-measure zero but positive $\delta_0$-measure, so $\delta_0\not\ll\mathcal L^1$. Now suppose, for contradiction, that there were some $g\in L^1(\mathbb R,\mathcal B(\mathbb R),\mathcal L^1)$ such that \begin{align*} \delta_0(A)=\int_A g\,d\mathcal L^1 \end{align*} for every Borel set $A\subset\mathbb R$. Taking $A=\{0\}$ gives \begin{align*} 1=\delta_0(\{0\})=\int_{\{0\}} g\,d\mathcal L^1. \end{align*} Since $\mathcal L^1(\{0\})=0$ and $g$ is integrable, the integral of $g$ over the null set $\{0\}$ is zero: \begin{align*} \int_{\{0\}} g\,d\mathcal L^1=0. \end{align*} Therefore the assumed density would force \begin{align*} 1=0, \end{align*} which is impossible. Hence a point mass cannot be represented by integration against a Lebesgue density. [/example] This is the cleanest way to remember the role of null sets. A density cannot put mass where the reference measure has no room to integrate. ## Differentiation of Measures on the Line The function and measure viewpoints meet when a monotone function generates a measure. This construction turns increments of a function into measure values, and it makes the Cantor function pathology structural rather than accidental. The right object is the measure induced by a nondecreasing function. It records how much the function increases over intervals, including continuous singular increases and jumps. [definition: Lebesgue-Stieltjes Measure] Let $F:\mathbb R\to\mathbb R$ be nondecreasing and right-continuous. The Lebesgue-Stieltjes measure associated to $F$ is the unique Borel measure $\mu_F:\mathcal B(\mathbb R)\to[0,\infty]$ satisfying \begin{align*} \mu_F((a,b])=F(b)-F(a) \end{align*} for all $a<b$. [/definition] This definition turns a function into a measure by treating increments as masses. If $F$ jumps at an interior point, the associated measure has an atom there, and an atom cannot be absolutely continuous with respect to Lebesgue measure. To compare this construction with absolute continuity of a function on a compact interval, we also need an interval version that does not create artificial endpoint mass. The clean bridge below uses half-open intervals inside $[a,b]$, so the measure records increments of $F$ exactly on the interval where the function is being studied. [quotetheorem:10128] This theorem ties the two halves of the page together. For a continuous nondecreasing function, absolute continuity is exactly the assertion that its increase is spread according to Lebesgue measure rather than hidden on null sets. If jumps are allowed, those jumps appear as atoms of $\mu_F$ and must be separated as a singular part. [example: The Cantor Measure Is Singular] Let $F$ be the Cantor function, let $C\subset[0,1]$ be the middle-thirds Cantor set, and let $\mu_F$ be the Lebesgue-Stieltjes measure generated by $F$ on $[0,1]$, so that $\mu_F(\{0\})=0$ and \begin{align*} \mu_F((s,t])=F(t)-F(s) \end{align*} for $0\le s<t\le 1$. The Cantor set has Lebesgue measure zero: after $n$ construction steps it is contained in a union of $2^n$ closed intervals, each of length $3^{-n}$, so \begin{align*} \mathcal L^1(C)\le 2^n3^{-n}=\left(\frac23\right)^n. \end{align*} Since this holds for every $n\in\mathbb N$ and $\left(2/3\right)^n\to0$, we get \begin{align*} \mathcal L^1(C)=0. \end{align*} Now write the complement as the disjoint union of its open interval components, \begin{align*} [0,1]\setminus C=\bigcup_{j=1}^{\infty}(\alpha_j,\beta_j). \end{align*} On each removed middle-third interval, the Cantor function is constant up to the endpoints, so $F(\beta_j)=F(\alpha_j)$. Hence \begin{align*} \mu_F((\alpha_j,\beta_j])=F(\beta_j)-F(\alpha_j)=0. \end{align*} Since $(\alpha_j,\beta_j)\subset(\alpha_j,\beta_j]$, monotonicity of the positive measure $\mu_F$ gives \begin{align*} \mu_F((\alpha_j,\beta_j))=0. \end{align*} By [countable subadditivity](/theorems/1108), \begin{align*} \mu_F([0,1]\setminus C)\le\sum_{j=1}^{\infty}\mu_F((\alpha_j,\beta_j))=0. \end{align*} Therefore $\mu_F([0,1]\setminus C)=0$. Finally, \begin{align*} \mu_F([0,1])=\mu_F(\{0\})+\mu_F((0,1])=0+\bigl(F(1)-F(0)\bigr)=1. \end{align*} Using the disjoint decomposition $[0,1]=C\cup([0,1]\setminus C)$, \begin{align*} 1=\mu_F([0,1])=\mu_F(C)+\mu_F([0,1]\setminus C)=\mu_F(C)+0. \end{align*} Thus \begin{align*} \mu_F(C)=1. \end{align*} We have found a Borel set $C$ with $\mathcal L^1(C)=0$ but $\mu_F(C)=1$, so $\mu_F\not\ll\mathcal L^1|_{[0,1]}$. The Cantor measure is therefore singular with respect to Lebesgue measure, which is the measure-theoretic reason the Cantor function is not absolutely continuous. [/example] The singularity of the Cantor measure is the hidden mass behind the failure of the fundamental theorem. The derivative misses it because the derivative is an $\mathcal L^1$-a.e. object. ## Decomposition and Singularity Absolute continuity is most useful when paired with its opposite: singularity. A measure can split into a part visible to a reference measure and a part living on a null set. This gives a structural version of the examples above. To state the decomposition, we first name singularity. It is not the negation of absolute continuity; it is a stronger geometric separation condition. [definition: Mutually Singular Measures] Let $(E,\mathcal E)$ be a measurable space, and let $\mu:\mathcal E\to[0,\infty]$ and $\nu:\mathcal E\to[0,\infty]$ be positive measures. The measures $\mu$ and $\nu$ are mutually singular, written $\nu\perp\mu$, if there exists $S\in\mathcal E$ such that \begin{align*} \mu(S)=0 \quad\text{and}\quad \nu(E\setminus S)=0. \end{align*} [/definition] Singularity says that all of $\nu$ lives on a set that $\mu$ ignores. Absolute continuity says that none of $\nu$ lives on any set that $\mu$ ignores. The natural structural question is whether every measure can be split into these two mutually exclusive behaviours. [quotetheorem:1207] The decomposition theorem says every measure has a visible part and a singular part relative to the reference measure. The Radon-Nikodym theorem then represents the visible part by a density. For [functions of bounded variation](/page/Functions%20of%20Bounded%20Variation), this measure decomposition becomes a decomposition of change. The absolutely continuous part comes from integrating a derivative; the singular part contains jumps and Cantor-type continuous singular variation. The examples so far show two different ways that the fundamental theorem can fail: a step function loses mass into atoms, while the Cantor function loses mass into a continuous singular measure. A bounded-variation function may contain both behaviours at once. To state the structure theorem precisely, we describe the splitting through the signed [distributional derivative](/page/Distributional%20Derivative) measure: that is the measure which records the change of $F$ without pretending that all change comes from an ordinary derivative. [quotetheorem:10131] This theorem is the function-level version of Lebesgue decomposition. It explains why the Cantor function and step functions are different failures of absolute continuity: one is singular continuous, while the other is atomic. [remark: Decomposition of Monotone Change] Let $F:[a,b]\to\mathbb R$ be nondecreasing, and let $\mu_F$ be its Lebesgue-Stieltjes measure. The Lebesgue decomposition of $\mu_F$ with respect to $\mathcal L^1|_{[a,b]}$ separates the increase of $F$ into an absolutely continuous part with density $F'$ and a singular part concentrated on a Lebesgue-null set. [/remark] This remark is the conceptual summary of the chapter. Absolute continuity is the condition that the singular part is absent. [example: A Mixed Measure] On $([0,1],\mathcal B([0,1]))$, let $\mu=\mathcal L^1|_{[0,1]}$ and define, for every Borel set $A\subset[0,1]$, \begin{align*} \nu(A)=\int_A (1+x)\,d\mathcal L^1(x)+3\delta_{1/2}(A). \end{align*} Set \begin{align*} \nu_{\mathrm{ac}}(A)=\int_A (1+x)\,d\mathcal L^1(x) \end{align*} and \begin{align*} \nu_s(A)=3\delta_{1/2}(A). \end{align*} Then, for every $A\in\mathcal B([0,1])$, \begin{align*} \nu_{\mathrm{ac}}(A)+\nu_s(A)=\int_A (1+x)\,d\mathcal L^1(x)+3\delta_{1/2}(A)=\nu(A). \end{align*} Thus $\nu=\nu_{\mathrm{ac}}+\nu_s$. The first part is absolutely continuous with respect to $\mu$. Indeed, if $\mu(A)=0$, then $\mathcal L^1(A)=0$, so the integral of the integrable function $1+x$ over $A$ is zero: \begin{align*} \nu_{\mathrm{ac}}(A)=\int_A (1+x)\,d\mathcal L^1(x)=0. \end{align*} Hence $\nu_{\mathrm{ac}}\ll\mu$, and its density with respect to $\mu$ is $1+x$. The second part is singular with respect to $\mu$. Let $S=\{1/2\}$. Since singletons have Lebesgue measure zero, \begin{align*} \mu(S)=\mathcal L^1(\{1/2\})=0. \end{align*} On the complement $[0,1]\setminus S$, the point $1/2$ is not present, so by the definition of the Dirac measure, \begin{align*} \nu_s([0,1]\setminus S)=3\delta_{1/2}([0,1]\setminus\{1/2\})=3\cdot 0=0. \end{align*} Therefore $\nu_s\perp\mu$. This mixed measure has one part computed by Lebesgue integration against the density $1+x$, and one point mass of size $3$ concentrated at $1/2$. [/example] The example is a small model for the general theorem: absolutely continuous components are densities, singular components are concentrated away from the reference measure, and a full measure may contain both. ## Absolute Continuity in Function Spaces Absolute continuity also appears as a bridge between elementary analysis and Sobolev theory. In one dimension, the [Sobolev space](/page/Sobolev%20Space) $W^{1,1}$ has representatives that are absolutely continuous, and this fact is the practical reason weak derivatives recover classical variation. The notation $W^{1,1}((a,b))$ is needed because the theorem below is not a statement about classical differentiability. It is a statement about functions whose integration-by-parts derivative is integrable, and that condition is exactly what the Sobolev definition records. Before naming the Sobolev space, we need to say precisely what the derivative symbol means. The [weak derivative](/page/Weak%20Derivative) is defined by how it moves derivatives from the function onto compactly supported test functions, which is the form that survives when pointwise derivatives are unavailable. [definition: First Weak Derivative on an Interval] Let $a<b$, and let $u,g\in L^1((a,b),\mathcal B((a,b)),\mathcal L^1)$. The function $g$ is the first weak derivative of $u$ on $(a,b)$ if for every $\phi\in C_c^\infty((a,b))$, \begin{align*} \int_a^b u(x)\phi'(x)\,d\mathcal L^1(x)=-\int_a^b g(x)\phi(x)\,d\mathcal L^1(x). \end{align*} [/definition] This definition gives a derivative as an $L^1$ function, not as a pointwise limit. When such a $g$ exists it is unique up to equality $\mathcal L^1$-a.e., so it may be denoted by $D^1u$. Once weak derivatives are allowed, the natural class is not a collection of classically differentiable functions. It is the collection of $L^1$ functions for which this distributional derivative is again integrable. The next definition packages exactly that condition, so the following theorem can ask whether such an equivalence class has an absolutely continuous representative. [definition: $W^{1,1}$ Space on an Interval] Let $a<b$. The Sobolev space $W^{1,1}((a,b))$ is the set of functions $u\in L^1((a,b),\mathcal B((a,b)),\mathcal L^1)$ for which there exists $g\in L^1((a,b),\mathcal B((a,b)),\mathcal L^1)$ that is the first weak derivative of $u$ on $(a,b)$. [/definition] With this definition, the weak derivative operator sends each $u\in W^{1,1}((a,b))$ to its a.e.-defined weak derivative $D^1u\in L^1((a,b),\mathcal B((a,b)),\mathcal L^1)$, where functions are understood up to equality $\mathcal L^1$-a.e. The delicate point is that an equivalence class does not by itself have pointwise values, while absolute continuity is a property of an actual function on the interval. The same issue appears for functions with values in a [Banach space](/page/Banach%20Space) $X$. In that setting, $W^{1,1}(0,T;X)$ denotes the Bochner-Sobolev class of Bochner integrable maps $u:(0,T)\to X$ whose weak time derivative is also Bochner integrable. This derivative is often written $\dot u$, and an expression such as $\int_s^t \dot u(r)\,dr$ is the Bochner integral in $X$, not a scalar [Lebesgue integral](/page/Lebesgue%20Integral). With this notation prepared, the representative theorem asks whether the weak-derivative data determine a pointwise absolutely continuous representative satisfying the expected integral identity. [quotetheorem:7059] This result explains why weak derivatives in one dimension behave like honest derivatives after choosing the right representative. In higher dimensions the analogous statement holds along almost every line, not necessarily along every path. [example: Sobolev Representative of an Integral] Let $g\in L^1((0,1),\mathcal B((0,1)),\mathcal L^1)$ and define, for $x\in[0,1]$, \begin{align*} u(x)=\int_0^x g(t)\,d\mathcal L^1(t). \end{align*} By *Integral Representation Implies Absolute Continuity*, the function $u$ is absolutely continuous on $[0,1]$. Also $u\in L^1((0,1))$, because \begin{align*} |u(x)|\le \int_0^x |g(t)|\,d\mathcal L^1(t) \end{align*} for every $x\in[0,1]$, and Tonelli's theorem gives \begin{align*} \int_0^1 |u(x)|\,d\mathcal L^1(x)\le \int_0^1 (1-t)|g(t)|\,d\mathcal L^1(t)\le \int_0^1 |g(t)|\,d\mathcal L^1(t)<\infty. \end{align*} We verify the weak derivative identity. Let $\phi\in C_c^\infty((0,1))$. Since $\phi'$ is bounded and $g\in L^1((0,1))$, \begin{align*} \int_0^1\int_0^x |g(t)|\,|\phi'(x)|\,d\mathcal L^1(t)\,d\mathcal L^1(x)\le \|\phi'\|_\infty\int_0^1 |g(t)|\,d\mathcal L^1(t)<\infty. \end{align*} Thus [Fubini's theorem](/theorems/2961) applies, and \begin{align*} \int_0^1 u(x)\phi'(x)\,d\mathcal L^1(x)=\int_0^1 g(t)\left(\int_t^1 \phi'(x)\,d\mathcal L^1(x)\right)d\mathcal L^1(t). \end{align*} Because $\phi$ has compact support in $(0,1)$, its extension to $[0,1]$ satisfies $\phi(1)=0$. The ordinary fundamental theorem of calculus for the smooth function $\phi$ gives \begin{align*} \int_t^1 \phi'(x)\,d\mathcal L^1(x)=\phi(1)-\phi(t)=0-\phi(t)=-\phi(t). \end{align*} Substituting this into the previous identity gives \begin{align*} \int_0^1 u(x)\phi'(x)\,d\mathcal L^1(x)=-\int_0^1 g(t)\phi(t)\,d\mathcal L^1(t). \end{align*} Therefore $u\in W^{1,1}((0,1))$ and its first weak derivative is $D^1u=g$ in $L^1((0,1))$. This is the distributional form of the fundamental theorem for this absolutely continuous representative. [/example] The example places absolute continuity inside the language of weak derivatives. It also shows why the condition is a useful midpoint: stronger than mere continuity, weaker than classical $C^1$ regularity, and exactly suited to integration. ## Beyond and Connected Topics Absolute continuity is a gateway to the Radon-Nikodym theorem and the [Lebesgue decomposition theorem](/theorems/1207). These results turn qualitative null-set control into quantitative density representations, and they are central in measure theory, probability, and functional analysis. In real analysis, the next natural direction is the study of functions of bounded variation. Absolute continuity identifies the part of a bounded-variation function recovered by integrating its derivative; jump functions and Cantor-type functions account for the remaining singular behaviour. In functional analysis, absolute continuity appears whenever linear functionals or measures are represented by integration. The duality theory of $L^p$ spaces, [weak convergence](/page/Weak%20Convergence) of measures, and compactness arguments often require tracking whether mass can escape onto null sets. The course-level continuation is Androma's [Cambridge III Functional Analysis](/page/Cambridge%20III%20Functional%20Analysis). In undergraduate analysis, absolute continuity refines the epsilon-delta language of [continuity](/page/Continuity). It explains which continuous functions still obey the integral version of the fundamental theorem of calculus. Androma's [Cambridge IA Analysis Notes](/page/Cambridge%20IA%20Analysis%20Notes), [Cambridge IB Analysis and Topology](/page/Cambridge%20IB%20Analysis%20and%20Topology), and [Cambridge II Analysis of Functions](/page/Cambridge%20II%20Analysis%20of%20Functions) provide the surrounding development from metric continuity to integration and differentiation. In probability, absolute continuity of laws is the statement that one distribution has a density with respect to another reference measure. A real-valued [random variable](/page/Random%20Variable) has a probability density function exactly when its law is absolutely continuous with respect to Lebesgue measure on $\mathbb R$. ## References Androma, [Cambridge IA Analysis Notes](/page/Cambridge%20IA%20Analysis%20Notes). Androma, [Cambridge IB Analysis and Topology](/page/Cambridge%20IB%20Analysis%20and%20Topology). Androma, [Cambridge II Analysis of Functions](/page/Cambridge%20II%20Analysis%20of%20Functions). Androma, [Cambridge III Functional Analysis](/page/Cambridge%20III%20Functional%20Analysis). Walter Rudin, *Real and Complex Analysis* (1987). Gerald B. Folland, *Real Analysis: Modern Techniques and Their Applications* (1999). H. L. Royden and P. M. Fitzpatrick, *Real Analysis* (2010).