Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

This question already has an answer here:

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

share|improve this question

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

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

1  
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
add comment

2 Answers 2

up vote 2 down vote accepted

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 \}$.

share|improve this answer
add comment

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.

share|improve this answer
add comment

Not the answer you're looking for? Browse other questions tagged or ask your own question.