If
is a simple closed curve in
, then the Jordan curve theorem, also called the Jordan-Brouwer
theorem (Spanier 1966) states that
has two components (an "inside" and "outside"),
with
the boundary of each.
The Jordan curve theorem is a standard result in algebraic topology with a rich history. A complete proof can be found in Hatcher (2002, p. 169), or in classic texts such as Spanier (1966). Recently, a proof checker was used by a Japanese-Polish team to create a "computer-checked" proof of the theorem (Grabowski 2005).