# Polish spaces and Baire spaces

## 1 Introduction

These notes consist of me working through those parts of the first chapter of Alexander S. Kechris, Classical Descriptive Set Theory, that I think are important in analysis. Denote by $\mathbb{N}$ the set of positive integers. I do not talk about universal spaces like the Cantor space ${2}^{\mathbb{N}}$, the Baire space ${\mathbb{N}}^{\mathbb{N}}$, and the Hilbert cube ${[0,1]}^{\mathbb{N}}$, or “localization”, or about Polish groups.

If $(X,\tau )$ is a topological space, the Borel $\sigma $-algebra of $X$, denoted by ${\mathcal{B}}_{X}$, is the smallest $\sigma $-algebra of subsets of $X$ that contains $\tau $. ${\mathcal{B}}_{X}$ contains $\tau $, and is closed under complements and countable unions, and rather than talking merely about Borel sets (elements of the Borel $\sigma $-algebra), we can be more specific by talking about open sets, closed sets, and sets that are obtained by taking countable unions and complements.

###### Definition 1.

An ${F}_{\sigma}$ set is a countable union of closed sets.

A ${G}_{\delta}$ set is a complement of an ${F}_{\sigma}$ set. Equivalently, it is a countable intersection of open sets.

If $(X,d)$ is a metric space, the topology induced by the metric $d$ is the topology generated by the collection of open balls. If $(X,\tau )$ is a topological space, a metric $d$ on the set $X$ is said to be compatible with $\tau $ if $\tau $ is the topology induced by $d$. A metrizable space is a topological space whose topology is induced by some metric, and a completely metrizable space is a topological space whose topology is induced by some complete metric. One proves that being metrizable and being completely metrizable are topological properties, i.e., are preserved by homeomorphisms.

If $X$ is a topological space, a subspace of $X$ is a subset of $X$ which is a topogical space with the subspace topology inherited from $X$. Because any topological space is a closed subset of itself, when we say that a subspace is closed we mean that it is a closed subset of its parent space, and similarly for open, ${F}_{\sigma}$, ${G}_{\delta}$. A subspace of a compact Hausdorff space is compact if and only if it is closed; a subspace of a metrizable space is metrizable; and a subspace of a completely metrizable space is completely metrizable if and only if it is closed.

A topological space is said to be separable if it has a countable dense subset, and second-countable if it has a countable basis for its topology. It is straightforward to check that being second-countable implies being separable, but a separable topological space need not be second-countable. However, one checks that a separable metrizable space is second-countable. A subspace of a second-countable topological space is second-countable, and because a subspace of a metrizable space is metrizable, it follows that a subspace of a separable metrizable space is separable.

A Polish space is a separable completely metrizable space. My own interest in Polish spaces is because one can prove many things about Borel probability measures on a Polish space that one cannot prove for other types of topological spaces. Using the fact (the Heine-Borel theorem) that a compact metric space is complete and totally bounded, one proves that a compact metrizable space is Polish, but for many purposes we do not need a metrizable space to be compact, only Polish, and using compact spaces rather than Polish spaces excludes, for example, $\mathbb{R}$.

## 2 Separable Banach spaces

Let $K$ denote either $\mathbb{R}$ or $\u2102$. If $X$ and $Y$ are Banach spaces over $K$, we denote by $\mathcal{B}(X,Y)$ the set of bounded linear operators $X\to Y$. With the operator norm, this is a Banach space. We shall be interested in the strong operator topology, which is the initial topology on $\mathcal{B}(X,Y)$ induced by the family $\{T\mapsto Tx:x\in X\}$. One proves that the strong operator topology on $\mathcal{B}(X,Y)$ is induced by the family of seminorms $\{T\mapsto \parallel Tx\parallel :x\in X\}$, and because this is a separating family of seminorms, $\mathcal{B}(X,Y)$ with the strong operator topology is a locally convex space. A basis of convex sets for the strong operator topology consists of those sets of the form

$$ |

for ${x}_{1},\mathrm{\dots},{x}_{n}\in X$, $\u03f5>0$, ${T}_{1},\mathrm{\dots},{T}_{n}\in \mathcal{B}(X,Y)$.

We prove conditions under which the closed unit ball in $\mathcal{B}(X,Y)$ with the strong operator topology is Polish.^{1}^{1}
1
Alexander S. Kechris, Classical Descriptive Set Theory, p. 14.

###### Theorem 2.

Suppose that $X$ and $Y$ are separable Banach spaces. Then the closed unit ball

$${B}_{1}=\{T\in \mathcal{B}(X,Y):\parallel T\parallel \le 1\}$$ |

with the subspace topology inherited from $\mathcal{B}(X,Y)$ with the strong operator topology is Polish.

###### Proof.

Let $E$ be $\mathbb{Q}$ or $\{a+ib:a,b\in \mathbb{Q}\}$, depending on whether $K$ is $\mathbb{R}$ or $\u2102$, let ${D}_{0}$ be a countable dense subset of $X$, and let $D$ be the span of ${D}_{0}$ over $K$. $D$ is countable and $Y$ is Polish, so the product ${Y}^{D}$ is Polish. Define $\mathrm{\Phi}:{B}_{1}\to {Y}^{D}$ by $\mathrm{\Phi}(T)=T\circ \iota $, where $\iota :D\to X$ is the inclusion map. If $\mathrm{\Phi}(S)=\mathrm{\Phi}(T)$, then because $D$ is dense in $X$ and $S,T:X\to Y$ are continuous, $X=Y$, showing that $\mathrm{\Phi}$ is one-to-one. We check that $\mathrm{\Phi}({B}_{1})$ consists of those $f\in {Y}^{D}$ such that both (i) if $x,y\in D$ and $a,b\in E$ then $f(ax+by)=af(x)+bf(y)$, and (ii) if $x\in D$ then $\parallel f(x)\parallel \le \parallel x\parallel $. One proves that $\mathrm{\Phi}({B}_{1})$ is a closed subset of ${Y}^{D}$, and because ${Y}^{D}$ is Polish this implies that $\mathrm{\Phi}({B}_{1})$ with the subspace topology inherited from ${Y}^{D}$ is Polish. Then one proves that $\mathrm{\Phi}:{B}_{1}\to \mathrm{\Phi}({B}_{1})$ is a homeomorphism, where ${B}_{1}$ has the subspace topology inherited from $\mathcal{B}(X,Y)$ with the strong operator topology, which tells us that ${B}_{1}$ is Polish. ∎

