For the surjection to the set of equivalence classes, define a subset of the quotient to be open exactly when is open in . Inverse images preserve the empty and full sets, arbitrary unions and finite intersections. Applying the topology axioms in proves this is a topology on the quotient, and it makes continuous.
The map need not be open. On , identify zero with one and leave every other point in its own class. The set is open, but its saturation iswhich is not open in . Thus is not open in the quotient topology. Continuity of a quotient map does not imply openness.
The surface is a Klein bottle. Here is a cell-count justification that keeps all the arrow directions. Name the corners of the first square , beginning at its upper left and proceeding clockwise; name those of the second in the same way. The single-arrow gluing identifies with and with . The triple-arrow gluing identifies with and with . The first square's quadruple-arrow gluing identifies with and with . The second square's double-arrow gluing identifies with one another. There are exactly two resulting vertex classes:There are four edge classes and two faces, so the Euler characteristic is . Every edge is paired and the corner links close into circles, giving a compact surface without boundary; the cross-square identifications make it connected. It is nonorientable: the quadruple-arrow identification glues two boundary edges of the same square in the same boundary-traversal direction, so no orientation of that face can extend across the gluing. The classification of compact connected surfaces now identifies the nonorientable surface of Euler characteristic zero as the Klein bottle.
Geometrically, the internal identification in each square produces a Möbius band. The remaining single- and triple-arrow edges comprise their two boundary circles, which are glued together. The double of a Möbius band is another description of the same Klein bottle.
Articles by others on the same topic
There are currently no matching articles.