Busemann function
E855796
The Busemann function is a geometric tool in metric and Riemannian geometry that measures asymptotic distance along geodesic rays, often used to study the large-scale structure and boundaries of spaces.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Busemann function canonical | 2 |
| given a geodesic ray c(t) and basepoint x, b_c(x)=lim_{t→∞}(d(x,c(t))−t) when the limit exists | 1 |
| horofunction boundary | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10313545 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Busemann function Context triple: [Herbert Busemann, hasConceptNamedAfter, Busemann function]
-
A.
Banach–Mazur distance
The Banach–Mazur distance is a numerical measure in functional analysis that quantifies how "far apart" two finite-dimensional normed vector spaces are up to linear isomorphism.
-
B.
Minkowski functional
The Minkowski functional is a mathematical tool in functional analysis that assigns a nonnegative real number to each vector in a vector space based on its position relative to a given convex, balanced, absorbing set, generalizing the notion of a norm.
-
C.
Bergman metric
The Bergman metric is a canonical Kähler metric on complex domains derived from the Bergman kernel, widely used in several complex variables and complex differential geometry.
-
D.
Carathéodory metric
The Carathéodory metric is an intrinsic distance function in complex analysis that measures how far apart points are in a domain based on holomorphic mappings into the unit disk.
-
E.
Kobayashi metric
The Kobayashi metric is an intrinsic pseudometric in complex analysis that measures hyperbolic distance on complex manifolds and generalizes the Poincaré metric to higher dimensions.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Busemann function Target entity description: The Busemann function is a geometric tool in metric and Riemannian geometry that measures asymptotic distance along geodesic rays, often used to study the large-scale structure and boundaries of spaces.
-
A.
Banach–Mazur distance
The Banach–Mazur distance is a numerical measure in functional analysis that quantifies how "far apart" two finite-dimensional normed vector spaces are up to linear isomorphism.
-
B.
Minkowski functional
The Minkowski functional is a mathematical tool in functional analysis that assigns a nonnegative real number to each vector in a vector space based on its position relative to a given convex, balanced, absorbing set, generalizing the notion of a norm.
-
C.
Bergman metric
The Bergman metric is a canonical Kähler metric on complex domains derived from the Bergman kernel, widely used in several complex variables and complex differential geometry.
-
D.
Carathéodory metric
The Carathéodory metric is an intrinsic distance function in complex analysis that measures how far apart points are in a domain based on holomorphic mappings into the unit disk.
-
E.
Kobayashi metric
The Kobayashi metric is an intrinsic pseudometric in complex analysis that measures hyperbolic distance on complex manifolds and generalizes the Poincaré metric to higher dimensions.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
function in metric geometry
ⓘ
mathematical concept ⓘ tool in Riemannian geometry ⓘ |
| appearsIn | Busemann’s work on the geometry of geodesics ⓘ |
| associatedWith |
asymptotic class of geodesic rays
ⓘ
geodesic ray ⓘ horofunction ⓘ ideal boundary point ⓘ |
| category | asymptotic invariants of metric spaces ⓘ |
| codomain | real numbers ⓘ |
| definition |
given a geodesic ray c(t) and basepoint x, b_c(x)=lim_{t→∞}(d(x,c(t))−t) when the limit exists
ⓘ
linked to:
Busemann function
|
| dependsOn | choice of geodesic ray ⓘ |
| domain |
Riemannian manifold
ⓘ
geodesic metric space ⓘ |
| field |
Riemannian geometry
ⓘ
linked to:
Riemannian manifolds
geometric group theory ⓘ global differential geometry ⓘ metric geometry ⓘ |
| generalizes | linear functionals in normed spaces ⓘ |
| invariantUnder | reparametrization of the geodesic ray by additive constants ⓘ |
| namedAfter | Herbert Busemann ⓘ |
| property |
1-Lipschitz in CAT(0) spaces
ⓘ
affine along geodesics in normed vector spaces ⓘ convex along geodesics in CAT(0) spaces ⓘ harmonic in simply connected complete manifolds of constant negative curvature ⓘ |
| relatedTo |
Gromov boundary
ⓘ
horofunction boundary ⓘ
linked to:
Busemann function
visual boundary ⓘ |
| satisfies | triangle inequality type estimates derived from the metric ⓘ |
| usedFor |
defining Busemann boundary
ⓘ
defining Busemann compactification ⓘ defining geometric boundaries of spaces ⓘ describing horoballs ⓘ describing horospheres ⓘ measuring asymptotic distance along geodesic rays ⓘ studying Gromov hyperbolic spaces ⓘ studying large-scale structure of metric spaces ⓘ studying nonpositive curvature ⓘ studying visibility properties of spaces ⓘ |
| usedIn |
asymptotic geometry of manifolds
ⓘ
construction of Patterson–Sullivan measures ⓘ ergodic theory on negatively curved manifolds ⓘ potential theory on manifolds ⓘ study of CAT(0) spaces ⓘ study of Gromov hyperbolic groups ⓘ study of Hadamard manifolds ⓘ study of geodesic flow ⓘ |
| wellDefinedUpTo | additive constant ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Busemann function Description of subject: The Busemann function is a geometric tool in metric and Riemannian geometry that measures asymptotic distance along geodesic rays, often used to study the large-scale structure and boundaries of spaces.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Busemann function
Busemann function
→
definition
→
given a geodesic ray c(t) and basepoint x, b_c(x)=lim_{t→∞}(d(x,c(t))−t) when the limit exists
ⓘ
linked to: Busemann function