4
$\begingroup$

Recall that a door space is a topological space where every set is either open or closed (or both). A topological space is finite if it has finitely many points. I'm interested in learning about finite door spaces.

Question 0: What is an example of a finite topological space which is $T_0$ but not a door space?

Question 1: Let $n$ be a natural number. How many door topologies are there on a set with $n$ elements?

I'm interested in both the "labeled" and "unlabeled" versions of question 1.

Recall that via the specialization order, finite topological spaces are equivalent to finite preorders, i.e. quasi-(partially)ordered sets.

Question 2: Which finite posets are the specialization order of a door space?

$\endgroup$
5
  • 3
    $\begingroup$ For Q0: consider topology on $\{0,1,2\}$ with opens $\varnothing,\{0\},\{0,1\},\{0,1,2\}$. Here $\{0,2\}$ is neither open nor closed. $\endgroup$
    – Wojowu
    Commented Oct 8, 2021 at 21:43
  • 1
    $\begingroup$ For question 1 are you counting door topologies up to equality or homeomorphism? $\endgroup$ Commented Oct 8, 2021 at 21:46
  • $\begingroup$ Door spaces and their generalization were studied in a paper by W.H. and A.Mishchenko, published in the Bulletin of Polish Academy of Science, around y.1964. $\endgroup$
    – Wlod AA
    Commented Oct 9, 2021 at 10:24
  • 3
    $\begingroup$ Like this, obviously. $\endgroup$
    – Asaf Karagila
    Commented Oct 11, 2021 at 14:32
  • 1
    $\begingroup$ @AsafKaragila The interdimensional beings agree with the topologists -- real fake doors are where it's at. Why would you want a real real door where it's always open or closed? $\endgroup$ Commented Oct 11, 2021 at 14:41

1 Answer 1

19
$\begingroup$

A door space $X$ is $T_0$, for if $x,y\in X$ are not separated by the $T_0$ axiom then the set $\{x\}$ is neither open nor closed. A finite $T_0$ space is equivalent to a finite poset $P$ (Enumerative Combinatorics, vol. 1, second ed., Exercise 3.3). An open set corresponds to an order ideal of $P$. Thus we want to count posets on an $n$-element set such that every subset of $P$ is either an order ideal or the complement of an order ideal. Such posets can have at most one connected component $Q$ which is not a single point. Then $Q$ consists of an element $x$ at the bottom and some positive number of elements $y$ covering $x$ (i.e., $x<y$ with nothing in between), or the dual of this connected component. There is one choice if $P$ is a disjoint union of points. There are $n(n-1)$ choices if $x$ is covered by one element, but then the dual has the same form and should not be counted again. If $x$ is covered by more than one element, then there are $n(2^{n-1}-n)$ choices. This must be multiplied by 2 since the dual is different. Hence the total number of door spaces on an $n$-element set is $$ 1+n(n-1)+2n(2^{n-1}-n) = 1-n-n^2+n2^n. $$ By similar reasoning, the number of unlabelled $n$-element door topologies is $1+1+2(n-2)=2n-2$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .