Ultrametric space

In mathematics, an ultrametric space is a metric space in which the triangle inequality is strengthened to . Sometimes the associated metric is also called a non-Archimedean metric or super-metric. An ultrametric on a set M is a real-valued function (where R denote the real numbers), such that for all x, y, z ∈ M: d(x, y) ≥ 0; d(x, y) = d(y, x) (symmetry); d(x, x) = 0; if d(x, y) = 0 then x = y; d(x, z) ≤ max {d(x, y), d(y, z) } (strong triangle inequality or ultrametric inequality). An ultrametric space is a pair (M, d) consisting of a set M together with an ultrametric d on M, which is called the space's associated distance function (also called a metric). If d satisfies all of the conditions except possibly condition 4 then d is called an ultrapseudometric on M. An ultrapseudometric space is a pair (M, d) consisting of a set M and an ultrapseudometric d on M. In the case when M is an Abelian group (written additively) and d is generated by a length function (so that ), the last property can be made stronger using the Krull sharpening to: with equality if . We want to prove that if , then the equality occurs if . Without loss of generality, let us assume that . This implies that . But we can also compute . Now, the value of cannot be , for if that is the case, we have contrary to the initial assumption. Thus, , and . Using the initial inequality, we have and therefore . From the above definition, one can conclude several typical properties of ultrametrics. For example, for all , at least one of the three equalities or or holds. That is, every triple of points in the space forms an isosceles triangle, so the whole space is an isosceles set. Defining the (open) ball of radius centred at as , we have the following properties: Every point inside a ball is its center, i.e. if then . Intersecting balls are contained in each other, i.e. if is non-empty then either or . All balls of strictly positive radius are both open and closed sets in the induced topology. That is, open balls are also closed, and closed balls (replace with ) are also open.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (5)

Related lectures (6)

Introduction to 3-State Ising Model

Covers the theoretical background and applications of the 3-state Ising model.

Convolutional Codes & Viterbi Decoder

Covers Convolutional Codes, Viterbi Algorithm, state and branch metric computations, and survivor path length limitations.

Uniform Integrability and Convergence

Explores uniform integrability, convergence theorems, and the importance of bounded sequences in understanding the convergence of random variables.

Real number

In mathematics, a real number is a number that can be used to measure a continuous one-dimensional quantity such as a distance, duration or temperature. Here, continuous means that pairs of values can have arbitrarily small differences. Every real number can be almost uniquely represented by an infinite decimal expansion. The real numbers are fundamental in calculus (and more generally in all mathematics), in particular by their role in the classical definitions of limits, continuity and derivatives.

Ultrametric space

Absolute value

In mathematics, the absolute value or modulus of a real number , denoted , is the non-negative value of without regard to its sign. Namely, if is a positive number, and if is negative (in which case negating makes positive), and . For example, the absolute value of 3 is 3, and the absolute value of −3 is also 3. The absolute value of a number may be thought of as its distance from zero. Generalisations of the absolute value for real numbers occur in a wide variety of mathematical settings.