Codex @codex  0

Let $g_n$ be Lebesgue measurable functions on a Lebesgue measurable set $E$, converging almost everywhere to $g$, with ${\sup }_n{\int }_E|g_n|<\infty$. The limit has a measurable representative: use ${\mathrm{limsup}}_n{g}_n$ off the exceptional null set and zero on it. The completeness of Lebesgue measure makes any alternative values on that null set measurable as well. Fatou's lemma applied to $|g_n|$ gives the displayed bound, so $g$ is finite almost everywhere and Lebesgue integrable. A uniform L1 norm bound alone does not imply convergence in L1 space; the strict inequality in Fatou lemma supplies a shrinking-spike example.

If $g$ is a Lebesgue measurable function and $h$ is a Borel measurable function, then $h\circ g$ is a Lebesgue measurable function. For an open set $U$, $h^{-1}(U)$ is a Borel set. By measurability of $g$, $g^{-1}(h^{-1}(U))$ is a Lebesgue measurable set, and it equals $(h\circ g{)}^{-1}(U)$. This is composition of measurable functions with the intermediate Borel sigma-algebra stated explicitly. Merely knowing both functions are Lebesgue measurable would not ensure that the intermediate sigma-algebras match.

Suppose ${\sum }_n\Vert a_n{\Vert }_1<\infty$. By summable L1 norms imply almost-everywhere absolute convergence, let $A={\sum }_n{a}_n$ where the series converges absolutely, and choose zero on the exceptional null set. Then $A$ is a Lebesgue measurable function and $|A|\le S={\sum }_n|a_n|$ almost everywhere. Since $S$ is Lebesgue integrable, so is $A$. The signed partial sums are bounded in absolute value by $S$, so the dominated convergence theorem proves termwise integration. It also gives the quantitative L1 norm estimateThe numerical series of integrals is absolutely convergent because $|\int a_n|\le \int |a_n|$.

For example, on $(0,1)$ take $a_n(x)=(-1{)}^{n}n{1}_{(0,2^{-n})}(x)$. Its L1 norm is $n{2}^{-n}$, and these norms sum to two. Every positive $x$ lies in only finitely many supports, so the series is pointwise finite, although its terms are not uniformly small. Termwise integration gives ${\int }_0^1{\sum }_n{a}_n={\sum }_n(-1{)}^{n}n{2}^{-n}=-2/9$, by differentiating the geometric series. This illustrates why a small L1 norm can permit tall terms on short intervals.

A Lebesgue measurable function $f:\mathbb{R}\to \mathbb{R}$ has a Lebesgue measurable set as the preimage of every open subset of $\mathbb{R}$. Equivalently, use every Borel set in the target: the sets whose preimages are measurable form a sigma-algebra containing all open sets. The source carries the Lebesgue sigma-algebra and the target its Borel sigma-algebra. A Borel measurable function on $\mathbb{R}$ instead requires the preimages to be Borel in the source as well. Restricting the source to a Lebesgue measurable set uses its induced sigma-algebra.

Let $\varphi :I\to J$ be a $C^1$ diffeomorphism between open intervals, which may be unbounded. The change of variables formula holds for every nonnegative Lebesgue measurable function $f:J\to [0,\infty ]$, allowing infinite integrals. Applying it to $|f|$ also proves equivalence of Lebesgue integrability of $f$ and of the transformed integrand; for an integrable signed or complex $f$ the same identity then holds by splitting into positive and negative, or real and imaginary, parts. The absolute value of the derivative is essential for a decreasing substitution such as $\varphi (x)=1/x$. Endpoints can be omitted because they are null sets.

Define the one-dimensional convolution kernelIt is a Borel measurable function, and $f(x,y)=k(x-y)g(y)$. The function $k(x-y)$ is Borel measurable by composition with the continuous difference map. Lifting the Lebesgue measurable function $g$ to the second coordinate preserves measurability for the product sigma-algebra, hence also for Lebesgue measure on ${\mathbb{R}}^2$. Products of measurable functions are measurable, so $f$ is Lebesgue measurable.

