I'm having difficult time in understanding the difference between the Borel measure and Lebesgue measure. Which are the exact differences? Can anyone explain this using an example?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Not every subset of a set of Borel measure $0$ is Borel measurable. Lebesgue measure is obtained by first enlarging the $\sigma$-algebra of Borel sets to include all subsets of set of Borel measure $0$ (that of courses forces adding more sets, but the smallest $\sigma$-algebra containing the Borel $\sigma$-algebra and all mentioned subsets is quite easily described directly (exercise if you like)).
Now, on that bigger $\sigma$-algebra one can (exercise again) quite easily show that $\mu$ (Borel measure) extends uniquely. This extension is Lebesgue measure.
All of this is a special case of what is called completing a measure, so that Lebesgue measure is the completion of Borel measure. The details are just as simple as for the special case.
borel measure is defined on the smallest sigma algebra that contains all the open sets while lebesgue measure is much much more general but coincides with borel,when a set is a borel measurable.there are examples (not so easy) of non-borel lebesgue measurable sets