Geometry / CONCEPT
Original chains in cyclic hyperbolic sectors
Original finite chains attain the capped angular metric in numbered hyperbolic sectors.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS0
The original chain metric and an attaining finite chain
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Cuts and midpoints in original chain quotientsstructural-affinity · Closed
- Cyclic hyperbolic sector supportstructural-affinity · Closed
- Dual and cap sign characterization of the realizing rangestructural-affinity · Closed
- Finite support regions in an actual hyperbolic planestructural-affinity · Closed
- Finite-orbit chain extended metricsstructural-affinity · Closed
- Infinite cost and self-gluing shortcutsstructural-affinity · Closed
- Local developments across original gluing facesstructural-affinity · Closed
- Local source sheets of an original chain quotientstructural-affinity · Closed
- Nonempty strict dual and cap signsstructural-affinity · Closed
- Spacelike supporting planes in the original hyperbolic metricstructural-affinity · Closed
- The original coefficient segment and every ambient between-pointstructural-affinity · Closed
- Unit tangent rays in the original hyperbolic metricstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance