Department of Statistics, University of Leeds
Department of Statistics,
University of Leeds,
Leeds, LS2 9JT
A function, f, from R3 to R is singular at a point p in R3 if its Jacobian, (df/dx,df/dy,df/dz)T vanishes at p. Arnold  has classified the types of singularities which can can occur and models of the zero sets of some of these are presented in this collection. See  for a detailed introduction to singularity theory.
We will just be concerned with the local behaviour of functions defined near the origin and some notation is necessary.
Let p be a point in Rn. Then f : Rn,p -> R denotes a function defined on some neighbourhood of p. Two functions are regarded as equal if they coincide on some (possibly smaller) neighbourhood of p. A equivalence class of such functions is called a germ at p. The notation f : Rn,p -> R, c, mean in addition f(p)=c.
We now define a equivalence relation for functions.
Let Ui, i=1,2 be open subsets of Rn, and let pi be a point of Ui with fi : Ui -> R. We say that f1 (at p1) and f2 (at p2) are right-equivalent if there exists open neighbourhoods of pi, say Vi, a subset of Ui, a diffeomorphism h: V1 -> V2 and a constant c in R such that
This equivalence relation allows smooth changes of coordinates in Rn In particular it is sufficient just to consider functions at the origin as f : Rn,p1 ->R is right-equivalent to a germ f : Rn,0 -> R, the diffeomorphism h : Rn,p1 -> Rn,0 simply being the translation h(p) = p - p1.
We can now state the main classification theorem. Let x be a point in Rn and let x1, ... ,xn denote its coordinates.
Any simple singularity f : Rn,0 -> R,0 is right equivalent to one of the following types, where ei = +/- 1 in each case.
It should be noted that permuting the coordinates in Rn will give a right-equivalent function, so not all the possible combinations of signs yield distinct singularities. There are further singularities which are not simple. These occur less frequently and have not been included in this collection.
The models in this collection show the zero sets, f-1(0), for some of these singularities where n=3. Let x, y, z denote the coordinates in R3. Models are provided for the Ak series, (k=1,2,3,4) the Dk series, (k=4,5,6) and E6, E7 and E8. For most cases two zero sets of two non equvalent forms of the singularity, denoted A1pm and A1mm etc., have been provided. The zero sets of some of these singularities (xk+1+ y2+z2, k=1,3) just consists of an isolated point and their models have not been shown. Some of the other zeros sets have not been shown, but these are simple reflections of the models shown. Additionally the zero sets of two non singular functions, A0pm (x+y2-z2) and A0mm (x-y2-z2) have also been included. These two functions are right-equivalent to each other and also to any other non singular function.
The models shown are:
These models have been calculate by a Java applet  constructed using the JavaView system  which connects to a server which calculates the zero set of a given function. The server is adapted from the program in the LSMP package [3,4]. The algorithm has been constructed to try to get accurate representations of the singular points in the surfaces. For the purpose of this collection the models have been cleaned up by hand to give topologically accurate representations of the singular points.
Used Software: Liverpool Surface Modeling Package 2.9 and JavaView
These files have been hand edited to ensure that the boundaries are correct and that they are topologically correct around the singular point.