# Show that every upper semi-continuous real function is measurable [duplicate]

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.

-

## marked as duplicate by t.b., Rasmus, Asaf Karagila, J. M., SrivatsanNov 18 '11 at 20:10

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$.
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. – t.b. Nov 18 '11 at 19:32