- #1
SqueeSpleen
- 141
- 5
In a book I'm reading it says:
\newline
If [itex]f: \mathbb{R} \longrightarrow \mathbb{R}[/itex] is lower semi continous, then [itex]\{f > a \}[/itex] is an open set therefore a borel set. Then all lower semi continuous functions are borel functions.
It's stated as an obvious thing but I couldn't prove it.
The definition a lower semi continuous function I'm using is:
A function is lower semicontinous in the point [itex]x_0[/itex] if
[itex] \underline{lim}_{x \rightarrow x_{0}} \geq f(x_{0}) [/itex]
[itex] \underline{lim}_{x \rightarrow x_{0}}= \sup_{\delta > 0 } \{ inf \{ f(x) / |x-x_{0} | < \delta \} \} [/itex]
(A function is lower semicontinous in [itex]\mathbb{R}^{p}[/itex] if for all [itex]x \in \mathbb{R}^{p}[/itex] it's lower semicontinous).
[itex][/itex]
Can someone give me a hint please?
\newline
If [itex]f: \mathbb{R} \longrightarrow \mathbb{R}[/itex] is lower semi continous, then [itex]\{f > a \}[/itex] is an open set therefore a borel set. Then all lower semi continuous functions are borel functions.
It's stated as an obvious thing but I couldn't prove it.
The definition a lower semi continuous function I'm using is:
A function is lower semicontinous in the point [itex]x_0[/itex] if
[itex] \underline{lim}_{x \rightarrow x_{0}} \geq f(x_{0}) [/itex]
[itex] \underline{lim}_{x \rightarrow x_{0}}= \sup_{\delta > 0 } \{ inf \{ f(x) / |x-x_{0} | < \delta \} \} [/itex]
(A function is lower semicontinous in [itex]\mathbb{R}^{p}[/itex] if for all [itex]x \in \mathbb{R}^{p}[/itex] it's lower semicontinous).
[itex][/itex]
Can someone give me a hint please?