Statements (92)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
gptkb:general_topology
|
| gptkbp:hasApplication |
gptkb:combinatorics
gptkb:theoretical_computer_science gptkb:geometry gptkb:logic gptkb:machine_learning gptkb:probability_theory biology chemistry data science dynamical systems economics engineering functional analysis number theory physics statistics 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:compactification gptkb:boundary gptkb:Polish_space gptkb:Tietze_extension_theorem gptkb:Zorn's_lemma gptkb:filter net Hausdorff space homeomorphism limit point separable space subspace interior Borel set continuous map embedding first-countable space locally compact space metrizable space paracompactness second-countable space final topology initial topology open cover product space universal property closure normal space category of topological spaces countable basis finite intersection property identification space nowhere dense set quotient map regular space subcover subnet |
| gptkbp:relatedTo |
gptkb:analysis
gptkb:set_theory gptkb:topology 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:Robert_Lee_Moore gptkb:classical_topology |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
point-set topology
|