Skip to main content
2 of 2
removed the (tag-removed) tag
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

compact quotient

Let X be a topological space that is not too bad (let's say "not too bad" = "compactly generated Hausdorff"), and let ∼ be an equivalence relation such that X /∼ is compact Hausdorff.

Does there exist a compact subspace A⊂X that meets every equivalence class of ∼?
(This would then imply that A /∼ is homeomorphic to X /∼).

André Henriques
  • 43.2k
  • 5
  • 130
  • 264