trees (in the sense of metric spaces)
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:topology |
| gptkbp:generalizes |
graph-theoretic trees
|
| gptkbp:hasProperty |
no simple closed curves
uniqueness of geodesics |
| gptkbp:heldBy |
geodesic metric space
connected metric space |
| https://www.w3.org/2000/01/rdf-schema#label |
trees (in the sense of metric spaces)
|
| gptkbp:relatedTo |
gptkb:ultrametric_spaces
R-trees simplicial trees |
| gptkbp:studiedBy |
geometric group theory
metric geometry |
| gptkbp:used_in |
gptkb:topology
analysis geometric group theory |
| gptkbp:bfsParent |
gptkb:CAT(0)_spaces
|
| gptkbp:bfsLayer |
8
|