If $X$ is a Banach space over $K$, where $K$ is $\mathbb{R}$ or $\u2102$, we write ${X}^{*}=\mathcal{B}(X,K)$. The strong
operator topology on $\mathcal{B}(X,K)$ is called the weak-* topology on ${X}^{*}$.
Keller’s theorem^{2}^{2}
2
Alexander S. Kechris, Classical Descriptive Set Theory, p. 64, Theorem 9.19.
states that if $X$ is a separable infinite-dimensional Banach space, then the closed unit ball in ${X}^{*}$ with the subspace
topology inherited from ${X}^{*}$ with the weak-* topology is homeomorphic to the Hilbert cube ${[0,1]}^{\mathbb{N}}$.

## 3 G-delta sets

If $(X,d)$ is a metric space and $A$ is a subset of $X$, we define

$$\mathrm{diam}(A)=sup\{d(x,y):x,y\in A\},$$ |

with $\mathrm{diam}(\mathrm{\varnothing})=0$, and if $x\in X$ we define

$$d(x,A)=inf\{d(x,y):y\in A\},$$ |

with $d(x,\mathrm{\varnothing})=\mathrm{\infty}$. We also define

$$ |

If $X$ and $Y$ are topological spaces and $f:X\to Y$ is a function, the set of continuity of $f$ is the set of all points in $X$ at which $f$ is continuous. To say that $f$ is continuous is equivalent to saying that its set of continuity is $X$.

If $X$ is a topological space, $(Y,d)$ is a metric space, $A\subset X$, and $f:A\to Y$ is a function, for $x\in X$ we define the oscillation of $f$ at $x$ as

$${\mathrm{osc}}_{f}(x)=inf\{\mathrm{diam}(f(U\cap A)):U\text{is an open neighborhood of}x\}.$$ |

To say that $f:A\to Y$ is continuous at $x\in A$ means that for every $\u03f5>0$ there is some open neighborhood $U$ of $x$ such that $y\in U\cap A$ implies that $$, and this implies that $\mathrm{diam}(f(U\cap A))\le 2\u03f5$. Hence if $f$ is continuous at $x$ then ${\mathrm{osc}}_{f}(x)=0$. On the other hand, suppose that ${\mathrm{osc}}_{f}(x)=0$ and let $\u03f5>0$. There is then some open neighborhood $U$ of $x$ such that $$, and this implies that $$ for every $y\in U\cap A$, showing that $f$ is continuous at $x$. Therefore, the set of continuity of $f:A\to Y$ is

$$\{x\in A:{\mathrm{osc}}_{f}(x)=0\}.$$ |

As well, if $x\in X\setminus \overline{A}={\overline{A}}^{c}$, then ${\overline{A}}^{c}$ is an open neighborhood of $x$ and $f({\overline{A}}^{c}\cap A)=f(\mathrm{\varnothing})=\mathrm{\varnothing}$ and $\mathrm{diam}(\mathrm{\varnothing})=0$, so in this case ${\mathrm{osc}}_{f}(x)=0$.

The following theorem shows that the set of points where a function taking values in a metrizable space
has zero oscillation
is a ${G}_{\delta}$ set.^{3}^{3}
3
Alexander S. Kechris, Classical Descriptive Set Theory, p. 15, Proposition 3.6.

###### Theorem 3.

Suppose that $X$ is a topological space, $Y$ is a metrizable space, $A\subset X$, and $f:A\to Y$ is a function. Then $\{x\in X:{\mathrm{osc}}_{f}(x)=0\}$ is a ${G}_{\delta}$ set.

###### Proof.

Let $d$ be a metric on $Y$ that induces its topology and let $$. For $x\in {A}_{\u03f5}$, there is an open neighborhood $U$ of $x$ such that $$. But if $y\in U$ then $U$ is an open neighborhood of $y$ and $$, so $$ and hence $y\in {A}_{\u03f5}$, showing that ${A}_{\u03f5}$ is open. Finally,

$$\{x\in X:{\mathrm{osc}}_{f}(x)=0\}=\bigcap _{n\in \mathbb{N}}{A}_{1/n},$$ |

which is a ${G}_{\delta}$ set, completing the proof. ∎

In a metrizable space, the only closed sets that are open are $\mathrm{\varnothing}$ and the space itself, but we can show that
any closed set is a countable intersection of open sets.^{4}^{4}
4
Alexander S. Kechris, Classical Descriptive Set Theory, p. 15, Proposition 3.7.

###### Theorem 4.

If $X$ is a metrizable space, then any closed subset of $X$ is a ${G}_{\delta}$ set.

###### Proof.

Let $d$ be a metric on $X$ that induces its topology. Suppose that $A$ is a nonempty subset of $X$ and that $x,y\in X$. We have $d(x,A)\le d(x,y)+d(y,A)$ and $d(y,A)\le d(y,x)+d(x,A)$, so

$$|d(x,A)-d(y,A)|\le d(x,y).$$ |

It follows that ${B}_{d}(A,\u03f5)$ is open. But if $F$ is a closed subset of $X$ then check that

$$F=\bigcap _{n\in \mathbb{N}}{B}_{d}(F,1/n),$$ |

which is an ${F}_{\sigma}$ set, completing the proof. (If we did not know that $F$ was closed then $F$ would be contained in this intersection, but need not be equal to it.) ∎

Kechris attributes the following theorem^{5}^{5}
5
Alexander S. Kechris, Classical Descriptive Set Theory, p. 16,
Theorem 3.8.
to Kuratowski. It and the following theorem are about extending continuous functions from a set to a ${G}_{\delta}$
set that contains it, and we will use the following theorem in the proof of Theorem 7.

###### Theorem 5.

Suppose that $X$ is metrizable, $Y$ is completely metrizable, $A$ is a subspace of $X$, and $f:A\to Y$ is continuous. Then there is a ${G}_{\delta}$ set $G$ in $X$ such that $A\subset G\subset \overline{A}$ and a continuous function $g:G\to Y$ whose restriction to $A$ is equal to $f$.

###### Proof.

