Cocompact group action
（重定向自Cocompact）
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.