Hedgehog Space¶
Join a cardinal-indexed family of unit intervals at one origin and metrize the result so paths on different spines pass through the common center.
Core Idea¶
For a cardinal \(\kappa\), the metric hedgehog \(J(\kappa)\) consists of \(\kappa\) copies of the unit interval joined at their zero endpoints. A convenient point representation is a common origin \(0\) plus pairs \((t,\alpha)\), where \(0<t\le 1\) and \(\alpha<\kappa\) identifies a spine. Its metric is
Thus the shortest path between different spines passes through the origin. Each spine is isometric to \([0,1]\), and the whole space is a star-shaped real tree with one branch point of valence \(\kappa\).
Scope of Application¶
Hedgehogs are standard examples in metrization, embedding theory, general topology, metric geometry, and real-tree theory. They isolate how cardinal branching affects local bases, compactness, separability, and products while retaining a completely explicit distance.
Kowalsky’s hedgehog theorem makes the construction universal: every metrizable space of weight \(\kappa\) embeds in a countable Cartesian power of a metric hedgehog of suitable spininess. This role is analogous to a cardinal-sensitive coordinate space for metrizable topology.
Clarity¶
Points on different spines with radii \(s\) and \(t\) are distance \(s+t\), not their Euclidean chord distance in a chosen drawing. A planar picture is mnemonic; it is not the definition and cannot faithfully display uncountable spininess.
A sequence approaching the origin must have radial coordinate tending to zero, even if it changes spines each term. Away from the origin, sufficiently small balls remain within a single spine.
Manages Complexity¶
The entire space is controlled by one cardinal and one piecewise metric formula. Complicated branching becomes analyzable through radial distance and spine equality. A countable product then supplies coordinates for embedding broad classes of metrizable spaces.
The simplicity can hide topology variants. Any theorem must specify which hedgehog and whether the spininess is finite, countable, or uncountable; properties that coincide in the finite case may diverge in the infinite case.
Abstract Reasoning¶
- Choose the cardinal \(\kappa\) and label its spines. 2. Form the common-origin point set without assuming its topology. 3. Define the piecewise radial distance. 4. Verify metric axioms, especially the triangle inequality across three spines. 5. Derive neighborhoods at the origin and on open spine segments. 6. Determine weight, density, compactness, completeness, and separability. 7. Compare with quotient or compact hedgehog topologies only through explicit identity maps.
Knowledge Transfer¶
The reusable insight is to model many alternatives as radial branches sharing one neutral state, with transitions between alternatives forced through that state. Routing and decision diagrams may use the analogy, but the theorem-bearing object is metric-topological.
The proposed immediate parent is Metric, because the hedgehog is defined and its topology generated by a particular distance rule.
Relationships to Other Abstractions¶
Current abstraction Hedgehog Space Domain-specific
Parents (1) — more general patterns this builds on
-
Hedgehog Space is a kind of Metric Prime
Metric is the proposed immediate parent.
Hierarchy path (1) — routes to 1 parentless root
- Hedgehog Space → Metric → Function (Mapping)
Neighborhood in Abstraction Space¶
Hedgehog Space sits in a sparse region of the domain-specific corpus (97th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Dogbone space — 0.76
- Reach (Mathematics) — 0.75
- Root System — 0.75
- Metrizable space — 0.75
- Laakso Space — 0.75
Computed from structural-signature embeddings · 2026-09-08