8
$\begingroup$

I've seen this example given numerous times, but have never seen a real proof in a textbook.

  • 9
    What's your definition of "coffee mug"? ;-)2011-08-07
  • 0
    ... or "donut" for that matter.2011-08-07
  • 2
    This isn't really the kind of statement one can attach a rigorous proof to until the meaning of the terms "topological equivalence," "donut," and "coffee mug" are fixed. In my experience the first term can mean homotopy, ambient isotopy, or homeomorphism and it is never really clear which one is meant (sometimes intentionally so). "Donut" could refer either to a torus or a solid torus. And a coffee mug... is it thickened? Do you care about the surface? Etc.2011-08-07
  • 2
    As far as I'm concerned you don't need a more rigorous proof of this kind of statement (which is clearly meant more as an easily-grasped intuitive example than anything else) than "if you made a coffee mug out of clay, you could reshape it into a donut without breaking or attaching anything."2011-08-07
  • 0
    why "donut" and not a "bagel"?2014-05-22
  • 0
    So what's the answer? Suppose I had a topological definition of a coffee mug. I want to show that the mug is homeomorphic to a doughnut (torus). In order to do that, I need to PROVE (if not explicitly give the formula) the existence of a function that's a homeomorphism between those two topological spaces. "It intuitively exists" is not a valid argument in mathematics in my opinion. Or is it in topology?2015-02-13

2 Answers 2

1

I am assuming that the questioner knows that the question is about either the surfaces or the 3-manifolds in question. A rigorous, yet diagrammatic proof is in our book Knotted Surfaces and Their Diagrams.

0

They are both homeomorphic to a sphere with one handle attached. This is quite clear for the coffee mug (where the handle is precisely the handle.....) and it is easily obtained for the donut (a.k.a. torus) by playing a bit with its representation as a square with opposite edges identified.

  • 3
    Actually, I wouldn't want to eat one of your two-dimensional donuts :) My coffee mugs are rather three-dimensional as well...2011-08-07
  • 0
    Not even if it's filled with cream? :)2011-08-07
  • 1
    If it has a cream filling, it certainly cannot be two-dimensional anymore... :D2011-08-07
  • 0
    The point is that the topological equivalence will not preserve any cream filling, as that will flow all over the place unless thoroughly beaten.2011-08-07
  • 1
    The problem with the question is that neither the coffee cup nor the doughnut has been made that precise. In this case it is very difficult to give and explicit homeomorphism between them. On the other hand if you start with a mug without handle, specified as ever you like then it should be possible to produce a flat disc (thickness that of the mug) and then add a handle. (Is the torus a solid torus or just the surface... ditto for the mug?)2011-08-07
  • 0
    As far as I ever understood, the doghnut/coffe mug examples made implicit reference to their surfaces. Said that, it is also clear that *real* doughnuts and coffe mugs are not $2$-dimensional (like any real object, as a matter of fact)2011-08-07
  • 0
    Ditto, my understanding of the equivalence is that they're both genus-1 surfaces...2011-08-07
  • 0
    So what's the answer? Suppose I had a topological definition of a coffee mug. I want to show that the mug is homeomorphic to a doughnut (torus). In order to do that, I need to PROVE (if not explicitly give the formula) the existence of a function that's a homeomorphism between those two topological spaces. "It intuitively exists" is not a valid argument in mathematics in my opinion. Or is it in topology?2015-02-14