Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

share|improve this question
2  
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. –  Arturo Magidin Dec 27 '10 at 21:55

1 Answer 1

up vote 9 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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