10
$\begingroup$

Possible Duplicate:
Subset of the preimage of a semicontinuous real function is Borel

A real function $f$ on the line is upper semi-continuous at $x$, if for each $\epsilon > 0$, there exists $\delta > 0$ such that $|x-y|<\delta$ implies that $f(y) < f(x) + \epsilon$. Check that if $f$ is everywhere upper semi-continuous, then it is measurable.

I could not do this question.

Thanks and regards.

1 Answers 1

12

I'm going to show that the set $U = \{x \,:\,f(x) \lt t\}$ is open for each $t \in \mathbb{R}$ (so $f$ is indeed measurable):

We have $x \in U$ if and only if $f(x) \lt t$. Fix $x \in U$. Take $\varepsilon = t-f(x)$. Your definition of upper semi-continuity yields a $\delta$ such that $|x-y| \lt \delta$ implies $f(y) \lt f(x) + \varepsilon = t$, so $|x-y| \lt \delta$ implies $y \in U$.

See also this related question.

  • 1
    Because I'm lazy... Seriously: the very first lemma one proves in measure theory is that it suffices to check that $\{x : f(x) \mathrel{\Box} t\}$ is measurable where $\Box$ can be any one of $\leq, \lt, \geq, \gt$ and I feel that it is safe to assume that OP knows that the Borel $\sigma$-algebra is generated by the open sets from the other questions.2011-11-18
  • 1
    Yes, true. But that doesn't mean he remembers it... anyway, will remove my comment.2011-11-18