Statements (103)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
gptkb:mathematical_concept |
| gptkbp:hasApplication |
gptkb:geometry
gptkb:logic gptkb:set_theory gptkb:topology analysis dynamical systems functional analysis |
| gptkbp:hasConcept |
gptkb:Baire_category_theorem
gptkb:Lindelöf_space gptkb:Stone–Čech_compactification gptkb:Tychonoff_theorem gptkb:Urysohn's_lemma gptkb:discrete_topology gptkb:fundamental_group gptkb:indiscrete_topology gptkb:neighborhood gptkb:topology gptkb:T1_space gptkb:T2_space gptkb:T3_space gptkb:T4_space gptkb:fiber gptkb:Alexandrov_topology gptkb:Polish_space gptkb:Tietze_extension_theorem gptkb:Moore_space gptkb:Urysohn_metrization_theorem gptkb:closed_graph_theorem gptkb:open_mapping_theorem gptkb:Zorn's_lemma gptkb:compact-open_topology net Hausdorff space homeomorphism limit point separable space compactification interior Borel set closed map continuous map covering space deformation retract embedding homotopy metrizable space open map paracompactness filter final topology initial topology open cover ultrafilter closure boundary normal space nowhere dense set quotient map regular space subnet accumulation point completely regular space universal cover retraction connected component countable base first axiom of countability first countable space identity map local compactness local connectedness path connectedness perfectly normal space second axiom of countability second countable space subbasis |
| gptkbp:hasSubfield |
gptkb:topology
|
| https://www.w3.org/2000/01/rdf-schema#label |
general topology
|
| gptkbp:studies |
compactness
convergence connectedness continuous functions open sets product topology separation axioms subspace topology topological spaces metric spaces quotient topology closed sets basis of topology |
| gptkbp:bfsParent |
gptkb:Lindelöf_space
gptkb:Tychonoff_theorem gptkb:discrete_topology gptkb:order_topology gptkb:point-set_topology gptkb:Alexandrov_compactification gptkb:Alexandrov_topology gptkb:Euclidean_topology gptkb:set-theoretic_topology |
| gptkbp:bfsLayer |
6
|