Author |
Topic: Curve Homotopic to a Point Contour (Read 2700 times) |
|
JP05
Guest
|
Show there exists at least one closed curve C in the complex plane that is homotopic to the point contour z = 0.
|
| « Last Edit: Apr 9th, 2006, 1:29pm by JP05 » |
 IP Logged |
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender: 
Posts: 4863
|
 |
Re: Curve Homotopic to a Point Contour
« Reply #1 on: Apr 9th, 2006, 6:41pm » |
 Quote  Modify
|
z=sin(t)
|
|
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
JP05
Guest
|
|
Re: Curve Homotopic to a Point Contour
« Reply #2 on: Apr 10th, 2006, 11:58am » |
Quote Modify
 Remove
|
Care to elaborate?
|
|
IP Logged |
|
|
|
Obob
Senior Riddler
Gender:
Posts: 489
|
|
Re: Curve Homotopic to a Point Contour
« Reply #3 on: Apr 10th, 2006, 1:52pm » |
Quote Modify
|
C is simply connected. Therefore every closed curve is homotopic to the point contour z=0.
|
|
IP Logged |
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: Curve Homotopic to a Point Contour
« Reply #4 on: Apr 10th, 2006, 3:42pm » |
Quote Modify
|
I assumed he meant the curve itself has to be homotopic to a point, not that there is a homotopy of the ambient space that carries it to a point.
As for elaborating: z(r,t)=sin(rt).
|
| « Last Edit: Apr 10th, 2006, 4:20pm by Icarus » |
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
Michael Dagg
Senior Riddler
Gender:
Posts: 500
|
|
Re: Curve Homotopic to a Point Contour
« Reply #5 on: Apr 10th, 2006, 4:24pm » |
Quote Modify
|
The first example Icarus gave works: the homotopy between z = sin(t) and z = 0 is X(s,t) = (1 - s)w(t), where w(t) = sin(t), s, t in [0,1].
|
| « Last Edit: Apr 30th, 2006, 11:12pm by Michael Dagg » |
IP Logged |
Regards,
Michael Dagg
|
|
|
JP05
Guest
|
|
Re: Curve Homotopic to a Point Contour
« Reply #6 on: Apr 10th, 2006, 6:09pm » |
Quote Modify
Remove
|
Yeah, I was just asking how so to get more.
That result with (1-s)sin(t) wrote over [0,1] is in Whitehead's book but it talks about reverse path elimination.
But, sin(rt) works too.
|
| « Last Edit: Apr 10th, 2006, 6:33pm by JP05 » |
IP Logged |
|
|
|
Icarus
wu::riddles Moderator
Uberpuzzler
Boldly going where even angels fear to tread.
Gender:
Posts: 4863
|
|
Re: Curve Homotopic to a Point Contour
« Reply #7 on: Apr 11th, 2006, 4:29pm » |
Quote Modify
|
Contours are homotopic to a point if they do not encircle any points in their complement. I.e., the complement has a single component. Effectively, this means they "start" at some point z0, traverse a path to some other point z1, where they reverse direction and retrace the same path back to z0 to complete the loop (I am of course over-simplifying - they can turn around many times). Any path that does this is homotopic to z0, for instance, by "pulling z1 in" - that is, by turning around earlier than z1.
z = sin(t) was simply the easiest example I could come up with. Its image consists of the unit interval [-1, 1], and can be considered a contour by limiting it to [0, 2 ].
My z = sin(rt) answer was supposed to be a homotopy of contours, but alas, it falls short, as Michael was too kind to say. However, his trick of X(s,t) = (1 - s)w(t) will work for any radial contour.
|
| « Last Edit: Apr 11th, 2006, 5:33pm by Icarus » |
IP Logged |
"Pi goes on and on and on ...
And e is just as cursed.
I wonder: Which is larger
When their digits are reversed? " - Anonymous
|
|
|
|
RIDDLES SITE
WRITE MATH!
Home 
Help 
Search 
Members 
Login 
Register
Reply
Notify of replies
Send Topic
Print