Hypertopology

In the mathematical branch of topology, a hyperspace is a topological space, which consists of the set CL of all non-empty closed subsets of another topological space X, equipped with a topology so that the canonical map
is a homeomorphism onto its image. As a consequence, a copy of the original space X lives inside its hyperspace CL.
Early examples of hypertopology include the Hausdorff metric and Vietoris topology.

Notation

Various notation is used by different authors to denote the set of all closed subsets of a topological space X, including CL, and.

Examples

Vietoris topology

Let be a closed subset and be a finite collection of open subsets of X. Define
These sets form a basis for a topology on CL, called the Vietoris or finite topology, named for Leopold Vietoris.

Fell topology

A variant on the Vietoris topology is to allow only the sets where C is a compact subset of X and a finite collection of open subsets. This is again a base for a topology on CL called the Fell topology or the H-topology. Note, though, that the canonical map is a homeomorphism onto its image if and only if X is Hausdorff, so for non-Hausdorff X, the Fell topology is not a hypertopology in the sense of this article.
The Vietoris and Fell topologies coincide if X is a compact space, but have quite different properties if not. For instance, the Fell topology is always compact and it is compact Hausdorff whenever if X is locally compact. On the other hand, the Vietoris topology is compact if and only if X is compact and Hausdorff if and only if X is regular.

Other constructions

The Hausdorff distance on the closed subsets of a bounded metric space X induces a topology on CL. If X is a compact metric space, this agrees with the Vietoris and Fell topologies.
The Chabauty topology on the closed subsets of a locally compact group coincides with the Fell topology.