Let $G=\overline{A}\cap \{x\in X:{\mathrm{osc}}_{f}(x)=0\}$. Theorem 4 tells us that the first set is ${G}_{\delta}$ and Theorem 3 tells us that the second set is ${G}_{\delta}$, so $G$ is ${G}_{\delta}$. Because $f:A\to Y$ is continuous, $A\subset \{x\in X:{\mathrm{osc}}_{f}(x)=0\}$, and hence $A\subset G$.

Let $x\in G\subset \overline{A}$, and let ${x}_{n},{t}_{n}\in A$ with ${x}_{n}\to x$ and ${t}_{n}\to x$. Because ${\mathrm{osc}}_{f}(x)=0$, for every $\u03f5>0$ there is some open neighborhood $U$ of $x$ such that $$. But then there is some $n$ such that $k\ge n$ implies that ${x}_{k},{t}_{k}\in U$, and thus $$. Hence $\mathrm{diam}(f(\{{x}_{k},{t}_{k}:k\ge n\}))\to 0$ as $n\to \mathrm{\infty}$, and this is equivalent to the sequence $f({x}_{1}),f({t}_{1}),f({x}_{2}),f({t}_{2}),\mathrm{\dots}$ being Cauchy. Because $Y$ is completely metrizable this sequence converges to some $y\in Y$ and therefore the subsequence $f({x}_{n})$ and the subsequence $f({t}_{n})$ both converge to $y$. Thus it makes sense to define $g:G\to Y$ by

$$g(x)=\underset{n\to \mathrm{\infty}}{lim}f({x}_{n}),$$ |

and the restriction of $g$ to $A$ is equal to $f$. It remains to prove that $g$ is continuous.

If $U$ is an open subset of $X$, then $g(U\cap G)\subset \overline{f(U\cap A)}$, hence

$$\mathrm{diam}(g(U\cap G))\le \mathrm{diam}(\overline{f(U\cap A)})=\mathrm{diam}(f(U\cap A)).$$ |

For any $x\in G$ this and ${\mathrm{osc}}_{f}(x)=0$ yield

$${\mathrm{osc}}_{g}(x)\le {\mathrm{osc}}_{f}(x)=0,$$ |

showing that the set of continuity of $g$ is $G$, i.e. that $g$ is continuous. ∎

The following shows that a homeomorphism between subsets of metrizable spaces can be extended to a homeomorphism of
${G}_{\delta}$ sets.^{6}^{6}
6
Alexander S. Kechris, Classical Descriptive Set Theory, p. 16, Theorem 3.9.

###### Theorem 6 (Lavrentiev’s theorem).

Suppose that $X$ and $Y$ are completely metrizable spaces, that $A$ is a subspace of $X$, and that $B$ is a subspace of $Y$. If $f:A\to B$ is a homeomorphism, then there are ${G}_{\delta}$ sets $G\supset A$ and $H\supset B$ and a homeomorphism $G\to H$ whose restriction to $A$ is equal to $f$.

###### Proof.

Theorem 5 tells us that there is a ${G}_{\delta}$ set ${G}_{1}\supset A$ and a continuous function ${g}_{1}:{G}_{1}\to Y$ whose restriction to $A$ is equal to $f$, and there is a ${G}_{\delta}$ set ${H}_{1}\supset B$ and a continuous function ${h}_{1}:{H}_{1}\to X$ whose restriction to $B$ is equal to ${f}^{-1}$. Let

$$R=\{(x,y)\in {G}_{1}\times Y:y={g}_{1}(x)\},S=\{(x,y)\in X\times {H}_{1}:x={h}_{1}(y)\}.$$ |

Because ${g}_{1}:{G}_{1}\to Y$ is continuous, $R$ is a closed subset of $X\times Y$, and because ${h}_{1}:{H}_{1}\to X$ is continuous, $S$ is a closed subset of $X\times Y$. Let

$$G={\pi}_{X}(R\cap S),H={\pi}_{Y}(R\cap S),$$ |

where ${\pi}_{X}:X\times Y\to X$ and ${\pi}_{Y}:X\times Y\to Y$ are the projection maps. If $x\in A$ then ${h}_{1}({g}_{1}(x))={f}^{-1}(f(x))=x$, and hence $x\in G$, and if $y\in B$ then ${g}_{1}({h}_{1}(y))=f({f}^{-1}(y))=y$, and hence $y\in H$, so we have

$$A\subset G\subset {G}_{1},B\subset H\subset {H}_{1}.$$ |

The map ${E}_{1}:{G}_{1}\to X\times Y$ defined by ${E}_{1}(x)=(x,{g}_{1}(x))$ is continuous because ${g}_{1}:{G}_{1}\to Y$ is continuous, and hence

$${E}_{1}^{-1}(S)=\{x\in {G}_{1}:x={h}_{1}({g}_{1}(x))\}=G$$ |

is a closed subset of ${G}_{1}$, and thus by Theorem 4 is a ${G}_{\delta}$ set in ${G}_{1}$. But ${G}_{1}$ is a ${G}_{\delta}$ subset of $X$, so $G$ is a ${G}_{\delta}$ set in $X$ also. Define ${E}_{2}:{H}_{1}\to X\times Y$ by ${E}_{2}(y)=({h}_{1}(y),y)$, which is continuous because ${h}_{1}$ is continuous. Then

$${E}_{2}^{-1}(R)=\{y\in {H}_{1}:y={g}_{1}({h}_{1}(y))\}=H$$ |

is a closed subset of ${H}_{1}$, and hence is ${G}_{\delta}$ in ${H}_{1}$. But ${H}_{1}$ is a ${G}_{\delta}$ subset of $Y$, so ${H}_{1}$ is a ${G}_{\delta}$ set in $Y$ also.

Check that the restriction of ${g}_{1}$ to ${G}_{1}$ is a homeomorphism ${G}_{1}\to {H}_{1}$ whose restriction to $A$ is equal to $f$, completing the proof. ∎

If a topological space has some property and $Y$ is a subset of $X$, one wants to know conditions under which $Y$ with the subspace
topology inherited from $X$ has the same property.
For example, a subspace of a compact Hausdorff space is compact if and only if it is closed, and a subspace of a completely metrizable space
is completely metrizable if and only if it is closed.
The following theorem shows in particular that a subspace of a Polish space is Polish if and only if it is ${G}_{\delta}$.^{7}^{7}
7
Alexander S. Kechris, Classical Descriptive Set Theory, p. 17, Theorem 3.11. (The statement
of the theorem is about completely metrizable spaces and we obtain the conclusion about Polish spaces because any subspace
of a separable metrizable space is itself separable.)

