Algebraic curve approximation - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T07:15:54Z http://mathoverflow.net/feeds/question/104609 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/104609/algebraic-curve-approximation Algebraic curve approximation David 2012-08-13T12:01:44Z 2012-08-14T01:03:18Z <p>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)?</p> http://mathoverflow.net/questions/104609/algebraic-curve-approximation/104614#104614 Answer by Steven Landsburg for Algebraic curve approximation Steven Landsburg 2012-08-13T13:07:31Z 2012-08-13T13:12:35Z <p>It's hard to tell what this question means exactly. </p> <p>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$). </p> <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.</p> <p>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. </p> http://mathoverflow.net/questions/104609/algebraic-curve-approximation/104615#104615 Answer by Liviu Nicolaescu for Algebraic curve approximation Liviu Nicolaescu 2012-08-13T13:09:31Z 2012-08-13T13:09:31Z <p>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]$.</p> http://mathoverflow.net/questions/104609/algebraic-curve-approximation/104659#104659 Answer by Robert Israel for Algebraic curve approximation Robert Israel 2012-08-14T01:03:18Z 2012-08-14T01:03:18Z <p>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 <code>$\{(x_j, y_j)\}_{j=1}^n \subseteq K$</code> 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)$. </p>