Borel $\sigma$ algebra on a topological subspace.

Question

Let $T$ be a topological space, with Borel $\sigma$-algebra $B(T)$ (generated by the open sets of $T$). If $S\in B(T)$, then the set $C:=\{A\subset S:A\in B(T)\}$ is a $\sigma$-algebra of $S$.

My question is, if I also generated the Borel $\sigma$-algebra $B(S)$ treating $S$ as a topological subspace, with the inherited topology from $T$, is it true that $B(S)=C$?

This follows from this question and its answers with the generators being the open sets and $f:S\to T$ given by $f(x)=x$. Note that the assumption $S\in B(T)$ is not necessary. — Michael Greinecker, Oct 28 '12 at 18:13

score 22 · Accepted Answer · answered Oct 28 '12 at 18:15

Note that if $Y$ is any subspace of $T$, then $B(Y) = \{ A \cap Y : A \in B(T) \}$.

As $\{ A \cap Y : A \in B(T) \}$ clearly contains all open subsets of $Y$, and is itself a $\sigma$-algebra on $Y$, then $B(Y) \subseteq \{ A \cap Y : A \in B(T) \}$.
As the inclusion map $i : Y \to T$ is continuous, then $i^{-1} [ A ]$ is a Borel subset of $Y$ for each Borel $A \subseteq T$, but $i^{-1} [ A ] = A \cap Y$, and so $\{ A \cap Y : A \in B(T) \} \subseteq B(Y)$.

If $S \subseteq T$ is Borel, then $A \cap S$ is a Borel subset of $T$ for all Borel $A \subseteq T$, and therefore $\{ A \cap S : A \in B(T) \} = \{ A \in B(T) : A \subseteq S \}$.

The trick using the inclusion map is neat! :) – rehband Nov 24 '14 at 13:22 — rehband, Nov 24 '14 at 13:22

score 0 · Answer 2 · answered Oct 28 '12 at 18:10

0

To prove that $C\subset B(S)$ We prove that $\{A|A\cap S \in B(S)\}$ is a $\sigma$-algebra and that it contains all opens subsets of $T$. Hence it contains $B(T)$ and the result follows.

answered Oct 28 '12 at 18:10

omar

2,445

Borel $\sigma$ algebra on a topological subspace.

2 Answers2

Linked