# Alexandrov topology

In topology, an **Alexandrov topology** is a topology in which the intersection of any family of open sets is open. It is an axiom of topology that the intersection of any *finite* family of open sets is open; in Alexandrov topologies the finite restriction is dropped.

A set together with an Alexandrov topology is known as an **Alexandrov-discrete space** or **finitely generated space**.

Alexandrov topologies are uniquely determined by their specialization preorders. Indeed, given any preorder ≤ on a set *X*, there is a unique Alexandrov topology on *X* for which the specialization preorder is ≤. The open sets are just the upper sets with respect to ≤. Thus, Alexandrov topologies on *X* are in one-to-one correspondence with preorders on *X*.

Alexandrov-discrete spaces are also called **finitely generated spaces** since their topology is uniquely determined by the family of all finite subspaces. Alexandrov-discrete spaces can thus be viewed as a generalization of finite topological spaces.

Due to the fact that inverse images commute with arbitrary unions and intersections, the property of being an Alexandrov-discrete space is preserved under quotients.

Alexandrov-discrete spaces are named after the Russian topologist Pavel Alexandrov. They should not be confused with the more geometrical Alexandrov spaces introduced by the Russian mathematician Aleksandr Danilovich Aleksandrov.

## Characterizations of Alexandrov topologies

Alexandrov topologies have numerous characterizations. Let * X* = <

*X*,

*T*> be a topological space. Then the following are equivalent:

**Open and closed set characterizations:****Open set.**An arbitrary intersection of open sets inis open.**X****Closed set.**An arbitrary union of closed sets inis closed.**X**

**Neighbourhood characterizations:****Smallest neighbourhood.**Every point ofhas a smallest neighbourhood.**X****Neighbourhood filter.**The neighbourhood filter of every point inis closed under arbitrary intersections.**X**

**Interior and closure algebraic characterizations:****Interior operator.**The interior operator ofdistributes over arbitrary intersections of subsets.**X****Closure operator.**The closure operator ofdistributes over arbitrary unions of subsets.**X**

**Preorder characterizations:****Specialization preorder.***T*is the finest topology consistent with the specialization preorder ofi.e. the finest topology giving the preorder ≤ satisfying**X***x*≤*y*if and only if*x*is in the closure of {*y*} in.**X****Open up-set.**There is a preorder ≤ such that the open sets ofare precisely those that are upwardly closed i.e. if**X***x*is in the set and*x*≤*y*then*y*is in the set. (This preorder will be precisely the specialization preorder.)**Closed down-set.**There is a preorder ≤ such that the closed sets ofare precisely those that are downwardly closed i.e. if**X***x*is in the set and*y*≤*x*then*y*is in the set. (This preorder will be precisely the specialization preorder.)**Upward interior.**A point*x*lies in the interior of a subset*S*ofif and only if there is a point**X***y*in*S*such that*y*≤*x*where ≤ is the specialization preorder i.e.*y*lies in the closure of {*x*}.**Downward closure.**A point*x*lies in the closure of a subset*S*ofif and only if there is a point**X***y*in*S*such that*x*≤*y*where ≤ is the specialization preorder i.e.*x*lies in the closure of {*y*}.

**Finite generation and category theoretic characterizations:****Finite closure.**A point*x*lies within the closure of a subset*S*ofif and only if there is a finite subset**X***F*of*S*such that*x*lies in the closure of*F*. (This finite subset can always be chosen to be a singleton.)**Finite subspace.***T*is coherent with the finite subspaces of.**X****Finite inclusion map.**The inclusion maps*f*_{i}:**X**_{i}→of the finite subspaces of**X**form a final sink.**X****Finite generation.**is finitely generated i.e. it is in the final hull of the finite spaces. (This means that there is a final sink**X***f*_{i}:**X**_{i}→where each**X****X**_{i}is a finite topological space.)

Topological spaces satisfying the above equivalent characterizations are called **finitely generated spaces** or **Alexandrov-discrete spaces** and their topology *T* is called an **Alexandrov topology**.

