T_0 functional Alexandroff topologies are partial metrizable

Abstract

If f : X → X is a function, the associated functional Alexandroff topology on X is the topology whose closed sets are { A ⊆ X : f ( A ) ⊆ A } . We prove that every functional Alexandroff topology is pseudopartial metrizable and every T0 functional Alexandroff topology is partial metrizable.