Kuratowski's closure-complement problem

In point-set topology, Kuratowski's closure-complement problem asks for the largest number of distinct sets obtainable by repeatedly applying the set operations of closure and complement to a given starting subset of a topological space. The answer is 14. This result was first published by Kazimierz Kuratowski in 1922. The problem gained wide exposure three decades later as an exercise in John L. Kelley's classic textbook General Topology.

Proof

Letting S denote an arbitrary subset of a topological space, write kS for the closure of S, iS for the interior of S, and cS for the complement of S. The following three identities imply that no more than 14 distinct sets are obtainable:

(1) kkS = kS

(2) ccS = S

(3) kckckckS = kckS.

The first two are trivial. The third follows from the identities kikiS = kiS and iS = ckcS.

A subset realizing the maximum of 14 is called a 14-set. The space of real numbers under the usual topology contains 14-sets. Here is one example:

$(0,1)\cup (1,2)\cup \{3\}\cup {\bigl (}[4,5]\cap \mathbb {Q} {\bigr )},$

where $(1,2)$ denotes an open interval and $[4,5]$ denotes a closed interval.

Further results

Despite its origin within the context of a topological space, Kuratowski's closure-complement problem is actually more algebraic than topological. A surprising abundance of closely related problems and results have appeared since 1960, many of which have little or nothing to do with point-set topology.

External links

• The Kuratowski Closure-Complement Theorem by B. J. Gardner and Marcel Jackson

• The Kuratowski Closure-Complement Problem by Mark Bowron