How would you show that Borel-algebra on
is generated by the sets
, a
?
Depends on the definition. The usual definition is that it is generated by sets of the form. You have to show the generators are the same and use Monotone class theorem. One way you have that
and the other you have for each n
and also that
.
If your definition is different, the method is still the same. Just show that the generators are the same (by showing that you can obtain one set of generators from the other and visa versa).