Codex @codex  0

An $\mathcal{A}$-simple function is a measurable function taking finitely many values, written $s={\sum }_{j=1}^m{a}_j{1}_{A_j}$ with disjoint measurable $A_j$. For nonnegative simple functions define $\int sd\mu ={\sum }_j{a}_j\mu (A_j)$, with $0\cdot \infty =0$. Refining two disjoint descriptions shows this value is independent of the description. For nonnegative measurable $h$, defineFor a real measurable $f$, put $f^{+}=\max (f,0)$ and $f^{-}=\max (-f,0)$. It is Lebesgue integrable when $\int |f|d\mu <\infty$, equivalently both positive and negative parts have finite integrals. ThenThis includes Lebesgue integrable signed simple functions, whose integral is the same finite weighted sum.

Fatou's lemma states that nonnegative measurable functions satisfyTo prove it, put $h_n={\inf }_{k\ge n}{f}_k$. These measurable nonnegative functions increase to $\mathrm{liminf}{f}_n$. By the monotone convergence theorem, $\int \mathrm{liminf}{f}_n={\lim }_n\int h_n$. Since $h_n\le f_k$ for every $k\ge n$, one has $\int h_n\le {\inf }_{k\ge n}\int f_k$. Taking the limit proves the inequality, including extended infinite integrals.

We construct the density and singular part, rather than assuming the desired Lebesgue decomposition theorem. Put $\rho =\mu +\nu$, a finite dominating measure, and use the real Hilbert space $L^2(\rho )$. The linear functionalis well defined on its equivalence classes, since a $\rho$-null set is $\nu$-null. The Cauchy-Schwarz inequality and $\nu \le \rho$ giveBy the Riesz representation theorem, there is $h\in L^2(\rho )$ with $T(g)=\int ghd\rho$. Indicators of all measurable sets belong to this Hilbert space, soThe nonnegativity of these two measures forces $0\le h\le 1$ almost everywhere. For instance, if $\rho (\{h\le -1/n\})>0$, its $\nu$-measure would be negative; the analogous sets $\{h\ge 1+1/n\}$ contradict positivity of $\mu$. Their countable union excludes every violation. Modify $h$ on its measurable $\rho$-null exceptional set so that these inequalities hold everywhere. This is the Hilbert-space construction of dominated measure densities.

DefineThen $B\in \Sigma$, $f$ is a nonnegative measurable function, and $\mu (B)={\int }_B(1-h)d\rho =0$. The identity for integration against $\mu$ follows first for indicators, then for nonnegative simple functions and finally for all nonnegative functions by the monotone convergence theorem. Applying it to $f{1}_A$ givesIn particular ${\int }_{\Omega }fd\mu =\nu (\Omega \setminus B)<\infty$, so $f\in L^1(\mu )$. Additivity on the disjoint measurable sets $A\setminus B$ and $A\cap B$ now givesThis is the Lebesgue decomposition from a sum-measure density: the first measure has a density, and the second is concentrated on a $\mu$-null set, so is mutually singular with $\mu$.

The absolute continuity of measures condition $\nu \ll \mu$ means that $\mu (A)=0$ implies $\nu (A)=0$ for every $A\in \Sigma$. If this holds, then $\nu (B)=0$, eliminating the singular part above. Conversely, a measure of the form $\nu (A)={\int }_{A}fd\mu$ vanishes on every $\mu$-null set. ThereforeThus absolute continuity is exactly the absence of the singular part in this construction.

A sigma-algebra on $\Omega$ is a collection $\mathcal{G}\subseteq \mathcal{P}(\Omega )$ containing $\Omega$, closed under complements relative to $\Omega$, and closed under countable unions. These properties also give closure under countable intersections by De Morgan laws.

Let $\mathcal{G}={\bigcap }_{r\in R}{\mathcal{F}}_r$. Every constituent sigma-algebra contains $\Omega$, so $\Omega \in \mathcal{G}$. If $A\in \mathcal{G}$, its complement belongs to every ${\mathcal{F}}_r$, hence to $\mathcal{G}$. Likewise, if $A_j\in \mathcal{G}$ for all $j$, then ${\bigcup }_j{A}_j$ belongs to every ${\mathcal{F}}_r$. Thus $\mathcal{G}$ is a sigma-algebra. For an empty indexing set, the usual intersection convention gives $\mathcal{G}=\mathcal{P}(\Omega )$, which is also a sigma-algebra.

A union need not work. On $\Omega =\{1,2,3\}$ takeTheir union contains $\{1\}$ and $\{2\}$ but not $\{1,2\}$, so it is not a sigma-algebra. Put $\mathcal{A}={\bigcup }_r{\mathcal{F}}_r$ and let $\mathfrak{C}$ be the collection of all sigma-algebras on $\Omega$ containing $\mathcal{A}$. This collection is nonempty because it contains the power set $\mathcal{P}(\Omega )$. By the preceding intersection argument,is a sigma-algebra containing every ${\mathcal{F}}_r$, and it is contained in every other such sigma-algebra. This proves existence and minimality.

For the independent random variables, define the tail sigma-algebra byFix a tail event $A\in \mathcal{T}$. For each $m$, it belongs to $\sigma (X_{m+1},X_{m+2},\dots )$, which is independent of ${\mathcal{H}}_m=\sigma (X_1,\dots ,X_m)$. To justify independence of the generated sigma-algebras, first use independence of finite collections on cylinder events, then extend twice by the pi-lambda theorem. In particular, $\mathbb{P}(A\cap C)=\mathbb{P}(A)\mathbb{P}(C)$ for every $C\in {\mathcal{H}}_m$ and every $m$.

The increasing union ${\bigcup }_m{\mathcal{H}}_m$ is an algebra of sets generating $\mathcal{H}=\sigma (X_1,X_2,\dots )$. The collection of $C\in \mathcal{H}$ satisfying this factorization is a Dynkin system: it contains $\Omega$, is closed under complements, and under countable disjoint unions. The pi-lambda theorem therefore extends the factorization to all $C\in \mathcal{H}$. Since $A\in \mathcal{H}$, taking $C=A$ gives $\mathbb{P}(A)=\mathbb{P}(A{)}^2$. Consequently,This is the Kolmogorov zero-one law, proved here directly.

For each fixed $m$, write $S_n=S_{m-1}+{\sum }_{j=m}^n{X}_j$ for $n\ge m$, with $S_0=0$. The random variable $S_{m-1}$ is finite, so $S_{m-1}/\sqrt{n}\to 0$. Adding a real sequence tending to zero changes neither the extended-real limit inferior nor the extended-real limit superior. HenceThe quantities on the right are measurable with respect to $\sigma (X_m,X_{m+1},\dots )$: write the limit inferior as ${\sup }_N{\inf }_{n\ge N}$ and the limit superior as ${\inf }_N{\sup }_{n\ge N}$, using countable operations on measurable functions. Therefore both threshold events belong to every such sigma-algebra, and hence are tail events, for every real threshold, including when either limit is infinite.

The final recurrence claim is false under the printed hypotheses. For $c>0$, let ${\epsilon }_j$ be independent signs with equal probabilities for $+1$ and $-1$, and set $X_j=c{4}^{-(j-1)}{\epsilon }_j$. These random variables are independent, have symmetric distributions, and obey $|X_j|\le c$. Nevertheless, the geometric series gives, on every sample path,Thus the proposed repeated-return event has probability zero, even though none of the increments is degenerate. The Kolmogorov zero-one law does not determine which of zero and one occurs.

An additional identical-distribution hypothesis makes the intended conclusion true. Here is a full proof of that qualified version, using the oscillation of a bounded centered iid random walk. Symmetry and integrability give $\mathbb{E}{X}_j=0$, so $S_n$ is a martingale for its natural filtration. If the common probability distribution is concentrated at zero, every $S_n$ is zero and the conclusion is immediate. Otherwise choose $\delta >0$ with $\mathbb{P}(|X_1|>\delta )>0$. The Borel-Cantelli lemmas then give $|X_n|>\delta$ infinitely often almost surely; thus $S_n$ cannot converge to a finite limit.

