Asumamos que ω denota la 1-forma a valores en formula_1 que define la conexión en un fibrado.