1
$\begingroup$

This question is an extension/clarification of the question: Is there a natural topology for sets of topological spaces?

The Hausdorff distance assigns a distance to any two subspaces $X, Y$ of a fixed metric space $M$. I am interested in the topological analog of this distance.

Question: is a natural topological structure on the set of subspaces of a fixed topological space $M$?

Note that there are no set-theoretic issues since the collection of subsets of a given set form a set.

$\endgroup$
3
  • 3
    $\begingroup$ en.m.wikipedia.org/wiki/Hypertopology $\endgroup$ Commented 6 hours ago
  • 1
    $\begingroup$ You could identify every subset of $X$ with its characteristic function $X\to \mathbb 2$, and put on $P(X)$ the compact open topology of this set of mappings. $\endgroup$ Commented 6 hours ago
  • 1
    $\begingroup$ @PietroMajer Indeed one could do that but since there aren't that many topologies on 2, this would basically be saying that an open subset of $P(X)$ consists of subsets of X that agree on various compacts. This seems quite restrictive and doesn't really generalize the Hausdorff distance. $\endgroup$
    – user39598
    Commented 4 hours ago

0

You must log in to answer this question.

Browse other questions tagged .