Euler characteristic of a Y-shaped pipe?












4












$begingroup$


I'm familiar with the idea in topology that shapes that can be continuously deformed into one another are considered "equivalent". I read about the Euler Characteristic as being Vertices-Edges+Faces. Thinking of this number as related to the genus of an object, and the genus as the number of holes it has (which is probably where I'm going wrong), I began wondering what the Euler number or genus of a Y-shaped pipe (see below) would be, having three openings that all converge together.



Y-shaped pipe:



a y-shaped pipe



Thanks in advance for any help!










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    should be $-1$. Note that the pipe is homeomorphic to a sphere with three holes, which is homeomorphic to a 2-disk with two holes, and this deformation retracts to a wedge of two circles. And this wedge has one vertex and two edges.
    $endgroup$
    – Stefan Hamcke
    Feb 13 '14 at 18:57












  • $begingroup$
    To see a triangulation for your space, take 3 cubes with 2 opposite faces removed from each, and 2 equilateral triangles (with side length the same as your cube). It should be easy to figure out how to glue those together to get your space.
    $endgroup$
    – PVAL-inactive
    Feb 13 '14 at 19:17


















4












$begingroup$


I'm familiar with the idea in topology that shapes that can be continuously deformed into one another are considered "equivalent". I read about the Euler Characteristic as being Vertices-Edges+Faces. Thinking of this number as related to the genus of an object, and the genus as the number of holes it has (which is probably where I'm going wrong), I began wondering what the Euler number or genus of a Y-shaped pipe (see below) would be, having three openings that all converge together.



Y-shaped pipe:



a y-shaped pipe



Thanks in advance for any help!










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    should be $-1$. Note that the pipe is homeomorphic to a sphere with three holes, which is homeomorphic to a 2-disk with two holes, and this deformation retracts to a wedge of two circles. And this wedge has one vertex and two edges.
    $endgroup$
    – Stefan Hamcke
    Feb 13 '14 at 18:57












  • $begingroup$
    To see a triangulation for your space, take 3 cubes with 2 opposite faces removed from each, and 2 equilateral triangles (with side length the same as your cube). It should be easy to figure out how to glue those together to get your space.
    $endgroup$
    – PVAL-inactive
    Feb 13 '14 at 19:17
















4












4








4


2



$begingroup$


I'm familiar with the idea in topology that shapes that can be continuously deformed into one another are considered "equivalent". I read about the Euler Characteristic as being Vertices-Edges+Faces. Thinking of this number as related to the genus of an object, and the genus as the number of holes it has (which is probably where I'm going wrong), I began wondering what the Euler number or genus of a Y-shaped pipe (see below) would be, having three openings that all converge together.



Y-shaped pipe:



a y-shaped pipe



Thanks in advance for any help!










share|cite|improve this question











$endgroup$




I'm familiar with the idea in topology that shapes that can be continuously deformed into one another are considered "equivalent". I read about the Euler Characteristic as being Vertices-Edges+Faces. Thinking of this number as related to the genus of an object, and the genus as the number of holes it has (which is probably where I'm going wrong), I began wondering what the Euler number or genus of a Y-shaped pipe (see below) would be, having three openings that all converge together.



Y-shaped pipe:



a y-shaped pipe



Thanks in advance for any help!







general-topology algebraic-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 24 '18 at 7:26









Glorfindel

3,42981830




3,42981830










asked Feb 13 '14 at 18:41









aleph_aleph_nullaleph_aleph_null

19028




19028








  • 1




    $begingroup$
    should be $-1$. Note that the pipe is homeomorphic to a sphere with three holes, which is homeomorphic to a 2-disk with two holes, and this deformation retracts to a wedge of two circles. And this wedge has one vertex and two edges.
    $endgroup$
    – Stefan Hamcke
    Feb 13 '14 at 18:57












  • $begingroup$
    To see a triangulation for your space, take 3 cubes with 2 opposite faces removed from each, and 2 equilateral triangles (with side length the same as your cube). It should be easy to figure out how to glue those together to get your space.
    $endgroup$
    – PVAL-inactive
    Feb 13 '14 at 19:17
















  • 1




    $begingroup$
    should be $-1$. Note that the pipe is homeomorphic to a sphere with three holes, which is homeomorphic to a 2-disk with two holes, and this deformation retracts to a wedge of two circles. And this wedge has one vertex and two edges.
    $endgroup$
    – Stefan Hamcke
    Feb 13 '14 at 18:57












  • $begingroup$
    To see a triangulation for your space, take 3 cubes with 2 opposite faces removed from each, and 2 equilateral triangles (with side length the same as your cube). It should be easy to figure out how to glue those together to get your space.
    $endgroup$
    – PVAL-inactive
    Feb 13 '14 at 19:17










1




