# Preorders and Finite Topological Spaces

Today I tweeted that I had asked my topology students to find all of the different topologies of a two-point set and a three-point set. It turns out that there are three of the former and nine of the latter. (The sequence of the number of topologies for an n-point set begins 1 (for $n=1$), 3 ($n=2$), 9 ($n=3$), 33, 139, 718, 4535, 35979, 363083, 4717687, 79501654, 1744252509, 49872339897, 1856792610995, 89847422244493, 5637294117525695,… and is sequence A001930 in the OEIS.)

Akiva Weinberger (@akivaw) tweeted back to me saying that this is the same number of “preorders” on a set with n elements. I admitted that I’d never heard of a preorder. Then he and Joel David Hamkins (@jdhamkins) filled me in on what a preordered set is.

It found it to be pretty cool—especially the connection to topologies of finite sets. So I thought I’d share it here on my blog.

TOTAL ORDERS, PARTIAL ORDERS, AND PREORDERS

We are all familiar with sets that are totally ordered (like the integers or the real numbers). A set S is totally ordered with a relation ≤ if it has the following properties for all elements in S.

1. Reflexivity: $a\le a.$
2. Transitivity: if $a\le b$ and $b\le c,$ then $a\le c.$
3. Antisymmetry: if $a\le b$ and $b\le a,$ then $a=b.$
4. Comparability: either $a\le b$ or $b\le a$ (or both).

A set S with and relation ≤ that satisfies properties 1–3 (it is reflexive, transitive, and antisymmetric), but not necessarily property 4, is called a partially ordered set. For instance, we can put a partial order ≤ on the set of positive integers $\{1,2,3,4,5,6,\ldots\}$ as follows. We’ll say that $a\le b$ provided a divides b. Using this ordering, we have $2\le 6$ and $3\le 6$ because both 2 and 3 divide 6. However, not all positive integers are comparable. For instance, $5\not\le 6$ and $6\not\le 5$ because 5 doesn’t divide 6 and 6 does not divide 5. So this relation gives a partial order and not a total order of the positive integers.

Now we are ready to talk about preordered sets. A relation ≤ gives a preorder on a set S provided it satisfies properties 1 and 2 (it is reflexive and transitive) but not necessarily properties 3 and 4. If we extend the divisibility relation to the full set of integers, $\{\ldots,-3,-2,-1,0,1,2,3,\ldots\},$ we get a preorder that is not a partial order. The ordering is reflexive and transitive, but it is not antisymmetric. For example, because –2 divides 2, $-2\le 2,$ and since 2 divides –2, $2\le -2.$ However, $-2\ne 2.$

One way to think about preorders is via directed graphs (mathematical graphs in which edges have a direction). Define a relation ≤ on the vertices of the graph as follows. We say that $a\le b$ provided a is reachable from b; that is, we can get from b to a along a path of directed edges (including the trivial path of not going anywhere).

For instance, the graph below has vertex set $\{a,b,c,d,e\}.$ We see that $e\le a$ because we can get from vertex a to vertex e. It is not too difficult to see that the relation is reflexive and transitive. However, notice that we can’t get from vertex b to vertex e nor from e to b, so they are incomparable (that is, property 4 fails). But also we have $c\le e$ and $e\le c$ but $c\ne e,$ so the relation is not antisymmetric (property 3 fails). Thus, the relation is a preorder.

TOPOLOGIES OF FINITE SETS

Let’s see how preorders are related to the topologies of finite sets. First, let’s give the definition of a topology.

Let X be a set. A set of subsets of X, T, is a topology for X provided.

1. $\emptyset \in T$
2. $X\in T$
3. The intersection of any finite number of sets in T is in T.
4. The union of any collection (finite or infinite) of sets in T is in T.

The sets in T are called open sets.

So, for instance, the three-point set $X=\{a,b,c\}$ has nine different topologies. (By “different” we mean that any other topology can be obtained from one of these just by renaming the letters a, b, and c. Or, using more technical terminology, any other topology is homeomorphic to one of these.)

1. $T_1=\{\emptyset,\{a,b,c\}\}$
2. $T_2=\{\emptyset,\{a\},\{a,b,c\}\}$
3. $T_3=\{\emptyset,\{a\},\{b\},\{a,b\},\{a,b,c\}\}$
4. $T_4=\{\emptyset,\{a,b\},\{a,b,c\}\}$
5. $T_5=\{\emptyset,\{a\},\{a,b\},\{a,b,c\}\}$
6. $T_6=\{\emptyset,\{c\},\{a,b\},\{a,b,c\}\}$
7. $T_7=\{\emptyset,\{a\},\{a,b\},\{a,c\},\{a,b,c\}\}$
8. $T_8=\{\emptyset,\{a\},\{b\},\{a,b\},\{a,c\},\{a,b,c\}\}$
9. $T_9=\{\emptyset,\{a\},\{b\},\{c\},\{a,b\},\{a,c\},\{b,c\},\{a,b,c\}\}$

Given a topology T for a finite set X we can obtain a preorder on X as follows. We say that $x\le y$ provided x belongs to every open set that contains y.

So, the topology $T_3$ on the set $\{a,b,c\}$ gives a preorder in which we can only say $a\le c$ and $b\le c.$ Similarly, the topology $T_7$ on the set $\{a,b,c\}$ gives a preorder in which we can only say $a\le b$ and $a\le c.$ The following graphs give the same preorders.

Notice that with respect to topology $T_1,$ the so-called trivial topology, we have all six relations $a\le b,$ $b\le a,$ $a\le c,$ $c\le a,$ $b\le c,$ and $c\le b.$ And with respect to $T_9,$ the so-called discrete topology, none of the elements are comparable.

We can go the other way as well. Given a preorder of a finite a set X, we can produce a topology on the set X as follows. A set $U\subseteq X$ is an open set provided there is no element in X that is less than any element in U. For instance, suppose we had the preorder corresponding to the graph with vertices $\{a,b,c,d,e\}$ at the beginning of the blog post. Then a set of vertices is an open set if there are no directed edges that point out of the set. In particular, the preorder corresponding to the graph gives topology $T=\{\emptyset,\{d\},\{b,d\},\{c,d,e\},\{b,c,d,e\},\{a,b,c,d,e\}\}.$

Pretty cool!

## One Comment

1. mathematrucker says:

The following 1985 Math. Mag. paper is where I first heard about the correspondence between preorders and finite topologies (your students are lucky…unlike you and me, they got to hear about it in topology class!):

https://www.jstor.org/stable/2689890?origin=JSTOR-pdf

Also note:

1. A finite topological space is T_0 if and only if its corresponding preorder is a partial order.

2. Another name for preorder is quasiorder.

3. The definitive paper listed with sequence A001930 is the 2005 one by Brinkmann and McKay: