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
|