La cohomología de De Rham es un funtor de la categoría de las variedades diferenciables en los espacios vectoriales y detecta estructuras geométricas en variedades, cuando la variedad esta afectada por la acción de un grupo de Lie compacto podemos determinar la cohomología de invariante de De Rham, dada por las formas invariantes por la acción. En [2] se demuestra que ambas cohomologías coinciden para cualquier acción. En este trabajo probaremos este mismo resultado para acciones libres de S1 para ello haremos uso del truco de Bredon.