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

$\varphi(\theta)$ : $\mathbb{R} \Rightarrow \mathbb{R}$ be a correspondence. Show whether $\varphi(\theta)$ below is upper hemicontinuous or(and) lower hemiconinuous.


$\varphi(\theta)$ = $ \begin{cases} [-1, 1] & for & \theta=0 \\ {\sin {1\over s}} & for & \theta \neq0 \end{cases}$


$\varphi(\theta)$ = $ \begin{cases} (-1, 2) & for & \theta=0 \\ {\sin {1\over s}} & for & \theta \neq0 \end{cases}$

Should I go through the definition; a correspondence $\varphi: \oplus \rightarrow P(S)$ is said to be upper hemicontinuous at point $\theta \in \oplus$ if for all open sets V such that $\varphi(\theta)\subset V$, there exist an open set U containing $ \theta $ , such that $ \theta^´ \in U \cap \oplus $ implies $\varphi(\theta^´) \subset V$. We say that $\varphi$ is upper hemicontinuous on $\oplus$ if $\varphi$ is upper hemicontinuous at each $\theta \in \oplus$.

Actually, I am kind of confused with this definition. Are there any other methods that I can use to obtain continuity analysis of correspondences ? What should be the first step to take in these kind of questions ?

I would be glad if you help with these questions. Thank you.

share|cite|improve this question
up vote 1 down vote accepted

You might find the following definitions helpful. Let $(X,d_1)$ and $(Y,d_2)$ be metric spaces. A non-empty valued correspondence $\Gamma : X \rightarrow Y$ is lower hemicontinuous at $x\in X$ if for all $\{x_n\}_{n=0}^\infty \subset X$ s.t. $x_n\rightarrow x$ and for all $y\in\Gamma(x)$ we can find $\{y_n\}_{n=0}^\infty\subset Y$ such that $y_n\rightarrow y$ and $y_n\in\Gamma(x_n)$ for all $n\in\mathbb{N}$. The correspondence is lower hemicontinuous if it is lower hemicontinuous at all $x\in X$. A non-empty, compact valued correspondence $\Gamma : X \rightarrow Y$ is upper hemicontinuous at $x\in X$ if for every sequence $\{x_n\}_{n=0}^\infty\subset X$ s.t $x_n\rightarrow x$ every sequence $\{y_n\}_{n=0}^\infty\subset Y$ s.t. $y_n\in \Gamma(x_n)$ for all $n\in\mathbb{N}$ we can find a convergent subsequence of $y_n$ s.t. it converges to a point $y\in\Gamma(x)$. The correspondence is upper hemicontinuous if it is upper hemicontinuous at all $x\in X$. The correspondence is continuous if it is both l.h.c and u.h.c.

share|cite|improve this answer
Thank you for the alternative definition. I am still working on it. – HarveyMudd Jan 6 '13 at 13:49

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.