In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, an
action
Action may refer to:
* Action (philosophy), something which is done by a person
* Action principles the heart of fundamental physics
* Action (narrative), a literary mode
* Action fiction, a type of genre fiction
* Action game, a genre of video gam ...
of a
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
''G'' on a
topological space
In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
''X'' is cocompact if the
quotient space ''X''/''G'' is a
compact space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., i ...
. If ''X'' is
locally compact
In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which e ...
, 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".
References
*
Group actions
{{topology-stub