CHAPTER I
ANALYSIS SITUS
§ 3. Problems of Analysis situs to be discussed.—§ 4. Definitions.—§ 5. Properties of continua.—§ 6. Theorems concerning the order of a point.—§ 7. Main theorem; a regular closed curve has an interior and an exterior.—§ 8. Miscellaneous theorems; definitions of counterclockwise and orientation.
3. The object of the present chapter is to give formal analytical proofs of various theorems of which simple cases seem more or less obvious from geometrical considerations. It is convenient to summarise, for purposes of reference, the general course of the theorems which will be proved:
A simple curve is determined by the equations x = x(t), y = y(t) (where t varies from t0 to T), the functions x(t), y(t) being continuous; and the curve has no double points save (possibly) its end points; if these coincide, the curve is said to be closed. The order of a point Q with respect to a closed curve is defined to be n, where 2πn is the amount by which the angle between QP and Ox increases as P describes the curve once. It is then shewn that points in the plane, not on the curve, can be divided into two sets; points of the first set have order ±1 with respect to the curve, points of the second set have order zero; the first set is called the interior of the curve, and the second the exterior. It is shewn that every simple curve joining an interior point to an exterior point must meet the given curve, but that simple curves can be drawn, joining any two interior points (or exterior points), which have no point in common with the given curve. It is, of course, not obvious that a closed curve (defined as a curve with coincident end points) divides the plane into two regions possessing these properties.
It is then possible to distinguish the direction in which P describes the curve (viz. counterclockwise or clockwise); the criterion which determines the direction is the sign of the order of an interior point.
The investigation just summarised is that due to Ames1; the analysis which will be given follows his memoir closely. Other proofs that a closed curve possesses an interior and an exterior have been given by Jordan2, Schoenflies3, Bliss4, and de la Vallée Poussin5. It has been pointed out that Jordan’s proof is incomplete, as it assumes that the theorem is true for closed polygons; the other proofs m...