Cocompact group action

Cocompact group action

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 or, equivalently, if there is a compact subset "K" of "X" such that the image of "K" under the action of "G" covers "X".