###### Theorem 7.

Suppose that $X$ is a metrizable space and $Y$ is a subset of $X$ with the subspace topology. If $Y$ is completely metrizable then $Y$ is a ${G}_{\delta}$ set in $X$. If $X$ is completely metrizable and $Y$ is a ${G}_{\delta}$ set in $X$ then $Y$ is completely metrizable.

###### Proof.

Suppose that $Y$ is completely metrizable. The map ${\mathrm{id}}_{Y}:Y\to Y$ is continuous, so Theorem 5 tells us that there is a ${G}_{\delta}$ set $Y\subset G\subset \overline{Y}$ and a continuous function $g:G\to Y$ whose restriction to $Y$ is equal to ${\mathrm{id}}_{Y}$. For $x\in G\subset \overline{Y}$, there are ${y}_{n}\in Y$ with ${y}_{n}\to x$, and because $g$ is continuous we get ${\mathrm{id}}_{Y}({y}_{n})=g({y}_{n})\to g(x)$, i.e. ${y}_{n}\to g(x)$, hence $g(x)=x$. But $g:G\to Y$ so $x\in Y$, showing that $G=Y$ and hence that $Y$ is a ${G}_{\delta}$ set.

Suppose that $X$ is completely metrizable and that $Y$ is a ${G}_{\delta}$ subset of $X$, and let $d$ be a complete metric on $X$ that is compatible with the topology of $X$; if we restrict this metric to $Y$ then it is a metric on $Y$ that is compatible with the subspace topology on $Y$ inherited from $X$, but it need not be a complete metric. Let ${U}_{n}$ be open sets in $X$ with $Y={\bigcap}_{n\in \mathbb{N}}{U}_{n}$, let ${F}_{n}=X\setminus {U}_{n}$, and for $x,y\in Y$ define

$${d}_{1}(x,y)=d(x,y)+\sum _{n\in \mathbb{N}}\mathrm{min}\{{2}^{-n},\left|\frac{1}{d(x,{F}_{n})}-\frac{1}{d(y,{F}_{n})}\right|\}.$$ |

One proves that ${d}_{1}$ is a metric on $Y$ and that it is compatible with the subspace topology on $Y$. Suppose that ${y}_{n}\in Y$ is Cauchy in $(Y,{d}_{1})$. Because $d\le {d}_{1}$, this is also a Cauchy sequence in $(X,d)$, and because $(X,d)$ is complete, there is some $y\in X$ such that ${y}_{n}\to y$ in $(X,d)$. Then one proves that ${y}_{n}\to y$ in $(Y,{d}_{1})$, from which we have that $(Y,{d}_{1})$ is a complete metric space. ∎

## 4 Continuous functions on a compact space

If $X$ and $Y$ are topological spaces, we denote by $C(X,Y)$ the set of continuous functions $X\to Y$. If $X$ is a compact topological space and $(Y,\rho )$ is a metric space, we define

$${d}_{\rho}(f,g)=\underset{x\in X}{sup}\rho (f(x),g(x)),f,g\in C(X,Y),$$ |

which is a metric on $C(X,Y)$, which we call
the $\rho $-supremum
metric. One proves that ${d}_{\rho}$ is a complete metric on $C(X,Y)$ if and only if
$\rho $ is a complete metric on $Y$.^{8}^{8}
8
Charalambos D.
Aliprantis and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 124, Lemma 3.97.
It follows that if $Y$ is a Banach space then so is $C(X,Y)$ with the supremum norm ${\parallel f\parallel}_{\mathrm{\infty}}={sup}_{x\in X}{\parallel f(x)\parallel}_{Y}$.

Suppose that $X$ is a compact topological space and that $Y$ is a metrizable space.
If ${\rho}_{1},{\rho}_{2}$ are metrics on $Y$ that induce its topology,
then ${d}_{{\rho}_{1}},{d}_{{\rho}_{2}}$ are metrics on $C(X,Y)$, and it can be proved
that they induce the same topology,^{9}^{9}
9
Charalambos D.
Aliprantis and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 124,
Lemma 3.98. which we call the topology of uniform convergence.

Finally, if $X$ is a compact metrizable space and $Y$ is a separable metrizable space, it can be proved that
$C(X,Y)$ is separable.^{10}^{10}
10
Charalambos D.
Aliprantis and Kim C. Border, Infinite Dimensional Analysis: A Hitchhiker’s Guide, third ed., p. 125,
Lemma 3.99.

Thus, using what we have stated above, suppose that $X$ is a compact metrizable space and that $Y$ is a Polish space. Because $X$ is a compact metrizable space and $Y$ is a separable metrizable space, $C(X,Y)$ is separable. Because $X$ is a compact topological space and $Y$ is a completely metrizable space, $C(X,Y)$ is completely metrizable, and hence Polish.

## 5 C([0,1])

${C}^{1}(\mathbb{R})$ consists of those functions $F:\mathbb{R}\to \mathbb{R}$ such that for each ${x}_{0}\in \mathbb{R}$, there is some ${F}^{\prime}({x}_{0})\in \mathbb{R}$ such that

$${F}^{\prime}({x}_{0})=\underset{x\to {x}_{0}}{lim}\frac{F(x)-F({x}_{0})}{x-{x}_{0}},$$ |

and such that this function ${F}^{\prime}$ belongs to $C(\mathbb{R})$. We define ${C}^{1}([0,1])$ to be those functions $[0,1]\to \mathbb{R}$ that are the restriction
to $[0,1]$ of some element of ${C}^{1}(\mathbb{R})$.
We shall prove that ${C}^{1}([0,1])$ is an ${F}_{\sigma \delta}$ set in $C([0,1])$.^{11}^{11}
11
Alexander S. Kechris, Classical Descriptive Set Theory, p. 70.

Suppose that $f\in {C}^{1}([0,1])$. For each $x\in [0,1]$,

## 6 Meager sets and Baire spaces

Let $X$ be a topological space. A subet $A$ of $X$ is called nowhere dense if the interior of $\overline{A}$ is $\mathrm{\varnothing}$. A subset $A$ of $X$ is called meager if it is a countable union of nowhere dense sets. A meager set is also said to be of first category, and a nonmeager is said to be of second category. Meager is a good name for at least two reasons: it is descriptive and the word is not already used to name anything else. First category and second category are bad names for at least four reasons: the words describe nothing, they are phrases rather than single words, they suggests an ordering, and they conflict with reserving the word “category” for category theory. A complement of a meager is said to be comeager.