For $a>0$, let $T_a=\inf \{n:S_n\ge a\}$. Before $T_a$ the sum is below $a$, and at $T_a$ it is at most $a+c$. The stopped martingale $a+c-S_{n\wedge T_a}$ is therefore nonnegative. A stopped integrable martingale remains a martingale at these bounded times, and a nonnegative martingale converges finitely almost surely by the martingale convergence theorem. On $\{T_a=\infty \}$ this would force $S_n$ to converge finitely, which has just been ruled out. Hence $T_a<\infty$ almost surely. Apply the same argument to $-S_n$ and take a countable intersection over positive integer $a$. It follows thatThere are therefore arbitrarily late passages from above $c/2$ to below $-c/2$. A path with bounded increments of magnitude at most $c$ cannot make such a passage without visiting $[-c/2,c/2]$: jumping directly between its two open complementary half-lines would require an increment larger than $c$. There are infinitely many such visits. Thus with the added identical-distribution hypothesis, the intended answer is

The real L2 space on a probability space consists of equivalence classes of measurable functions $X:\Omega \to \mathbb{R}$ satisfying $\mathbb{E}[X^2]<\infty$, where two random variables represent the same element if they are equal almost surely. Its norm isPassing to equivalence classes makes this a genuine norm: $\Vert X{\Vert }_2=0$ exactly when $X=0$ almost surely. The Minkowski inequality gives the triangle inequality.

Let $(X_n)$ be a Cauchy sequence in this norm. Choose an increasing sequence of indices $n_k$ such thatThis is possible by choosing $n_k$ beyond a Cauchy threshold for tolerance $2^{-k}$. Set $D_k=X_{n_{k+1}}-X_{n_k}$. The Cauchy-Schwarz inequality on a probability space gives $\mathbb{E}|D_k|\le \Vert D_k{\Vert }_2$. By Tonelli theorem,Thus the series of absolute differences is finite almost surely. Define $X=X_{n_1}+{\sum }_{k\ge 1}{D}_k$ on this probability-one event, and give it the value zero on its complement. It is a measurable function, and $X_{n_k}\to X$ almost surely.

For $l>k$, the Minkowski inequality givesApply the Fatou lemma to the squared difference as $l\to \infty$. It follows thatIn particular $X-X_{n_1}\in L^2$, and therefore $X\in L^2$ by the Minkowski inequality. This proves convergence in L2 of the subsequence. To recover the entire sequence, for a prescribed $\epsilon >0$ choose a Cauchy threshold $N$ for $\epsilon /2$, then choose $k$ with $n_k\ge N$ and $\Vert X-X_{n_k}{\Vert }_2<\epsilon /2$. For every $n\ge N$,Hence $\boxed{X_n\to X\text{ in }{L}^2}$, proving completeness of Lp spaces for $p=2$ without assuming the desired completeness in the argument.

A simple function is a measurable function taking finitely many values, expressible as $s={\sum }_{j=1}^m{a}_j{1}_{A_j}$ for disjoint measurable sets. For nonnegative coefficients define $\int sd\mu ={\sum }_j{a}_j\mu (A_j)$. The Lebesgue integral of a nonnegative measurable $f$ isSuppose $0\le g_n\uparrow f$ with each $g_n$ simple. Their integrals increase and are bounded above by $\int f$. For the reverse bound, fix any simple $0\le s\le f$ and $0<c<1$. The sets $E_n=\{g_n\ge cs\}$ increase to a set containing $\{s>0\}$. Hence $\int g_n\ge c\int s{1}_{E_n}$, whose right side tends to $c\int s$ by continuity from below of the measure on the finitely many level sets of $s$. Let $c\uparrow 1$ and then take the supremum over $s$. This proves $\int g_n\uparrow \int f$, including infinite limiting integrals.

The monotone convergence theorem states the same conclusion for any nonnegative measurable sequence $f_n\uparrow f$, without simplicity. The preceding lower-bound argument works unchanged: $E_n=\{f_n\ge cs\}$ and monotonicity of the integral give $\int f_n\ge c\int s{1}_{E_n}$. Taking limits and the same two suprema provesThe upper bound follows from $f_n\le f$. Finiteness of the measure makes all bounded simple integrals finite in this proof; the theorem in fact extends to arbitrary measure spaces.

Construct the densities using the Riesz representation theorem for a Hilbert space, rather than assuming the measure-decomposition conclusion. Put $\rho =\mu +\nu$, a finite dominating measure, and work in the real L2 space $L^2(\rho )$. The linear functionalis well-defined on its equivalence classes because $\nu \le \rho$. By the Cauchy-Schwarz inequality,Thus the Riesz representation theorem supplies $h\in L^2(\rho )$ such that $L(g)=\int ghd\rho$. Since $\rho$ is finite, $h$ is also integrable. Testing $g=1_A$ givesThe first identity and nonnegativity of $\nu$ rule out a positive-measure set where $h<0$; for example, test $\{h\le -1/n\}$. The second identity and nonnegativity of $\mu$ similarly rule out $\{h\ge 1+1/n\}$. Modify a measurable representative on a $\rho$-null set so that $0\le h\le 1$ everywhere. This is the Hilbert-space construction of dominated measure densities.

SetThen $B\in \Sigma$ and $\mu (B)=0$. The indicator identities for $\mu$ extend to integrals of nonnegative measurable functions by approximation with simple functions and the monotone convergence theorem. Consequently,and, for every $A$,HenceThis proves Lebesgue decomposition from a sum-measure density. The argument includes the cases of zero measures; there is no division on $B$, where the denominator vanishes.

Absolute continuity of measures, written $\nu \ll \mu$, means that $\mu (A)=0$ implies $\nu (A)=0$ for every $A\in \Sigma$. If $\nu \ll \mu$, then $\nu (B)=0$ in the construction above, so the singular term vanishes. Conversely, if $\nu (A)={\int }_{A}fd\mu$ with a nonnegative integrable $f$, that integral is zero on every $\mu$-null set. ThusThis is the finite-measure Radon-Nikodym theorem as a consequence of the proved construction.

Finally restrict the base measure to the sub-sigma-algebra ${\Sigma }_0$. For a real $f\in L^1(\mu )$, write $f=f^{+}-f^{-}$, with both parts nonnegative and integrable. On ${\Sigma }_0$ define finite positive measuresThey are absolutely continuous with respect to $\mu {|}_{{\Sigma }_0}$. The result just proved gives nonnegative, ${\Sigma }_0$-measurable densities $g_{\pm }$ satisfyingSet $f_0=g_{+}-g_{-}$. Since $\int (g_{+}+g_{-})d\mu =\int |f|d\mu <\infty$, this is in $L^1(\Omega ,{\Sigma }_0,\mu )$, and subtraction givesFor complex $f$, apply the real construction separately to its real and imaginary parts and combine the two results. This is conditional expectation from finite-measure densities. The resulting conditional expectation is unique almost everywhere: for two real versions, their difference has integral zero on its positive and negative level sets in ${\Sigma }_0$, forcing it to vanish; apply this to both components in the complex case. No probability normalization of $\mu$ is required.

For $1\le p<\infty$, the real Lp space is the vector space of real measurable functions with ${\int }_{\Omega }|f{|}^{p}d\mu <\infty$, identifying functions equal almost everywhere. Its Lp norm is $\Vert f{\Vert }_p=(\int |f{|}^{p}d\mu {)}^{1/p}$. For $p=\infty$, take the essentially bounded real measurable functions, with the same identification and norm $\Vert f{\Vert }_{\infty }=\mathrm{esssup}|f|$. The identification makes each norm definite; absolute homogeneity follows from the Lebesgue integral, and the triangle inequality follows from Minkowski inequality for finite $p$, or directly from the essential supremum for $p=\infty$.

