Skip to main content
removed the (tag-removed) tag
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Source Link
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

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 /∼).