Borel set: Difference between revisions
Jump to navigation
Jump to search
imported>Hendra I. Nurdin m (→Formal definition: link to topology-->link to topological space) |
imported>Jitse Niesen (add a sentence to aid understanding, move "see also" section to subpage) |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
In [[mathematics]], a '''Borel set''' is a set that belongs to the [[sigma algebra|σ-algebra]] generated by the open sets of a [[topological space]]. | {{subpages}} | ||
In [[mathematics]], a '''Borel set''' is a set that belongs to the [[sigma algebra|σ-algebra]] generated by the open sets of a [[topological space]]. Thus, every open set is a Borel set, as are countable unions of open sets (i.e., unions of countably many open sets), and countable intersections of countable unions of open sets, etc. | |||
==Formal definition== | ==Formal definition== | ||
Line 5: | Line 7: | ||
The σ-algebra generated by <math>O</math> is simply the smallest σ-algebra containing the sets in <math>O</math> or, equivalently, the intersection of all σ-algebras containing <math>O</math>. | The σ-algebra generated by <math>O</math> is simply the smallest σ-algebra containing the sets in <math>O</math> or, equivalently, the intersection of all σ-algebras containing <math>O</math>. | ||
Latest revision as of 13:28, 26 July 2008
In mathematics, a Borel set is a set that belongs to the σ-algebra generated by the open sets of a topological space. Thus, every open set is a Borel set, as are countable unions of open sets (i.e., unions of countably many open sets), and countable intersections of countable unions of open sets, etc.
Formal definition
Let be a topological space, i.e. is a set and are the open sets of (or, equivalently, the topology of ). Then is a Borel set of if , where denotes the σ-algebra generated by .
The σ-algebra generated by is simply the smallest σ-algebra containing the sets in or, equivalently, the intersection of all σ-algebras containing .