Thread: lebesgue measurable set

let be a closed set on a finite interval [a,b]. Show that is Lebesgue measurable.

i know any closed set is measurable but dont know how to show it. any help would be appreciated.

Hello,

You have to define a sigma-algebra (of the measurable sets), to which you apply the Lebesgue measure !
In particular, if the sigma-algebra is the Borel sigma-algebra over [a,b], it's generated by the open subsets of [a,b] (with the usual topology)
And since a closed set is the complement of an open set, it's still in the Borel sigma-algebra, and hence is measurable.


As a side note : if one talks about open sets, there must be a definition of the topology you're using. But we'll just assume it's the usual topology...