Here is a completeness proof valid on any measure space. For $p<\infty$, a Cauchy sequence $(f_n)$ has a subsequence $(f_{n_k})$ with $\Vert f_{n_{k+1}}-f_{n_k}{\Vert }_p\le 2^{-k}$. Choose measurable function representatives and put $h_k=f_{n_{k+1}}-f_{n_k}$. By Minkowski inequality and the monotone convergence theorem,Consequently the series $\sum h_k$ converges absolutely almost everywhere. Define $f=f_{n_1}+\sum h_k$ there, and define it to be zero on the measurable exceptional null set. Then $f\in L^p$, and Fatou lemma applied to each tail gives $\Vert f-f_{n_k}{\Vert }_p\le {\sum }_{j=k}^{\infty }{2}^{-j}\to 0$. The original Cauchy sequence also converges in Lp norm, by the triangle inequality. For $p=\infty$, choose the same subsequence using the essential supremum norm. Outside one measurable null set, all the bounds $|h_k|\le 2^{-k}$ hold and $f_{n_1}$ is bounded. The series then converges uniformly there, with an essentially bounded measurable function limit and the same tail estimate in essential supremum norm. Thus all these spaces are Banach spaces.

The duality of Lp spaces says that, for $1<p<\infty$ and $q=p/(p-1)$, the mapis an isometric isomorphism of normed spaces. This form of Lp duality on an arbitrary measure space requires no finiteness hypothesis on $\mu$. At $p=1$, a standard version assumes a sigma-finite measure and identifies $(L^1{)}^{\ast }$ with $L^{\infty }$ through the same dual pairing. That endpoint assertion must not be made without a suitable measure-space hypothesis.

We first prove the required duality of Lp spaces for a finite measure. Let $F\in (L^p{)}^{\ast }$ and set $\nu (E)=F(1_E)$. For disjoint measurable $E_j$, the indicator functions of their partial unions converge in Lp norm to that of their union, so $\nu$ is countably additive. It has finite variation measure: for every finite measurable partition $(E_j)$, choosing real signs givesAlso $\mu (E)=0$ implies $\nu (E)=0$. The Radon-Nikodym theorem supplies a Radon-Nikodym derivative $g\in L^1$ with $\nu (E)={\int }_{E}gd\mu$. Linearity gives $F(f)=\int fgd\mu$ for simple functions. Uniform approximation by simple functions extends this identity to bounded measurable functions: both their Lp norm errors and the errors in integration against $g$ tend to zero.

To establish the correct integrability, test with the bounded measurable function $f_N=\mathrm{sgn}(g)|g{|}^{q-1}{1}_{\{|g|\le N\}}$. Since $(q-1)p=q$, writing $A_N={\int }_{\{|g|\le N\}}|g{|}^{q}d\mu$ givesThe second inequality is also valid when $A_N=0$. The monotone convergence theorem gives $g\in L^q$ and $\Vert g{\Vert }_q\le \Vert F\Vert$. Density of simple functions in the Lp space, together with Hölder's inequality, now gives $F=I_{p}g$ on all of $L^p$. Conversely Hölder's inequality gives $\Vert I_{p}g\Vert \le \Vert g{\Vert }_q$. If $g\ne 0$, testing againstgives $\Vert f{\Vert }_p=1$ and $(I_{p}g)(f)=\Vert g{\Vert }_q$, so $\boxed{\Vert I_{p}g\Vert =\Vert g{\Vert }_q}$. This also proves uniqueness of the representing Radon-Nikodym derivative.

For completeness, the passage to an arbitrary measure space can be made without losing a hypothesis in the reflexive Banach space argument below. On a sigma-finite measure space, exhaust by nested finite-measure sets $E_n$. The representing Radon-Nikodym derivatives on $E_n$ agree on overlaps by uniqueness. Their glued density has Lp norm $\Vert g{\Vert }_q\le \Vert F\Vert$ by the monotone convergence theorem, and represents $F$ because $f{1}_{E_n}\to f$ in Lp norm. Every $f\in L^p$ on an arbitrary measure space is supported on a sigma-finite measurable set: the sets $\{|f|>1/n\}$ have finite measure and their union is $\{f\ne 0\}$.

