We start by considering a very simple problem. Let be a set,
be a bijection function, and
a function. We want to know when the cohomological equation
can be solved for some .
It turns out that this very simple question has an equally simple answer. The answer is that the equation can be solved if and only if for every finite (i.e., periodic) orbit , we have
. The necessity of this is evident, because if we have such a solution, then
because induces a bijection of
with itself. This condition is called the vanishing of the periodic obstruction.