Finite intervals in the lattice of topologies (Q5917342): Difference between revisions

The author discusses the question whether every finite interval in the lattice of all topologies on some set is isomorphic to an interval in the lattice of all topologies on a finite set -- or, equivalently, whether the finite intervals in lattices of topologies are, up to isomorphism, exactly the duals of finite atomistic intervals in lattices of quasiorders. The answer to this question is in the affirmative at least for finite atomistic lattices. Applying recent results about intervals in lattices of quasiorders, one sees that, for example, the five-element modular but non-distributive lattice cannot be an interval in the lattice of topologies. The authors show that a finite lattice whose greatest element is the join of two atoms is an interval of \(T_0\)-topologies iff it is the four-element Boolean lattice or the five-element non-modular lattice. But only the first of these two selfdual lattices is an interval of orders because order intervals are known to be dually locally distributive.