Use for the angular coordinate and for the radius. Parametrize the first annulus by , running from its inner to its outer boundary. Parametrize the second by , running from its outer to its inner boundary. The outer-boundary identity gluing puts them together at . The remaining inner-boundary identification reverses the angle, so the entire quotient is
This is the mapping torus of reflection of a circle, after rescaling the interval.
To verify the homeomorphism, send in the first annulus to in , and in the second to . Both formulas are continuous, agree under the outer gluing, and agree under the reflected inner gluing. They therefore descend by the universal property of the quotient topology. Conversely, on the lower half of the cylinder send to the class of in the first annulus; on the upper half send it to the class of in the second. The formulas agree at , and at the identified endpoints. The pasting lemma and the quotient property give a continuous inverse. Thus the two quotient descriptions are homeomorphic.
The quotient is compact. Its equivalence relation on the compact Hausdorff cylinder is closed: it is the union of the diagonal and the two graphs of the boundary reflection. Therefore is Hausdorff by compact Hausdorff quotient by a closed equivalence relation. Away from the seam its local charts are circle arcs times open intervals. At the seam, an arc near at glues to its conjugate arc at ; using the reflection as the transition gives another open rectangle. These are disc neighbourhoods, and a finite choice of such charts gives a countable basis. Hence is a closed surface.
Cutting the circle coordinate gives a rectangle with its vertical sides matched and its horizontal sides reflected. The reflection changes the sign of the angular coordinate while leaving the interval direction unchanged, so an orientation transported around the interval loop comes back reversed. Thus is a nonorientable surface. The rectangle quotient has one vertex, two edges and one face, giving Euler characteristic zero. By the classification theorem for closed combinatorial surfaces, the nonorientable genus is , so . This is the gluing annuli with one reflected boundary construction.
Figure 1.
The two annuli become one cylinder with a reflected end identification
. The lower band parametrizes the first annulus from inner to outer boundary, and the upper band the second from outer to inner boundary. Their common middle level is the identity gluing. Identifying the remaining ends by reflection gives the Klein bottle. Details.