Sur les caractéristiques du tore. (Q566254)

Die in der vorstehend besprochenen Note definierte Transformation \(T\) wird hier unter der Annahme, daß \(\frac {d\theta _1}{d\theta }\) für jedes \(\theta \) existiert und von beschränkter Schwankung ist, weiter untersucht. In diesem Falle erfüllen die positiven und negativen Iterierten eines beliebigen Punktes den Kreis dicht. Darüber hinaus wird gezeigt, daß, wenn \(E\) eine meßbare Menge von nicht verschwindendem Maße ist, dann für gewisse unendliche Folgen von Werten von \(n\) die Mengen \(E_n +E_{-n}\) (\(E_n=T^n E\)) nicht paarweise punktfremd sein können. Die (irrationale) Rotationszahl von \(T\) sei \(\alpha \). Wenn \(\Gamma \) ein Kreis mit der Winkelkoordinate \(\omega \) ist, so wird durch \(\psi (\omega _0 +2n\pi \alpha )=t^n (\theta _0)\) ein Homöomorphismus \(\theta =\psi (\omega )\) zwischen \(C\) und \(\Gamma \) hergestellt, wobei \(\omega _0\) und \(\theta _0\) willkürlich, aber fest sind und \(\psi \) von da aus stetig fortgesetzt wird. Man betrachte die folgendermaßen definierten Mengen \(H^i\) auf \(\Gamma \): \(H^1 \colon \psi '(\omega )=0\), \(H^2 \colon 0<\psi '(\omega )<\infty \), \(H^3 \colon \psi '(\omega )=\infty \), \(H^4 \colon \psi '(\omega )\) existiert nicht. Es wird gezeigt, daß jede Menge \(H^i\) gegenüber einer Rotation um den Winkel \(2\pi \alpha \) invariant ist. Ferner, daß, wenn \(K^i\) die Menge auf \(C\) ist, die \(H^i\) entspricht, dann \(H^4, K^4, H^3, K^1\) vom Maße 0 sind. Eine der Mengen \(H^1, H^2\) ist vom Maße 0, die andere vom Maße \(2\pi \); \(K^3\) kann vom Maße 0 sein oder nicht. Wenn \(H^2\) vom Maße 0 ist, so ist \(K^3\) vom Maße \(2\pi \). Die Frage, ob \(K^3\) vom Maße 0 sein muß, wenn \(T\) analytisch ist, bleibt offen.