If $X$ is a set, an ideal on $X$ is a collection of subsets of $X$ that includes $\mathrm{\varnothing}$ and is closed under subsets and finite unions. A $\sigma $-ideal on $X$ is an ideal that is closed under countable unions.

###### Lemma 8.

The collection of meager subsets of a topological space is a $\sigma $-ideal.

If $X$ is a topological space and $x\in X$, we say that $x$ is isolated if $\{x\}$ is open. We say $X$ is perfect if it has no isolated points, and a ${T}_{1}$ space if $\{x\}$ is closed for each $x\in X$. Suppose that $X$ is a perfect ${T}_{1}$ space and let $A$ be a countable subset of $X$. For each $x\in A$, because $X$ is ${T}_{1}$, the closure of $\{x\}$ is $\{x\}$, and because $X$ is perfect, the interior of $\{x\}$ is $\mathrm{\varnothing}$, and hence $\{x\}$ is nowhere dense. $A={\bigcup}_{x\in A}\{x\}$ is a countable union of nowhere dense sets, hence is meager. Thus we have proved that any countable subset of a perfect ${T}_{1}$ space is meager.

Suppose that $X$ is a topological space. If every comeager set in $X$ is dense, we say that $X$ is a Baire space.

###### Lemma 9.

A topological space is a Baire space if and only if the intersection of any countable family of dense open sets is dense.

We prove that open subsets of Baire spaces are Baire spaces.^{12}^{12}
12
Alexander S. Kechris, Classical Descriptive Set Theory, p. 41, Proposition
8.3.

###### Theorem 10.

If $X$ is a Baire space and $U$ is an open subspace of $X$, then $U$ is a Baire space.

###### Proof.

Because $U$ is open, an open subset of $U$ is an open subset of $X$ that is contained in $U$. Suppose that ${U}_{n}$, $n\in \mathbb{N}$, are dense open subsets of $U$. So they are each open subsets of $X$, and ${U}_{n}\cup (X\setminus \overline{U})$ is a dense open subset of $X$ for each $n\in \mathbb{N}$. Then because $X$ is a Baire space,

$$\bigcap _{n\in \mathbb{N}}({U}_{n}\cup (X\setminus \overline{U}))=\left(\bigcap _{n\in \mathbb{N}}{U}_{n}\right)\cup (X\setminus \overline{U})$$ |

is dense in $X$. It follows that ${\bigcap}_{n\in \mathbb{N}}{U}_{n}$ is dense in $U$, showing that $U$ is a Baire space. ∎

The following is the Baire category theorem.^{13}^{13}
13
Alexander S. Kechris, Classical Descriptive Set Theory, p. 41, Theorem
8.4.

###### Theorem 11 (Baire category theorem).

Every completely metrizable space is a Baire space. Every locally compact Hausdorff space is a Baire space.

###### Proof.

Let $X$ be a completely metrizable space and let $d$ be a complete metric on $X$ compatible with the topology. Suppose that ${U}_{n}$ are dense open subsets of $X$. To show that ${\bigcap}_{n\in \mathbb{N}}{U}_{n}$ is dense it suffices to show that for any nonempty open subset $U$ of $X$,

$$\bigcap _{n\in \mathbb{N}}({U}_{n}\cap U)=U\cap \bigcap _{n\in \mathbb{N}}{U}_{n}\ne \mathrm{\varnothing}.$$ |

Because $U$ is a nonempty open set it contains an open ball ${B}_{1}$ of radius $$ with $\overline{{B}_{1}}\subset U$. Since ${U}_{1}$ is dense and ${B}_{1}$ is open, ${B}_{1}\cap {U}_{1}\ne \mathrm{\varnothing}$ and is open because both ${B}_{1}$ and ${U}_{1}$ are open. As ${B}_{1}\cap {U}_{1}$ is a nonempty open set it contains an open ball ${B}_{2}$ of radius $$ with $\overline{{B}_{2}}\subset {B}_{1}\cap {U}_{1}$. Suppose that $n>1$ and that ${B}_{n}$ is an open ball of radius $$ with $\overline{{B}_{n}}\subset {B}_{n-1}\cap {U}_{n-1}$. Since ${U}_{n}$ is dense and ${B}_{n}$ is open, ${B}_{n}\cap {U}_{n}\ne \mathrm{\varnothing}$ and is open because both ${B}_{n}$ and ${U}_{n}$ are open. As ${B}_{n}\cap {U}_{n}$ is a nonempty open set it contains an open ball ${B}_{n+1}$ of radius $$ with $\overline{{B}_{n+1}}\subset {B}_{n}\cap {U}_{n}$. Then, we have ${B}_{n+1}\subset {B}_{n}$ for each $n\in \mathbb{N}$. Letting ${x}_{i}$ be the center of ${B}_{i}$, we have $$ for $j>i$, and hence ${x}_{i}$ is a Cauchy sequence. Since $(X,d)$ is a complete metric space, there is some $x\in X$ such that ${x}_{i}\to x$. For any $m$ there is some ${i}_{0}$ such that $i\ge {i}_{0}$ implies that $$, and hence $x\in {B}_{m}={\bigcap}_{n=1}^{m}{B}_{n}$. Therefore

$$x\in \bigcap _{n\in \mathbb{N}}{B}_{n}\subset \bigcap _{n\in \mathbb{N}}({U}_{n}\cap U),$$ |

which shows that ${\bigcap}_{n\in \mathbb{N}}{U}_{n}$ is dense and hence that $X$ is a Baire space.

Let $X$ be a locally compact Hausdorff space. Suppose that ${U}_{n}$ are dense open subsets of $X$ and that $U$ is a nonempty open set. Let ${x}_{1}\in U$, and because $X$ is a locally compact Hausdorff space there is an open neighborhood ${V}_{1}$ of ${x}_{1}$ with $\overline{{V}_{1}}$ compact and $\overline{{V}_{1}}\subset U$. Since ${U}_{1}$ is dense and ${V}_{1}$ is open, there is some ${x}_{2}\in {V}_{1}\cap {U}_{1}$. As ${V}_{1}\cap {U}_{1}$ is open, there is an open neighborhood ${V}_{2}$ of ${x}_{2}$ with $\overline{{V}_{2}}$ compact and $\overline{{V}_{2}}\subset {V}_{1}\cap {U}_{1}$. Thus, $\overline{{V}_{n}}$ are compact and satisfy $\overline{{V}_{n+1}}\subset \overline{{V}_{n}}$ for each $n$, and hence

