Week 1 Worksheet
- Suppose that is countably additive. Carefully prove that
whenever are disjoint subsets of .
- Prove for every and every where
is the translate of by .
- Prove .
- Carefully verify that is a -algebra on .
- Fix a measurable space . Given a sequence in define
- Write sentences describing what it means for a point to belong to the above sets.
- Verify that .
- Verify that and are measurable.
-
- Write down a Borel subset of that is not open.
- Write down a Borel subset of that is neither open nor closed.
- Write down a Borel subset of that is neither a countable union of open sets nor a countable union of closed sets.
-
Say that is nowhere dense if its closure has empty interior. Say that is meagre if it is a countable union of nowhere dense sets.
- Prove that countable sets are meager.
- Prove that is not meager.
Say that is a Baire subset of if there is an open set such that is meagre.
- Prove that the collection of Baire subsets of is a -algebra.
- Prove that every Borel subset of is a Baire subset of .
-
- How many Borel sets are there?
- Is every subset of the middle-thirds Cantor set a Borel set?