Misplaced Pages

Kuratowski's closure-complement problem

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

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. It gained additional exposure in Kuratowski's fundamental monograph Topologie (first published in French in 1933; the first English translation appeared in 1966) before achieving fame as a textbook exercise in John L. Kelley's 1955 classic, General Topology.

Proof

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

  1. k k S = k S {\displaystyle kkS=kS} . (The closure operation is idempotent.)
  2. c c S = S {\displaystyle ccS=S} . (The complement operation is an involution.)
  3. k c k c k c k c S = k c k c S {\displaystyle kckckckcS=kckcS} . (Or equivalently k c k c k c k S = k c k c k c k c c S = k c k S {\displaystyle kckckckS=kckckckccS=kckS} , using identity (2)).

The first two are trivial. The third follows from the identity k i k i S = k i S {\displaystyle kikiS=kiS} where i S {\displaystyle iS} is the interior of S {\displaystyle S} which is equal to the complement of the closure of the complement of S {\displaystyle S} , i S = c k c S {\displaystyle iS=ckcS} . (The operation k i = k c k c {\displaystyle ki=kckc} is idempotent.)

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 ) ∪ ( 1 , 2 ) ∪ { 3 } ∪ ( [ 4 , 5 ] ∩ Q ) , {\displaystyle (0,1)\cup (1,2)\cup \{3\}\cup {\bigl (}\cap \mathbb {Q} {\bigr )},}

where ( 1 , 2 ) {\displaystyle (1,2)} denotes an open interval and [ 4 , 5 ] {\displaystyle } denotes a closed interval. Let X {\displaystyle X} denote this set. Then the following 14 sets are accessible:

  1. X {\displaystyle X} , the set shown above.
  2. c X = ( − ∞ , 0 ] ∪ { 1 } ∪ [ 2 , 3 ) ∪ ( 3 , 4 ) ∪ ( ( 4 , 5 ) ∖ Q ) ∪ ( 5 , ∞ ) {\displaystyle cX=(-\infty ,0]\cup \{1\}\cup [2,3)\cup (3,4)\cup {\bigl (}(4,5)\setminus \mathbb {Q} {\bigr )}\cup (5,\infty )}
  3. k c X = ( − ∞ , 0 ] ∪ { 1 } ∪ [ 2 , ∞ ) {\displaystyle kcX=(-\infty ,0]\cup \{1\}\cup [2,\infty )}
  4. c k c X = ( 0 , 1 ) ∪ ( 1 , 2 ) {\displaystyle ckcX=(0,1)\cup (1,2)}
  5. k c k c X = [ 0 , 2 ] {\displaystyle kckcX=}
  6. c k c k c X = ( − ∞ , 0 ) ∪ ( 2 , ∞ ) {\displaystyle ckckcX=(-\infty ,0)\cup (2,\infty )}
  7. k c k c k c X = ( − ∞ , 0 ] ∪ [ 2 , ∞ ) {\displaystyle kckckcX=(-\infty ,0]\cup [2,\infty )}
  8. c k c k c k c X = ( 0 , 2 ) {\displaystyle ckckckcX=(0,2)}
  9. k X = [ 0 , 2 ] ∪ { 3 } ∪ [ 4 , 5 ] {\displaystyle kX=\cup \{3\}\cup }
  10. c k X = ( − ∞ , 0 ) ∪ ( 2 , 3 ) ∪ ( 3 , 4 ) ∪ ( 5 , ∞ ) {\displaystyle ckX=(-\infty ,0)\cup (2,3)\cup (3,4)\cup (5,\infty )}
  11. k c k X = ( − ∞ , 0 ] ∪ [ 2 , 4 ] ∪ [ 5 , ∞ ) {\displaystyle kckX=(-\infty ,0]\cup \cup [5,\infty )}
  12. c k c k X = ( 0 , 2 ) ∪ ( 4 , 5 ) {\displaystyle ckckX=(0,2)\cup (4,5)}
  13. k c k c k X = [ 0 , 2 ] ∪ [ 4 , 5 ] {\displaystyle kckckX=\cup }
  14. c k c k c k X = ( − ∞ , 0 ) ∪ ( 2 , 4 ) ∪ ( 5 , ∞ ) {\displaystyle ckckckX=(-\infty ,0)\cup (2,4)\cup (5,\infty )}

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.

The closure-complement operations yield a monoid that can be used to classify topological spaces.

References

  1. Kuratowski, Kazimierz (1922). "Sur l'operation A de l'Analysis Situs" (PDF). Fundamenta Mathematicae. 3. Warsaw: Polish Academy of Sciences: 182–199. doi:10.4064/fm-3-1-182-199. ISSN 0016-2736.
  2. Kelley, John (1955). General Topology. Van Nostrand. p. 57. ISBN 0-387-90125-6.
  3. Hammer, P. C. (1960). "Kuratowski's Closure Theorem". Nieuw Archief voor Wiskunde. 8. Royal Dutch Mathematical Society: 74–80. ISSN 0028-9825.
  4. Schwiebert, Ryan (2017). "The radical-annihilator monoid of a ring". Communications in Algebra. 45 (4): 1601–1617. arXiv:1803.00516. doi:10.1080/00927872.2016.1222401. S2CID 73715295.

External links


Stub icon

This topology-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: