Namespaces
Variants
Actions

Difference between revisions of "Wijsman convergence"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (link)
 
Line 5: Line 5:
 
If the pointwise convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012018.png" /> is replaced by [[Uniform convergence|uniform convergence]], then Hausdorff convergence is obtained, which has been known for a long time. The associated Hausdorff topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012019.png" /> is derived from the [[Hausdorff metric|Hausdorff metric]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012020.png" /> given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012021.png" />). It is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012022.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012023.png" /> is totally bounded (cf. also [[Totally-bounded space|Totally-bounded space]]).
 
If the pointwise convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012018.png" /> is replaced by [[Uniform convergence|uniform convergence]], then Hausdorff convergence is obtained, which has been known for a long time. The associated Hausdorff topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012019.png" /> is derived from the [[Hausdorff metric|Hausdorff metric]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012020.png" /> given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012021.png" />). It is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012022.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012023.png" /> is totally bounded (cf. also [[Totally-bounded space|Totally-bounded space]]).
  
A natural question arises: What is the supremum of the Wijsman topologies induced by the family of all metrics that are topologically (respectively, uniformly) equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012024.png" />. It was shown by Beer, Levi, A. Lechicki, and S. Naimpally that the supremum of topologically (respectively, uniformly) equivalent metrics is the Vietoris topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012025.png" /> (cf. [[Exponential topology|Exponential topology]]; respectively, the proximal topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012026.png" />). These are hit-and-miss type topologies; the former has been known for a long time while the latter is a rather recent discovery (1999; cf. also [[Hit-or-miss topology|Hit-or-miss topology]]). It is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012027.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012028.png" /> is compact, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012029.png" /> is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012030.png" /> being totally bounded. G. Di Maio and Naimpally discovered a (hit-and-miss) proximal ball topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012031.png" /> which equals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012032.png" /> in almost convex metric spaces (these include normed linear spaces) [[#References|[a3]]]. L. Holá and R. Lucchetti have discovered necessary and sufficient conditions for the equality of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012034.png" />.
+
A natural question arises: What is the supremum of the Wijsman topologies induced by the family of all metrics that are topologically (respectively, uniformly) equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012024.png" />. It was shown by Beer, Levi, A. Lechicki, and S. Naimpally that the supremum of topologically (respectively, uniformly) equivalent metrics is the [[Vietoris topology]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012025.png" /> (cf. [[Exponential topology]]; respectively, the proximal topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012026.png" />). These are hit-and-miss type topologies; the former has been known for a long time while the latter is a rather recent discovery (1999; cf. also [[Hit-or-miss topology|Hit-or-miss topology]]). It is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012027.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012028.png" /> is compact, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012029.png" /> is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012030.png" /> being totally bounded. G. Di Maio and Naimpally discovered a (hit-and-miss) proximal ball topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012031.png" /> which equals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012032.png" /> in almost convex metric spaces (these include normed linear spaces) [[#References|[a3]]]. L. Holá and R. Lucchetti have discovered necessary and sufficient conditions for the equality of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012034.png" />.
  
 
The Wijsman topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012035.png" /> is always a Tikhonov topology (cf. also [[Tikhonov space|Tikhonov space]]) and a remarkable theorem of Levi and Lechicki shows that the separability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012036.png" /> is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012037.png" /> being metrizable or first countable or second countable.
 
The Wijsman topology <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012035.png" /> is always a Tikhonov topology (cf. also [[Tikhonov space|Tikhonov space]]) and a remarkable theorem of Levi and Lechicki shows that the separability of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012036.png" /> is equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/w/w130/w130120/w13012037.png" /> being metrizable or first countable or second countable.

Latest revision as of 17:28, 16 April 2016

R. Wijsman [a4] introduced a convergence for sequences of proper lower semi-continuous convex functions in . Workers in topologies on hyperspaces found this convergence and the resulting topology quite useful and subsequently a vast body of literature developed on this topic (see [a1], [a2]).

Suppose is a metric space and let denote the family of all non-empty closed subsets of . For each and one sets . One says that a net (cf. also Net (of sets in a topological space)) is Wijsman convergent to if and only if for each , , i.e. the convergence is pointwise. The resulting topology on is called the Wijsman topology induced by the metric . The dependence of the Wijsman topology on the metric is quite strong in as much as even two different uniformly equivalent metrics may induce different Wijsman topologies. Necessary and sufficient conditions for two metrics to induce the same Wijsman topology have been found by C. Costantini, S. Levi and J. Zieminska, among others. G. Beer showed that if is complete and separable (cf. also Complete metric space; Separable space), then is a Polish space, i.e. it is separable and has a compatible complete metric.

If the pointwise convergence is replaced by uniform convergence, then Hausdorff convergence is obtained, which has been known for a long time. The associated Hausdorff topology is derived from the Hausdorff metric given by ). It is known that if and only if is totally bounded (cf. also Totally-bounded space).

A natural question arises: What is the supremum of the Wijsman topologies induced by the family of all metrics that are topologically (respectively, uniformly) equivalent to . It was shown by Beer, Levi, A. Lechicki, and S. Naimpally that the supremum of topologically (respectively, uniformly) equivalent metrics is the Vietoris topology (cf. Exponential topology; respectively, the proximal topology ). These are hit-and-miss type topologies; the former has been known for a long time while the latter is a rather recent discovery (1999; cf. also Hit-or-miss topology). It is known that if and only if is compact, while is equivalent to being totally bounded. G. Di Maio and Naimpally discovered a (hit-and-miss) proximal ball topology which equals in almost convex metric spaces (these include normed linear spaces) [a3]. L. Holá and R. Lucchetti have discovered necessary and sufficient conditions for the equality of and .

The Wijsman topology is always a Tikhonov topology (cf. also Tikhonov space) and a remarkable theorem of Levi and Lechicki shows that the separability of is equivalent to being metrizable or first countable or second countable.

Wijsman's original work has been generalized by U. Mosco, Beer and others. Naimpally, Di Maio and Holá have studied Wijsman convergence in function spaces (see [a2]).

References

[a1] G. Beer, "Topologies on closed and closed convex sets" , Kluwer Acad. Publ. (1993)
[a2] G. Beer, "Wijsman convergence: A survey" Set-Valued Anal. , 2 (1994) pp. 77–94
[a3] G. Di Maio, S. Naimpally, "Comparison of hypertopologies" Rend. Ist. Mat. Univ. Trieste , 22 (1990) pp. 140–161
[a4] R. Wijsman, "Convergence ofsequences of convex sets, cones, and functions II" Trans. Amer. Math. Soc. , 123 (1966) pp. 32–45
How to Cite This Entry:
Wijsman convergence. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Wijsman_convergence&oldid=38574
This article was adapted from an original article by Som Naimpally (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article