9
$\begingroup$

In most measure theory text books one derives the Lebesgue anh Borel-Lebesgue measure from Caratheodory's extension to outer measures by first proving that the set of $\lambda^*$ measurable sets is a sigma algebra (the Lebesgue sigma algebra) and that $\lambda^*$ restricted to that sigma algebra is a measure, the Lebesgue measure. This measure space is even complete. However, then still one continues to show that $\lambda^*$ restricted to the sigmal algebra generated by the ring (on which the pre-measure was defined that was used to obtain $\lambda^*$ via Caratheodorys extension) is also a measure, the Borel-Lebesgue measure, and that the generated sigma algebra is the Borel sigma algebra.

So my question is, why is the Borel sigma-algebra "better" than the Lebesgue sigma algebra, because most of the time text books continue to work only on the Borel sigma algebra, even though the Lebesgue sigma algebra is its completetion and has some other favorable properties? I.e., I am just missing an argument in all the lecture notes and text books why we continue to work on the Borel sigma-algebra after having shown that the Lebesgue sigma algebra is larger (and after all we do all the extension from a pre-measure to an outer measure and then restricting to a measure because we want to get a larger set than just the ring on which we initially defined the pre-measure).

$\endgroup$
2
  • 1
    $\begingroup$ the main reason is that its simpler and less problematic, the Borel $\sigma $-algebra, than the Lebesgue one, and that if $f$ is Lebesgue measurable then there is a Borel measurable function $g$ such that $f=g$ a.e. (respect to the Lebesgue measure). Its the same reason why we many times work in $\mathbb{Q}$ instead of $\mathbb{R}$ when we can: because its a lot simpler. $\endgroup$
    – Masacroso
    Nov 30, 2021 at 8:56
  • $\begingroup$ I guess you will find nice discussions here: mathoverflow.net/questions/31603/… $\endgroup$ Nov 30, 2021 at 9:15

1 Answer 1

12
$\begingroup$

I think the comments already mentioned striking points but here is an easy example that shows pathologies that can happen:

Consider the inclusion-like map $$ f\colon \Bbb R \to \Bbb R^n, x\mapsto (x, 0,\ldots, 0) $$ for $n>1$.

This function is continuous and hence Borel-measurable. If you equip $\Bbb R$ and $\Bbb R^n$ with the Lebesgue-$\sigma$-algebra, this mapping suddenly is not measurable anymore. Take some $V\subseteq \Bbb R$ which is not Lebesgue-measurable (to argue that these exists, take some argument like in the proof of Vitali's theorem with the translation invariant Lebesgue-measure). By definition $$ V\times \{0\}^{n-1} \subseteq \Bbb R \times \{0\}^{n-1} $$ is Lebesgue measurable, as $\lambda(\Bbb R \times \{0\}^{n-1}) = 0$. But $$ f^{-1}(V\times \{0\}^{n-1}) = V $$ which shows that $f$ is not measurable. We found a very simple continuous function, which is not measurable. That is very inconvenient.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .