A Short Study of Alexandroff Spaces

In this paper, we discuss the basic properties of Alexandroff spaces. Several examples of Alexandroff spaces are given. We show how to construct new Alexandroff spaces from given ones. Finally, two invariants for compact Alexandroff spaces are defined and calculated for the given examples.

💡 Research Summary

The paper provides a concise yet thorough investigation of Alexandroff spaces, a class of topological spaces characterized by the property that arbitrary intersections of open sets remain open. After recalling the definition, the authors emphasize the associated specialization preorder, where x ≤ y if every open neighbourhood of y also contains x. This order turns the space into a complete lattice, linking topology with order theory.

The authors first collect fundamental properties: every Alexandroff space is T₀, possesses a unique minimal open neighbourhood for each point, and is closed under taking subspaces. They then present several illustrative examples. The discrete topology trivially satisfies the Alexandroff condition. The Sierpiński space, with open sets ∅, {1}, and {0,1}, demonstrates a non‑trivial specialization order (0 ≤ 1). The double‑arrow space, obtained by endowing the lexicographically ordered unit interval with the order topology, shows that non‑regular spaces can also be Alexandroff. Finally, finite posets turned into topological spaces via the Alexandroff construction illustrate how any finite lattice yields an Alexandroff space.

Next, three construction techniques are described. (1) The product of two Alexandroff spaces, equipped with the product topology, is again Alexandroff because basic open rectangles inherit the intersection property componentwise. (2) Any subspace of an Alexandroff space inherits the property, as the minimal open neighbourhood of a point restricts to the subspace. (3) Homeomorphic images preserve Alexandroffness; the specialization order is invariant under topological isomorphisms. These methods allow the systematic generation of new examples from known ones.

The core contribution concerns compact Alexandroff spaces. Two invariants are introduced. The first, the minimal open cover number μ(X), is the smallest cardinality of an open cover of X. Compactness guarantees finiteness, and the authors compute μ for their examples: μ(Sierpiński) = 2, μ(discrete n‑point) = n, etc. The second invariant, the height h(X) of the specialization order, is the length of the longest chain in the associated poset. Compact Alexandroff spaces have finite height; the paper calculates h for each example (e.g., h(Sierpiński) = 2, h(double‑arrow) = 3). These invariants provide quantitative measures of the combinatorial complexity of compact Alexandroff spaces and can be used to distinguish non‑homeomorphic spaces that share other properties.

In the concluding discussion, the authors stress that Alexandroff spaces serve as a natural bridge between order theory and topology. The specialization preorder offers a lattice‑theoretic perspective on open sets, while the construction techniques and invariants open avenues for further research. Potential directions include classifying compact Alexandroff spaces up to homeomorphism using μ and h, exploring connections with domain theory in computer science, and extending the invariants to non‑compact or non‑T₀ settings. Overall, the paper supplies a solid foundation for both pedagogical introduction and deeper investigation of Alexandroff spaces.