1
$\begingroup$

Consider a locally-bounded set-valued mapping $f: \mathbb{R}^n \rightrightarrows \mathbb{R}^m$ and the set-valued mapping $F: \mathbb{R}^n \rightrightarrows \mathbb{R}^m$ defined as

$$ F(x) := \text{closure}(f(x)). $$

Question: is the mapping $F$ Outer SemiContinuous?

Note: definition of Outer SemiContinuity for a set-valued map.

A set-valued mapping $S: \mathbb{R}^n \rightrightarrows \mathbb{R}^m $ is outer semicontinuous at $\bar x$ if

$$ \limsup_{x \rightarrow \bar x} S(x) \subset S(\bar x) $$

or equivalently $\limsup_{x \rightarrow \bar x} S(x) = S(\bar x)$.

  • 0
    The definition of $F$ is not clear. What do you mean?2012-09-07
  • 0
    Did you mean $f\colon \mathbb{R}^n \rightrightarrows \mathbb{R}^m$? Otherwise $\mathop{\mathrm{closure}} f(x)$ doesn't seem to make sense.2012-09-07
  • 0
    Martini, you are right. I meant $f$ set-valued. Thanks.2012-09-07

1 Answers 1

1

Counterexample in one dimension: $f(x)=0$ if $|x|\le1$ and $f(x)=1$ otherwise. Here $F=f$, which is not outer semicontinuous.