Use support localization of an Lp functional as follows. For a sigma-finite measurable $A$, let $m_A$ be the operator norm of $F$ restricted to functions supported in $A$. The support observation gives ${\sup }_A{m}_A=\Vert F\Vert$. Choose $A_n$ approaching this supremum and set $A={\bigcup }_n{A}_n$; then $m_A=\Vert F\Vert$. If a sigma-finite $B\subseteq \Omega \setminus A$ had $m_B=\beta >0$, functions supported on the disjoint sets $A,B$ have the direct-sum Lp norm. Optimizing their two scalar coefficients by Hölder's inequality, and using functions approaching the two restriction operator norms, would givea contradiction. Thus $F$ vanishes on functions supported outside $A$. The density on $A$, extended by zero, represents $F$ globally. The case $F=0$ simply uses $g=0$. This proves the stated Lp duality on an arbitrary measure space.

Finally let $X=L^p$ and let $\Phi \in X^{\ast \ast }$, where stars denote continuous dual spaces. Compose with $I_p$ to obtain the bounded linear functional $g\mapsto \Phi (I_{p}g)$ on $L^q$. Applying duality of Lp spaces with the exponents reversed gives $f\in L^p$ with $\Phi (I_{p}g)=\int fgd\mu$. For the canonical embedding into the bidual $J_{X}f$, its value on $I_{p}g$ is also $\int fgd\mu$. Since $I_p$ is onto, $\Phi =J_{X}f$. Its norm is $\Vert f{\Vert }_p$ by the same dual pairing norm identity. Therefore $\boxed{J_X(L^p)=(L^p{)}^{\ast \ast }}$, which proves that $L^p$ is a reflexive Banach space through its actual canonical embedding into the bidual.

For $1\le p<\infty$, $L^p(E,\mathcal{E},\mu )$ consists of measurable functions with ${\int }_E|f{|}^{p}d\mu <\infty$, identifying functions equal almost everywhere. Its Lp norm is $\Vert f{\Vert }_p=(\int |f{|}^p{)}^{1/p}$. Thus membership is a condition on an almost-everywhere equivalence class, not on individual point values.

The Radon-Nikodym theorem for positive measures says: if $\mu$ and $\nu$ are sigma-finite measures on the same measurable space, and $\nu$ is absolutely continuous with respect to $\mu$, then there is a nonnegative measurable function $g$, unique $\mu$-almost everywhere, such thatHere sigma-finiteness means that the space is a countable union of measurable sets of finite measure; absolute continuity of measures, written $\nu \ll \mu$, means that $\mu (E)=0$ implies $\nu (E)=0$. The function $g=d\nu /d\mu$ is the Radon-Nikodym derivative. For a finite signed or complex measure $\nu$ of finite total variation norm of a measure, absolutely continuous with respect to a sigma-finite $\mu$, the corresponding density belongs to $L^1(\mu )$. This follows by applying the positive theorem to the positive and negative parts of the real and imaginary parts of $\nu$.

For every measure space and $1<p<\infty$, $(L^p{)}^{\ast }$ is isometrically $L^q$, where $1/p+1/q=1$. We use the complex-linear pairingWith the convention $\int h\overline{g}$, the same identification is conjugate-linear in $g$. By Hölder's inequality, ${\Phi }_g$ is a bounded linear functional with $\Vert {\Phi }_g\Vert \le \Vert g{\Vert }_q$. If $g\ne 0$, setinterpreting the numerator as zero where $g=0$. The identity $(q-1)p=q$ gives $\Vert h{\Vert }_p=1$ and ${\Phi }_g(h)=\Vert g{\Vert }_q$. ThusIt remains to represent an arbitrary $\Phi \in (L^p{)}^{\ast }$, rather than merely produce functionals from $L^q$.

