Wijsman convergence

From Wikipedia, the free encyclopedia

In mathematics, Wijsman convergence is a notion of convergence for sequences (or, more generally, nets) of closed subsets of metric spaces, named after the mathematician Robert Wijsman. Intuitively, Wijsman convergence is to convergence in the Hausdorff metric as pointwise convergence is to uniform convergence.

Contents

[edit] Definition

Let (Xd) be a metric space and let Cl(X) denote the collection of all d-closed subsets of X. For a point x ∈ X and a set A ∈ Cl(X), set

d(x, A) = \inf_{a \in A} d(x, a).

A sequence (or net) of sets Ai ∈ Cl(X) is said to be Wijsman convergent to A ∈ Cl(X) if, for each x ∈ X,

d(x, A_{i}) \to d(x, A).

Wijsman convergence induces a topology on Cl(X), known as the Wijsman topology.

[edit] Properties

  • The Wijsman topology depends very strongly on the metric d. Even if two metrics are uniformly equivalent, they may generate different Wijsman topologies.
  • Beer's theorem: if (Xd) is a complete, separable metric space, then Cl(X) with the Wijsman topology is a Polish space, i.e. it is separable and metrizable with a complete metric.
  • If the pointwise convergence of Wijsman convergence is replaced by uniform convergence (uniformly in x), then one obtains Hausdorff convergence, where the Hausdorff metric is given by
d_{\mathrm{H}} (A, B) = \sup_{x \in X} \big| d(x, A) - d(x, B) \big|.
The Hausdorff and Wijsman topologies on Cl(X) coincide if and only if (Xd) is a totally bounded space.

[edit] References

[edit] External links