$$\bigcap _{n\in \mathbb{N}}\overline{{V}_{n}}\ne \mathrm{\varnothing}.$$ |

This intersection is contained in ${\bigcap}_{n\in \mathbb{N}}({U}_{n}\cap U)$ which is therefore nonempty, showing that ${\bigcap}_{n\in \mathbb{N}}{U}_{n}$ is dense and hence that $X$ is a Baire space. ∎

## 7 Nowhere differentiable functions

From what we said in §4, because $[0,1]$ is a compact metrizable space and $\mathbb{R}$ is a Polish space, $C([0,1])=C([0,1],\mathbb{R})$ with the topology of uniform convergence is Polish. This topology is induced by the norm ${\parallel f\parallel}_{\mathrm{\infty}}={sup}_{x\in [0,1]}|f(x)|$, with which $C([0,1])$ is thus a separable Banach space.

For a function $F:\mathbb{R}\to \mathbb{R}$ to be differentiable at a point ${x}_{0}$ means that there is some ${F}^{\prime}({x}_{0})\in \mathbb{R}$ such that

$$\underset{x\to {x}_{0}}{lim}\frac{F(x)-F({x}_{0})}{x-{x}_{0}}={F}^{\prime}({x}_{0}).$$ |

If $f:[0,1]\to \mathbb{R}$ is a function and ${x}_{0}\in [0,1]$, we say that $f$ is differentiable at ${x}_{\mathrm{0}}$ if there is some function $F:\mathbb{R}\to \mathbb{R}$ that is differentiable at ${x}_{0}$ and whose restriction to $[0,1]$ is equal to $f$, and we write ${f}^{\prime}({x}_{0})={F}^{\prime}({x}_{0})$. The purpose of speaking in this way is to be precise about what we mean by $f$ being differentiable at the endpoints of the interval $[0,1]$.

If $f:[0,1]\to \mathbb{R}$ is differentiable at ${x}_{0}\in [0,1]$, then there is some $\delta >0$ such that if $$ and $x\in [0,1]$, then

$$ |

and hence

$$ |

On the other hand, if $f\in C([0,1])$ then $\{x\in [0,1]:|x-{x}_{0}|\ge \delta \}$ is a compact set on which $x\mapsto \frac{f(x)-f({x}_{0})}{x-{x}_{0}}$ is continuous, and hence the absolute value of this function is bounded by some $M$. Thus, if $|x-{x}_{0}|\ge \delta $ and $x\in [0,1]$, then

$$\left|\frac{f(x)-f({x}_{0})}{x-{x}_{0}}\right|\le M,$$ |

hence

$$|f(x)-f({x}_{0})|\le M|x-{x}_{0}|.$$ |

Therefore, if $f\in C([0,1])$ is differentiable at ${x}_{0}\in [0,1]$ then there is some positive integer $N$ such that

$$|f(x)-f({x}_{0})|\le N|x-{x}_{0}|,x\in [0,1].$$ |

For $N\in \mathbb{N}$, let ${E}_{N}$ be those $f\in C([0,1])$ for which there is some ${x}_{0}\in [0,1]$ such that

$$|f(x)-f({x}_{0})|\le N|x-{x}_{0}|,x\in [0,1].$$ |

We have established that if $f\in C([0,1])$ and there is some ${x}_{0}\in [0,1]$ such that $f$ is differentiable at ${x}_{0}$, then there is some $N\in \mathbb{N}$ such that $f\in {E}_{N}$. Therefore, the set of those $f\in C([0,1])$ that are differentiable at some point in $[0,1]$ is contained in

$$\bigcup _{N\in \mathbb{N}}{E}_{N},$$ |

and hence to prove that the set of $f\in C([0,1])$ that are nowhere differentiable is comeager in $C([0,1])$, it suffices to prove
that each ${E}_{N}$ is nowhere dense.
To show this we shall follow the proof in Stein and Shakarchi.^{14}^{14}
14
Elias M. Stein and Rami Shakarchi, Functional Analysis, p. 163, Theorem 1.5.

###### Lemma 12.

For each $N\in \mathbb{N}$, ${E}_{N}$ is a closed subset of the Banach space $C([0,1])$.

###### Proof.

$C([0,1])$ is a metric space, so to show that ${E}_{N}$ is closed it suffices to prove that if ${f}_{n}\in {E}_{N}$ is a sequence tending to $f\in C([0,1])$, then $f\in {E}_{N}$. For each $n$, let ${x}_{n}\in [0,1]$ be such that

$$|{f}_{n}(x)-{f}_{n}({x}_{n})|\le N|x-{x}_{n}|,x\in [0,1].$$ |

Because ${x}_{n}$ is a sequence in the compact set $[0,1]$, it has subsequence ${x}_{a(n)}$ that converges to some ${x}_{0}\in [0,1]$. For all $x\in [0,1]$ we have

$|f(x)-f({x}_{0})|$ | $\le $ | $|f(x)-{f}_{a(n)}(x)|+|{f}_{a(n)}(x)-{f}_{a(n)}({x}_{0})|$ | ||

$+|{f}_{a(n)}({x}_{0})-f({x}_{0})|.$ |

Let $\u03f5>0$. Because ${\parallel {f}_{n}-f\parallel}_{\mathrm{\infty}}\to 0$, there is some ${n}_{0}$ such that when $n\ge {n}_{0}$, the first and third terms on the right-hand side are each $$. For the second term on the right-hand side, we use

$$|{f}_{a(n)}(x)-{f}_{a(n)}({x}_{0})|\le |{f}_{a(n)}(x)-{f}_{a(n)}({x}_{a(n)})|+|{f}_{a(n)}({x}_{a(n)})-{f}_{a(n)}({x}_{0})|.$$ |

But ${f}_{a(n)}\in {E}_{N}$, so this is $\le $

$$N|x-{x}_{a(n)}|+N|{x}_{a(n)}-{x}_{0}|.$$ |