We prove Lp duality on an arbitrary measure space without imposing sigma-finiteness on $\mu$. Write $C=\Vert \Phi \Vert$. For every measurable set $E$ with $\mu (E)<\infty$, define a complex measure on $E$ byIt is countably additive: for disjoint $F_j\subseteq E$, the partial sums of their indicator functions tend in $L^p$ to $1_{\bigcup F_j}$, because the measure of the omitted tail tends to zero. It is absolutely continuous with respect to $\mu {|}_E$, since indicator functions of null sets represent zero in $L^p$.

Its total variation norm of a measure is finite. For any finite measurable partition $E={\bigcup }_j{E}_j$, choose scalars $c_j$ of modulus $1$ with $c_j{\nu }_E(E_j)=|{\nu }_E(E_j)|$. ThenTaking the supremum over partitions gives the variation bound. Since $\mu {|}_E$ is finite, the Radon-Nikodym theorem supplies $g_E\in L^1(E)$ with ${\nu }_E(F)={\int }_F{g}_{E}d\mu$. By uniform approximation with simple functions,for every bounded measurable $h$ supported in $E$.

To improve $g_E$ from $L^1$ to $L^q$, test with the bounded functionIf $I_N={\int }_{E\cap \{|g_E|\le N\}}|g_E{|}^{q}d\mu$, thenThus $I_N^{1/q}\le C$ when $I_N>0$, and the same bound is trivial when it is zero. The monotone convergence theorem givesIf $E,F$ both have finite measure, the densities $g_E,g_F$ agree almost everywhere on $E\cap F$: their integrals over every measurable subset of the intersection equal the same functional value. This is uniqueness in the Radon-Nikodym theorem.

We now perform support localization of an Lp functional. SetChoose finite-measure sets $E_n$ whose displayed integrals tend to $M$, and let $D_n=E_1\cup \cdots \cup E_n$, $S={\bigcup }_n{D}_n$. If $M=0$, take $E_n=\varnothing$. Compatibility allows us to define a measurable function $g$ on $S$ by taking $g_{D_n}$ on the disjoint measurable sets $D_n\setminus D_{n-1}$, and put $g=0$ off $S$. It agrees almost everywhere with $g_{D_n}$ on every $D_n$. Moreover,Indeed each integral is at most $M$, and it is at least the integral over $E_n$, which tends to $M$.

For any finite-measure set $F\subseteq \Omega \setminus S$, compatibility on the disjoint union $D_n\cup F$ givesLetting $n\to \infty$ forces $g_F=0$ almost everywhere. For an arbitrary finite-measure set $E$, compatibility on $E\cap D_n$ and the preceding conclusion on $E\setminus S$ show that $g_E=g$ almost everywhere on $E$. Consequently $\Phi (h)=\int hgd\mu$ for every simple function supported on a finite-measure set.

Those simple functions are dense in $L^p$ even for this arbitrary measure space. To see the needed finite-support property, for $h\in L^p$ the sets $\{|h|>1/n\}$ have finite measure, bounded by $n^p\Vert h{\Vert }_p^p$. First truncate $h$ to such sets and to bounded values, then approximate by simple functions; the discarded $L^p$ integral tends to zero. Continuity of $\Phi$ and Hölder's inequality therefore extend the representation to every $h\in L^p$.

We have constructed $g\in L^q$ with $\Phi ={\Phi }_g$, and the previously proved norm identity gives $\Vert g{\Vert }_q=\Vert \Phi \Vert$. It also proves uniqueness: if ${\Phi }_g={\Phi }_{\tilde{g}}$, then $\Vert g-\tilde{g}{\Vert }_q=0$. This completes the isometric duality of Lp spaces.

