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

                      Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

                      Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee

                      Method to test if a number is a perfect power? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Detecting perfect squares faster than by extracting square rooteffective way to get the integer sequence A181392 from oeisA rarely mentioned fact about perfect powersHow many numbers such $n$ are there that $n<100,lfloorsqrtn rfloor mid n$Check perfect squareness by modulo division against multiple basesFor what pair of integers $(a,b)$ is $3^a + 7^b$ a perfect square.Do there exist any positive integers $n$ such that $lfloore^nrfloor$ is a perfect power? What is the probability that one exists?finding perfect power factors of an integerProve that the sequence contains a perfect square for any natural number $m $ in the domain of $f$ .Counting Perfect Powers