Measurable (Extended) Real-Valued Functions
For a while, we’ll mostly be interested in real-valued functions with Lebesgue measure on the real line, and ultimately in using measure to give us a new and more general version of integration. When we couple this with our slightly weakened definition of a measurable space, this necessitates a slight tweak to our definition of a measurable function.
Given a measurable space and a function
, we define the set
as the set of points
such that
. We will say that the real-valued function
is measurable if
is a measurable subset of
for every Borel set
of the real line. We have to treat
specially because when we deal with integration,
is special — it’s the additive identity of the real numbers.
The entire real line is a Borel set, and
. Thus we find that
must be a measurable subset of
. If
is another measurable subset of
, then we observe
The second term on the right is either empty or is equal to . And so it’s clear that
is measurable. We say that the function
is “measurable on
” if
is measurable for every Borel set
, and so we have shown that a measurable function is measurable on every measurable set.
In particular, if is itself measurable (as it often is), then a real-valued function is measurable if and only if
is measurable for every Borel set
. And so in this (common) case, we get back our original definition of a measurable function
.
The concept of measurability depends on the -ring
, and we sometimes have more than one
-ring floating around. In such a case, we say that a function is measurable with respect to
. In particular, we will often be interested in the case
, equipped with either the
-algebra of Borel sets
or that of Lebesgue measurable sets
. A measurable function
will be called “Borel measurable”, while a measurable function
will be called “Lebesgue measurable”.
On the other hand, we should again emphasize that the definition of measurability does not depend on any particular measure .
We will also sometimes want to talk about measurable functions taking value in the extended reals. We take the convention that the one-point sets and
are Borel sets; we add the requirement that a real-valued function also have
and
both be measurable to the condition for
to be measurable. However, for this extended concept of Borel sets, we can no longer generate the class of Borel sets by semiclosed intervals.