Putting everything together, for $n\ge {n}_{0}$ we have

$$ |

Because ${x}_{a(n)}\to {x}_{0}$, we get

$$|f(x)-f({x}_{0})|\le 2\u03f5+N|x-{x}_{0}|.$$ |

But this is true for any $\u03f5>0$, so

$$|f(x)-f({x}_{0})|\le N|x-{x}_{0}|,$$ |

showing that $f\in {E}_{N}$. ∎

For $M\in \mathbb{N}$ let ${P}_{M}$ be the set of those $f\in C([0,1])$ that are piecewise linear and whose line segments have slopes with absolute value $\ge M$. If $M,N\in \mathbb{N}$, $M>N$, and $f\in {P}_{M}$, then for any ${x}_{0}\in [0,1]$, this ${x}_{0}$ is the abscissa of a point on at least one line segment whose slope has absolute value $\ge M$ (the point will be on two line segments when it is their common endpoint), and then there is another point on this line segment, with abscissa $x$, such that $|f(x)-f({x}_{0})|\ge M|x-{x}_{0}|>N|x-{x}_{0}|$, and the fact that for every ${x}_{0}\in [0,1]$ there is such $x\in [0,1]$ means that $f\notin {E}_{N}$. Therefore, if $M>N$ then ${P}_{M}\cap {E}_{N}=\mathrm{\varnothing}$.

###### Lemma 13.

For each $M\in \mathbb{N}$, ${P}_{M}$ is dense in $C([0,1])$.

###### Proof.

Let $f\in C([0,1])$ and $\u03f5>0$. Because $f$ is continuous on the compact set $[0,1]$ it is uniformly continuous, so there is some positive integer $n$ such that $|x-y|\le \frac{1}{n}$ implies that $|f(x)-f(y)|\le \u03f5$. We define $g:[0,1]\to \mathbb{R}$ to be linear on the intervals $[\frac{k}{n},\frac{k+1}{n}]$, $k=0,\mathrm{\dots},n-1$ and to satisfy

$$g\left(\frac{k}{n}\right)=f\left(\frac{k}{n}\right),k=0,\mathrm{\dots},n.$$ |

This nails down $g$, and for any $x\in [0,1]$ there is some $k=0,\mathrm{\dots},n-1$ such that $x$ lies in the interval $[\frac{k}{n},\frac{k+1}{n}]$. But since $g$ is linear on this interval and we know its values at the endpoints, for any $y$ in this interval we have

