In mathematics, specifically in the field of topology, a topological space is said to be a door space if every subset is open or closed (or both).[1] The term comes from the introductory topology mnemonic that "a subset is not like a door: it can be open, closed, both, or neither".

Properties and examples

edit

Every door space is T0 (because if   and   are two topologically indistinguishable points, the singleton   is neither open nor closed).

Every subspace of a door space is a door space.[2] So is every quotient of a door space.[3]

Every topology finer than a door topology on a set   is also a door topology.

Every discrete space is a door space. These are the spaces without accumulation point, that is, whose every point is an isolated point.

Every space   with exactly one accumulation point (and all the other point isolated) is a door space (since subsets consisting only of isolated points are open, and subsets containing the accumulation point are closed). Some examples are: (1) the one-point compactification of a discrete space (also called Fort space), where the point at infinity is the accumulation point; (2) a space with the excluded point topology, where the "excluded point" is the accumulation point.

Every Hausdorff door space is either discrete or has exactly one accumulation point. (To see this, if   is a space with distinct accumulations points   and   having respective disjoint neighbourhoods   and   the set   is neither closed nor open in  )[4]

An example of door space with more than one accumulation point is given by the particular point topology on a set   with at least three points. The open sets are the subsets containing a particular point   together with the empty set. The point   is an isolated point and all the other points are accumulation points. (This is a door space since every set containing   is open and every set not containing   is closed.) Another example would be the topological sum of a space with the particular point topology and a discrete space.

Door spaces   with no isolated point are exactly those with a topology of the form   for some free ultrafilter   on  [5] Such spaces are necessarily infinite.

There are exactly three types of connected door spaces  :[6][7]

See also

edit
  • Clopen set – Subset which is both open and closed

Notes

edit
  1. ^ Kelley 1975, ch.2, Exercise C, p. 76.
  2. ^ Dontchev, Julian (1995). "On door spaces" (PDF). Indian Journal of Pure and Applied Mathematics. 26 (9): 873–881. Theorem 2.6
  3. ^ Dontchev 1995, Corollary 2.12.
  4. ^ "Proving that If $(X,\tau)$ is a Hausdorff door space, then at most one point $x \in X$ is a limit point of $X$". Mathematics Stack Exchange.
  5. ^ McCartan, S. D. (1987). "Door Spaces Are Identifiable". Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences. 87A (1): 13–16. ISSN 0035-8975. JSTOR 20489255.
  6. ^ McCartan 1987, Corollary 3.
  7. ^ Wu, Jianfeng; Wang, Chunli; Zhang, Dong (2018). "Connected door spaces and topological solutions of equations". Aequationes Mathematicae. 92 (6): 1149–1161. arXiv:1809.03085. doi:10.1007/s00010-018-0577-0. ISSN 0001-9054. S2CID 253598359. Theorem 1

References

edit