1
$\begingroup$

The Gromov-Hausdorff metric makes the set of compact metric spaces into a metric space itself. I am wondering what some natural generalizations there are for arbitrary topological spaces. Namely, is there a natural topology on the set of (compact?) topological spaces?

Edit: I am not too concerned about set-theoretic issues, but perhaps part of the problem is to find a special collection of topological spaces that do form a set and have a natural topological structure. I am more interested in the topological structure.

Improve this question
$\endgroup$
3
  • 4
    $\begingroup$ The compact topological spaces do not form a set but a proper class, so you can not expect traditional topological structures on it. There are alternatives however, like Grothendieck topology. $\endgroup$
    – Zerox
    Commented 16 hours ago
  • $\begingroup$ @Zerox you could add this as an answer. $\endgroup$
    – David Roberts ♦
    Commented 7 hours ago
  • $\begingroup$ The following appears in Continuity and Baire functions by Edgar Raymond Lorch [American Mathematical Monthly 78 #7 (Aug-Sep 1971), pp. 748-762]: "This circumstance, that a collection of topologies is topologized, may seem a bit incestuous." Slightly more detail in this mathoverflow answer. $\endgroup$
    – Dave L Renfro
    Commented 5 hours ago

1 Answer 1

Reset to default
0
$\begingroup$

There is no set of all [compact] topological spaces.

Given a set of topological spaces, consider its power set. This power set with the indiscrete topology is a compact topological space missing from the set.

Improve this answer
$\endgroup$
1
  • $\begingroup$ If one came up with a decent notion of what it means for a sequence of topological spaces to converge to another topological space, then these set theoretic issues wouldn’t really be an issue; one could try to put a topology on any given set of spaces in which convergence behaves in the desired way. Maybe there would be some sequences (of spaces in the set) whose limit exists but is missing from the set, but that would be okay. On the other hand I don’t have a suggestion for such a notion of convergence… $\endgroup$
    – Dan Ramras
    Commented 8 hours ago

You must log in to answer this question.

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