Extra Problems: Measure Theory

Greatest Hits

  • \(\star\): Show that for \(E\subseteq {\mathbf{R}}^n\), TFAE:

    • \(E\) is measurable
    • \(E = H\cup Z\) here \(H\) is \(F_\sigma\) and \(Z\) is null
    • \(E = V\setminus Z'\) where \(V\in G_\delta\) and \(Z'\) is null.
  • \(\star\): Show that if \(E\subseteq {\mathbf{R}}^n\) is measurable then \(m(E) = \sup \left\{{ m(K) {~\mathrel{\Big\vert}~}K\subset E\text{ compact}}\right\}\) iff for all \({\varepsilon}> 0\) there exists a compact \(K\subseteq E\) such that \(m(K) \geq m(E) - {\varepsilon}\).

  • \(\star\): Show that cylinder functions are measurable, i.e. if \(f\) is measurable on \({\mathbf{R}}^s\), then \(F(x, y) \coloneqq f(x)\) is measurable on \({\mathbf{R}}^s\times{\mathbf{R}}^t\) for any \(t\).

  • \(\star\): Prove that the Lebesgue integral is translation invariant, i.e. if \(\tau_h(x) = x+h\) then \(\int \tau_h f = \int f\).

  • \(\star\): Prove that the Lebesgue integral is dilation invariant, i.e. if \(f_\delta(x) = {f({x\over \delta}) \over \delta^n}\) then \(\int f_\delta = \int f\).

  • \(\star\): Prove continuity in \(L^1\), i.e. \begin{align*} f \in L^{1} \Longrightarrow \lim _{h \rightarrow 0} \int|f(x+h)-f(x)|=0 .\end{align*}

  • \(\star\): Show that \begin{align*}f,g \in L^1 \implies f\ast g \in L^1 {\quad \operatorname{and} \quad} {\left\lVert {f\ast g} \right\rVert}_1 \leq {\left\lVert {f} \right\rVert}_1 {\left\lVert {g} \right\rVert}_1.\end{align*}

  • \(\star\): Show that if \(X\subseteq {\mathbf{R}}\) with \(\mu(X) < \infty\) then \begin{align*} {\left\lVert {f} \right\rVert}_p \overset{p\to\infty}\to {\left\lVert {f} \right\rVert}_\infty .\end{align*}

Topology

  • Show that every compact set is closed and bounded.
  • Show that if a subset of a metric space is complete and totally bounded, then it is compact.
  • Show that if \(K\) is compact and \(F\) is closed with \(K, F\) disjoint then \(\operatorname{dist}(K, F) > 0\).

Continuity

  • Show that a continuous function on a compact set is uniformly continuous.

Differentiation

  • Show that if \(f\in C^1({\mathbf{R}})\) and both \(\lim_{x\to \infty} f(x)\) and \(\lim_{x\to \infty} f'(x)\) exist, then \(\lim_{x\to\infty} f'(x)\) must be zero.