1




$begingroup$
should be $-1$. Note that the pipe is homeomorphic to a sphere with three holes, which is homeomorphic to a 2-disk with two holes, and this deformation retracts to a wedge of two circles. And this wedge has one vertex and two edges.
$endgroup$
– Stefan Hamcke
Feb 13 '14 at 18:57






$begingroup$
should be $-1$. Note that the pipe is homeomorphic to a sphere with three holes, which is homeomorphic to a 2-disk with two holes, and this deformation retracts to a wedge of two circles. And this wedge has one vertex and two edges.
$endgroup$
– Stefan Hamcke
Feb 13 '14 at 18:57














$begingroup$
To see a triangulation for your space, take 3 cubes with 2 opposite faces removed from each, and 2 equilateral triangles (with side length the same as your cube). It should be easy to figure out how to glue those together to get your space.
$endgroup$
– PVAL-inactive
Feb 13 '14 at 19:17






$begingroup$
To see a triangulation for your space, take 3 cubes with 2 opposite faces removed from each, and 2 equilateral triangles (with side length the same as your cube). It should be easy to figure out how to glue those together to get your space.
$endgroup$
– PVAL-inactive
Feb 13 '14 at 19:17












2 Answers
2






active

oldest

votes


















4












$begingroup$

This can be answered with some knot theory. The openings can be thought of as an unlink on three components. This just means three circles that are not "linked" together. This Y shaped pipe can be deformed to a sphere with three holes missing from it. Just think about the pipe as if it were a weird ballon. If we would fill these holes, we get a sphere, which means that it has genus zero. Then, we know that the Euler characteristic of sphere is two. (For a genus $g$ "shape," the Euler characteristic is $2-2g$. )



But we added those disks, which each count as a face. So, to get back to our Y shaped pipe, we need to subtract those disks (faces), which means we have $2-3=-1$.



Or, we could have used this: From Rolfsen's Knots and Links, we have a relation which says $$ g(M)=1-frac{chi(M)+b}{2} $$ where $g(M)$ is the genus of a manifold $M$ (our Y shaped pipe), $chi(M)$ is the Euler characteristic, and $b$ is the number of boundary components, which means the holes. We know the genus, and the number of holes, all you have to do is solve for $chi(M)$.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    How have you used any knot theory here?
    $endgroup$
    – Dan Rust
    Feb 13 '14 at 22:48










  • $begingroup$
    @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
    $endgroup$
    – N. Owad
    Feb 14 '14 at 16:16



















0












$begingroup$

The easy way to find the Euler characteristic is to note that we can deformation retract the pair of pants (that's the name topologists normally give this space) onto a subset which is homeomorphic to a circle with an interval glued at one end to the north pole or the circle and the other end glued to the south pole of the circle. This in turn is homotopy equivalent to a wedge of two circles by shrinking the extra interval to a point. This space has one vertex and two edges so we get $chi=1-2=-1$. As Euler characteristic is a homotopy invariant, it follows that this is also the Euler characteristic of the pair of pants.



It's actually pretty easy to put a cellular decomposition straight onto the pair of pants without worrying about homotopy equivalences. Note that the pair of pants is homeomorphic to a closed disk with two smaller open disks removed from its interior. We can decompose this into cells by placing an edge between the boundaries of the removed disks and also an edge from each boundary of the removed disks to the boundary of the large disk. This gives us a cellular decomposition consisting of $6$ vertices on the boundary, $3$ edges in the interior, $6$ edges on the boundary, and $2$ faces in the interior. This gives $chi=6-(3+6)+2=-1$ as expected.






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f675390%2feuler-characteristic-of-a-y-shaped-pipe%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    4












    $begingroup$

    This can be answered with some knot theory. The openings can be thought of as an unlink on three components. This just means three circles that are not "linked" together. This Y shaped pipe can be deformed to a sphere with three holes missing from it. Just think about the pipe as if it were a weird ballon. If we would fill these holes, we get a sphere, which means that it has genus zero. Then, we know that the Euler characteristic of sphere is two. (For a genus $g$ "shape," the Euler characteristic is $2-2g$. )



    But we added those disks, which each count as a face. So, to get back to our Y shaped pipe, we need to subtract those disks (faces), which means we have $2-3=-1$.



    Or, we could have used this: From Rolfsen's Knots and Links, we have a relation which says $$ g(M)=1-frac{chi(M)+b}{2} $$ where $g(M)$ is the genus of a manifold $M$ (our Y shaped pipe), $chi(M)$ is the Euler characteristic, and $b$ is the number of boundary components, which means the holes. We know the genus, and the number of holes, all you have to do is solve for $chi(M)$.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      How have you used any knot theory here?
      $endgroup$
      – Dan Rust
      Feb 13 '14 at 22:48










    • $begingroup$
      @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
      $endgroup$
      – N. Owad
      Feb 14 '14 at 16:16
















    4












    $begingroup$

    This can be answered with some knot theory. The openings can be thought of as an unlink on three components. This just means three circles that are not "linked" together. This Y shaped pipe can be deformed to a sphere with three holes missing from it. Just think about the pipe as if it were a weird ballon. If we would fill these holes, we get a sphere, which means that it has genus zero. Then, we know that the Euler characteristic of sphere is two. (For a genus $g$ "shape," the Euler characteristic is $2-2g$. )



    But we added those disks, which each count as a face. So, to get back to our Y shaped pipe, we need to subtract those disks (faces), which means we have $2-3=-1$.



    Or, we could have used this: From Rolfsen's Knots and Links, we have a relation which says $$ g(M)=1-frac{chi(M)+b}{2} $$ where $g(M)$ is the genus of a manifold $M$ (our Y shaped pipe), $chi(M)$ is the Euler characteristic, and $b$ is the number of boundary components, which means the holes. We know the genus, and the number of holes, all you have to do is solve for $chi(M)$.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      How have you used any knot theory here?
      $endgroup$
      – Dan Rust
      Feb 13 '14 at 22:48










    • $begingroup$
      @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
      $endgroup$
      – N. Owad
      Feb 14 '14 at 16:16














    4












    4








    4





    $begingroup$

    This can be answered with some knot theory. The openings can be thought of as an unlink on three components. This just means three circles that are not "linked" together. This Y shaped pipe can be deformed to a sphere with three holes missing from it. Just think about the pipe as if it were a weird ballon. If we would fill these holes, we get a sphere, which means that it has genus zero. Then, we know that the Euler characteristic of sphere is two. (For a genus $g$ "shape," the Euler characteristic is $2-2g$. )



    But we added those disks, which each count as a face. So, to get back to our Y shaped pipe, we need to subtract those disks (faces), which means we have $2-3=-1$.



    Or, we could have used this: From Rolfsen's Knots and Links, we have a relation which says $$ g(M)=1-frac{chi(M)+b}{2} $$ where $g(M)$ is the genus of a manifold $M$ (our Y shaped pipe), $chi(M)$ is the Euler characteristic, and $b$ is the number of boundary components, which means the holes. We know the genus, and the number of holes, all you have to do is solve for $chi(M)$.






    share|cite|improve this answer











    $endgroup$



    This can be answered with some knot theory. The openings can be thought of as an unlink on three components. This just means three circles that are not "linked" together. This Y shaped pipe can be deformed to a sphere with three holes missing from it. Just think about the pipe as if it were a weird ballon. If we would fill these holes, we get a sphere, which means that it has genus zero. Then, we know that the Euler characteristic of sphere is two. (For a genus $g$ "shape," the Euler characteristic is $2-2g$. )



    But we added those disks, which each count as a face. So, to get back to our Y shaped pipe, we need to subtract those disks (faces), which means we have $2-3=-1$.



    Or, we could have used this: From Rolfsen's Knots and Links, we have a relation which says $$ g(M)=1-frac{chi(M)+b}{2} $$ where $g(M)$ is the genus of a manifold $M$ (our Y shaped pipe), $chi(M)$ is the Euler characteristic, and $b$ is the number of boundary components, which means the holes. We know the genus, and the number of holes, all you have to do is solve for $chi(M)$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Feb 13 '14 at 19:15

























    answered Feb 13 '14 at 19:04









    N. OwadN. Owad

    4,66521233




    4,66521233












    • $begingroup$
      How have you used any knot theory here?
      $endgroup$
      – Dan Rust
      Feb 13 '14 at 22:48










    • $begingroup$
      @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
      $endgroup$
      – N. Owad
      Feb 14 '14 at 16:16


















    • $begingroup$
      How have you used any knot theory here?
      $endgroup$
      – Dan Rust
      Feb 13 '14 at 22:48










    • $begingroup$
      @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
      $endgroup$
      – N. Owad
      Feb 14 '14 at 16:16
















    $begingroup$
    How have you used any knot theory here?
    $endgroup$
    – Dan Rust
    Feb 13 '14 at 22:48




    $begingroup$
    How have you used any knot theory here?
    $endgroup$
    – Dan Rust
    Feb 13 '14 at 22:48












    $begingroup$
    @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
    $endgroup$
    – N. Owad
    Feb 14 '14 at 16:16




    $begingroup$
    @DanielRust It is more the way you view the problem. If you think of the boundary as the unlink, then there is a unique minimal genus orientable surface. This is at least how I approached the problem.
    $endgroup$
    – N. Owad
    Feb 14 '14 at 16:16











    0












    $begingroup$

    The easy way to find the Euler characteristic is to note that we can deformation retract the pair of pants (that's the name topologists normally give this space) onto a subset which is homeomorphic to a circle with an interval glued at one end to the north pole or the circle and the other end glued to the south pole of the circle. This in turn is homotopy equivalent to a wedge of two circles by shrinking the extra interval to a point. This space has one vertex and two edges so we get $chi=1-2=-1$. As Euler characteristic is a homotopy invariant, it follows that this is also the Euler characteristic of the pair of pants.



    It's actually pretty easy to put a cellular decomposition straight onto the pair of pants without worrying about homotopy equivalences. Note that the pair of pants is homeomorphic to a closed disk with two smaller open disks removed from its interior. We can decompose this into cells by placing an edge between the boundaries of the removed disks and also an edge from each boundary of the removed disks to the boundary of the large disk. This gives us a cellular decomposition consisting of $6$ vertices on the boundary, $3$ edges in the interior, $6$ edges on the boundary, and $2$ faces in the interior. This gives $chi=6-(3+6)+2=-1$ as expected.






    share|cite|improve this answer









    $endgroup$


















      0












      $begingroup$

      The easy way to find the Euler characteristic is to note that we can deformation retract the pair of pants (that's the name topologists normally give this space) onto a subset which is homeomorphic to a circle with an interval glued at one end to the north pole or the circle and the other end glued to the south pole of the circle. This in turn is homotopy equivalent to a wedge of two circles by shrinking the extra interval to a point. This space has one vertex and two edges so we get $chi=1-2=-1$. As Euler characteristic is a homotopy invariant, it follows that this is also the Euler characteristic of the pair of pants.



      It's actually pretty easy to put a cellular decomposition straight onto the pair of pants without worrying about homotopy equivalences. Note that the pair of pants is homeomorphic to a closed disk with two smaller open disks removed from its interior. We can decompose this into cells by placing an edge between the boundaries of the removed disks and also an edge from each boundary of the removed disks to the boundary of the large disk. This gives us a cellular decomposition consisting of $6$ vertices on the boundary, $3$ edges in the interior, $6$ edges on the boundary, and $2$ faces in the interior. This gives $chi=6-(3+6)+2=-1$ as expected.






      share|cite|improve this answer









      $endgroup$
















        0












        0








        0





        $begingroup$

        The easy way to find the Euler characteristic is to note that we can deformation retract the pair of pants (that's the name topologists normally give this space) onto a subset which is homeomorphic to a circle with an interval glued at one end to the north pole or the circle and the other end glued to the south pole of the circle. This in turn is homotopy equivalent to a wedge of two circles by shrinking the extra interval to a point. This space has one vertex and two edges so we get $chi=1-2=-1$. As Euler characteristic is a homotopy invariant, it follows that this is also the Euler characteristic of the pair of pants.



        It's actually pretty easy to put a cellular decomposition straight onto the pair of pants without worrying about homotopy equivalences. Note that the pair of pants is homeomorphic to a closed disk with two smaller open disks removed from its interior. We can decompose this into cells by placing an edge between the boundaries of the removed disks and also an edge from each boundary of the removed disks to the boundary of the large disk. This gives us a cellular decomposition consisting of $6$ vertices on the boundary, $3$ edges in the interior, $6$ edges on the boundary, and $2$ faces in the interior. This gives $chi=6-(3+6)+2=-1$ as expected.






        share|cite|improve this answer









        $endgroup$



        The easy way to find the Euler characteristic is to note that we can deformation retract the pair of pants (that's the name topologists normally give this space) onto a subset which is homeomorphic to a circle with an interval glued at one end to the north pole or the circle and the other end glued to the south pole of the circle. This in turn is homotopy equivalent to a wedge of two circles by shrinking the extra interval to a point. This space has one vertex and two edges so we get $chi=1-2=-1$. As Euler characteristic is a homotopy invariant, it follows that this is also the Euler characteristic of the pair of pants.



        It's actually pretty easy to put a cellular decomposition straight onto the pair of pants without worrying about homotopy equivalences. Note that the pair of pants is homeomorphic to a closed disk with two smaller open disks removed from its interior. We can decompose this into cells by placing an edge between the boundaries of the removed disks and also an edge from each boundary of the removed disks to the boundary of the large disk. This gives us a cellular decomposition consisting of $6$ vertices on the boundary, $3$ edges in the interior, $6$ edges on the boundary, and $2$ faces in the interior. This gives $chi=6-(3+6)+2=-1$ as expected.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Feb 13 '14 at 22:47









        Dan RustDan Rust

        22.9k114984




        22.9k114984






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f675390%2feuler-characteristic-of-a-y-shaped-pipe%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Aardman Animations

            Are they similar matrix

            “minimization” problem in Euclidean space related to orthonormal basis