On the struture of homeomorphims of the open annulus
Let $h$ be a without fixed point lift to the plane of a homeomorphism of the open annulus isotopic to the identity and without wandering point. We show that $h$ admits a $h$-invariant dense open set $O$ on which it is conjugate to a translation and we study the action of $h$ on the compactly connected components of the closed and without interior set ${\bf R}^2 \setminus O$.
Rotation numbers in the infinite annulus
Using the notion of free transverse triangulation we prove that the rotation number of a given probability measure invariant by a homeomorphism of the open annulus depends continuously on the homeomorphism under some boundedness conditions.
Generalizations of the Poincaré-Birkhoff Theorem
In this article we prove some generalizations of the classical Poincar&Birkhoff theorem on area-preserving homeomorphisms of the annulus which satisfy a boundary twist condition. The work of G. D. Birkhoff on this theorem and its applications can be found in [B1], [B2], and Chapter V of [B3]. A more modern treatment can be found in [B-N]. We prove a theorem for the open annulus A = S1 x (0, 1), since, as we will see, the theorem for the closed annulus can easily be obtained from this result. For the open annulus, however, it is not immediately obvious what should be the analogue of the twist condition. It turns out that the most general hypothesis, and the most natural from the point of view of our proof, involves the notion of positively and negatively returning disks for some lift of f to the covering space A = R x (0, 1). More precisely, if f: A -, A is a lift of f: A -, A we will say that the e is a positively returning disk for f if there is an open disk U c A such that f(U) n U = 0 and fP(U) n (U + k) # 0 forsome n, k > 0(here U + k denotes the set {(x + k, t) I(x, t) e U }). Thus U is disjoint from its image but under iteration by f returns to a positive translate of itself. A negatively returning disk is defined similarly but with k 0 such that fl(U) n U # 0. In Section 2 we prove the following.