What does it mean to say "the Lebesgue measure on an interval $I$"?

Asked Oct 28 '12 at 16:12

Active Oct 28 '12 at 16:12

Viewed 70 times

So I had two guesses:

The Lebesgue measure of all Borel subsets of $\mathbb{R}$ that are contained in $I$
Take the subspace topology of $I$ inherited from $\mathbb{R}$. Generated a Borel $\sigma$-algebra $B(I)$ on $I$. Then each $A\in B(I)$ is a Borel set of $\mathbb{R}$ so take the Lebesgue measure of $A$.

The difference between these two guesses is that a Borel set of $\mathbb{R}$ that is also contained in $I$ may probably not in $B(I)$.

asked Oct 28 '12 at 16:12

Spook

It feels very strange that 1 and 2 should be different..., an example of this would be nice! – Per Alexandersson Oct 28 '12 at 17:01
I think in general I could ask http://math.stackexchange.com/questions/222810/borel-sigma-algebra-on-a-topological-subspace – Spook Oct 28 '12 at 17:15
So... you found the answer, didn't you? – Did Oct 29 '12 at 14:05
The answer is that they are the same. See a post on a more general question. – Spook Oct 29 '12 at 22:55

0 Answers0