Advanced Limitology

  • If \(f\) is continuous, is it necessarily the case that \(f'\) is continuous?
  • If \(f_n \to f\), is it necessarily the case that \(f_n'\) converges to \(f'\) (or at all)?
  • Is it true that the sum of differentiable functions is differentiable?
  • Is it true that the limit of integrals equals the integral of the limit?
  • Is it true that a limit of continuous functions is continuous?
  • Show that a subset of a metric space is closed iff it is complete.
  • Show that if \(m(E) < \infty\) and \(f_n\to f\) uniformly, then \(\lim \int_E f_n = \int_E f\).

Uniform Convergence

  • Show that a uniform limit of bounded functions is bounded.
  • Show that a uniform limit of continuous function is continuous.
    • I.e. if \(f_n\to f\) uniformly with each \(f_n\) continuous then \(f\) is continuous.
  • Show that
    • \(f_n: [a, b]\to {\mathbf{R}}\) are continuously differentiable with derivatives \(f_n'\)
    • The sequence of derivatives \(f_n'\) converges uniformly to some function \(g\)
    • There exists at least one point \(x_0\) such that \(\lim_n f_n(x_0)\) exists,
    • Then \(f_n \to f\) uniformly to some differentiable \(f\), and \(f' = g\).
  • Prove that uniform convergence implies pointwise convergence implies a.e. convergence, but none of the implications may be reversed.
  • Show that \(\sum {x^n \over n!}\) converges uniformly on any compact subset of \({\mathbf{R}}\).

Measure Theory

  • Show that continuity of measure from above/below holds for outer measures.

  • Show that a countable union of null sets is null.

Measurability

  • Show that \(f=0\) a.e. iff \(\int_E f = 0\) for every measurable set \(E\).

Integrability

  • Show that if \(f\) is a measurable function, then \(f=0\) a.e. iff \(\int f = 0\).
  • Show that a bounded function is Lebesgue integrable iff it is measurable.
  • Show that simple functions are dense in \(L^1\).
  • Show that step functions are dense in \(L^1\).
  • Show that smooth compactly supported functions are dense in \(L^1\).

Convergence

  • Prove Fatou’s lemma using the Monotone Convergence Theorem.
  • Show that if \(\left\{{f_n}\right\}\) is in \(L^1\) and \(\sum \int {\left\lvert {f_n} \right\rvert} < \infty\) then \(\sum f_n\) converges to an \(L^1\) function and \begin{align*}\int \sum f_n = \sum \int f_n.\end{align*}

Convolution

  • Show that if \(f, g\) are continuous and compactly supported, then so is \(f\ast g\).
  • Show that if \(f\in L^1\) and \(g\) is bounded, then \(f\ast g\) is bounded and uniformly continuous.
  • If \(f, g\) are compactly supported, is it necessarily the case that \(f\ast g\) is compactly supported?
  • Show that under any of the following assumptions, \(f\ast g\) vanishes at infinity:
    • \(f, g\in L^1\) are both bounded.
    • \(f, g\in L^1\) with just \(g\) bounded.
    • \(f, g\) smooth and compactly supported (and in fact \(f\ast g\) is smooth)
    • \(f\in L^1\) and \(g\) smooth and compactly supported (and in fact \(f\ast g\) is smooth)
  • Show that if \(f\in L^1\) and \(g'\) exists with \({\frac{\partial g}{\partial x_i}\,}\) all bounded, then \begin{align*}{\frac{\partial }{\partial x_i}\,}(f\ast g) = f \ast {\frac{\partial g}{\partial x_i}\,}\end{align*}

Fourier Analysis

  • Show that if \(f\in L^1\) then \(\widehat{f}\) is bounded and uniformly continuous.
  • Is it the case that \(f\in L^1\) implies \(\widehat{f}\in L^1\)?
  • Show that if \(f, \widehat{f} \in L^1\) then \(f\) is bounded, uniformly continuous, and vanishes at infinity.
    • Show that this is not true for arbitrary \(L^1\) functions.
  • Show that if \(f\in L^1\) and \(\widehat{f} = 0\) almost everywhere then \(f = 0\) almost everywhere.
    • Prove that \(\widehat{f} = \widehat{g}\) implies that \(f=g\) a.e.
  • Show that if \(f, g \in L^1\) then \begin{align*}\int \widehat{f} g = \int f\widehat{g}.\end{align*}
    • Give an example showing that this fails if \(g\) is not bounded.
  • Show that if \(f\in C^1\) then \(f\) is equal to its Fourier series.

Approximate Identities

  • Show that if \(\phi\) is an approximate identity, then \begin{align*}{\left\lVert {f\ast \phi_t - f} \right\rVert}_1 \overset{t\to 0}\to 0.\end{align*}
    • Show that if additionally \({\left\lvert {\phi(x)} \right\rvert} \leq c(1 + {\left\lvert {x} \right\rvert})^{-n-{\varepsilon}}\) for some \(c,{\varepsilon}>0\), then this converges is almost everywhere.
  • Show that is \(f\) is bounded and uniformly continuous and \(\phi_t\) is an approximation to the identity, then \(f\ast \phi_t\) uniformly converges to \(f\).

\(L^p\) Spaces

  • Show that if \(E\subseteq {\mathbf{R}}^n\) is measurable with \(\mu(E) < \infty\) and \(f\in L^p(X)\) then \begin{align*}{\left\lVert {f} \right\rVert}_{L^p(X)} \overset{p\to\infty}\to {\left\lVert {f} \right\rVert}_\infty.\end{align*}
  • Is it true that the converse to the DCT holds? I.e. if \(\int f_n \to \int f\), is there a \(g\in L^p\) such that \(f_n < g\) a.e. for every \(n\)?
  • Prove continuity in \(L^p\): If \(f\) is uniformly continuous then for all \(p\), \begin{align*}{\left\lVert {\tau_h f - f} \right\rVert}_p \overset{h\to 0}\to 0.\end{align*}
  • Prove the following inclusions of \(L^p\) spaces for \(m(X) < \infty\): \begin{align*} L^\infty(X) &\subset L^2(X) \subset L^1(X) \\ \ell^2({\mathbf{Z}}) &\subset \ell^1({\mathbf{Z}}) \subset \ell^\infty({\mathbf{Z}}) .\end{align*}

Unsorted

If \(\left\{{R_j}\right\} \rightrightarrows R\) is a covering of \(R\) by rectangles, \begin{align*} R = \overset{\circ}{\coprod_{j}} R_j &\implies {\left\lvert {R} \right\rvert} = \sum {\left\lvert {R} \right\rvert}_j \\ R \subseteq \bigcup_j R_j &\implies {\left\lvert {R} \right\rvert} \leq \sum {\left\lvert {R} \right\rvert}_j .\end{align*}

  • Show that any disjoint intervals is countable.
  • Show that every open \(U \subseteq {\mathbf{R}}\) is a countable union of disjoint open intervals.
  • Show that every open \(U \subseteq {\mathbf{R}}^n\) is a countable union of almost disjoint closed cubes.
  • Show that that Cantor middle-thirds set is compact, totally disconnected, and perfect, with outer measure zero.
  • Prove the Borel-Cantelli lemma.