\[
\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}
\]
Week 1 Worksheet
- Suppose that $\Xi : \mathcal{P}(\R) \to [0,\infty]$ is countably additive. Carefully prove that
\[
\Xi(A \cup B) = \Xi(A) + \Xi(B)
\]
whenever $A,B$ are disjoint subsets of $X$.
- Prove $\Lambda(A - t) = \Lambda(A)$ for every $A \subset \R$ and every $t \in \R$ where
\[
A - t = \{ s \in \R : s+t \in A \}
\]
is the translate of $A$ by $t$.
- Prove $\Lambda( [0,1] ) = 1$.
- Carefully verify that $\{ \emptyset, X \}$ is a $\sigma$-algebra on $X$.
- Fix a measurable space $(X,\B)$. Given a sequence $B_1,B_2,B_3,\dots$ in $\B$ define
\[
\begin{aligned}
\limsup_n B_n &= \bigcap_{N \in \N} \bigcup_{j \ge N} B_j \\
\liminf_n B_n &= \bigcup_{N \in \N} \bigcap_{j \ge N} B_j
\end{aligned}
\]
- Write sentences describing what it means for a point to belong to the above sets.
- Verify that $\limsup\limits_n B_n \supset \liminf\limits_n B_n$.
- Verify that $\limsup\limits_n B_n$ and $\liminf\limits_n B_n$ are measurable.
-
- Write down a Borel subset of $\R$ that is not open.
- Write down a Borel subset of $\R$ that is neither open nor closed.
- Write down a Borel subset of $\R$ that is neither a countable union of open sets nor a countable union of closed sets.
-
Say that $M \subset \R$ is nowhere dense if its closure has empty interior. Say that $M \subset \R$ is meagre if it is a countable union of nowhere dense sets.
- Prove that countable sets are meager.
- Prove that $\R \setminus \Q$ is not meager.
Say that $B \subset \R$ is a Baire subset of $\R$ if there is an open set $U \subset \R$ such that $B \symdiff U$ is meagre.
- Prove that the collection $\baire(\R)$ of Baire subsets of $\R$ is a $\sigma$-algebra.
- Prove that every Borel subset of $\R$ is a Baire subset of $\R$.
-
- How many Borel sets are there?
- Is every subset of the middle-thirds Cantor set a Borel set?