Finding the description of a homeomorphism from $S^1 times S^1$ onto the surface of doughnut. The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Computing Homology using Mayer-VietorisProve that $C_1$ and $C_2$ are homotopic fixing endpoints.Let $S$ be the surface generated by the circles of radius $b$, find a parametric expression for $S$Find the ratio of curved surface area of frustum to the cone.The Incluson Map $S_1to S_1times S_1$ Induces an Injection in First Homology.Geometry of a CircleVector Calculus finding the Surface element of a shapeClosed loop on the sphere is homotopic to a product of homeomorphisms onto great arcs of the sphereIntuitive demonstration of the formula giving the surface of a sphere.Explicit formula for the projection from the line to an arbitrary circle

Working through the single responsibility principle (SRP) in Python when calls are expensive

Does Parliament hold absolute power in the UK?

Take groceries in checked luggage

Wolves and sheep

system() function string length limit

Is there a writing software that you can sort scenes like slides in PowerPoint?

Am I ethically obligated to go into work on an off day if the reason is sudden?

How can I define good in a religion that claims no moral authority?

How is simplicity better than precision and clarity in prose?

How to test the equality of two Pearson correlation coefficients computed from the same sample?

Did the UK government pay "millions and millions of dollars" to try to snag Julian Assange?

Sort a list of pairs representing an acyclic, partial automorphism

Why can't wing-mounted spoilers be used to steepen approaches?

Can withdrawing asylum be illegal?

How to pronounce 1ターン?

Simulating Exploding Dice

Create an outline of font

Can the DM override racial traits?

Can a 1st-level character have an ability score above 18?

How does ice melt when immersed in water?

How can I protect witches in combat who wear limited clothing?

How do you keep chess fun when your opponent constantly beats you?

What is special about square numbers here?

How are presidential pardons supposed to be used?



Finding the description of a homeomorphism from $S^1 times S^1$ onto the surface of doughnut.



The 2019 Stack Overflow Developer Survey Results Are In
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Computing Homology using Mayer-VietorisProve that $C_1$ and $C_2$ are homotopic fixing endpoints.Let $S$ be the surface generated by the circles of radius $b$, find a parametric expression for $S$Find the ratio of curved surface area of frustum to the cone.The Incluson Map $S_1to S_1times S_1$ Induces an Injection in First Homology.Geometry of a CircleVector Calculus finding the Surface element of a shapeClosed loop on the sphere is homotopic to a product of homeomorphisms onto great arcs of the sphereIntuitive demonstration of the formula giving the surface of a sphere.Explicit formula for the projection from the line to an arbitrary circle










0












$begingroup$


The following exercise is given in the book Topology- James Munkres (2nd Edition, ch-9, sec-54). I have some difficulties in solving this one. I try to describe my thoughts here:




Exercise 5. Consider the path
$$f(t) = (cos 2pi t, sin 2pi t) times (cos 4pi t, sin 4pi t)$$
in $S^1times S^1$. Sketch what $f$ looks like when $S^1times S^1$ is identified with the doughnut surface $D$.



Here, doughnut-shaped surface $D$ in $BbbR^3$ is obtained by rotating the circle $C_1$ in the $xz$-plane of radius $frac13$ centered at $(1, 0,0)$ about the $z$-axis.




My Attempt. Here, $f:[0,1]to S^1times S^1$. First I try to find out a homeomorphism from $S^1times S^1$ to $D$. Well, Munkres gave an example of such homeomorphism, $h$, say:



Consider $C_2$ be the circle of radius $1$ in the $xy$-plane centered at origin. Then we can map $C_1 times C_2$ into $D$ by defining $h(a,b)$ to be the point into which $a$ is carried when one rotates the circle $C_1$ about the $z$-axis until its center hits the point $b$.



Here, $S^1times S^1$ is homeomorphic with $C_1 times C_2$.



Therefore $h circ f:[0, 1]to D$ is the corresponding path in $D$.
So, now everything depends on $h$. I can visualize $h$ as given in its description above. But I need its analytical description also so that I can compute $h(f(t))$.



Let $a=(a_1,0,a_3)in C_1$ and $b=(b_1, b_2, 0)in C_2$ so that $(a,b) in C_1 times C_2$. I have to find the expression for $h(a,b)=(h_1(a,b), h_2(a,b), h_3(a,b))in D$.



