The intersection of two nonempty members is
which belongs to the collection. Any intersection involving the empty set is empty and is included too. Hence is a pi-system.
Each half-line is a closed Borel set, and the empty set is Borel. Thus .
Conversely,
The generated sigma-algebra contains both sets on the right and is closed under their difference, so it contains every open interval. By the given definition of the Borel sigma-algebra, the reverse inclusion follows. Therefore

Articles by others on the same topic (0)

There are currently no matching articles.