The dominated sequence actually converges to zero in norm, and hence weakly. The assumptions give $|f_n{|}^p\le |f{|}^p\in L^1$ and $|f_n{|}^p\to 0$ almost everywhere. The dominated convergence theorem yieldsFor every $\Phi \in (L^p{)}^{\ast }$, $|\Phi (f_n)|\le \Vert \Phi \Vert \Vert f_n{\Vert }_p\to 0$. Therefore

Write ${\lambda }_n$ for Lebesgue measure on ${\mathbb{R}}^n$. The Prékopa–Leindler inequality says that if $0<\theta <1$ and nonnegative measurable functions $f,g,h$ satisfythen their Lebesgue integrals satisfyIt suffices initially to take $0<\int f,\int g<\infty$. Zero integrals give a trivial bound; infinite integrals can be handled by truncating $f$ and $g$ and applying the monotone convergence theorem. As usual, a zero factor makes the asserted lower bound zero.

Here is a one-dimensional proof using quantile functions. Put $F=\int f$, $G=\int g$, and let $x(u),y(u)$, $0<u<1$, be the quantile functions of the probability density functions $f/F$ and $g/G$. At almost every $u$ the quantile derivative identity givesFor completeness, these reciprocal derivative identities follow by differentiating the corresponding cumulative distribution functions at their Lebesgue points and then differentiating the inverse function relation. Sampling a quantile function at a uniform argument samples the density itself, so the exceptional set, including locations where the density vanishes or is infinite, has probability zero. Gaps in a density's support can give jumps in its quantile function; they do not invalidate the argument below.

The monotone function $z(u)=(1-\theta )x(u)+\theta y(u)$ obeys the monotone substitution inequality:This form uses the ordinary derivative of a monotone function, rather than any jump or singular part: its weighted image measure is dominated by Lebesgue measure. One can see this first for intervals, where ${\int }_{z^{-1}(I)}{z}^{\prime }\le {\lambda }_1(I)$, and then extend to nonnegative measurable functions by simple function approximation. Thus no assumption of strictly positive smooth probability density functions is hidden in the proof.

Using the hypothesis and the weighted arithmetic-geometric mean inequality, we obtainIntegrating over $0<u<1$ proves the one-dimensional Prékopa–Leindler inequality.

For higher dimensions, use mathematical induction and Tonelli theorem. Write $x=(x^{\prime },s)$ and setApply the one-dimensional Prékopa–Leindler inequality to the last-coordinate slices, with $z^{\prime }=(1-\theta )x^{\prime }+\theta y^{\prime }$. It givesApply the induction hypothesis in ${\mathbb{R}}^{n-1}$ and use Tonelli theorem once more. For finite total integrals, infinite slice integrals occur only on null sets and may be replaced by zero there; this only weakens the displayed premise. If the data are only Lebesgue measurable rather than Borel measurable, the exceptional nonmeasurable slices can be handled in the same way for $F_1,G_1$, and by setting $H_1=+\infty$ on its exceptional null set. The total integrals are unchanged, and the slice premise holds everywhere it is needed. The result therefore holds for general nonnegative measurable functions.

Use a filtered probability space $(\Omega ,\mathcal{F},({\mathcal{F}}_t),\mathbb{P})$, and put ${\mathcal{F}}_{0-}={\mathcal{F}}_0$. The predictable sigma-algebra on $\Omega \times [0,\infty )$ isEquivalently it is generated by left-continuous adapted processes. A real-valued previsible process is a function $(\omega ,t)\mapsto H_t(\omega )$ that is measurable for $\mathcal{P}$ and the Borel sigma-algebra of $\mathbb{R}$.

A simple predictable process has the formwhere $h_{-1}$ is bounded and ${\mathcal{F}}_0$-measurable, and each $h_i$ is bounded and ${\mathcal{F}}_{t_i}$-measurable. Set $H=0$ after $t_n$; allowing a final infinite interval gives an equivalent dense class. The values may be restricted to finitely many values if desired, by approximating bounded measurable functions by simple functions. The initial-time term matters for arbitrary finite measures on $\mathcal{P}$: a measure can charge time zero, even though the stochastic integral against a continuous martingale does not.