But I cannot proceed further. Any hints to find out $h_1, h_2, h_3$ or any better way to solve this is appreciated. Thank you.










share|cite|improve this question











$endgroup$











  • $begingroup$
    math.meta.stackexchange.com/questions/29995/…
    $endgroup$
    – user657581
    Mar 25 at 9:02










  • $begingroup$
    Am I missing something here? The exercise you're quoting asks you to draw a sketch, not to write down symbolic expressions for the curve.
    $endgroup$
    – Henning Makholm
    Mar 26 at 0:39











  • $begingroup$
    @HenningMakholm....Yes you are right ....But I thought that the analytical expression will be required for the sketching.
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:40










  • $begingroup$
    @HenningMakholm...How can I sketch the curve with out its analytical description....??
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:49










  • $begingroup$
    Not sure, I suck at drawing enough that my attempts look horrible. But I can't quite see how having a symbolic expression would help making a good drawing either.
    $endgroup$
    – Henning Makholm
    Mar 26 at 1:59















0












$begingroup$


The following exercise is given in the book Topology- James Munkres (2nd Edition, ch-9, sec-54). I have some difficulties in solving this one. I try to describe my thoughts here:




Exercise 5. Consider the path
$$f(t) = (cos 2pi t, sin 2pi t) times (cos 4pi t, sin 4pi t)$$
in $S^1times S^1$. Sketch what $f$ looks like when $S^1times S^1$ is identified with the doughnut surface $D$.



Here, doughnut-shaped surface $D$ in $BbbR^3$ is obtained by rotating the circle $C_1$ in the $xz$-plane of radius $frac13$ centered at $(1, 0,0)$ about the $z$-axis.




My Attempt. Here, $f:[0,1]to S^1times S^1$. First I try to find out a homeomorphism from $S^1times S^1$ to $D$. Well, Munkres gave an example of such homeomorphism, $h$, say:



Consider $C_2$ be the circle of radius $1$ in the $xy$-plane centered at origin. Then we can map $C_1 times C_2$ into $D$ by defining $h(a,b)$ to be the point into which $a$ is carried when one rotates the circle $C_1$ about the $z$-axis until its center hits the point $b$.



Here, $S^1times S^1$ is homeomorphic with $C_1 times C_2$.



Therefore $h circ f:[0, 1]to D$ is the corresponding path in $D$.
So, now everything depends on $h$. I can visualize $h$ as given in its description above. But I need its analytical description also so that I can compute $h(f(t))$.



Let $a=(a_1,0,a_3)in C_1$ and $b=(b_1, b_2, 0)in C_2$ so that $(a,b) in C_1 times C_2$. I have to find the expression for $h(a,b)=(h_1(a,b), h_2(a,b), h_3(a,b))in D$.



But I cannot proceed further. Any hints to find out $h_1, h_2, h_3$ or any better way to solve this is appreciated. Thank you.










share|cite|improve this question











$endgroup$











  • $begingroup$
    math.meta.stackexchange.com/questions/29995/…
    $endgroup$
    – user657581
    Mar 25 at 9:02










  • $begingroup$
    Am I missing something here? The exercise you're quoting asks you to draw a sketch, not to write down symbolic expressions for the curve.
    $endgroup$
    – Henning Makholm
    Mar 26 at 0:39











  • $begingroup$
    @HenningMakholm....Yes you are right ....But I thought that the analytical expression will be required for the sketching.
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:40










  • $begingroup$
    @HenningMakholm...How can I sketch the curve with out its analytical description....??
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:49










  • $begingroup$
    Not sure, I suck at drawing enough that my attempts look horrible. But I can't quite see how having a symbolic expression would help making a good drawing either.
    $endgroup$
    – Henning Makholm
    Mar 26 at 1:59













0












0








0





$begingroup$


The following exercise is given in the book Topology- James Munkres (2nd Edition, ch-9, sec-54). I have some difficulties in solving this one. I try to describe my thoughts here:




Exercise 5. Consider the path
$$f(t) = (cos 2pi t, sin 2pi t) times (cos 4pi t, sin 4pi t)$$
in $S^1times S^1$. Sketch what $f$ looks like when $S^1times S^1$ is identified with the doughnut surface $D$.



