4
$\begingroup$

Let $(X, \mathcal{A})$ and $(Y, \mathcal{B})$ be measurable spaces. Suppose furthermore that $X$ is a topological space, with topology $\tau$, and that $\mathcal{A}$ is the $\sigma$-algebra generated by $\tau$.

Now suppose that $(X, \mathcal{A})$ and $(Y, \mathcal{B})$ are isomorphic, i.e. there exists a bijection $f: X \rightarrow Y$ such that both $f$ and $f^{-1}$ are measurable. We can define a topology \tau' on $Y$ by \tau' := \{ f(V): V \in \tau \}.

My question is the following : is $\mathcal{B}$ necessarily generated by the topology \tau'?

It is easy to see that $\mathcal{B}$ contains the Borel $\sigma$-algebra generated by \tau', but can it be strictly larger?

Thank you, Malik

1 Answers 1

4

No, it can't be larger. The family \mathcal{A}'=\{f^{-1}(B):B\in\sigma(\tau')\} is a $\sigma$-algebra on $X$ that contains $\tau$ and hence also $\sigma(\tau)=\mathcal{A}$. Hence \{f(A):A\in\mathcal{A}'\}\supseteq\mathcal{B}. But by construction, \{f(A):A\in\mathcal{A}'\}=\sigma(\tau') and therefore \mathcal{B}\subseteq\sigma(\tau').