En matemáticas, un cociclo es una cocadena cerrada . Los cociclos se utilizan en topología algebraica para expresar obstrucciones (por ejemplo, para integrar una ecuación diferencial en una variedad cerrada ). También se utilizan en cohomología de grupos . En sistemas dinámicos autónomos , los cociclos se utilizan para describir tipos particulares de funciones, como en el teorema de Oseledets . [1]
Sea X un complejo CW y sean las cocadenas singulares con mapa de colímites . Entonces los elementos de son cociclos . Los elementos de son colímites . Si es un cociclo, entonces , lo que significa que los cociclos se anulan en los límites. [2]