Here, doughnut-shaped surface $D$ in $BbbR^3$ is obtained by rotating the circle $C_1$ in the $xz$-plane of radius $frac13$ centered at $(1, 0,0)$ about the $z$-axis.




My Attempt. Here, $f:[0,1]to S^1times S^1$. First I try to find out a homeomorphism from $S^1times S^1$ to $D$. Well, Munkres gave an example of such homeomorphism, $h$, say:



Consider $C_2$ be the circle of radius $1$ in the $xy$-plane centered at origin. Then we can map $C_1 times C_2$ into $D$ by defining $h(a,b)$ to be the point into which $a$ is carried when one rotates the circle $C_1$ about the $z$-axis until its center hits the point $b$.



Here, $S^1times S^1$ is homeomorphic with $C_1 times C_2$.



Therefore $h circ f:[0, 1]to D$ is the corresponding path in $D$.
So, now everything depends on $h$. I can visualize $h$ as given in its description above. But I need its analytical description also so that I can compute $h(f(t))$.



Let $a=(a_1,0,a_3)in C_1$ and $b=(b_1, b_2, 0)in C_2$ so that $(a,b) in C_1 times C_2$. I have to find the expression for $h(a,b)=(h_1(a,b), h_2(a,b), h_3(a,b))in D$.



But I cannot proceed further. Any hints to find out $h_1, h_2, h_3$ or any better way to solve this is appreciated. Thank you.










share|cite|improve this question











$endgroup$




The following exercise is given in the book Topology- James Munkres (2nd Edition, ch-9, sec-54). I have some difficulties in solving this one. I try to describe my thoughts here:




Exercise 5. Consider the path
$$f(t) = (cos 2pi t, sin 2pi t) times (cos 4pi t, sin 4pi t)$$
in $S^1times S^1$. Sketch what $f$ looks like when $S^1times S^1$ is identified with the doughnut surface $D$.



Here, doughnut-shaped surface $D$ in $BbbR^3$ is obtained by rotating the circle $C_1$ in the $xz$-plane of radius $frac13$ centered at $(1, 0,0)$ about the $z$-axis.




My Attempt. Here, $f:[0,1]to S^1times S^1$. First I try to find out a homeomorphism from $S^1times S^1$ to $D$. Well, Munkres gave an example of such homeomorphism, $h$, say:



Consider $C_2$ be the circle of radius $1$ in the $xy$-plane centered at origin. Then we can map $C_1 times C_2$ into $D$ by defining $h(a,b)$ to be the point into which $a$ is carried when one rotates the circle $C_1$ about the $z$-axis until its center hits the point $b$.



Here, $S^1times S^1$ is homeomorphic with $C_1 times C_2$.



Therefore $h circ f:[0, 1]to D$ is the corresponding path in $D$.
So, now everything depends on $h$. I can visualize $h$ as given in its description above. But I need its analytical description also so that I can compute $h(f(t))$.



Let $a=(a_1,0,a_3)in C_1$ and $b=(b_1, b_2, 0)in C_2$ so that $(a,b) in C_1 times C_2$. I have to find the expression for $h(a,b)=(h_1(a,b), h_2(a,b), h_3(a,b))in D$.



But I cannot proceed further. Any hints to find out $h_1, h_2, h_3$ or any better way to solve this is appreciated. Thank you.







general-topology geometry algebraic-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 25 at 18:34









Paul Frost

12.7k31035




12.7k31035










asked Mar 25 at 8:49









Indrajit GhoshIndrajit Ghosh

1,0871718




