Pseudometric space

Pseudometric space

In mathematics, a pseudometric space is a generalized metric space in which the distance between two distinct points can be zero. 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.

Contents

Definition

A pseudometric space (X,d) is a set X together with a non-negative real-valued function d: X \times X \longrightarrow \mathbb{R}_{\geq 0} (called a pseudometric) such that, for every x,y,z \in X,

  1. \,\!d(x,x) = 0.
  2. \,\!d(x,y) = d(y,x) (symmetry)
  3. \,\!d(x,z) \leq d(x,y) + d(y,z) (subadditivity/triangle inequality)

Unlike a metric space, points in a pseudometric space need not be distinguishable; that is, one may have d(x,y) = 0 for distinct values x\ne y.

Examples

Pseudometrics arise naturally in functional analysis. Consider the space \mathcal{F}(X) of real-valued functions f:X\to\mathbb{R} together with a special point x_0\in X. This point then induces a pseudometric on the space of functions, given by

\,\!d(f,g) = |f(x_0)-g(x_0)|\;

for f,g\in \mathcal{F}(X)

For vector spaces V, a seminorm p induces a pseudometric on V, as

\,\!d(x,y)=p(x-y).

Conversely, a homogeneous, translation invariant pseudometric induces a seminorm.

Topology

The pseudometric topology is the topology induced by the open balls

B_r(p)=\{ x\in X\mid d(p,x)<r \},

which form a basis for the topology.[1] A topological space is said to be a pseudometrizable topological space 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. That is, a pseudometric is a metric if and only if the topology it generates is T0 (i.e. distinct points are topologically distinguishable).

Metric identification

The vanishing of the pseudometric induces an equivalence relation, called the metric identification, that converts the pseudometric space into a full-fledged metric space. This is done by defining x˜y if d(x,y) = 0. Let X * = X / ∼ and let

d * ([x],[y]) = d(x,y)

Then d * is a metric on X * and (X * ,d * ) is a well-defined metric space.

The metric identification preserves the induced topologies. That is, a subset A\subset X is open (or closed) in (X,d) if and only if π(A) = [A] is open (or closed) in (X * ,d * ).

Notes

  1. ^ Pseudometric topology on PlanetMath

References

  • Arkhangel'skii, A.V.; Pontryagin, L.S. (1990). General Topology I: Basic Concepts and Constructions Dimension Theory. Encyclopaedia of Mathematical Sciences. Springer. ISBN 3-540-18178-4. 
  • Steen, Lynn Arthur; Seebach, Arthur (1995) [1970]. Counterexamples in Topology (new edition ed.). Dover Publications. ISBN 048668735X. 
  • This article incorporates material from Pseudometric space on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
  • Example of pseudometric space on PlanetMath

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Pseudometric — may refer to:* Pseudo Riemannian manifold * Pseudometric space …   Wikipedia

  • Metric space — In mathematics, a metric space is a set where a notion of distance (called a metric) between elements of the set is defined. The metric space which most closely corresponds to our intuitive understanding of space is the 3 dimensional Euclidean… …   Wikipedia

  • Hemimetric space — In mathematics, a hemimetric space is a generalization of a metric space, obtained by removing the requirements of identity of indiscernibles and of symmetry. It is thus a generalization of both a quasimetric space and a pseudometric space, while …   Wikipedia

  • Semimetric space — In topology, a semimetric space is a generalized metric space in which the triangle inequality is not required. In translations of Russian texts, a semimetric is sometimes called a symmetric.Note: In functional analysis and related mathematical… …   Wikipedia

  • Hausdorff space — In topology and related branches of mathematics, a Hausdorff space, separated space or T2 space is a topological space in which distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topological space …   Wikipedia

  • Normed vector space — In mathematics, with 2 or 3 dimensional vectors with real valued entries, the idea of the length of a vector is intuitive and can easily be extended to any real vector space Rn. The following properties of vector length are crucial. 1. The zero… …   Wikipedia

  • Tychonoff space — Separation Axioms in Topological Spaces Kolmogorov (T0) version T0 | T1 | T2 | T2½ | completely T2 T3 | T3½ | T4 | T5 | T6 In topology and related branches of mathematic …   Wikipedia

  • Baire space — In mathematics, a Baire space is a topological space which, intuitively speaking, is very large and has enough points for certain limit processes. It is named in honor of René Louis Baire who introduced the concept. Motivation In an arbitrary… …   Wikipedia

  • Uniform space — In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure which is used to define uniform properties such as completeness, uniform continuity and… …   Wikipedia

  • Locally convex topological vector space — In functional analysis and related areas of mathematics, locally convex topological vector spaces or locally convex spaces are examples of topological vector spaces (TVS) which generalize normed spaces. They can be defined as topological vector… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”