• Ignotum@lemmy.world
        link
        fedilink
        arrow-up
        0
        ·
        4 days ago

        I think it’s three, the handle, the donut hole, then there’s the hole/tunnel formed inside of the cup

          • jxk@sh.itjust.works
            link
            fedilink
            arrow-up
            0
            ·
            4 days ago

            Isn’t the 3-torus a 3-dimensional space? The surgace of this mug is two-dimensional. But I agree that it’s a “torus with three holes”

        • TheTechnician27@lemmy.world
          link
          fedilink
          English
          arrow-up
          0
          ·
          edit-2
          4 days ago

          Okay, if a torus with a single patch of empty space on its surface is two holes, then this is three holes. But now I’m confused, because I don’t know if that’s true topologically. Otherwise, it’s just a two-torus with a perforation on its 2-surface.


          Edit: I’ve been informed by a topologist friend that this has two holes and that the lip of the mug is just a boundary.

          • chuckleslord@lemmy.world
            link
            fedilink
            arrow-up
            0
            ·
            4 days ago

            It’s three. The hole through the center makes a hole around it inside the mug. Your topologist friend took too quick a glance at this.

            • TheTechnician27@lemmy.world
              link
              fedilink
              English
              arrow-up
              0
              ·
              edit-2
              4 days ago

              The hole through the center makes a hole around it inside the mug.

              Yeah, the hole through the center is one hole (the “donut hole”). The handle is the other (the “handle hole”).

              Topologically, the lip of the mug is a boundary, not a hole. This object is of genus 2 given it’s a 2-manifold.

              But we can show this assuming the lip isn’t an abrupt boundary and that instead that the outer wall of the inner loop is part of the same side as the outside of the mug (i.e. that you can continuously walk on the surface from the outside past the lip without crossing an abrupt boundary, which more closely matches the physical reality of this mug).

              Watch this: imagine a loop around the hole of a donut. Now try to contract that loop down. Without cutting it, you can’t.

              Now take a loop around the lip of this coffee mug. You can contract it to a point by bringing it all over the lip of the mug, then inside, along the outer walls, and then finally down to the bottom of the mug. It all meets up there. No hole. There’s the donut hole and the handle hole, but the colloquial “hole” is either a boundary if the lip is flat or not even a boundary if it continuously curves inward.

              • tgt@programming.dev
                link
                fedilink
                arrow-up
                0
                ·
                4 days ago

                Now take a loop around the lip of this coffee mug. You can contract it to a point by bringing it all over the lip of the mug, then inside, along the outer walls, and then finally down to the bottom of the mug.

                Nope, donut hole is in the way.

          • NichtElias@sh.itjust.works
            link
            fedilink
            arrow-up
            0
            ·
            4 days ago

            I still don’t get how it’s supposed to be two holes. I mean how is the part where the liquid would be in in this cup not a hole?

            • TheTechnician27@lemmy.world
              link
              fedilink
              English
              arrow-up
              0
              ·
              edit-2
              4 days ago

              Topologically, that part is not a hole. The liquid basin not being a hole is where the joke in the OP originates, even: a standard coffee mug with a basin for coffee and a handle is homeomorphic (topologically equivalent) to a torus (a donut). And that’s because the handle is the hole, not the basin.

              In the case of the OP, ignore the handle for a second just to simplify things. That’s a hollowed-out donut (torus) except that you’ve taken a part of that donut’s surface and cut it out. That area that’s been cut out isn’t topologically a hole; instead, you’ve just created a boundary on the 2-manifold (read: flexible surface).

              Topology has rigorous, algebraic definitions under the hood, but that’s what’s going on in this picture topologically: you’ve taken a donut, glued it to another donut, and cut a “hole” (colloquial usage) in the double-donut’s surface, creating a boundary on the surface.


              Edit: To hopefully justify this a bit intuitively for the standard coffee mug (not this abomination in the OP), the utilities problem is a classic toy problem in topology that

              Tap for spoiler

              is unsolvable on a 2D plane

              but

              Tap for spoiler

              can be solved when you embed it into the surface of a coffee mug.

          • Ignotum@lemmy.world
            link
            fedilink
            arrow-up
            0
            ·
            4 days ago

            If we ignore the handle, the torus with a surface opening can be deformed continuously into an 8 shape, the lip of the mug is not a hole, but you can go down the lip of the mug, around the tube in the middle, and back out, a fully enclosed path

          • volore@scribe.disroot.org
            link
            fedilink
            arrow-up
            0
            ·
            4 days ago

            see I figured it was two, being that I’ve seen the transformation of a coffee mug into a torus, I know the lip can be basically “flattened”

        • BigGovernment@lemmy.world
          link
          fedilink
          arrow-up
          0
          ·
          4 days ago

          At first glance I would have said two, the handle and the donut hole. After reading and considering your answer, I’m pretty confident you’re right. The space between the tunnel formed by the donut hole and the mug itself forms an odd hole, but there it is.

          Kudos, that’s a fun little puzzle.

        • tjsauce@lemmy.world
          link
          fedilink
          arrow-up
          0
          ·
          4 days ago

          I think only the main hole counts if we consider access to the inside. The donut hole is formed by, but does not penetrate the cup.

          Not sure how the handle fits in, seing as it has no inner surface

          • kryptonianCodeMonkey@lemmy.world
            link
            fedilink
            arrow-up
            0
            ·
            4 days ago

            No, they’re right. Normally the interior of the much isn’t a topological hole as it only has the one “exit”. But when you connect the surfaces for the center hole, it creates a third hole in the interior of the mug.

            • valar@lemmy.ca
              link
              fedilink
              arrow-up
              0
              ·
              4 days ago

              Shit, you’re right. I was thinking of a normal mug. So “adding the donut hole” actually created two holes.