1,0871718











  • $begingroup$
    math.meta.stackexchange.com/questions/29995/…
    $endgroup$
    – user657581
    Mar 25 at 9:02










  • $begingroup$
    Am I missing something here? The exercise you're quoting asks you to draw a sketch, not to write down symbolic expressions for the curve.
    $endgroup$
    – Henning Makholm
    Mar 26 at 0:39











  • $begingroup$
    @HenningMakholm....Yes you are right ....But I thought that the analytical expression will be required for the sketching.
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:40










  • $begingroup$
    @HenningMakholm...How can I sketch the curve with out its analytical description....??
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:49










  • $begingroup$
    Not sure, I suck at drawing enough that my attempts look horrible. But I can't quite see how having a symbolic expression would help making a good drawing either.
    $endgroup$
    – Henning Makholm
    Mar 26 at 1:59
















  • $begingroup$
    math.meta.stackexchange.com/questions/29995/…
    $endgroup$
    – user657581
    Mar 25 at 9:02










  • $begingroup$
    Am I missing something here? The exercise you're quoting asks you to draw a sketch, not to write down symbolic expressions for the curve.
    $endgroup$
    – Henning Makholm
    Mar 26 at 0:39











  • $begingroup$
    @HenningMakholm....Yes you are right ....But I thought that the analytical expression will be required for the sketching.
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:40










  • $begingroup$
    @HenningMakholm...How can I sketch the curve with out its analytical description....??
    $endgroup$
    – Indrajit Ghosh
    Mar 26 at 1:49










  • $begingroup$
    Not sure, I suck at drawing enough that my attempts look horrible. But I can't quite see how having a symbolic expression would help making a good drawing either.
    $endgroup$
    – Henning Makholm
    Mar 26 at 1:59















$begingroup$
math.meta.stackexchange.com/questions/29995/…
$endgroup$
– user657581
Mar 25 at 9:02




$begingroup$
math.meta.stackexchange.com/questions/29995/…
$endgroup$
– user657581
Mar 25 at 9:02












$begingroup$
Am I missing something here? The exercise you're quoting asks you to draw a sketch, not to write down symbolic expressions for the curve.
$endgroup$
– Henning Makholm
Mar 26 at 0:39





$begingroup$
Am I missing something here? The exercise you're quoting asks you to draw a sketch, not to write down symbolic expressions for the curve.
$endgroup$
– Henning Makholm
Mar 26 at 0:39













$begingroup$
@HenningMakholm....Yes you are right ....But I thought that the analytical expression will be required for the sketching.
$endgroup$
– Indrajit Ghosh
Mar 26 at 1:40




$begingroup$
@HenningMakholm....Yes you are right ....But I thought that the analytical expression will be required for the sketching.
$endgroup$
– Indrajit Ghosh
Mar 26 at 1:40












$begingroup$
@HenningMakholm...How can I sketch the curve with out its analytical description....??
$endgroup$
– Indrajit Ghosh
Mar 26 at 1:49




$begingroup$
@HenningMakholm...How can I sketch the curve with out its analytical description....??
$endgroup$
– Indrajit Ghosh
Mar 26 at 1:49












$begingroup$
Not sure, I suck at drawing enough that my attempts look horrible. But I can't quite see how having a symbolic expression would help making a good drawing either.
$endgroup$
– Henning Makholm
Mar 26 at 1:59




$begingroup$
Not sure, I suck at drawing enough that my attempts look horrible. But I can't quite see how having a symbolic expression would help making a good drawing either.
$endgroup$
– Henning Makholm
Mar 26 at 1:59










2 Answers
2






active

oldest

votes


















1












$begingroup$

The circle in plane $xz$ that is rotated to obtain surface $D$ has a parametrization:
$$ C_1 = leftleft(Big(1+frac13costhetaBig),0,frac13sinthetaright): thetain[0,2pi)right$$
As per the description the homeomorphism $h$, you take a point of $C_1$ an rotate it appropriately around the $z$-axis:
beginalign hbig((costheta,sintheta)times(cosphi,sinphi)big) &= hatR_z(phi)left(Big(1+frac13costhetaBig),0,frac13sinthetaright) = \
&= left(Big(1+frac13costhetaBig)cosphi, Big(1+frac13costhetaBig)sinphi, frac13sintheta right)endalign






share|cite|improve this answer









