Door space

In mathematics, in the field of topology, a topological space is said to be a door space if every subset is either 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".

Here are some easy facts about door spaces:

  • A Hausdorff door space has at most one accumulation point.
  • In a Hausdorff door space if x is not an accumulation point then {x} is open.

To prove the first assertion, let X be a Hausdorff door space, and let x ≠ y be distinct points. Since X is Hausdorff there are open neighborhoods U and V of x and y respectively such that U ∩ V = ∅. Suppose y is an accumulation point. Then U \ {x} ∪ {y} is closed, since if it were open, then we could say that {y} = (U \ {x} ∪ {y}) ∩ V is open, contradicting that y is an accumulation point. So we conclude that as U \ {x} ∪ {y} is closed, X \ (U \ {x} ∪ {y}) is open and hence {x} = U ∩ [X \ (U \ {x} ∪ {y})] is open, implying that x is not an accumulation point.

Notes
  1. Kelley, ch.2, Exercise C, p. 76.
gollark: This is a new level of craziness. An Australian prime minister claimed that their laws were more important than the laws of mathematics, but they're trying to beat simple logic.
gollark: I think they voted to not have one, but I don't know how that's actually meant to work.
gollark: Less awful than hard brexit I mean.
gollark: We could at least get a less-awful solution, but the MPs said no, so yaaaay.
gollark: There is basically no chance of Brexit working out in a way that more than 10% of people actually want.

References
  • Kelley, John L. (1991). General Topology. Springer. ISBN 3540901256.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.