En matemáticas , una acción de un grupo G sobre un espacio topológico X es cocompacta si el espacio cociente X / G es un espacio compacto . Si X es localmente compacto , entonces una condición equivalente es que exista un subconjunto compacto K de X tal que la imagen de K bajo la acción de G cubra a X. A veces se lo denomina compacto , una referencia irónica a nociones duales en las que anteponer "co-" dos veces "cancelará".