Jordan Curve Theorem, Proof 

JCT - Prologue

Scott E. Brodie, MD, PhD
Icahn School of Medicine at Mount Sinai
New York

  • A circle has an inside and an outside...

  • The Jordan Curve Theorem (JCT) says that a simple closed curve (the continuous, 1-1 image of a circle) likewise separates the plane into an inside and an outside.

  • The proof has been elusive...

    closed simple curves have inside and outside

      Why is this so difficult?

      • JCT is not "local",

      • It is impossible to tell which component is inside and which component is outside using only local information:

        not local character of JCT

      • JCT holds only on certain 2-dimensional surfaces. For example, JCT fails on a torus or a Moebius strip:

        JCT does not work on torus or Moebius strip

      • We have little familiarity with "separation", and few tools which address it.

      • Much of our knowledge of well-behaved curves does not apply...

        • A Jordan curve need not be differentiable anywhere.

        • A Jordan curve need not be rectifiable.

      Statement of the Jordan Curve Theorem (JCT):

      In the plane, the complement of a Jordan curve consists of exactly two components, one bounded (the interior) and one unbounded (the exterior). Both the interior and exterior have the Jordan curve as their boundary.

      In the course of proving JCT, we will also prove the Jordan Arc Theorem:

      A Jordan arc does not separate the plane.

      Definitions for JCT

      • A Jordan curve is a homeomorphic image (image of a 1-1, continuous function with a continuous inverse) of a circle.

      • A Jordan arc is a homeomorphic image of a closed, bounded interval, such as $[0,1].$

        Jordan curve

      • A (Jordan) polygon is a Jordan curve composed entirely of a finite number of straight line segments, which intersect only at their endpoints. A polygonal arc is a Jordan arc composed entirely of a finite number of straight line segments. We will adopt the convention that adjacent segments do not together form a larger segment. (In such a case, remove the intervening vertex, to obtain a larger segment.)

        polygonal curve

      • A set is disconnected if it can be partitioned into two non-empty subsets, both of which are open (in relative topology.) Equivalently, if it can be partitioned into two subsets, both of which are closed.

        disconnected set

      • A set is connected if it is not disconnected. Equivalently, if its only subsets which are both open and closed (in relative topology) are the entire set and the empty set.

      • A set is path-connected if, for any two points in the set, there is a Jordan arc in the set whose endpoints are the two given points. A connected set need not be path-connected, but a set which is path-connected is always connected.

        path-connected set

      • In the plane, an open, connected set is always path connected. Indeed, any two points of an open, connected set in the plane can be connected by a Jordan polygonal arc which lies entirely within the set.

      • A component of a set is a maximal connected subset.

      • The boundary of a set is its closure minus its interior; equivalently, it is the intersection of the set's closure with the closure of its complement.

        irregular polygon

        • Note the symmetry between the original set and its complement in this definition. It follows that the boundary of a set and the boundary of its complement coincide.

        • A subset separates a superset if the complement of the subset in the superset is disconnected. If x and y are points in the complement of a subset, then the subset separates the points x and y if they are elements of different components of the complement.

          a separating subset

        • If a set separates $x$ and $y,$ then any superset which omits $x$ and $y$ also separates $x$ and $y,$ as the components containing $x$ and $y$ must remain disjoint:

          a subset separating points

        • If a set omits $x$ and $y,$ and does not separate $x$ and $y,$ then no subset separates $x$ and $y,$ as enlarging the complementary component containing $x$ and $y$ cannot separate them.

          Complementary component

      Jordan Curve Theorem, Proof 

      |Contact| |Front page| |Contents| |Geometry|

      Copyright © 1996-2018 Alexander Bogomolny