Finiteness Condition
The condition that the measure be a probability measure; that is, that the measure of itself be 1, is less restrictive than it may appear. For example, Lebesgue measure on the reals is not a probability measure, yet every universally measurable set is Lebesgue measurable. To see this, divide the real line into countably many intervals of length 1; say, N0=[0,1), N1=[1,2), N2=[-1,0), N3=[2,3), N4=[-2,-1), and so on. Now letting μ be Lebesgue measure, define a new measure ν by
Then easily ν is a probability measure on the reals, and a set is ν-measurable if and only if it is Lebesgue measurable. More generally a universally measurable set must be measurable with respect to every sigma-finite measure that measures all Borel sets.
Read more about this topic: Universally Measurable Set
Famous quotes containing the word condition:
“It is at the same time by poetry and through poetry, by and through music, that the soul glimpses the splendors found behind the tomb; and when an exquisite poem brings tears to one’s eyes, these tears are not the sign of excessive pleasure, they are rather witness to an irritated melancholy, to a condition of nerves, to a nature exiled to imperfection and which would like to seize immediately, on this very earth, a revealed paradise.”
—Charles Baudelaire (1821–1867)