Alexandroff topology

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:topology
gptkbp:alsoKnownAs finitely generated topology
gptkbp:appliesTo topological spaces
gptkbp:characteristic arbitrary intersections of open sets are open
https://www.w3.org/2000/01/rdf-schema#label Alexandroff topology
gptkbp:introduced gptkb:Pavel_Alexandrov
gptkbp:namedAfter gptkb:Pavel_Alexandrov
gptkbp:property Alexandroff topology is the finest topology in which arbitrary intersections of open sets are open
every finite topological space is an Alexandroff space
every discrete topology is an Alexandroff topology
Alexandroff topologies are closed under arbitrary intersections
every preordered set has a unique Alexandroff topology
gptkbp:usedIn gptkb:order_theory
gptkb:general_topology
domain theory
gptkbp:bfsParent gptkb:Alexandrov_topology
gptkb:Paul_Alexandroff
gptkbp:bfsLayer 6