## Duality with preordered sets

### The Alexandrov topology on a preordered set

Given a preordered set we can define an Alexandrov topology on *X* by choosing the open sets to be the upper sets:

We thus obtain a topological space .

The corresponding closed sets are the lower sets:

### The specialization preorder on a topological space

Given a topological space * X* = <

*X*,

*T*> the specialization preorder on

*X*is defined by:

*x*≤*y*if and only if*x*is in the closure of {*y*}.

We thus obtain a preordered set * W*(

*) = <*

**X***X*, ≤>.

### Equivalence between preorders and Alexandrov topologies

For every preordered set * X* = <

*X*, ≤> we always have

*(*

**W***(*

**T***)) =*

**X***, i.e. the preorder of*

**X***is recovered from the topological space*

**X***(*

**T***) as the specialization preorder. Moreover for every*

**X***Alexandrov-discrete space*

*, we have*

**X***(*

**T***(*

**W***)) =*

**X***, i.e. the Alexandrov topology of*

**X***is recovered as the topology induced by the specialization preorder.*

**X**However for a topological space in general we do **not** have * T*(

*(*

**W***)) =*

**X***. Rather*

**X***(*

**T***(*

**W***)) will be the set*

**X***X*with a finer topology than that of

*(i.e. it will have more open sets).*

**X**### Equivalence between monotonicity and continuity

Given a monotone function

*f*:→**X****Y**

between two preordered sets (i.e. a function

*f*:*X*→*Y*

between the underlying sets such that *x*≤*y* in * X* implies

*f*(

*x*)≤

*f*(

*y*) in

*), let*

**Y**(**T***f*) :(**T**)→**X**(**T**)**Y**

be the same map as *f* considered as a map between the corresponding Alexandrov spaces. Then * T*(

*f*) is a continuous map.

Conversely given a continuous map

*g*:→**X****Y**

between two topological spaces, let

(g) :**W**(**W**)→**X**(**W**)**Y**

be the same map as *f* considered as a map between the corresponding preordered sets. Then * W*(g) is a monotone function.

Thus a map between two preordered sets is monotone if and only if it is a continuous map between the corresponding Alexandrov-discrete spaces. Conversely a map between two Alexandrov-discrete spaces is continuous if and only if it is a monotone function between the corresponding preordered sets.

Notice however that in the case of topologies other than the Alexandrov topology, we can have a map between two topological spaces that is not continuous but which is nevertheless still a monotone function between the corresponding preordered sets. (To see this consider a non-Alexandrov-discrete space * X* and consider the identity map

*i*:

*→*

**X***(*

**T***(*

**W***)).)*

**X**### Category theoretic description of the duality

Let **Set** denote the category of sets and maps. Let **Top** denote the category of topological spaces and continuous maps; and let **Pro** denote the category of preordered sets and monotone functions. Then

:**T****Pro**→**Top**and:**W****Top**→**Pro**

are concrete functors over **Set** which are left and right adjoints respectively.

Let **Alx** denote the full subcategory of **Top** consisting of the Alexandrov-discrete spaces. Then the restrictions

:**T****Pro**→**Alx**and:**W****Alx**→**Pro**

are inverse concrete isomorphisms over **Set**.

**Alx** is in fact a bico-reflective subcategory of **Top** with bico-reflector * T*◦

*:*

**W****Top**→

**Alx**. This means that given a topological space

*, the identity map*

**X***i*:(**T**(**W**))→**X****X**

is continuous and for every continuous map

*f*:→**Y****X**

where * Y* is an Alexandrov-discrete space, the composition

*i*^{−1}◦*f*:→**Y**(**T**(**W**))**X**

is continuous.

### Relationship to the construction of modal algebras from modal frames

Given a preordered set * X*, the interior operator and closure operator of

*(*

**T***) are given by:*

**X****Int**(*S*) = {*x*∈ X : for all*y*∈ X,*x*≤*y*implies*y*∈ S }, and**Cl**(*S*) = {*x*∈ X : there exists a*y*∈ S with*x*≤*y*}

