Invariant functional of a composition operator
= Invariant functional of a composition operator
A functional $\mu$ is invariant under the composition operator $T$ when $\mu(Tf)=\mu(f)$ for every $f$. On a compact metric space, a point-evaluation functional can be averaged along an orbit, and a weak-star convergent subsequence of those averages produces an invariant functional.