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 systematic study of Alexandrov spaces—topological spaces in which arbitrary intersections of open sets remain open. It begins by recalling the standard definition and immediately establishes an equivalent formulation: every point x in an Alexandrov space possesses a minimal open neighbourhood S(x), defined as the intersection of all open sets containing x. This equivalence (Theorem 2) is used throughout the work as the primary technical tool.

Using the family β = {S(x) | x∈X} the author shows that β forms a basis for the topology (Theorem 4) and that any two topologies on the same underlying set that share the same minimal neighbourhoods must coincide (Corollary 1). Several concrete examples illustrate the diversity of Alexandrov topologies: a non‑Hausdorff, non‑compact topology on ℝⁿ generated by closed balls centred at the origin; a compact but still non‑Hausdorff topology on the unit disc Dⁿ; a space ℝ\ℤ whose minimal neighbourhoods are disjoint unit intervals; and a compact topology on the circle S¹ defined via the sets Rₙ = {z∈S¹ | zⁿ = 1}.

The paper then develops construction techniques. Theorem 6 proves that the product of two Alexandrov spaces is Alexandrov, with S(x,y) = S(x)×S(y). Theorem 7 shows that any subspace of an Alexandrov space inherits the Alexandrov property, with minimal neighbourhoods given by intersection with the ambient S‑sets. Theorem 8 establishes that quotients by arbitrary equivalence relations are Alexandrov; the minimal neighbourhood of an equivalence class is the image of the corresponding S‑set. By defining the relation x∼y iff S(x)=S(y), the author obtains a quotient that is discrete precisely when each S(x) is irreducible (Theorem 9).

A significant observation is that a Hausdorff Alexandrov space must be discrete (Theorem 11). The proof shows that distinct points have disjoint minimal neighbourhoods; consequently each S(x) reduces to the singleton {x}. Hence Hausdorffness is a very restrictive condition in this category.

Continuity considerations are addressed in Theorem 12: an open continuous map from an Alexandrov space sends the space onto another Alexandrov space, with minimal neighbourhoods transferred via the map. Corollary 4 extends this to homeomorphisms. Theorem 13 gives a more elaborate criterion for two Alexandrov spaces to be homeomorphic, based on a bijection between their families of minimal neighbourhoods together with compatible homeomorphisms on each S‑set.

The second part of the paper focuses on compact Alexandrov spaces. Definition 3 introduces the invariant
 min(X) = min{|V| : V is a finite cover of X by minimal open neighbourhoods}.
Theorem 14 proves that min(X) is preserved under homeomorphisms, making it a topological invariant.

A second invariant, called a “basic set,” is defined (Definition 4) as a minimal neighbourhood that is not properly contained in any other minimal neighbourhood unless the containment is equality; basic sets are pairwise disjoint and irreducible (Theorems 15–16). The number of basic sets, denoted index(X) (Definition 5), satisfies index(X) ≤ min(X) (Theorem 17). Thus, for compact Alexandrov spaces, the pair (min(X), index(X)) provides a concise numerical fingerprint.

The paper concludes by emphasizing that the study of minimal open neighbourhoods yields a clear structural picture of Alexandrov spaces, that product, subspace, and quotient constructions preserve the Alexandrov property, and that the introduced invariants give a practical tool for distinguishing compact Alexandrov spaces up to homeomorphism.