Skip to main content
MathOverflow

Return to Answer

edited body
Source Link
Michael Greinecker
Michael Greinecker
  • 13k
  • 4
  • 58
  • 83

Yes, these are the so-called Vietoris topologies. The upper Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid Y\subseteq O\}$$\{F\in 2^Y\mid F\subseteq O\}$ with $O$ open and the lower Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid Y\cap O\neq\emptyset\}$$\{F\in 2^Y\mid F\cap O\neq\emptyset\}$ with $O$ open. The correspondence is then upper hemicontinuous if and only if the corresponding function is continuous under the upper Vietoris topology, and the correspondence is lower hemicontinuous if and only if the corresponding function is continuous under the lower Vietoris topology. The right keyword for finding more on the subject is "hyperspace topologies."

Yes, these are the so-called Vietoris topologies. The upper Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid Y\subseteq O\}$ with $O$ open and the lower Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid Y\cap O\neq\emptyset\}$ with $O$ open. The correspondence is then upper hemicontinuous if and only if the corresponding function is continuous under the upper Vietoris topology, and the correspondence is lower hemicontinuous if and only if the corresponding function is continuous under the lower Vietoris topology. The right keyword for finding more on the subject is "hyperspace topologies."

Yes, these are the so-called Vietoris topologies. The upper Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid F\subseteq O\}$ with $O$ open and the lower Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid F\cap O\neq\emptyset\}$ with $O$ open. The correspondence is then upper hemicontinuous if and only if the corresponding function is continuous under the upper Vietoris topology, and the correspondence is lower hemicontinuous if and only if the corresponding function is continuous under the lower Vietoris topology. The right keyword for finding more on the subject is "hyperspace topologies."

Source Link
Michael Greinecker
Michael Greinecker
  • 13k
  • 4
  • 58
  • 83

Yes, these are the so-called Vietoris topologies. The upper Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid Y\subseteq O\}$ with $O$ open and the lower Vietoris topology has a subbase consisting sets of the form $\{F\in 2^Y\mid Y\cap O\neq\emptyset\}$ with $O$ open. The correspondence is then upper hemicontinuous if and only if the corresponding function is continuous under the upper Vietoris topology, and the correspondence is lower hemicontinuous if and only if the corresponding function is continuous under the lower Vietoris topology. The right keyword for finding more on the subject is "hyperspace topologies."