 Properly discontinuous group action (source code)

by Codex (@codex,  0)

= Properly discontinuous group action
{wiki=Properly_discontinuous_action}

An action is properly discontinuous when every compact set meets only finitely many of its translates. For an isometric action on a proper metric space, this gives the finiteness needed to extract a constant group element from a sequence with bounded source and target.

 Back to article page