In mathematics, a pseudometric space is a generalization of a metric space in which the distance between two distinct points can be zero. Pseudometric spaces were introduced by Đuro Kurepa in 1934. In the same way as every normed space is a metric space, every seminormed space is a pseudometric space. Because of this analogy the term semimetric space (which has a different meaning in topology) is sometimes used as a synonym, especially in functional analysis.
When a topology is generated using a family of pseudometrics, the space is called a gauge space.
A pseudometric space is a set together with a non-negative real-valued function called a , such that for every
Symmetry:
Subadditivity/Triangle inequality:
Unlike a metric space, points in a pseudometric space need not be distinguishable; that is, one may have for distinct values
Any metric space is a pseudometric space.
Pseudometrics arise naturally in functional analysis. Consider the space of real-valued functions together with a special point This point then induces a pseudometric on the space of functions, given by for
A seminorm induces the pseudometric . This is a convex function of an affine function of (in particular, a translation), and therefore convex in . (Likewise for .)
Conversely, a homogeneous, translation-invariant pseudometric induces a seminorm.
Pseudometrics also arise in the theory of hyperbolic complex manifolds: see Kobayashi metric.
Every measure space can be viewed as a complete pseudometric space by defining for all where the triangle denotes symmetric difference.
If is a function and d2 is a pseudometric on X2, then gives a pseudometric on X1. If d2 is a metric and f is injective, then d1 is a metric.
The is the topology generated by the open balls
which form a basis for the topology. A topological space is said to be a if the space can be given a pseudometric such that the pseudometric topology coincides with the given topology on the space.
The difference between pseudometrics and metrics is entirely topological.
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.
In topology and related areas of mathematics, the neighbourhood system, complete system of neighbourhoods, or neighbourhood filter for a point in a topological space is the collection of all neighbourhoods of Neighbourhood of a point or set An of a point (or subset) in a topological space is any open subset of that contains A is any subset that contains open neighbourhood of ; explicitly, is a neighbourhood of in if and only if there exists some open subset with . Equivalently, a neighborhood of is any set that contains in its topological interior.
In mathematics, particularly in functional analysis, a seminorm is a vector space norm that need not be positive definite. Seminorms are intimately connected with convex sets: every seminorm is the Minkowski functional of some absorbing disk and, conversely, the Minkowski functional of any such set is a seminorm. A topological vector space is locally convex if and only if its topology is induced by a family of seminorms.
In topology, a topological space with the trivial topology is one where the only open sets are the empty set and the entire space. Such spaces are commonly called indiscrete, anti-discrete, concrete or codiscrete. Intuitively, this has the consequence that all points of the space are "lumped together" and cannot be distinguished by topological means. Every indiscrete space is a pseudometric space in which the distance between any two points is zero.
The focus of this reading group is to delve into the concept of the "Magnitude of Metric Spaces". This approach offers an alternative approach to persistent homology to describe a metric space across
The first part is devoted to Monge and Kantorovitch problems, discussing the existence and the properties of the optimal plan. The second part introduces the Wasserstein distance on measures and devel
A topological space is a space endowed with a notion of nearness. A metric space is an example of a topological space, where the concept of nearness is measured by a distance function. Within this abs
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and C-1 functions. This way we prove more directly a result by Lee and Naor [5] and we generalize the C-l extension theorem by ...
In this thesis we present and analyze approximation algorithms for three different clustering problems. The formulations of these problems are motivated by fairness and explainability considerations, two issues that have recently received attention in the ...
Data-driven approaches have been applied to reduce the cost of accurate computational studies on materials, by using only a small number of expensive reference electronic structure calculations for a representative subset of the materials space, and using ...