# Borel $\sigma$ algebra on a topological subspace. [duplicate]

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$?

-

## marked as duplicate by Martin, Amzoti, Potato, Danny Cheuk, amWhyJun 23 '13 at 1:51

Have you tried to prove it? – Davide Giraudo Oct 28 '12 at 16:06
I tried but could only prove that $B(S)\subset C$. – Montez Oct 28 '12 at 16:13
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

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

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.

-