The preoccupations of mathematicians can seem curious and strange to normal people. They sometimes expend great energy proving results that appear glaringly obvious. One such result is called the Jordan curve theorem. We all know that a circle has an inside and an outside, and that this property also holds for a much larger collection of closed curves.
A "simple closed curve" is a closed continuous loop in a plane that does not intersect itself. Such a distorted version of a circle is also called a Jordan curve, after the French mathematician Camille Jordan, who first proved some of its key properties.
The Jordan curve theorem states that every simple closed curve, no matter how complicated or convoluted, divides the plane into two regions, an inside and an outside. The theorem appears so trivial that it does not require a proof. But results such as this can be much more profound than a first glance might suggest and, on occasions, things that appear obvious can turn out to be false.
A bohemian savant
Bernard Bolzano, a Bohemian mathematician, philosopher and priest, was the first person to pose the curve problem in explicit form. He was convinced of the need to introduce rigour into mathematical analysis. He claimed that, for a closed loop in a plane, a line connecting a point enclosed by the loop (inside) to a point distant from it (outside) must intersect the loop. This seems obvious enough, but Bolzano realised that it was a non-trivial problem.
The first proof of the curve theorem appeared in Jordan’s influential book Cours d’analyse, first published in 1882. The theorem is easily stated and easy to prove for curves that are polygons, consisting of straight line segments.
However, for general curves it is quite difficult to prove since “simple” curves can have some bizarre properties, such as being jagged everywhere with no definite direction, or as being fractal in nature like the boundary of a snowflake. This makes it difficult to distinguish which points are inside and which are outside. The proof uses advanced ideas from the branch of mathematics known as topology.
Inspiration for artists
The “travelling salesman problem”, or TSP, seeks the shortest route a salesman can choose to visit a number of cities and return to his starting point. The solution of this optimisation problem is a Jordan curve. Such curves have served as inspiration for artists.
Prof Robert Bosch of Oberlin College in Ohio uses results from optimisation theory to produce artistic images using these simple loops. The illustration shows a sculpture – Embrace – by Bosch, where a simple closed curve separates two regions, represented by metals of different colours. Bosch solved a TSP problem with 726 cities to form the boundary in this sculpture.
Intuition serves as an invaluable means of discovering new mathematics, but it can also lead us astray. There is always a need for rigour in proving seemingly-obvious results.
For Jordan curves, the great German mathematician Felix Klein expressed the problems thus: "Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions."
Peter Lynch is emeritus professor at UCD school of mathematics and statistics – he blogs at thatsmaths.com