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.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1994
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: General Topology → Mathematics
Aliases: Metric hedgehog, Hedgehog of spininess kappa, Kowalsky hedgehog

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

\[ d((s,\alpha),(t,\beta))= \begin{cases} |s-t|,&\alpha=\beta,\\ s+t,&\alpha\ne\beta. \end{cases} \]

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\).

How would you explain it like I'm…

The Glued-Sticks Hedgehog

Picture a bunch of sticks, all the same length, with one end of each glued together at a single middle point, like spikes on a hedgehog. If a bug wants to walk from one stick to a different stick, it has to walk back to the middle first. That's a hedgehog space.

Spines Through the Middle

A hedgehog space is made of many copies of a line segment of length 1, called spines, all joined at their starting ends. To measure distance between two points on the same spine, you just subtract their positions. For points on different spines, you must travel to the center and back out, so you add their distances from the center. You can have any number of spines, even infinitely many. With infinitely many spines, mathematicians have to be careful about which exact version of 'nearness' they mean.

Metric Hedgehog of Unit Spines

The metric hedgehog J(κ) consists of κ copies of the interval [0,1], called spines, all joined at their 0 endpoints. Here κ is any number of spines, finite or infinite. A point is either the origin or a pair (t, α), where 0 < t ≤ 1 is the distance from the center and α names the spine. The distance is |s − t| for points on the same spine and s + t for points on different spines, so shortest paths between spines pass through the origin. Each spine is an exact copy of [0,1]. The whole space forms a star-shaped tree with one branch point. When there are infinitely many spines, 'glue intervals at zero' is not a complete description, because other topologies on the same set exist that differ from this metric one.

For a cardinal κ, the metric hedgehog J(κ) consists of κ unit intervals (spines) joined at their zero endpoints. Points are the common origin 0 and pairs (t, α) with 0 < t ≤ 1 and α < κ indexing the spine. The metric is d((s,α),(t,β)) = |s − t| if α = β and s + t if α ≠ β, so geodesics between different spines pass through the origin. Each spine is isometric to [0,1], and J(κ) is a star-shaped real tree with a single branch point of valence κ. For infinite κ the metric topology is essential to the definition. The same wedge-shaped set carries a quotient topology, from gluing intervals in the topological sense, and a compact hedgehog topology, and these need not coincide with the metric topology. So specifying 'the hedgehog' requires naming the metric.

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.
Form the common-origin point set without assuming its topology.
Define the piecewise radial distance.
Verify metric axioms, especially the triangle inequality across three spines.
Derive neighborhoods at the origin and on open spine segments.
Determine weight, density, compactness, completeness, and separability.
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) — outgoing typed relations

Hedgehog Space is a kind of Metric Prime

Metric is the broader abstraction this entry instantiates.

Hierarchy path (1) — routes to 1 parentless root

Hedgehog Space → is a kind of Metric → is a kind of Function (Mapping)

Neighborhood in Abstraction Space¶

Hedgehog Space sits in a sparse region of the domain-specific corpus (97^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25