Now that we’ve tweaked our definition of a measurable real-valued function, we may have broken composability. We didn’t even say much about it when we defined the category of measurable spaces, because for most purposes it’s just like in topological spaces: given measurable functions and and a measurable set , the measurability of tells us that , and the measurability of tells us that .
But now we’re treating a bit differently, and so we have to be careful. I say that if is a Borel measurable extended-real-valued function on the extended real line so that , and if is a measurable extended-real-valued function on a measurable space , then the composition is measurable. Indeed, if is any Borel set, then we find
Since , we can write
And since is Borel measurable we know that is a Borel set. We can thus continue our calculation from above
which is measurable by the measurability of
This is a sufficient, but far from a necessary condition. But it does allow us to bring in various useful functions in the place of . For any positive real number we have the function . If is a positive integer, we have the function . These are all continuous, which implies that they’re Borel measurable, and they send back to itself. We conclude that any positive integral power of a measurable function is measurable, as is any positive power of the absolute value of .
Of course, if itself is measurable as a subset of itself, then we need not tweak to our definition and we don’t need to add the requirement that . Also, the converse of this theorem is definitely not true; if is a non-measurable set, then the function is not measurable even though the absolute value is measurable.
It’s important to note here that we’re asking that be Borel measurable, because our definition of a measurable real-valued function is in terms of Borel sets in the target. Indeed, writing things out more thoroughly helps us see this: if and are measurable, then we can compose the functions on the underlying sets, but the target of isn’t the same measurable space as the source of . There is thus no reason to believe that the composite would be measurable. And tomorrow I’ll give an example of just such a case.