for all *S*⊆ *X.*

Considering the interior operator and closure operator to be modal operators on the power set Boolean algebra of *X*, this construction is a special case of the construction of a modal algebra from a modal frame i.e. from a set with a single binary relation. (The latter construction is itself a special case of a more general construction of a complex algebra from a relational structure i.e. a set with relations defined on it.) The class of modal algebras that we obtain in the case of a preordered set is the class of interior algebras—the algebraic abstractions of topological spaces.

## History

Alexandrov spaces were first introduced in 1937 by P. S. Alexandrov under the name **discrete spaces**, where he provided the characterizations in terms of sets and neighbourhoods.[1] The name discrete spaces later came to be used for topological spaces in which every subset is open and the original concept lay forgotten in the topological literature. On the other hand, Alexandrov spaces played a relevant role in Oystein Ore pionering studies on closure systems and their relationships
with lattice theory and topology[2].

With the advancement of categorical topology in the 1980s, Alexandrov spaces were rediscovered when the concept of finite generation was applied to general topology and the name **finitely generated spaces** was adopted for them. Alexandrov spaces were also rediscovered around the same time in the context of topologies resulting from denotational semantics and domain theory in computer science.

In 1966 Michael C. McCord and A. K. Steiner each independently observed a duality between partially ordered sets and spaces which were precisely the T_{0} versions of the spaces that Alexandrov had introduced.[3][4] P. Johnstone referred to such topologies as **Alexandrov topologies**.[5] F. G. Arenas independently proposed this name for the general version of these topologies.[6] McCord also showed that these spaces are weak homotopy equivalent to the order complex of the corresponding partially ordered set. Steiner demonstrated that the duality is a contravariant lattice isomorphism preserving arbitrary meets and joins as well as complementation.

It was also a well-known result in the field of modal logic that a duality exists between finite topological spaces and preorders on finite sets (the finite modal frames for the modal logic *S4*). A. Grzegorczyk observed that this extended to a duality between what he referred to as *totally distributive spaces* and preorders. C. Naturman observed that these spaces were the Alexandrov-discrete spaces and extended the result to a category-theoretic duality between the category of Alexandrov-discrete spaces and (open) continuous maps, and the category of preorders and (bounded) monotone maps, providing the preorder characterizations as well as the interior and closure algebraic characterizations.[7]

A systematic investigation of these spaces from the point of view of general topology which had been neglected since the original paper by Alexandrov was taken up by F.G. Arenas.[6]

## See also

*P*-space, a space satisfying the weaker condition that countable intersections of open sets are open

## References

- Alexandroff, P. (1937). "Diskrete Räume".
*Mat. Sb. (N.S.)*(in German).**2**: 501–518. - O. Ore,
*Some studies on closure relations*, Duke Math. J. 10 (1943), 761–785. See Marcel Erné,*Closure*, in Frédéric Mynard, Elliott Pearl (Editors),*Beyond Topology*, Contemporary mathematics vol. 486, American Mathematical Society, 2009, p.170ff - McCord, M. C. (1966). "Singular homology and homotopy groups of finite topological spaces".
*Duke Mathematical Journal*.**33**(3): 465–474. doi:10.1215/S0012-7094-66-03352-7. - Steiner, A. K. (1966). "The Lattice of Topologies: Structure and Complementation".
*Transactions of the American Mathematical Society*.**122**(2): 379–398. doi:10.2307/1994555. ISSN 0002-9947. JSTOR 1994555. - Johnstone, P. T. (1986).
*Stone spaces*(1st paperback ed.). New York: Cambridge University Press. ISBN 978-0-521-33779-3. - Arenas, F. G. (1999). "Alexandroff spaces" (PDF).
*Acta Math. Univ. Comenianae*.**68**(1): 17–25. - Naturman, C. A. (1991).
*Interior Algebras and Topology*. Ph.D. thesis, University of Cape Town Department of Mathematics.