Past exam of the integration course of the University of Oxford / 2023 / 3 / b

False. A typewriter sequence sweeps successively through finer dyadic partitions. For $k\ge 0$ and $j=0,\dots ,2^k-1$, define the indicator functionIts L2 norm satisfiesAs $n$ tends to infinity so does its block index $k$, proving norm convergence to zero. However, every $x\in (0,1)$ belongs to exactly one of the half-open intervals in each block, so $f_n(x)=1$ infinitely often. For $k\ge 1$ there is also an interval in each block that does not contain $x$, so $f_n(x)=0$ infinitely often. Thus there is no pointwise convergence at any $x\in (0,1)$, let alone convergence almost everywhere.

True. Replace the dominating representative by $|g|$ if necessary, and take the countable union of the exceptional Lebesgue null sets so that every bound holds off a single null set. Since the interval has Lebesgue measure one, Cauchy-Schwarz inequality givesThus $g^2$ is a Lebesgue integrable function. The squared functions satisfy $|f_n{|}^2\to 0$ pointwise and $|f_n{|}^2\le |g{|}^2$ almost everywhere. The dominated convergence theorem therefore yieldsThis uses the Lp inclusion on a finite measure space to turn the assumed fourth-power bound into the second-power domination actually needed.