14
$\begingroup$

According to the wiki of Kakutani's fixed-point theorem, A set-valued mapping $\varphi$ from a topological space $X$ into a powerset $\wp(Y)$ called upper semi-continuous if for every open set $W \subseteq Y$, $\lbrace x| \varphi(x) \subseteq W \rbrace$ is an open set in $X$.

My question:

  1. What is the definition of continuity of a multi valued map $\varphi$?
  2. What's the definition of open sets in $\wp(Y)$, in other words, what topology does $\wp(Y)$ have?
Improve this question
$\endgroup$
1
  • $\begingroup$ Note that $Y$ is also a space in the statement of the theorem, albeit $Y=X$. What you've written is garbled, as you're talking about $W \subseteq Y$ and also $W \subseteq X$ $\endgroup$
    – David Roberts ♦
    Commented May 20, 2013 at 11:50

3 Answers 3

Reset to default
15
$\begingroup$

$\phi$ is upper semicontinuous if, for every open $W\subset Y$, the set $\lbrace x | \phi(x)\subset W\rbrace $ is open in $X$.

$\phi$ is lower semicontinuous if, for every open $W\subset Y$, the set $\lbrace x | \phi(x)\cap W\neq \emptyset\rbrace$ is open in $X$.

$\phi$ is continuous if it is both upper semincontinuous and lower semicontinuous.

Improve this answer
$\endgroup$
5
  • 4
    $\begingroup$ Which begs the question (which I think is what the OP might have been getting at): what is the topology on $\mathcal{P}(Y)$ such that $\phi : X\to \mathcal{P}(Y)$ is continuous if and only if its upper- and lower- semicontinuous? $\endgroup$
    – Mark Grant
    Commented May 20, 2013 at 12:00
  • 8
    $\begingroup$ @MarkGrant: If $X$ and $Y$ are Hausdorff, a closed-valued map $\phi\colon X \to \operatorname{Cl}(Y)$ is upper- and lower semicontinuous iff $\phi$ is continuous with respect to the Vietoris topology. A sub-basis for the Vietoris topology is given by $U^- = \lbrace F \in \operatorname{Cl}(Y) \mid F \cap U \neq \emptyset\rbrace$ and $U^+ = \lbrace F \in \operatorname{Cl}(Y) \mid F \subseteq U\rbrace$ where $U$ runs through the open sets of $Y$. [Specialize to $Y$ discrete to get $\mathcal{P}(Y)$]. Gerald points out that upper and lower continuity are more related to order than to a topology. $\endgroup$
    – Martin
    Commented May 20, 2013 at 13:06
  • 1
    $\begingroup$ Mark Grant: It's immediate from the definitions that the relevant topology is the one Martin described. I hadn't known, though, that this is called the Vietoris topology. $\endgroup$
    – Steven Landsburg
    Commented May 20, 2013 at 15:03
  • $\begingroup$ @Martin Thank you very much. Btw, I have found a paper Topologies on Spaces of Subsets by Ernest Michael introduced topology on subsets in its 5th section. $\endgroup$
    – Heng Gu
    Commented May 20, 2013 at 16:16
  • 2
    $\begingroup$ Also, this Vietoris topology is the one induced by the Hausdorff metric, in the special case where $X$ is a compact metric space and we take only the closed non-empty subsets (instead of the whole power set). The closed non-empty subsets of a space $X$ in this topology are called the hyperspace of $X$, denoted $H(X)$ or sometimes $2^X$. $\endgroup$
    – Henno Brandsma
    Commented May 22, 2013 at 4:04
2
$\begingroup$

The definition quoted is an "order" notion of upper semicontinuous, not a "topology" notion. For real-valued functions, the two coincide. But in other settings you can have one but not the other.

Improve this answer
$\endgroup$
1
  • $\begingroup$ What about in this case? Is there no topology to define continuous compatibly? $\endgroup$
    – Heng Gu
    Commented May 20, 2013 at 12:56
1
$\begingroup$

One sensible way of generalizing continuity to set-valued functions (from $X$ to subsets of $Y$) is to require the graph of the function to be closed in the product $X\times Y$. This would be equivalent to the continuity of the function if $Y$ is compact. Thus, the Heaviside function is not continuous because one of the points 0 or 1 on the $y$-axis is not in the graph, but if one redefines it to take both values at 0, the graph becomes closed subset of the plane. See http://en.wikipedia.org/wiki/Closed_graph_theorem for a related (but different) notion.

Improve this answer
$\endgroup$
5
  • $\begingroup$ This is upper semi-continuity in multi-valued lingo. $\endgroup$
    – alvarezpaiva
    Commented Feb 24, 2014 at 12:54
  • $\begingroup$ The heaviside function can be chosen to be uppersemicontinuous but you can't make its graph closed. $\endgroup$
    – Mikhail Katz
    Commented Feb 24, 2014 at 13:46
  • $\begingroup$ To make the graph closed, you make the function set-vauled. All values but one are singletons, but the value at $0$ is the set $[0,1]$. $\endgroup$
    – Gerald Edgar
    Commented Feb 24, 2014 at 14:26
  • $\begingroup$ Fine, but this is rather different from the notion of semicontinuity for ordinary functions. By the way, is there a reason to chose the interval [0,1] rather than the two-point set? $\endgroup$
    – Mikhail Katz
    Commented Feb 24, 2014 at 15:44
  • $\begingroup$ Yes, it is defferent from the definition for ordinary functions. Some people call it upper hemicontinuity to avoid confusion. $\endgroup$
    – alvarezpaiva
    Commented Feb 24, 2014 at 18:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .