\[ \newcommand{\C}{\mathbb{C}} \newcommand{\haar}{\mathsf{m}} \newcommand{\B}{\mathscr{B}} \newcommand{\D}{\mathscr{D}} \newcommand{\P}{\mathcal{P}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\g}{>} \newcommand{\l}{<} \newcommand{\intd}{\,\mathsf{d}} \newcommand{\Re}{\mathsf{Re}} \newcommand{\area}{\mathop{\mathsf{Area}}} \newcommand{\met}{\mathop{\mathsf{d}}} \newcommand{\emptyset}{\varnothing} \DeclareMathOperator{\borel}{\mathsf{Bor}} \DeclareMathOperator{\baire}{\mathsf{Baire}} \newcommand{\symdiff}{\mathop\triangle} \]

Exam Practice Solutions

    1. The given collection contains $X$. It is closed under complements by direct verification: each of the sets \[ \begin{gather*} X \setminus \emptyset = X \qquad X \setminus A = X \setminus A \\ X \setminus (X \setminus A) = A \qquad X \setminus X = \emptyset \end{gather*} \] belong to the collection. Lastly, given a sequence $E_1,E_2,\dots$ of sets in the collection their union is also in the collection. Indeed, we may assume all $E_n$ are non-empty. If some $E_n$ is $X$ then the union is $X$. We have reduced to the case where all $E_n$ are either $A$ or $X \setminus A$. The union of any such sequence is $A$ or $X \setminus A$ or $X$.
    2. Take $X = \R$ and \[ \begin{gather*} \B = \{ \emptyset, (-\infty,0), [0,\infty), \R \} \\ \mathscr{C} = \{ \emptyset, (-\infty,4], (4,\infty), \R \} \end{gather*} \] both of which are σ-algebras by part (i). Their union \[ \{ \emptyset, (-\infty,0), [0,\infty), (-\infty,4], (4,\infty), \R \} \] is not a σ-algebra because the union \[ (-\infty,0) \cup (4,\infty) \] is not in the collection.
Comments

The first part is at a realtively low level of difficulty, requiring verification of the definition of a σ-algebra. The second part is at a medium level. Note that you do not have to have given a solution to the first part in order to use its result to answer the second part.

    1. Define \[ g_n(x) = \begin{cases} \dfrac{1}{1+x^2} & |x| \le n \\ 0 & |x| \g n \end{cases} \] for all $n \in \N$ and all $x \in \R$. Each $g_n$ is the product of the continuous function $f$ with the measurable function $1_{[-n,n]}$ so each $g_n$ is meaurable. The sequence $g_1(x),g_2(x),\dots$ is non-negative, non-decreasing and converges to $f(x)$ for all $x \in \R$. The monotone convergence theorem then gives \[ \int f \intd \lambda = \lim_{n \to \infty} \int g_n \intd \lambda = \lim_{n \to \infty} \int\limits_{-n}^n \dfrac{1}{x^2 + 1} \intd x \] because $g_n$ is continuous on $[-n,n]$ and zero outside $[-n,n]$ so the integral can be calculated using the Riemann integral. Now \[ \begin{align*} \lim_{n \to \infty} \int\limits_{-n}^n \dfrac{1}{x^2 + 1} \intd x &{} = \lim_{n \to \infty} \arctan(x) \Big|_{-n}^n \\ &{} = \lim_{n \to \infty} 2 \arctan(n) = \pi \end{align*} \] so \[ \int f \intd\lambda = \pi \] and $f$ does indeed belong to $\mathsf{L}^{\!\mathsf{1}}(\R,\B,\mu)$.
    2. Each $f_n$ is continuous and therefore measurable. Since \[ \lim_{n \to \infty} \dfrac{\sin(\tfrac{x}{n})}{\tfrac{x}{n}} = 1 \] for all $x \ne 0$ we have $f_n \to f$ pointwise. We have \[ |f_n(x)| = \left| \dfrac{\sin( \tfrac{x}{n} )}{\tfrac{x}{n}} \right| \dfrac{1}{1+x^2} \le \dfrac{1}{1+x^2} = f(x) \] for all $n \in \N$ and all $x \in \R$. From (i) we know that $f$ is integrable. We may therefore apply the dominated convergence theorem to get \[ \lim_{n \to \infty} \int f_n \intd \lambda = \int \lim_{n \to \infty} f_n \intd \lambda = \int f \intd \lambda = \pi \] as needed.
Comments

Both parts are at a medium level of difficulty. Take care to verify in your solutions that the hypotheses of any major theorems from the course are verified before applying them. Properties of elementary functions can be used without reference. Note that the second part tells you to use the dominated convergence theorem, so you must use it to get marks.

    1. $T$ is ergodic when every set $B \in \B$ satisfying $T^{-1} B = B$ has $\mu(B) \in \{0,1\}$.
    2. $T$ is ergodic if and only if every member $f$ of $\mathsf{L}^{\!\mathsf{1}}(X,\B,\mu)$ satisfying $Tf = f$ is constant.
    3. If $T^2$ is not ergodic there is a non-constant function $g$ in $\mathsf{L}^{\!\mathsf{1}}(X,\B,\mu)$ with $T^2 g = g$ by (ii). Define \[ f = g - Tg \] and note that $f$ is non-zero, because if it were zero we would have $Tg = g$ and then $g$ would be constants. Now \[ Tf = Tg - T^2 g = Tg - g = -(g - Tg) = -f \] so $f$ is an eigenfunction with eigenvalue $-1$.
Comments

The first two parts are recall from the notes. The third part is at a high-level of difficulty, being unlike previously seen problems and requiring an insight.

    1. If $T$ is ergodic then for every measurable and integrable function $f : X \to \R$ there is a set $\Omega \subset X$ with $\mu(\Omega) = 1$ such that \[ \lim_{N \to \infty} \dfrac{1}{N} \sum_{n=0}^{N-1} f(T^n(x)) = \int f \intd \mu \] for all $x \in \Omega$.
    2. We proved in class that $T$ is ergodic for $\mu$. Since \[ f = 1_{[1]} + 1_{[01]} \] it is simple and its integral is $\mu([1]) + \mu([01]) = \tfrac{3}{4}$. Thus $f$ is measurable and integrable. The pointwise ergodic theorem gives a set $\Omega \subset \{0,1\}^\N$ with $\mu(\Omega) = 1$ and \[ \lim_{N \to \infty} \dfrac{1}{N} \sum_{n=0}^{N-1} f(T^n(x)) = \int f \intd \mu = \dfrac{3}{4} \] for all $x \in \Omega$. Now \[ \begin{align*} & \sum_{n=0}^{N-1} f(T^n(x)) \\ = { }& | \{ 1 \le n \le N : x(n) = 1 \}| \\ & \qquad + | \{ 1 \le n \le N : x(n) = 0 \textup{ and } x(n+1) = 1 \}| \end{align*} \] so we deduce almost every infinitely repeated fair coin toss will have either a head or a tail followed by a head three-quarters of the time.
Comments

The first part is recall. The second part is at a low to medium level of difficulty. Take care when integrating $f$ as it is not given written as a simple function.