I am just curious about why a function $f:\mathbb R \rightarrow \mathbb R $ is said to be Lebesgue measurable if $f^{-1}(U):=V$ is measurable, whenever $U$ is open in the reals. This seems to be counter to the more general definition between sigma algebras that says that the inverse image of a measurable set is measurable. Why don't we use this last definition instead of the open set one?
Definition of Measurability: Why use Open Sets?
-
0@Carl: Thanks for the correction. I overlooked the word "Lebesgue". – 2011-12-16
1 Answers
The definition you stated is equivalent to:
The inverse image of any Borel set is measurable
but when the definition is stated for open sets it can be easier to verify in particular instances. Actually it can be narrowed further, to just say that the inverse images of some sufficient collection of intervals are all measurable.
There are two reasons not to look at functions with the property that the inverse image of any Lebesgue measurable set is Lebesgue measurable:
1) For the purposes of Lebesgue integration, the subsets of $\mathbb{R}$ that we need to take inverse images of are Borel sets, so for this purpose there is no need for further generality.
2) It is not even true that every continuous function $\mathbb{R} \to \mathbb{R}$ has the property that the pre-image of every Lebesgue measurable set is Lebesgue measurable. This was pointed out by Nate Eldridge in this MO answer.
All that we need to construct an example is a continuous bijection $q$ between a set of positive measure $A$ and a set of zero measure $B$. The set $A$ will have a non-Lebesgue-measurable subset $M$, but $q(M)$ will be a subset of a measure zero set and hence $q(M)$ will be measurable. Being a bijection, $q$ will pull back the measurable set $q(M)$ to the non-measurable set $M$.
To take one example from Folland's Real Analysis, exercise 2.2.9, let $g(x) \colon [0,1] \to [0,2]$ be $x + f(x)$ on $[0,1]$, where $f(x)$ is the so-called Cantor function $ f(x) = P(C \cap [0,x]) $
where $P$ is the standard fair-coin probability measure on the Cantor set $C$. Then $g$ is continuous (because $P$ is non-atomic) and $g$ is strictly increasing, so it is bijective, and $g(C)$ has positive Lebesgue measure. Since $[0,1]$ is compact, $g$ is an open map, by standard topology, so $q = g^{-1}$ is a continuous bijection with the desired property: $M = g(C)$ has positive measure and $q(M) = C$ has measure $0$.
Going further, this MO question has a hint about how to make an example $q$ that is $C^\infty$.