Pseudometrics
The pseudometrics , also half-metric or span, is a mathematical concept of distance that weakens the more specific concept of metric . By a pseudo metric, more frequently, through a system of pseudo-metrics on a set is in the mathematical branch topology a uniform structure introduced on this set. The reverse applies: Every uniform structure can be induced by a system of spans. For uniform spaces that have a countable fundamental system, the following even applies: Their uniform structure can be induced by a single span.
Definition and characteristics
Be any set. A picture is pseudometric , half metric or margin if for any element , and of they meet the following conditions:
- ("The span between a point and the point itself is 0."),
- (Symmetry: "The span between two points does not depend on the order.") And
- ( Triangle inequality : "The range is shortest on the direct route.").
It follows from the conditions that no range can be negative because it holds .
The only difference to the definition of a metric is that the definiteness condition is missing: There can be elements that are different, but between which the range is still 0:
- .
If there are such elements in , then one also says that the range is a real pseudometric . If it doesn't exist, then the range is actually a metric.
Some terms that are defined in metric spaces with the help of a metric can also be defined literally with ranges, for example the restricted subsets of , restricted mappings according to , equally restricted families of mappings according to (see: Boundedness ).
As an example, only the concept of uniform continuity is given here: Let and quantities with the ranges or . Then a mapping is called uniformly continuous if there is a positive for every positive such that
- applies.
Tension and uniform structures
Definition of a uniform structure by tensioning
Be a lot with the range . Then the system forms all relations of form
- ,
a fundamental system of a uniform structure . This structure is called defined by the span .
If a family of ranges is given, then the supremum of the uniform structures defined by , i.e. the coarsest uniform structure in which all are uniformly continuous, is called the uniform structure defined by the family.
Definition of a span through a uniform structure
The following construction is a proof sketch for the statement from the introduction: "Every uniform structure that has a countable fundamental system can be defined by a range". For this purpose, now be such a uniform space and a countable fundamental system.
Now the neighborhoods are first symmetrized and tailored, we replace them with symmetrical neighborhoods with the properties and ( here we mean the concatenation in the relational sense). The auxiliary function
is symmetrical and disappears on the diagonal. In order to satisfy the triangle inequality, the shortest path must now be found. Let us be the set of all finite sequences of points with a starting point and an end point . The range you are looking for is then
- .
The range is of course not clearly determined by the uniform structure . However , the structure defined by as described above then corresponds to the original uniform structure.
Examples and construction of spans
- Every metric is a range, so every example of a metric space provides an example of a range.
- The zero span creates the indiscreet topology on every set , which turns out to be a uniform structure.
- On the set of positive fractions , the amount metric and the discrete metric each have a range (even a metric). Both spans induce the same, namely the discrete topology, and are therefore topologically equivalent. However, they define different uniform structures .
- Finite number of clamping on to a new range will be added.
- Countably many spans on can add up to the span
- be put together.
literature
- Boto von Querenburg : Set theoretical topology. 3rd revised and expanded edition. Springer-Verlag, Berlin et al. 2001, ISBN 3-540-67790-9 ( Springer textbook ).