On the existence of a measure invariant under a transformation. (Q2594528)

Verf. legen ihren sehr allgemeinen Untersuchungen über invariante Maße einen vollständigen separablen metrischen Raum \(R\) zugrunde. Ist \(T\) eine eineindeutige und beiderseits stetige Abbildung in \(R\), so finden sie als notwendige und hinreichende Bedingung für die Existenz eines endlichen bei der Transformation \(T\) invarianten Maßes \((m(A) \geqq 0\), \(m(R) <\infty\), \(m(TA) = m(A)\), \(A\subset R\)) das Bestehen der Ungleichung \[ \lim\limits_{n\to\infty}\dfrac1n\sum\limits_{k=1}^n f_C(T^kp) > 0, \tag{1} \] wenn \(p\) ein beliebiger Punkt von \(R\), \(C\) eine kompakte Menge \(\subset R\) und \(f_C\) die charakteristische Funktion von \(C\) ist. -- Wird verlangt, daß das invariante Maß für Punkte verschwindet, so hat man die folgende notwendige und hinreichende Bedingung: 1) \(T\) besitzt mehr als abzählbar viele periodische Punkte. 2) Es gibt eine kompakte Menge \(E\) von nichtperiodischen Punkten, von denen einer der Limesrelation (1) genügt. Der Satz läßt sich auf einparametrige Transformationsgruppen \(T_\lambda x\) ausdehnen \((-\infty< \lambda<\infty\), \(T_\lambda T_\mu x = T_{\lambda+\mu}x\), \(T_0x=x\)): Ist \(T_\lambda x\) bei festem \(x\) in bezug auf \(\lambda\) im Borelschen Sinne meßbar, so hat man als notwendige und hinreichende Bedingung für die Existenz eines bei den \(T_\lambda\) invarianten Maßes das Bestehen der Ungleichung \[ \lim\limits_{t\to\infty}\dfrac1t\int\limits_0^t f_C(T_\lambda p)d\lambda>0, \] wenn \(p\) und \(C\) die frühere Bedeutung haben. Läßt man die Forderung fallen, daß das Maß endlich sein soll, so existiert bei jedem \(T\) ein invariantes Maß, für das sich noch einige zusätzliche Forderungen stellen lassen.