Denjoy–Riesz theorem

In topology, the Denjoy–Riesz theorem states that every compact set of totally disconnected points in the Euclidean plane can be covered by a continuous image of the unit interval, without self-intersections (a Jordan arc).

A totally disconnected Julia set. By the Denjoy–Riesz theorem, there exists an arc passing through all the points in this set.

Definitions and statement

edit

A topological space is zero-dimensional according to the Lebesgue covering dimension if every finite open cover has a refinement that is also an open cover by disjoint sets. A topological space is totally disconnected if it has no nontrivial connected subsets; for points in the plane, being totally disconnected is equivalent to being zero-dimensional. The Denjoy–Riesz theorem states that every compact totally disconnected subset of the plane is a subset of a Jordan arc.[1]

History

edit

Kuratowski (1968) credits the result to publications by Frigyes Riesz in 1906, and Arnaud Denjoy in 1910, both in Comptes rendus de l'Académie des sciences.[2] As Moore & Kline (1919) describe,[3] Riesz actually gave an incorrect argument that every totally disconnected set in the plane is a subset of a Jordan arc. This generalized a previous result of L. Zoretti, which used a more general class of sets than Jordan arcs, but Zoretti found a flaw in Riesz's proof: it incorrectly presumed that one-dimensional projections of totally disconnected sets remained totally disconnected. Then, Denjoy (citing neither Zoretti nor Riesz) claimed a proof of Riesz's theorem, with little detail. Moore and Kline state and prove a generalization that completely characterizes the subsets of the plane that can be subsets of Jordan arcs, and that includes the Denjoy–Riesz theorem as a special case.[3]

edit

By applying this theorem to a two-dimensional version of the Smith–Volterra–Cantor set, it is possible to find an Osgood curve, a Jordan arc or closed Jordan curve whose Lebesgue measure is positive.[4]

A related result is the analyst's traveling salesman theorem, describing the point sets that form subsets of curves of finite arc length. Not every compact totally disconnected set has this property, because some compact totally disconnected sets require any arc that covers them to have infinite length.

References

edit
  1. ^ Krupka, Demeter (2015), Introduction to global variational geometry, Atlantis Studies in Variational Geometry, vol. 1, Atlantis Press, Paris, p. 158, doi:10.2991/978-94-6239-073-7, ISBN 978-94-6239-072-0, MR 3290001.
  2. ^ Kuratowski, K. (1968), Topology. Vol. II, New edition, revised and augmented. Translated from the French by A. Kirkor, Państwowe Wydawnictwo Naukowe Polish Scientific Publishers, Warsaw, p. 539, ISBN 9781483271798, MR 0259835.
  3. ^ a b Moore, R. L.; Kline, J. R. (1919), "On the most general plane closed point-set through which it is possible to pass a simple continuous arc", Annals of Mathematics, Second Series, 20 (3): 218–223, doi:10.2307/1967872, JSTOR 1967872, MR 1502556.
  4. ^ Balcerzak, M.; Kharazishvili, A. (1999), "On uncountable unions and intersections of measurable sets", Georgian Mathematical Journal, 6 (3): 201–212, doi:10.1023/A:1022102312024, MR 1679442, S2CID 1486611. For an earlier construction of a positive-area Jordan curve, not using this theorem, see Osgood, William F. (1903), "A Jordan curve of positive area", Transactions of the American Mathematical Society, 4 (1): 107–112, doi:10.2307/1986455, JSTOR 1986455.