For two connected closed surfaces, remove an open disc from each and identify the resulting boundary circles by a homeomorphism. The resulting closed surface is their connected sum, defined up to homeomorphism independently of these choices. A triangulation version removes one triangular face from each and glues their boundary three-cycles by a simplicial homeomorphism.
At a seam vertex the two vertex links of a simplex are paths; gluing their matching endpoints produces a cycle graph, proving the local surface condition. Removing a triangular face subtracts one from each Euler characteristic, while boundary gluing reduces both the vertex count and the edge count by three. Therefore . If the result were orientable, either punctured summand would inherit consistent choices of orientation of a simplex, and these would extend over its capping face. Thus a nonorientable summand forces a nonorientable surface result. The classification theorem for closed combinatorial surfaces then gives .
The torus and Klein bottle are not homeomorphic because only the former is orientable. Adding a projective plane to either by connected sum of surfaces makes a nonorientable surface with Euler characteristic minus one. The classification of compact surfaces identifies both with three projective planes. Thus connected-sum cancellation can fail even for closed connected surfaces.

Articles by others on the same topic (0)

There are currently no matching articles.