Title: A generalization of the isoperimetric inequality
Abstract: For a simple closed plane curve of length L bounding an area A the classical isoperimetric inequality asserts that U -AπΛ > 0 , with equality holding only for a circle.We show here that this inequality remains true for non-simple closed curves where in place of A we take the sum of the areas into which the curve divides the plane, each weighted with the square of the winding number, i.e., -«•/ w 2 dA > 0 where, for p e E\ w(p) is the winding number of p with respect to the curve.Equality holds if and only if the curve is a circle, or a circle traversed several times or several coincident circles each traversed in the same direction any number of times.Note that this implies that U -4π C\w\*dA > 0 for any 0 < p < 2 and that 2 is here the best possible power.This may all be generalized to arbitrary dimension and codimension.For the case of closed space curves let G denote the space of lines in E 3 (parallel lines are not identified) and let dG denote its invariant measure [1], [7].Then U -4 λ 2 dG > 0 , G where Λ(Z) denotes the linking number of Z e G with the curve.Equality holds