6
$\begingroup$

Given a closed curve in 2D space that intersects itself (transversally, and there's no point in which three paths or more meet), is it possible to look at it as a Celtic knot so when you follow it, one time you're above the other path in an intersection point, and one time you're under it?

My gut feeling tells me it is possible, but I could not proof it. Any idea?

For example this closed curve has been drawn so the crossings alternate over-under-over-under:

  • 0
    Is that what you mean?2012-08-15
  • 0
    Yes, thank you for the illustration and sorry for being unclear.2012-08-15
  • 0
    awesome question then.2012-08-15
  • 1
    @AndrewStacey made me a latex package to do this automatically, and at the time I wondered how well it worked mathematically (in latex, the "simple intersection" condition has to be even stricter; they must cross at maybe 45 to 90 degrees, and two crossing have to be kind of far away). However, if you have more than one curve, you can mess things up, and then it was time to hand out the final. :-)2012-08-15

2 Answers 2

7

A (reasonably well-behaved) self-intersecting closed curve divides the plane into a number of components that can be coloured alternately black and white in a checkerboard manner. Declare a segment of the curve to go over or under a crossing depending on whether black is to the left or the right of the segment as it approaches the crossing. This produces a knot that is alternating by construction.

enter image description here

  • 0
    How do you know you don't need a third color?2012-08-15
  • 0
    Ok, I see a proof. Nice image!2012-08-15
  • 1
    @Jack, the colour at a point is determined by the parity of the winding number of the curve around that point. *Edit:* And thanks!2012-08-15
  • 0
    Very nice proof, thank you!2012-08-15
1

Sure. Just add a dimension to your curve. So if your curve can be parameterized by

$$(x(t),y(t)),\ \ 0

Extend it with $z(t)$

$$(x(t),y(t),z(t)),\ \ 0

in such a way that if ever $x(t_1)=x(t_2)$ and $y(t_1)=y(t_2)$, then $z(t_1)\neq z(t_2)$. One simple way to do this is to have your point $t=0$ not be on an intersection. Then just have your $z(t)$ be monotonically increasing for $t$ until you get past the last 2D-intersection point, at which point you can safely go back down to the bottom knowing that you won't cross yourself.

  • 0
    A cool result that uses similar logic to this shows that any knot can be undone in four dimensions. See [here](http://www.math.harvard.edu/archive/21a_spring_06/exhibits/unknotting/index.html)2012-08-15
  • 0
    Thank you for your answer. That requirement is not the only one I have, because I want to alternate between going over and going under uniformly (one time you're up, next time you're down). Sorry if it was misunderstood.2012-08-15