$endgroup$




















    1












    $begingroup$

    Define
    $$h : S^1 times S^1 to mathbbR^3, h((x,y),(u,v)) = (x(1+fracu3),y(1+fracu3),fracv3) .$$



    1) $h$ is injective.



    Let $h((x,y),(u,v)) = h((x',y'),(u',v'))$. Then $v = v'$ and therefore $u^2 = 1 -v^2 = 1 - (v')^2 = (u')^2$. But now
    $$(1+fracu3)^2 = (x^2+y^2)(1+fracu3)^2 = x^2(1+fracu3)^2 + y^2(1+fracu3)^2 = \ (x')^2(1+fracu'3)^2 + (y')^2(1+fracu'3)^2 = ((x')^2 + (y')^2)(1+fracu'3)^2 = (1+fracu'3)^2 .$$
    This implies $u = u'$ and we conclude that also $x=x'$, $y=y'$.



    2) $h(S^1 times S^1) = D$.



    Let $C_(x,y)$ be the circle obtained by rotating $C_1$ around the $z$-axis until its center reaches $(x,y,0) in C_2$. It is contained in the plane spanned by $(0,0,0)$, $(x,y,0)$ and $(0,0,1)$. Obviously
    $$C_(x,y) = a(x,y,0) + b(0,0,1) mid (frac13)^2 = lVert a(x,y,0) + b(0,0,1) - (x,y,0) rVert^2 \= lVert ((a-1)x,(a-1)y,b) rVert^2 = (a-1)^2 + b^2 .$$
    Substituting $fracu3 = a-1$ and $fracv3 = b$, we get
    $$C_(x,y) = (x(1 + fracu3),y(1 + fracu3),fracv3) mid (u,v) in S^1 = h((x,y) times S^1) .$$
    1) and 2) show that $h$ gives the desired homeomorphism $S^1 times S^1 to D$.






    share|cite|improve this answer











    $endgroup$













      Your Answer








      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%2f3161531%2ffinding-the-description-of-a-homeomorphism-from-s1-times-s1-onto-the-surfac%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









      1












      $begingroup$

      The circle in plane $xz$ that is rotated to obtain surface $D$ has a parametrization:
      $$ C_1 = leftleft(Big(1+frac13costhetaBig),0,frac13sinthetaright): thetain[0,2pi)right$$
      As per the description the homeomorphism $h$, you take a point of $C_1$ an rotate it appropriately around the $z$-axis:
      beginalign hbig((costheta,sintheta)times(cosphi,sinphi)big) &= hatR_z(phi)left(Big(1+frac13costhetaBig),0,frac13sinthetaright) = \
      &= left(Big(1+frac13costhetaBig)cosphi, Big(1+frac13costhetaBig)sinphi, frac13sintheta right)endalign






      share|cite|improve this answer









      $endgroup$

















        1












        $begingroup$

        The circle in plane $xz$ that is rotated to obtain surface $D$ has a parametrization:
        $$ C_1 = leftleft(Big(1+frac13costhetaBig),0,frac13sinthetaright): thetain[0,2pi)right$$
        As per the description the homeomorphism $h$, you take a point of $C_1$ an rotate it appropriately around the $z$-axis:
        beginalign hbig((costheta,sintheta)times(cosphi,sinphi)big) &= hatR_z(phi)left(Big(1+frac13costhetaBig),0,frac13sinthetaright) = \
        &= left(Big(1+frac13costhetaBig)cosphi, Big(1+frac13costhetaBig)sinphi, frac13sintheta right)endalign






        share|cite|improve this answer









        $endgroup$















          1












          1








          1





          $begingroup$

          The circle in plane $xz$ that is rotated to obtain surface $D$ has a parametrization:
          $$ C_1 = leftleft(Big(1+frac13costhetaBig),0,frac13sinthetaright): thetain[0,2pi)right$$
          As per the description the homeomorphism $h$, you take a point of $C_1$ an rotate it appropriately around the $z$-axis:
          beginalign hbig((costheta,sintheta)times(cosphi,sinphi)big) &= hatR_z(phi)left(Big(1+frac13costhetaBig),0,frac13sinthetaright) = \
          &= left(Big(1+frac13costhetaBig)cosphi, Big(1+frac13costhetaBig)sinphi, frac13sintheta right)endalign






          share|cite|improve this answer









          $endgroup$



          The circle in plane $xz$ that is rotated to obtain surface $D$ has a parametrization:
          $$ C_1 = leftleft(Big(1+frac13costhetaBig),0,frac13sinthetaright): thetain[0,2pi)right$$
          As per the description the homeomorphism $h$, you take a point of $C_1$ an rotate it appropriately around the $z$-axis:
          beginalign hbig((costheta,sintheta)times(cosphi,sinphi)big) &= hatR_z(phi)left(Big(1+frac13costhetaBig),0,frac13sinthetaright) = \
          &= left(Big(1+frac13costhetaBig)cosphi, Big(1+frac13costhetaBig)sinphi, frac13sintheta right)endalign







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Mar 25 at 18:55









          Adam LatosińskiAdam Latosiński

          6068




          6068





















              1












              $begingroup$

              Define
              $$h : S^1 times S^1 to mathbbR^3, h((x,y),(u,v)) = (x(1+fracu3),y(1+fracu3),fracv3) .$$



              1) $h$ is injective.



              Let $h((x,y),(u,v)) = h((x',y'),(u',v'))$. Then $v = v'$ and therefore $u^2 = 1 -v^2 = 1 - (v')^2 = (u')^2$. But now
              $$(1+fracu3)^2 = (x^2+y^2)(1+fracu3)^2 = x^2(1+fracu3)^2 + y^2(1+fracu3)^2 = \ (x')^2(1+fracu'3)^2 + (y')^2(1+fracu'3)^2 = ((x')^2 + (y')^2)(1+fracu'3)^2 = (1+fracu'3)^2 .$$
              This implies $u = u'$ and we conclude that also $x=x'$, $y=y'$.



              2) $h(S^1 times S^1) = D$.



              Let $C_(x,y)$ be the circle obtained by rotating $C_1$ around the $z$-axis until its center reaches $(x,y,0) in C_2$. It is contained in the plane spanned by $(0,0,0)$, $(x,y,0)$ and $(0,0,1)$. Obviously
              $$C_(x,y) = a(x,y,0) + b(0,0,1) mid (frac13)^2 = lVert a(x,y,0) + b(0,0,1) - (x,y,0) rVert^2 \= lVert ((a-1)x,(a-1)y,b) rVert^2 = (a-1)^2 + b^2 .$$
              Substituting $fracu3 = a-1$ and $fracv3 = b$, we get
              $$C_(x,y) = (x(1 + fracu3),y(1 + fracu3),fracv3) mid (u,v) in S^1 = h((x,y) times S^1) .$$
              1) and 2) show that $h$ gives the desired homeomorphism $S^1 times S^1 to D$.






              share|cite|improve this answer











              $endgroup$

















                1












                $begingroup$

                Define
                $$h : S^1 times S^1 to mathbbR^3, h((x,y),(u,v)) = (x(1+fracu3),y(1+fracu3),fracv3) .$$



                1) $h$ is injective.



                Let $h((x,y),(u,v)) = h((x',y'),(u',v'))$. Then $v = v'$ and therefore $u^2 = 1 -v^2 = 1 - (v')^2 = (u')^2$. But now
                $$(1+fracu3)^2 = (x^2+y^2)(1+fracu3)^2 = x^2(1+fracu3)^2 + y^2(1+fracu3)^2 = \ (x')^2(1+fracu'3)^2 + (y')^2(1+fracu'3)^2 = ((x')^2 + (y')^2)(1+fracu'3)^2 = (1+fracu'3)^2 .$$
                This implies $u = u'$ and we conclude that also $x=x'$, $y=y'$.



                2) $h(S^1 times S^1) = D$.



                Let $C_(x,y)$ be the circle obtained by rotating $C_1$ around the $z$-axis until its center reaches $(x,y,0) in C_2$. It is contained in the plane spanned by $(0,0,0)$, $(x,y,0)$ and $(0,0,1)$. Obviously
                $$C_(x,y) = a(x,y,0) + b(0,0,1) mid (frac13)^2 = lVert a(x,y,0) + b(0,0,1) - (x,y,0) rVert^2 \= lVert ((a-1)x,(a-1)y,b) rVert^2 = (a-1)^2 + b^2 .$$
                Substituting $fracu3 = a-1$ and $fracv3 = b$, we get
                $$C_(x,y) = (x(1 + fracu3),y(1 + fracu3),fracv3) mid (u,v) in S^1 = h((x,y) times S^1) .$$
                1) and 2) show that $h$ gives the desired homeomorphism $S^1 times S^1 to D$.






                share|cite|improve this answer











                $endgroup$















                  1












                  1








                  1





                  $begingroup$

                  Define
                  $$h : S^1 times S^1 to mathbbR^3, h((x,y),(u,v)) = (x(1+fracu3),y(1+fracu3),fracv3) .$$



                  1) $h$ is injective.



                  Let $h((x,y),(u,v)) = h((x',y'),(u',v'))$. Then $v = v'$ and therefore $u^2 = 1 -v^2 = 1 - (v')^2 = (u')^2$. But now
                  $$(1+fracu3)^2 = (x^2+y^2)(1+fracu3)^2 = x^2(1+fracu3)^2 + y^2(1+fracu3)^2 = \ (x')^2(1+fracu'3)^2 + (y')^2(1+fracu'3)^2 = ((x')^2 + (y')^2)(1+fracu'3)^2 = (1+fracu'3)^2 .$$
                  This implies $u = u'$ and we conclude that also $x=x'$, $y=y'$.



                  2) $h(S^1 times S^1) = D$.



                  Let $C_(x,y)$ be the circle obtained by rotating $C_1$ around the $z$-axis until its center reaches $(x,y,0) in C_2$. It is contained in the plane spanned by $(0,0,0)$, $(x,y,0)$ and $(0,0,1)$. Obviously
                  $$C_(x,y) = a(x,y,0) + b(0,0,1) mid (frac13)^2 = lVert a(x,y,0) + b(0,0,1) - (x,y,0) rVert^2 \= lVert ((a-1)x,(a-1)y,b) rVert^2 = (a-1)^2 + b^2 .$$
                  Substituting $fracu3 = a-1$ and $fracv3 = b$, we get
                  $$C_(x,y) = (x(1 + fracu3),y(1 + fracu3),fracv3) mid (u,v) in S^1 = h((x,y) times S^1) .$$
                  1) and 2) show that $h$ gives the desired homeomorphism $S^1 times S^1 to D$.






                  share|cite|improve this answer











                  $endgroup$



                  Define
                  $$h : S^1 times S^1 to mathbbR^3, h((x,y),(u,v)) = (x(1+fracu3),y(1+fracu3),fracv3) .$$



                  1) $h$ is injective.



                  Let $h((x,y),(u,v)) = h((x',y'),(u',v'))$. Then $v = v'$ and therefore $u^2 = 1 -v^2 = 1 - (v')^2 = (u')^2$. But now
                  $$(1+fracu3)^2 = (x^2+y^2)(1+fracu3)^2 = x^2(1+fracu3)^2 + y^2(1+fracu3)^2 = \ (x')^2(1+fracu'3)^2 + (y')^2(1+fracu'3)^2 = ((x')^2 + (y')^2)(1+fracu'3)^2 = (1+fracu'3)^2 .$$
                  This implies $u = u'$ and we conclude that also $x=x'$, $y=y'$.



                  2) $h(S^1 times S^1) = D$.



                  Let $C_(x,y)$ be the circle obtained by rotating $C_1$ around the $z$-axis until its center reaches $(x,y,0) in C_2$. It is contained in the plane spanned by $(0,0,0)$, $(x,y,0)$ and $(0,0,1)$. Obviously
                  $$C_(x,y) = a(x,y,0) + b(0,0,1) mid (frac13)^2 = lVert a(x,y,0) + b(0,0,1) - (x,y,0) rVert^2 \= lVert ((a-1)x,(a-1)y,b) rVert^2 = (a-1)^2 + b^2 .$$
                  Substituting $fracu3 = a-1$ and $fracv3 = b$, we get
                  $$C_(x,y) = (x(1 + fracu3),y(1 + fracu3),fracv3) mid (u,v) in S^1 = h((x,y) times S^1) .$$
                  1) and 2) show that $h$ gives the desired homeomorphism $S^1 times S^1 to D$.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Mar 26 at 0:30

























                  answered Mar 25 at 23:46









                  Paul FrostPaul Frost

                  12.7k31035




                  12.7k31035



























                      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%2f3161531%2ffinding-the-description-of-a-homeomorphism-from-s1-times-s1-onto-the-surfac%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

                      How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer

                      random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

                      Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye