Statements (91)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:alsoKnownAs |
gptkb:general_topology
|
gptkbp:hasApplication |
gptkb:geometry
gptkb:logic gptkb:machine_learning gptkb:probability_theory biology chemistry data science dynamical systems economics engineering functional analysis number theory physics statistics theoretical computer science combinatorics optimization graph theory |
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:indiscrete_topology gptkb:neighborhood gptkb:Alexandroff_extension gptkb:T1_space gptkb:T2_space gptkb:T3_space gptkb:T4_space gptkb:Polish_space gptkb:Tietze_extension_theorem gptkb:Zorn's_lemma net Hausdorff space homeomorphism limit point separable space subspace compactification interior Borel set continuous map embedding first-countable space locally compact space metrizable space paracompactness second-countable space filter final topology initial topology open cover product space universal property closure boundary normal space category of topological spaces countable basis finite intersection property identification space nowhere dense set quotient map regular space subcover subnet |
https://www.w3.org/2000/01/rdf-schema#label |
point-set topology
|
gptkbp:relatedTo |
gptkb:set_theory
gptkb:topology analysis differential topology |
gptkbp:studies |
compactness
convergence connectedness continuous functions open sets product topology separation axioms subspace topology topological spaces metric spaces quotient topology basis for a topology closed sets |
gptkbp:bfsParent |
gptkb:topology
gptkb:Topology |
gptkbp:bfsLayer |
5
|