Let $G\subset\Bbb R$ be a Borel set, show that the Borel sets of $G$ (as a subspace) are the same as the Borel subsets of $\Bbb R$ included in $G$

borel-setsmeasure-theory

Let $B$ be the Borel sigma-algebra over $\Bbb R$ (real numbers).
Let $G\subset R$ be a Borel-set. And $A_0$ the family of all subsets of $G$ which have the form $G\cap O$ for $O$ being an open subset of $R$.

Let $A_1$ be the sigma algebra over $G$ generated by $A_0$

and $A_2 = \{X\in B\mid X \subset G\}$

How to show that $A_1 = A_2$?
I would be especially interested in the direction $A_2 \subset A_1$

Best Answer

Consider $\{X \in B: X \cap G \in A_1\}$. Verify that this is sigma algebra. It contains all open sets in $\mathbb R$. Hence it contains all Borel sets. In particular, if $X$ is Borel and contained in $G$ then $X \in A_1$.