In topology, a branch of mathematics, the Knaster–Kuratowski fan (named after Polish mathematicians Bronisław Knaster and Kazimierz Kuratowski) is a specific connected topological space with the property that the removal of a single point makes it totally disconnected. It is also known as Cantor's leaky tent (after Georg Cantor). The same space with the apex point removed is called the punctured Knaster-Kuratowski fan or Cantor's teepee.
Construction To construct the fan start with the Cantor set which we will call C {\displaystyle C} along the x axis and a point at ( 1 2 , 1 2 ) {\displaystyle \left({\tfrac {1}{2}},{\tfrac {1}{2}}\right)} which we will call p {\displaystyle p} . Join every point in C {\displaystyle C} to p {\displaystyle p} with a straight line. We now have a set that is connected and becomes disconnected if we remove p {\displaystyle p} . To make the set totally disconnected when we remove p {\displaystyle p} we need to remove more points. If we look at how the Cantor set C {\displaystyle C} was constructed we see that some points in C {\displaystyle C} like 1 3 {\displaystyle {\tfrac {1}{3}}} or 1 were the endpoints of intervals we removed when constructing it and others like 1 4 {\displaystyle {\tfrac {1}{4}}} are not. We use this to decide which of the points we remove from every line. If the point at the bottom of a line (which will be part of C {\displaystyle C} ) is one of the points that was an end point of an interval we remove all coordinates with irrational y coordinates. Otherwise we remove all points on the line with rational y coordinates. This set is the Knaster–Kuratowski fan.
Properties The fan is connected but becomes totally disconnected if we remove p {\displaystyle p} . The proof of connectedness (that you cannot divide the fan into 2 open disjoint sets) is not trivial but can be thought of as starting with p {\displaystyle p} in one of the sets and then having to add a little region around p {\displaystyle p} to make the set open. You then need to add a little region around each of the points you added making the set slightly bigger. This continues until the whole fan is in the set To show that the fan is totally disconnected when you remove p {\displaystyle p} you can start by noticing that each of the lines is now disconnected and then carry on splitting each of the lines down until you are left with individual points.
See also Antoine's necklace Cone (topology)
References
Knaster, B.; Kuratowski, C. (1921), "Sur les ensembles connexes" (PDF), Fundamenta Mathematicae, 2 (1): 206–255, doi:10.4064/fm-2-1-206-255 Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446