Considere un conjunto $X$ equipado y dos funciones $f, g : X \rightarrow X$. Suponga que $f$ y $g$ conmutan entre sí. Finalmente, llamemos $x \in X$ un punto fijo de $f$ si $f(x)=x.
Luego podemos demostrar que si $x$ es un punto fijo de $f$, entonces también lo es $g(x).
Prueba. Supongamos que $f(x)=x. Luego $g(f(x))=g(x). Por lo tanto, $f(g(x))=g(x). Entonces $g(x)$ es un punto fijo de $f.
Esta es probablemente una pregunta tonta, pero si asumimos que $f$ y $g$ son idempotentes, ¿se cumple necesariamente el recíproco?