1

Consider the standard $xy$-plane. If I draw a curve in the plane that passes the vertical line test, can you find a function $f:\mathbb{R}\to\mathbb{R}$ whose graph is this shape?

How about in $\mathbb{R}^3$. Given a nice looking surface, can you find a function $f:\mathbb{R}^2\to\mathbb{R}$ whose graph is this surface?

Could you perhaps put the ordered pairs of the image into a computer? Maybe it would find a pattern and spit out a function?

I apologize if this question is vague, are there perhaps restrictions we can put on the word 'nice' so that this can be done?

user162520
  • 1,579
  • 2
    Mathematicians define functions from $\mathbb R$ to $\mathbb R$ as subsets of $\mathbb R^2$ which pass the "vertical line test," so practically by definition, this is true. (The "niceness" is just continuity.) However, entering into a computer isn't practical, because the computer can only use finitely many points. Starting with only finitely many points, you can use various "interpolation" methods to fill out the points in between, but there is no unique solution. – Thomas Andrews Nov 05 '14 at 23:54
  • See http://math.stackexchange.com/questions/54506/is-this-batman-equation-for-real for fun and enlightenment. – lhf Nov 06 '14 at 00:26

1 Answers1

4

In a sense, this is very easy to do: my function is simply $f(x)=y$, where for each $x$ I find the intersection of the vertical line at $x$ with my curve, which by the vertical line test is uniquely defined. In the modern perspective on functions, this is fine: a function $f:\mathbb{R}\to\mathbb{R}$ is just any list of pairs $(x,f(x))$.

But it seems likely this isn't the kind of thing you were thinking: perhaps for you a function means something with a nice formula? This was more or less the perspective of mathematicians through the end of the 18th century, so you're in good company. In general here the answer is, no, not every curve has a formula in terms of (say) compositions, sums and products of polynomials, exponentials, logarithms, and trigonometric functions.

When it comes to computing a formula with a computer, though, we can get very close. The relevant result is that

For any continuous function $f:[a,b]\to\mathbb{R}$ on a bounded interval, there's a polynomial $p$ on $[a,b]$ such that $|p-f|$ is as small as you wish.

Why continuous? Well, if it's a curve you can actually draw, it will be continuous at least in pieces, so this is no real restriction. And neither is the limitation to the bounded interval: I don't know about you, but I don't have infinitely much time for drawing curves in the whole plane.

Given those restrictions, it's actually rather simple to get a formula approximating your function very closely: you compute finitely many points on the curve, say, even by measuring the paper, and find a polynomial going through those points-for instance, by the technique of Lagrange interpolation.

The discussion in more dimensions is essentially identical.

Kevin Carlson
  • 52,457
  • 4
  • 59
  • 113