Equivalent definitions of standard Borel space?

307 Views Asked by At

In some books, like Srivastava (1998) A Course on Borel Sets, p. 96, a standard Borel space is defined as a measurable space which isomorphic to a Borel subset of a Polish space (i.e. there exists a bimeasurable bijection between the two).

Elsewhere, a standard Borel space is defined as a measurable space, say $(X,\mathcal{X})$, for which a Polish topology $\mathcal{T}$ exists which generates the $\sigma$-algebra $\mathcal{X}$.

Are the two definitions equivalent?

1

There are 1 best solutions below

0
On

As I understood your terms, the answer is affirmative, by the following theorem from “Classical Descriptive Set Theory” (Springer, 1995) by Alexander Kechris.

enter image description here