TY  - JOUR
ID  - Niemiec2011
LB  - Niemiec2011
AU  - Niemiec, Piotr
TI  - A note on invariant measures
ST  - A note on invariant measures
JO  - Opuscula Math.
JA  - Opuscula Math.
JF  - Opuscula Mathematica
PY  - 2011
VL  - 31
IS  - 3
SP  - 425
EP  - 431
DO  - http://dx.doi.org/10.7494/OpMath.2011.31.3.425
UR  - http://dx.doi.org/10.7494/OpMath.2011.31.3.425
AB  - The aim of the paper is to show that if \(\mathcal{F}\) is a family of continuous transformations of a nonempty compact Hausdorff space \(\Omega\), then there is no \(\mathcal{F}\)-invariant probabilistic Borel measures on \(\Omega\) iff there are \(\varphi_1,\ldots,\varphi_p \in \mathcal{F}\) (for some \(p \geq 2\)) and a continuous function \(u:\, \Omega^p \to \mathbb{R}\) such that \(\sum_{\sigma \in S_p} u(x_{\sigma(1)},\ldots ,x_{\sigma(p)}) = 0\) and \(\liminf_{n\to\infty} \frac1n \sum_{k=0}^{n-1} (u \circ \Phi^k)(x_1,\ldots,x_p) \geq 1\) for each \(x_1,\ldots,x_p \in \Omega\), where \(\Phi:\, \Omega^p \ni (x_1,\ldots,x_p) \mapsto (\varphi_1(x_1),\ldots,\varphi_p(x_p)) \in \Omega^p\) and \(\Phi^k\) is the \(k\)-th iterate of \(\Phi\). A modified version of this result in case the family \(\mathcal{F}\) generates an equicontinuous semigroup is proved.
KW  - invariant measures
KW  - equicontinuous semigroups
KW  - compact spaces
SN  - 1232-9274
ER  -