French Railway Metrics
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, a hedgehog space is a
topological space In mathematics, a topological space is, roughly speaking, a Geometry, geometrical space in which Closeness (mathematics), closeness is defined but cannot necessarily be measured by a numeric Distance (mathematics), distance. More specifically, a to ...
consisting of a set of spines joined at a point. For any
cardinal number In mathematics, a cardinal number, or cardinal for short, is what is commonly called the number of elements of a set. In the case of a finite set, its cardinal number, or cardinality is therefore a natural number. For dealing with the cas ...
\kappa, the \kappa-hedgehog space is formed by taking the
disjoint union In mathematics, the disjoint union (or discriminated union) A \sqcup B of the sets and is the set formed from the elements of and labelled (indexed) with the name of the set from which they come. So, an element belonging to both and appe ...
of \kappa real
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysi ...
s identified at the origin (though its
topology Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
is not the
quotient topology In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient to ...
, but that defined by the
metric Metric or metrical may refer to: Measuring * Metric system, an internationally adopted decimal system of measurement * An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement Mathematics ...
below). Each unit interval is referred to as one of the hedgehog's ''spines.'' A \kappa-hedgehog space is sometimes called a hedgehog space of spininess \kappa. The hedgehog space is a
metric space In mathematics, a metric space is a Set (mathematics), set together with a notion of ''distance'' between its Element (mathematics), elements, usually called point (geometry), points. The distance is measured by a function (mathematics), functi ...
, when endowed with the hedgehog metric d(x,y)=\left, x - y \ if x and y lie in the same spine, and by d(x,y)=\left, x\ + \left, y\ if x and y lie in different spines. Although their disjoint union makes the origins of the intervals distinct, the metric makes them equivalent by assigning them 0 distance. Hedgehog spaces are examples of real trees.


Paris metric

The metric on the
plane Plane most often refers to: * Aero- or airplane, a powered, fixed-wing aircraft * Plane (geometry), a flat, 2-dimensional surface * Plane (mathematics), generalizations of a geometrical plane Plane or planes may also refer to: Biology * Plane ...
in which the distance between any two points is their
Euclidean distance In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is o ...
when the two points belong to a ray through the origin, and is otherwise the sum of the distances of the two points from the origin, is sometimes called the Paris metric because navigation in this metric resembles that in the radial street plan of
Paris Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, largest city of France. With an estimated population of 2,048,472 residents in January 2025 in an area of more than , Paris is the List of ci ...
: for almost all pairs of points, the shortest path passes through the center. The Paris metric, restricted to the
unit disk In mathematics, the open unit disk (or disc) around ''P'' (where ''P'' is a given point in the plane), is the set of points whose distance from ''P'' is less than 1: :D_1(P) = \.\, The closed unit disk around ''P'' is the set of points whose d ...
, is a hedgehog space where ''K'' is the
cardinality of the continuum In set theory, the cardinality of the continuum is the cardinality or "size" of the set of real numbers \mathbb R, sometimes called the continuum. It is an infinite cardinal number and is denoted by \bold\mathfrak c (lowercase Fraktur "c") or \ ...
.


Kowalsky's theorem

Kowalsky's theorem, named after Hans-Joachim Kowalsky, states that any
metrizable space In topology and related areas of mathematics, a metrizable space is a topological space that is Homeomorphism, homeomorphic to a metric space. That is, a topological space (X, \tau) is said to be metrizable if there is a Metric (mathematics), metr ...
of
weight In science and engineering, the weight of an object is a quantity associated with the gravitational force exerted on the object by other objects in its environment, although there is some variation and debate as to the exact definition. Some sta ...
\kappa can be represented as a
topological subspace In topology and related areas of mathematics, a subspace of a topological space (''X'', ''𝜏'') is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''𝜏'' called the subspace topology (or the relative topology, o ...
of the product of
countably many In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; ...
spaces.


See also

* Comb space *
Long line (topology) In topology, the long line (or Alexandroff line) is a topological space somewhat similar to the real line, but in a certain sense "longer". It behaves locally just like the real line, but has different large-scale properties (e.g., it is neither ...
*
Rose (topology) In mathematics, a rose (also known as a bouquet of ''n'' circles) is a topological space obtained by gluing together a collection of circles along a single point. The circles of the rose are called petals. Roses are important in algebraic top ...


References


Other sources

* * *{{cite arXiv , last1=Torres , first1=Igor , title=A tale of three hedgehogs , date=2017 , class=math.GN , eprint=1711.08656 General topology Topological spaces Trees (topology)