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.

For a planar Lebesgue measurable set $B$, its vertical section $B_x$ is a one-dimensional Lebesgue measurable set for $x$ almost everywhere. Write $B△C\subseteq Z$ with $C$ a planar Borel set and $Z$ a Borel Lebesgue null set. Every section $C_x$ and $Z_x$ is Borel; Tonelli's theorem gives $\int m(Z_x)dx=m_2(Z)=0$. Thus $m(Z_x)=0$ for $x$ almost everywhere, and $B_x△C_x\subseteq Z_x$ proves the assertion by completeness of Lebesgue measure. No finite-measure condition on $B$ is needed.

Exceptional sections need not be measurable: $\{0\}\times A$ is a planar Lebesgue null set for every $A\subseteq \mathbb{R}$, even when $A$ is a non-measurable set. Conversely, if both $A_1$ and $A_2$ are non-measurable, $A_1\times A_2$ cannot be measurable. Otherwise every $x\in A_1$ would have to lie in the null exceptional set, making $A_1$ measurable by completeness of Lebesgue measure.

A subset $A$ of a measurable space $(X,\Sigma )$ is non-measurable when $A\notin \Sigma$. On the real line, unless another sigma-algebra is specified, this commonly means that $A$ is not a Lebesgue measurable set. By completeness of Lebesgue measure, such a set cannot be contained in a Lebesgue null set.

For an example, use the axiom of choice to select one representative from each equivalence class of $[0,1]$ under $x\sim y$ if $x-y\in \mathbb{Q}$, and call the resulting set $V$. The translates $V+q$, for $q\in \mathbb{Q}\cap [-1,1]$, are pairwise disjoint, their union contains $[0,1]$, and their union is contained in $[-1,2]$. If $V$ were a Lebesgue measurable set, translation invariance and countable additivity would make that union have measure zero when $m(V)=0$ and infinite measure when $m(V)>0$. Both conclusions contradict these inclusions. Thus $V$ is non-measurable.

A subset $E\subseteq \mathbb{R}$ is a Lebesgue measurable set when it satisfies Carathéodory's criterion: for every $T\subseteq \mathbb{R}$,Suppose $m^{\ast }(A)=0$ and let $B\subseteq A$, allowing $B=A$. The monotonicity of Lebesgue outer measure follows directly from covers: every cover of a larger set covers a smaller set. Thus $m^{\ast }(B)=m^{\ast }(T\cap B)=0$, while $m^{\ast }(T\setminus B)\le m^{\ast }(T)$. ConsequentlyThe reverse inequality is countable subadditivity of Lebesgue outer measure applied to $T=(T\cap B)\cup (T\setminus B)$. Equality follows, even if $m^{\ast }(T)=\infty$. Therefore $A$ and every subset $B\subseteq A$ are Lebesgue measurable sets of measure zero. This is the completeness of Lebesgue measure, obtained without presupposing measurability of the outer-null set.

The monotone convergence theorem states that, for nonnegative measurable $f_n$ on a Lebesgue measurable set $E$ with $f_n\uparrow f$ almost everywhere,allowing infinity. Fatou's lemma states that, for nonnegative measurable $f_n$,Now write $C={\sup }_n{\int }_E|g_n|<\infty$. A pointwise limit superior of measurable functions is measurable, and it agrees with $g$ off the exceptional null set. By completeness of Lebesgue measure, assigning any values on that null set preserves measurability. Therefore $g$ is measurable. Since $|g_n|\to |g|$ almost everywhere, Fatou's lemma givesThus $g$ is finite almost everywhere and is a Lebesgue integrable function. This is an almost-everywhere limit under a uniform L1 bound. The argument proves integrability of the limit, not convergence in L1 space.

True. Suppose instead that $B=A_1\times A_2$ were a Lebesgue measurable set in the plane. The section consequence of Fubini's theorem says that there is a Lebesgue null set $N\subseteq \mathbb{R}$ such thatis a Lebesgue measurable set for every $x\notin N$. This version applies to completed Lebesgue measure; it can be obtained on bounded rectangles and then extended by a countable exhaustion, so no finite-measure assumption on $B$ is needed.

For every $x\in A_1$ the section is exactly $A_2$, which is not measurable. Thus $A_1\subseteq N$. By completeness of Lebesgue measure, every subset of $N$ is measurable, contradicting the hypothesis on $A_1$. Therefore

False. Take $E=\{0\}$ and any non-measurable set $A\subseteq \mathbb{R}$. The vertical line $\{0\}\times \mathbb{R}$ is a planar Lebesgue null set: each segment $\{0\}\times [-N,N]$ can be enclosed in rectangles of arbitrarily small area, and the line is a countable union of these segments. Consequently its subset $E\times A$ is a Lebesgue measurable set of planar measure zero, by completeness of Lebesgue measure.

A nonempty factor can therefore have too little Lebesgue measure to transmit the other factor's failure of measurability. Its exceptional vertical section at $x=0$ is consistent with Lebesgue measurable sections being guaranteed only almost everywhere.

Every Lebesgue measurable set $A$ differs from a Borel set $B$ by a Lebesgue-null set $N$. The given function $h$ is a homeomorphism from $\mathbb{R}$ onto the interval $h(\mathbb{R})$. Hence $h(B)$ is Borel relative to $h(\mathbb{R})$ and therefore Lebesgue measurable in $\mathbb{R}$. Moreover,and $h(N)$ is null by Lusin condition N. The completeness of Lebesgue measure now shows that $h(A)$ is measurable, sois defined for every $A\in \mathcal{M}$.

Because $h$ is injective, it maps pairwise disjoint sets to pairwise disjoint sets and commutes with arbitrary unions. The countable additivity of $\lambda$ therefore givesThus $\nu$ is the image-length measure of a strictly increasing continuous function. If $\lambda (A)=0$, the null-set hypothesis gives $\nu (A)=\lambda (h(A))=0$, so

The measure is sigma-finite, sinceThe Radon-Nikodym theorem consequently supplies a nonnegative locally integrable function $f$ such thatFor $a<x$, strict increase and continuity giveand henceThe analogous oriented identity holds for $x<a$. By differentiation of an indefinite Lebesgue integral,

Yes, the differentiability conclusion still holds when $h$ is merely non-decreasing. In fact, the Lebesgue theorem on differentiability of monotone functions says that every monotone function is differentiable almost everywhere; neither continuity nor the null-set hypothesis is needed for that conclusion. Flat intervals mean that the preceding image-set argument no longer gives disjoint images, so its natural replacement is the Lebesgue-Stieltjes measure determined by