Carathéodory metric
E122257
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.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Carathéodory hyperbolic domains | 1 |
| Carathéodory hyperbolic manifolds | 1 |
| Carathéodory metric canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T998598 — 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.
Target entity: Carathéodory metric Context triple: [Constantin Carathéodory, notableWork, Carathéodory metric]
-
A.
Riemann mapping theorem
The Riemann mapping theorem is a fundamental result in complex analysis stating that any non-empty simply connected open subset of the complex plane (other than the whole plane) can be conformally mapped onto the open unit disk.
-
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.
Carathéodory’s theorem in convex geometry
Carathéodory’s theorem in convex geometry is a fundamental result stating that any point in the convex hull of a set in ℝⁿ can be expressed as a convex combination of at most n+1 points from that set.
-
D.
Carathéodory’s extension theorem
Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
-
E.
Kähler manifold
A Kähler manifold is a complex manifold equipped with a Hermitian metric whose associated symplectic form is closed, making it simultaneously a complex, Riemannian, and symplectic manifold in a compatible way.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Carathéodory metric Target entity description: 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.
-
A.
Riemann mapping theorem
The Riemann mapping theorem is a fundamental result in complex analysis stating that any non-empty simply connected open subset of the complex plane (other than the whole plane) can be conformally mapped onto the open unit disk.
-
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.
Carathéodory’s theorem in convex geometry
Carathéodory’s theorem in convex geometry is a fundamental result stating that any point in the convex hull of a set in ℝⁿ can be expressed as a convex combination of at most n+1 points from that set.
-
D.
Carathéodory’s extension theorem
Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
-
E.
Kähler manifold
A Kähler manifold is a complex manifold equipped with a Hermitian metric whose associated symplectic form is closed, making it simultaneously a complex, Riemannian, and symplectic manifold in a compatible way.
- F. None of above. chosen
Statements (45)
| Predicate | Object |
|---|---|
| instanceOf |
complex-analytic invariant metric
ⓘ
intrinsic metric ⓘ pseudometric ⓘ |
| agreesWith | Euclidean metric on small scales up to first order on smooth strongly convex domains ⓘ |
| canDegenerateOn | non-hyperbolic domains ⓘ |
| characterizes | holomorphic contractibility of maps ⓘ |
| coincidesWith | Poincaré metric on the unit disk ⓘ |
| coincidesWithOn | unit disk ⓘ |
| definedOn |
Riemann surfaces
ⓘ
surface form:
Riemann surface
complex domain ⓘ complex manifold ⓘ |
| dependsOn | holomorphic maps into the unit disk ⓘ |
| field | complex analysis ⓘ |
| introducedIn | early 20th century ⓘ |
| isCompleteOn | bounded convex domain in C^n ⓘ |
| isConformalInvariant | true ⓘ |
| isDefinedVia | supremum over holomorphic maps to the unit disk ⓘ |
| isDistanceFunction | true ⓘ |
| isFinslerMetric | true ⓘ |
| isHolomorphicallyContractible | true ⓘ |
| isIntrinsic | true ⓘ |
| isInvariantUnder |
biholomorphic maps
ⓘ
holomorphic automorphisms of the domain ⓘ |
| isLocalizable | false ⓘ |
| isMonotoneWithRespectTo | domain inclusion ⓘ |
| isNondegenerateOn |
Carathéodory metric
self-linksurface differs
ⓘ
surface form:
Carathéodory hyperbolic domains
|
| isSymmetric | true ⓘ |
| isToolIn | invariant distance theory in complex analysis ⓘ |
| isUpperBoundFor | Lempert function on convex domains ⓘ |
| lessThanOrEqualTo | Kobayashi metric ⓘ |
| majorizedBy | Kobayashi metric ⓘ |
| namedAfter | Constantin Carathéodory ⓘ |
| nonnegativity | true ⓘ |
| relatedTo |
Bergman metric
ⓘ
Kobayashi metric ⓘ Teichmüller theory ⓘ
surface form:
Teichmüller metric
|
| satisfies | triangle inequality ⓘ |
| separatesPointsOn |
Carathéodory metric
self-linksurface differs
ⓘ
surface form:
Carathéodory hyperbolic manifolds
|
| usedIn |
complex dynamical systems
ⓘ
geometric function theory ⓘ several complex variables ⓘ |
| usedToStudy |
biholomorphic equivalence of domains
ⓘ
complex geodesics ⓘ hyperbolicity of complex manifolds ⓘ |
| uses | Poincaré metric on the unit disk ⓘ |
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.
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.
Subject: Carathéodory metric Description of subject: 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.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.