Abstract:
We consider $T_0$-topologies on $n$-element set that contain more than $2^n$ elements. We solve a problem of listing and counting of such topologies. For this purpose we introduce the notions of an index of the topology and a vector of the topology. We study their properties and single out all possible classes of the topologies under the consideration. We formulate and prove a theorem related to the number of the topologies in each of the classes.
Keywords:topology on a finite set, $T_0$-topology, index of an element of a topology, index of a topology, vector of a topology.