Can you write a non-piecewise equation that describes an arbitrary shape?

This Batman equation thing got me thinking: for an arbitrary curve drawn on the Cartesian plane, can you write a corresponding equation which is not piecewise? What about closed shapes, a la the Batman symbol?

I assume that there are limitations, such as that the curve would have to be differentiable and/or continuous everywhere, but is this possible for any random squiggle? Or is it not?


As has been alluded to in the comments, your question depends on the definition of "equation" and "piecewise function". I'm sure you have some idea ("I'll know it when I see it") what sorts of things you'd like to allow and forbid, and we could try to make this precise in some algebraic way by building functions up out of some collection of "elementary" functions you'd like to start with.

However, the functions you end up allowing will likely end up conflicting with the piecewise functions you want to forbid. For example, if you allow squares and square roots, you end up letting the absolute value function in the back door:

$$\sqrt{x^2}=|x|=\begin{cases}x&\text{if }\ x\geq 0\\-x & \text{if }\ x<0\end{cases}$$

Once you have one piecewise function, you can set about making more. Assuming you allow division, you also have

$$\frac{\sqrt{x^2}}{x}=\frac{|x|}{x}=\begin{cases}1&\text{if }\ x>0\\-1&\text{if }\ x<0\end{cases}$$

and hence

$$\frac{\sqrt{x^2}+x}{2x}=\frac{|x|+x}{2x}=\begin{cases}1&\text{if }\ x>0\\0&\text{if }\ x<0\end{cases}.$$

Fiddling around with transformations of the above function, you can essentially make indicator functions of intervals, and from there you can get nearly any piecewise function at all.

All this is to show that it will be very difficult, if not impossible, to formally describe the class of curves which are expressible by equations which you might consider "nice". However, if it's just the shape you're looking for, pretty much anything you could scribble down can be approximated by nice equations, as @Jim Conant points out in the comments.