$g(y)$ | $=$ | $\frac{f\left(\frac{k+1}{n}\right)-f\left(\frac{k}{n}\right)}{\frac{k+1}{n}-\frac{k}{n}}}y+f\left({\displaystyle \frac{k}{n}}\right)-{\displaystyle \frac{f\left(\frac{k+1}{n}\right)-f\left(\frac{k}{n}\right)}{\frac{k+1}{n}-\frac{k}{n}}}\cdot {\displaystyle \frac{k}{n}$ | ||

$=$ | $n\left(f\left({\displaystyle \frac{k+1}{n}}\right)-f\left({\displaystyle \frac{k}{n}}\right)\right)y+f\left({\displaystyle \frac{k}{n}}\right)-k\left(f\left({\displaystyle \frac{k+1}{n}}\right)-f\left({\displaystyle \frac{k}{n}}\right)\right),$ |

so

$|g(x)-f(x)|$ | $\le $ | $|g(x)-g(k/n)|+|g(k/n)-f(k/n)|+|f(k/n)-f(x)|$ | ||

$=$ | $|g(x)-f(k/n)|+|f(k/n)-f(x)|$ | |||

$=$ | $n\left|\left(f\left({\displaystyle \frac{k+1}{n}}\right)-f\left({\displaystyle \frac{k}{n}}\right)\right)\left(x-{\displaystyle \frac{k}{n}}\right)\right|+|f(k/n)-f(x)|$ | |||

$\le $ | $\left|f\left({\displaystyle \frac{k+1}{n}}\right)-f\left({\displaystyle \frac{k}{n}}\right)\right|+|f(k/n)-f(x)|$ | |||

$\le $ | $2\u03f5.$ |

This is true for all $x\in [0,1]$, so

$${\parallel g-f\parallel}_{\mathrm{\infty}}\le 2\u03f5.$$ |

Now that we know that we can approximate any $f\in C([0,1])$ with continuous piecewise linear functions, we shall show that we can approximate any continuous piecewise linear function with elements of ${P}_{M}$, from which it will follow that ${P}_{M}$ is dense in $C([0,1])$. Let $g$ be a continuous piecewise linear function. We can write $g$ in the following way: there is some positive integer $n$ and ${a}_{0},\mathrm{\dots},{a}_{n-1},{b}_{0},\mathrm{\dots},{b}_{n-1}\in \mathbb{R}$ such that $g$ is linear on the intervals $[\frac{k}{n},\frac{k+1}{n}]$, $k=0,\mathrm{\dots},n-1$, and satisfies $g(x)={a}_{k}x+{b}_{k}$ for $x\in [\frac{k}{n},\frac{k+1}{n}]$; this can be satisfied precisely when ${a}_{k}\frac{k+1}{n}+{b}_{k}={a}_{k+1}\frac{k+1}{n}+{b}_{k+1}$ for each $k=0,\mathrm{\dots},n-1$. For $\u03f5>0$, let

$${\varphi}_{\u03f5}(x)=g(x)+\u03f5,{\psi}_{\u03f5}(x)=g(x)-\u03f5,x\in [0,1].$$ |

We shall define a function $h:[0,1]\to \mathbb{R}$ by describing its graph. We start at $(0,g(0))$, and then the graph of $h$ is a line segment of slope $M$ until it intersects the graph of ${\varphi}_{\u03f5}$, at which point the graph of $h$ is a line segment of slope $-M$ until it intersects the graph of ${\psi}_{\u03f5}$. We repeat this until we hit the point $(\frac{1}{n},h(\frac{1}{n}))$; we remark that it need not be the case that $h(\frac{1}{n})=g(\frac{1}{n})$. If $(\frac{1}{n},h(\frac{1}{n}))$ lies on the graph of ${\varphi}_{\u03f5}$ then we start a line segment of slope $-M$, and if it lies on the graph of ${\psi}_{\u03f5}$ then we start a line segment of slope $M$, and otherwise we continue the existing line segment until it intersects ${\varphi}_{\u03f5}$ or ${\psi}_{\u03f5}$ and we repeat this until the point $(\frac{2}{n},h(\frac{2}{n}))$, and then repeat this procedure. This constructs a function $h\in {P}_{M}$ such that ${\parallel h-g\parallel}_{\mathrm{\infty}}\le \u03f5$. But for any $f\in C([0,1])$ and $\u03f5>0$, we have shown that there is some continuous piecewise linear $g$ such that $$, and now we know that there is some $h\in {P}_{M}$ such that $$, so $$, showing that ${P}_{M}$ is dense in $C([0,1])$. ∎

Let $N\in \mathbb{N}$, suppose that $f\in {E}_{N}$, and let $\u03f5>0$. Let $M>N$, and because ${P}_{M}$ is dense in $C([0,1])$, there is some $h\in {P}_{M}$ such that $$. But ${P}_{M}\cap {E}_{N}=\mathrm{\varnothing}$ because $M>N$, so $h\notin {E}_{N}$, showing that there is no open ball with center $f$ that is contained in ${E}_{N}$, which shows that ${E}_{N}$ has empty interior. But we have shown that ${E}_{N}$ is closed, so the interior of the closure of ${E}_{N}$ is empty, namely, ${E}_{N}$ is nowhere dense, which completes the proof.

## 8 The Baire property

Suppose that $X$ is a topological space and that $\mathcal{I}$ is the $\sigma $-ideal of meager sets in $X$. For $A,B\subset X$, write

$$A\u25b3B=(A\setminus B)\cup (B\setminus A).$$ |

We write $A{=}^{*}B$ if $A\u25b3B\in \mathcal{I}$.
One proves that if $A{=}^{*}B$ then $X\setminus A{=}^{*}X\setminus B$, and that if
${A}_{n}{=}^{*}{B}_{n}$ then ${\bigcap}_{n\in \mathbb{N}}{A}_{n}{=}^{*}{\bigcap}_{n\in \mathbb{N}}{B}_{n}$ and
${\bigcup}_{n\in \mathbb{N}}{A}_{n}{=}^{*}{\bigcup}_{n\in \mathbb{N}}{B}_{n}$.
A subset $A$ of $X$ is said to have the Baire property if
there is an open set $U$ such that $A{=}^{*}U$. (It is a common practice to talk about things that are equal to a thing that is somehow easy to work with
modulo things that are considered small.) The following theorem characterizes the collection of subsets with the Baire property of a topological space.^{15}^{15}
15
Alexander S. Kechris, Classical Descriptive Set Theory, p. 47, Proposition 8.22.

###### Theorem 14.

Let $X$ be a topological space and let $\mathcal{B}$ be the collection of subsets of $X$ with the Baire property. Then $\mathcal{B}$ is a $\sigma $-algebra on $X$, and is the algebra generated by all open sets and all meager sets.

###### Proof.

If $F$ is closed, then $F\setminus \mathrm{Int}(F)$ is closed and has empty interior, so is nowhere dense and therefore meager. Thus, if $F$ is closed then $F{=}^{*}\mathrm{Int}(F)$.

$\mathrm{\varnothing}{=}^{*}\mathrm{\varnothing}$ and $\mathrm{\varnothing}$ is open so $\mathrm{\varnothing}$ has the Baire property, and so belongs to $\mathcal{B}$. Suppose that $B\in \mathcal{B}$. This means that there is some open set $U$ such that $B{=}^{*}U$, which implies that $X\setminus B{=}^{*}X\setminus U$. But $X\setminus U$ is closed, hence $X\setminus U{=}^{*}\mathrm{Int}(X\setminus U)$, so $X\setminus B{=}^{*}\mathrm{Int}(X\setminus U)$. As $\mathrm{Int}(X\setminus U)$ is open, this shows that $X\setminus B$ has the Baire property, that is, $X\setminus B\in \mathcal{B}$.

Suppose that ${B}_{n}\in \mathcal{B}$. So there are open sets ${U}_{n}$ such that ${B}_{n}{=}^{*}{U}_{n}$, and it follows that ${\bigcup}_{n\in \mathbb{N}}{B}_{n}{=}^{*}{\bigcup}_{n\in \mathbb{N}}{U}_{n}$. The union on the right-hand side is open, so ${\bigcup}_{n\in \mathbb{N}}$ has the Baire property and thus belongs to $\mathcal{B}$. This shows that $\mathcal{B}$ is a $\sigma $-algebra.

Suppose that $\mathcal{A}$ is an algebra containing all open sets and all meager sets, and let $B\in \mathcal{B}$. Because $B$ has the Baire property there is some open set $U$ such that $B{=}^{*}U$, which means that $M=B\u25b3U=(B\setminus U)\cup (U\setminus B)$ is meager. But $B=M\u25b3U=(M\setminus U)\cup (U\setminus M)$, and because $\mathcal{A}$ is an algebra and $U,M\in \mathcal{A}$ we get $B\in \mathcal{A}$, showing that $\mathcal{B}\subset \mathcal{A}$. ∎

If ${X}_{n}$ is a sequence of sets, we call $A\subset {\prod}_{n\in \mathbb{N}}{X}_{n}$ a tail set
if for all $({x}_{n})\in A$ and $({y}_{n})\in {\prod}_{n\in \mathbb{N}}{X}_{n}$, $\{n\in \mathbb{N}:{y}_{n}\ne {x}_{n}\}$
being finite implies that $({y}_{n})\in A$. The following theorem states is a topological zero-one law,^{16}^{16}
16
Alexander S. Kechris, Classical Descriptive Set Theory, p. 55, Theorem 8.47. whose proof uses the Kutatowski-Ulam theorem,^{17}^{17}
17
Alexander S. Kechris, Classical Descriptive Set Theory, p. 53, Theorem 8.41. which is about
meager sets in a product of two second-countable topological spaces. Since, from the Baire category theorem, any completely metrizable space is a Baire space and
a separable metrizable space is second-countable,
we can in particular use the following theorem when the ${X}_{n}$ are Polish spaces.

###### Theorem 15.

Suppose that ${X}_{n}$ is a sequence of second-countable Baire spaces. If $A\subset {\prod}_{n\in \mathbb{N}}{X}_{n}$ has the Baire property and is a tail set, then $A$ is either meager or comeager.