MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am wondering wether it exists a theorem that any continuous path on the plane one can approximate with algebraic curve $P(x,y)=0$ ($P$- is a polynom)?

share|cite|improve this question
up vote 3 down vote accepted

Given any compact set $K$ in the plane (in particular the image of a compact interval under a continuous function) and $\epsilon > 0$, there is a finite set $\{(x_j, y_j)\}_{j=1}^n \subseteq K$ such that $K$ is contained in the union of the disks of radius $\epsilon$ centred at $(x_j, y_j)$. Then $K$ is within distance $\epsilon$ in the Hausdorff metric of the real algebraic curve $P(x,y) = 0$, where $P(x,y) = \prod_{j=1}^n ((x-x_j)^2 + (y-y_j)^2 - \epsilon^2)$.

share|cite|improve this answer
thank you very much for your answer. This solution is very nice! But what is bed that solution contains a lot of bifurcation points. I am wonderig if the initial path is more or less - "normal" can we aproximate it with "normal" algebraic curve? Let say that "normal" is something that our intuition suggests. I don't know, let say "normal" curve is a curve that is diffeomorphic to interval. Or may be it should be some another definition that kills these biffurcation points. – David Aug 14 '12 at 21:05
If by bifurcations you mean critical points (intersections of the circles), those are easy to get rid of by modifying the definition. With a bit more work, if $K$ is diffeomorphic to an interval we should be able to get a curve diffeomorphic to a circle. – Robert Israel Aug 15 '12 at 17:50

There might be problems with the Peano curve which is a continuous map $[0,1]\to\mathbb{R}^2$ whose image is the square $[0,1]\times [0,1]$.

share|cite|improve this answer
That square can be approximated (in the sense of the Hausdorff metric) by the curve $$P(x,y) = \prod_{j=0}^N \prod_{k=0}^N \left((x-j/N)^2 + (y-k/N)^2 - 1/N^2\right) = 0$$ – Robert Israel Aug 13 '12 at 16:00

It's hard to tell what this question means exactly.

If a "continuous path" is a continuous image of the unit interval, then any continuous path can be uniformly approximated by polynomial paths; this is the Weierstrass approximation theorem. Any of those polynomial paths can be extended to a polynomial image of the entire real line, which (because you are in the plane) is a set-theoretic complete intersection (i.e. the locus of $P(x,y)=0$ for some $P$).

But --- the continuous path consisting of a line segment in the plane is of course not the vanishing set of any polynomial, nor does there seem to be any reasonable sense in which it could be approximated by such.

On the other hand, if a "continuous path" is a continuous image of the real line, then it can be uniformly approximated on compact sets by polynomial paths, each of which is the locus of vanishing of some $P$. Whether this satisfies your needs depends on what you mean by approximating the path.

share|cite|improve this answer
Sorry but I didn't understand. Using Weierstrass theorem you can approximate your continuous path with polinoms $x(t)$ and $y(t)$. How from this polynoms one can сonstruct an algebraic curve $P(x,y)$=0? – David Aug 13 '12 at 13:13
If $X(t)$ and $Y(t)$ are polynomials, then the resultant of $x-X(t)$ and $y - Y(t)$ is a polynomial in $x$ and $y$ that is $0$ iff there is $t$ (not necessarily real) such that $x = X(t)$ and $y = Y(t)$. – Robert Israel Aug 13 '12 at 15:48
A line segment in the plane can be reasonably approximated by ellipses. – Robert Israel Aug 13 '12 at 15:53
Robert Israel: Good point regarding the ellipses. – Steven Landsburg Aug 13 '12 at 17:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.