MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Somebody knows where I can find some proof of the following fact: If F is compact, connected 2-manifold with nonempty boundery why there exist n=1-X(F) pairwise disjoint properly embedded 1-cells {A1,...,An} in F which cut F to a 2-cell.

This claim is formulated in a proof of theorem 2.3, 3-manifolds, John Hempel

share|cite|improve this question
This is better suited to – Richard Kent Nov 1 '11 at 20:36
This is the classification theorem for compact 2-manifolds. You can find a proof in a variety of places. Singer and Thorpe's "Lecture Notes on Elementary Geometry and Topology" is a nice one. That's a bit old, though. I think this is also in many of the textbooks by Stillwell that involve surfaces. Proofs boil down to triangulability + Poincare duality + the simply connected case. – Ryan Budney Nov 1 '11 at 20:36

This is not really an answer, but not really a comment either.

You can start from the classification theorem of compact surfaces (every compact connected 2-manifold is homeomorphic to either a connected sum of $g$ tori or a connected sum of $k$ projective planes, with a finite number of disks removed). To prove this you need the triangulation theorem, which is proved in Moise's Geometric Topology in Dimensions 2 and 3, and once you have a triangulation you can prove by hand that you will always get a connected sum of tori or projective planes.

After that, you can prove the result you want by hand by drawing nice pictures :)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.