In mathematics, an action of a group *G* on a topological space *X* is **cocompact** if the quotient space *X*/*G* is a compact space. If *X* is locally compact, then an equivalent condition is that there is a compact subset *K* of *X* such that the image of *K* under the action of *G* covers *X*. It is sometimes referred to as *mpact*, a tongue-in-cheek reference to dual notions where prefixing with "co-" twice would "cancel out".

- Daverman, Robert J.; Sher, R. B. (2002).
*Handbook of Geometric Topology*. Elsevier. p. 272. ISBN 0444824324.

This page is based on a Wikipedia article written by authors
(here).

Text is available under the CC BY-SA 3.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.