5
$\begingroup$

How many Borel-measurable functions from $\mathbb{R}$ to $\mathbb{R}$ are there? The motivation is from this answer of mine on MathOverflow.

$\endgroup$
  • 2
    $\begingroup$ While the title did say it all, please try to make the body of the message self-contained. It doesn't take too much, and is a service to readers. $\endgroup$ – Arturo Magidin Dec 27 '10 at 21:55
9
$\begingroup$

Sune, there are as many Borel-measurable functions as there are reals.

It is easy to see that a function is Borel-measurable iff the preimage of each open interval with rational end-points is a Borel set. Moreover, the function is completely determined by the sequence of pairs $(I,B)$ where $I$ varies over the intervals and $B$ is the preimage of $I$.

There are countably many possible $I$ and to each corresponds one of ${\mathfrak c}=|{\mathbb R}|$ many possible Borel sets. The total number of Borel functions is then bounded above by $|{\mathbb R}^{\mathbb N}|={\mathfrak c}$. Since each constant function is Borel-measurable, ${\mathfrak c}$ is also a lower bound.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.