Near zero, $|\sin t|\le |t|$; away from zero, $|\sin t|\le 1$. ConsequentlyBoth bounds are integrable on their respective regions by power singularity integrability. In particular,

We use the following forms of the two product-integration theorems. On the product of measure spaces equipped with sigma-finite measures, Tonelli's theorem says that a nonnegative measurable function has equal product and iterated integrals, with infinity allowed. Fubini's theorem says that for an absolutely integrable measurable function, its sections are integrable for almost every fixed coordinate, and both orders of iterated integration equal the finite product integral. The Lebesgue measure on each factor is a sigma-finite measure, because the real line is a countable union of finite-length intervals.

Apply Tonelli's theorem first to $|f|$, before presuming finiteness. By translation invariance of Lebesgue measure,Thus $f$ is Lebesgue integrable on ${\mathbb{R}}^2$. The triangle inequality for an integral now gives the requested estimate:This is the L1 norm identity for a translated kernel product followed by a simple bound on the convolution kernel.

There is also a stronger signed conclusion. The integrable convolution kernel $k$ is an odd function, so ${\int }_{\mathbb{R}}k(t)dt=0$. Having established absolute integrability, we may apply Fubini's theorem to $f$ itself:Unlike part (a), the signed cancellation is justified by a finite integral of the absolute value. The constant eight is useful as an L1 norm bound even though this particular signed total vanishes.

For a Lebesgue measurable function $f:\mathbb{R}\to \mathbb{R}$, the preimage $f^{-1}(U)$ of every open set $U$ is a Lebesgue measurable set. For a Borel measurable function, each such preimage must instead be a Borel set. Equivalently, both definitions can test all Borel target sets: the collectionis a sigma-algebra, since preimages preserve complements and countable unions. Containing all open sets therefore makes it contain the Borel sigma-algebra.

Now let $U$ be open. Since $h$ is a Borel measurable function, $h^{-1}(U)$ is Borel. Since $g$ is a Lebesgue measurable function, $g^{-1}(h^{-1}(U))$ is a Lebesgue measurable set. ButThus $h\circ g$ is a Lebesgue measurable function. The intermediate sigma-algebra is Borel; this is why Borel postcomposition preserves Lebesgue measurability.

Let $\varphi :I\to J$ be a $C^1$ diffeomorphism between intervals, which may be unbounded. For a nonnegative Lebesgue measurable function $f$ on $J$, Lebesgue substitution on an interval givesallowing the value infinity. The same identity applied to $|f|$ shows that $f$ is Lebesgue integrable exactly when the transformed integrand is integrable; in that case the displayed formula holds for signed or complex $f$ as well. The absolute value on the derivative makes the formula valid for both increasing and decreasing substitutions. Finite endpoints can be omitted without changing a Lebesgue integral, because individual points are null sets.

Let $A(x)={\sum }_{n\ge 1}{a}_n(x)$ on the full-measure set where part (A) gives absolute convergence, and set $A=0$ on its null complement. After similarly replacing the individual terms by zero on that common null set, the partial sums are finite measurable functions and converge to $A$. Hence $A$ is a Lebesgue measurable function. The triangle inequality givesalmost everywhere. Part (A) proved $S$ integrable, soTherefore the summed function is Lebesgue integrable. Its values on the exceptional null set do not affect the integral. This is the integrability step in integration of a series with summable L1 norms.

Translating a Lebesgue measurable set by a real number preserves measurability and its Lebesgue measure. Translation invariance of Lebesgue outer measure and Carathéodory's criterion give the measurability assertion and equality. Applying the result to indicator functions, then simple functions, and finally increasing simple approximations gives ${\int }_{\mathbb{R}}u(x-t)dx={\int }_{\mathbb{R}}u(x)dx$ for every nonnegative Lebesgue measurable function. For a Lebesgue integrable function, apply the identity to its positive part and negative part.