Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given $X\subseteq \Bbb R^m, f:X\to\Bbb R$ and $x\in X$, we say $f$ is lower semicontinous (l.s.c for short) at x if
$\forall \varepsilon>0\ \exists\ \delta >0\ \forall \in B(\delta,x), \ f(x)\le f(y)+\varepsilon$. I wish to show:
If $X$ is closed, then $f$ is l.s.c if and only if the set $f^{-1}((-\infty,r]):=\{a\in X:f(a)\le r\}$ is closed for each $r\in \Bbb R$.
I wonder how I could use the requirement that the set $X$ is closed.

share|cite|improve this question
No they are the same problem problem... – Tomás Jan 18 '13 at 0:18
Please modify the original question rather than starting a new question asking the same thing. – robjohn Jan 18 '13 at 0:27
up vote 2 down vote accepted

Let's begin with the "if" part: I'm gonna show that if $y_n\rightarrow y$ then $f(y)\leq\liminf f(y_n)$. Let $\epsilon_n=\frac{1}{n}$; by hypothesis, for each $n$ we can find some $\delta_n$ such that $f(y)\leq f(y_n)+\epsilon_n$. Now you take the inferior limit.

To finish, take a sequence $(y_n)\subset f^{-1}((-\infty,r])$ such that $y_n\rightarrow y$. By using what we have just proved, we have that $f(y)\leq\liminf f(y_n)$. Can you conclude?

On the other and, suppose that for all $r$, the set $f^{-1}((-\infty,r])$ is closed and suppose ad absurdum that there exist $\epsilon>0$ such that for all $\delta_n=\frac{1}{n}$, we can find $y_n\in B(\delta_n,x)$ with $$f(y)>f(y_n)+\epsilon$$

The last inequality implies that $y_n\in f^{-1}((-\infty,f(y)-\epsilon])$. Can you use the fact that $f^{-1}((-\infty,r])$ is closed and $y_n\rightarrow y$ to conclude?

Note: The hypothesis of $X$ being closed is unnecessary.

share|cite|improve this answer
No this is not true @qua. You can take the interval $(0,1)$ on the line. It is an open set in $\mathbb{R}$ and you can find a lot of closed sets in it, for example, the set $\{\frac{1}{2}\}$ is closed. – Tomás Jan 18 '13 at 11:22

First Direction: Suppose that $f$ is l.s.c. To show that $A_r = \{a\in X:f(a)\le r\}$ is closed, let $\{a_n\}$ be a sequence in $A_r$, converging to $a_\infty$, which we want to show is in $A_r$. Since $f$ is l.s.c., $$ f(a_\infty) \leq \liminf f(a_n) \leq a, $$ since $a_n \in A_r$. Therefore, $a_\infty \in A_r$.

Second Direction: The argument is basically identical.

It's much more convenient to use the equivalent sequential definition of lower semi-continuity

share|cite|improve this answer
But the problem here is we do not have the equivalent sequential definition of the lower semi continuity. What I only have is just the definition in the first paragraph of my question. I am afraid that I cannot use what you said. – Scorpio19891119 Jan 17 '13 at 23:55
Their equivalence is trivial, it's the same as the two equivalent definitions of continuity. – quasi Jan 18 '13 at 1:40

Your Answer


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.