An answer to a question on hyperspaces
Soit un espace de Banach de dual topologique . (resp. ) désigne l’ensemble des parties non vides convexes fermées de (resp. -fermées de ) muni de la topologie de la convergence uniforme sur les bornés des fonctions distances. Cette topologie se réduit à celle de la métrique de Hausdorff sur les convexes fermés bornés [16] et admet en général une représentation en terme de cette dernière [11]. De plus, la métrique qui lui est associée s’est révélée très adéquate pour l’étude quantitative...
Let X be a Banach space and X' its continuous dual. C(X) (resp. C(X')) denotes the set of nonempty convex closed subsets of X (resp. ω*-closed subsets of X') endowed with the topology of uniform convergence of distance functions on bounded sets. This topology reduces to the Hausdorff metric topology on the closed and bounded convex sets [16] and in general has a Hausdorff-like presentation [11]. Moreover, this topology is well suited for estimations and constructive approximations [6-9]. We...
Mostriamo che se è uno spazio metrico completo, allora è completa anche la metrica , indotta in modo naturale da sul sottospazio degli insiemi sfocati («fuzzy») di dati dalle quantità approssimate. Come è ben noto, è una metrica molto interessante nella teoria dei punti fissi di applicazioni sfocate, poiché permette di ottenere risultati soddisfacenti in questo contesto.
We study the bi-Lipschitz embedding problem for metric compacta hyperspaces. We observe that the compacta hyperspace K(X) of any separable, uniformly disconnected metric space X admits a bi-Lipschitz embedding in ℓ². If X is a countable compact metric space containing at most n nonisolated points, there is a Lipschitz embedding of K(X) in ; in the presence of an additional convergence condition, this embedding may be chosen to be bi-Lipschitz. By way of contrast, the hyperspace K([0,1]) of the...
Given a discrete group , we consider the set of all subgroups of endowed with topology of pointwise convergence arising from the standard embedding of into the Cantor cube . We show that the cellularity for every abelian group , and, for every infinite cardinal , we construct a group with .
A homeomorphism f : X → X of a compactum X is expansive (resp. continuum-wise expansive) if there is c > 0 such that if x, y ∈ X and x ≠ y (resp. if A is a nondegenerate subcontinuum of X), then there is n ∈ ℤ such that (resp. ). We prove the following theorem: If f is a continuum-wise expansive homeomorphism of a compactum X and the covering dimension of X is positive (dim X > 0), then there exists a σ-chaotic continuum Z = Z(σ) of f (σ = s or σ = u), i.e. Z is a nondegenerate subcontinuum...
It is shown that the hyperspace (resp. ) of non-empty closed (resp. closed and bounded) subsets of a metric space (X,d) is homeomorphic to ℓ₂ if and only if the completion X̅ of X is connected and locally connected, X is topologically complete and nowhere locally compact, and each subset (resp. each bounded subset) of X is totally bounded.
A net in a Hausdorff uniform space is called cofinally Cauchy if for each entourage, there exists a cofinal (rather than residual) set of indices whose corresponding terms are pairwise within the entourage. In a metric space equipped with the associated metric uniformity, if each cofinally Cauchy sequence has a cluster point, then so does each cofinally Cauchy net, and the space is called cofinally complete. Here we give necessary and sufficient conditions for the nonempty closed subsets of the...
Let (X, d) be a metric space and CL(X) the family of all nonempty closed subsets of X. We provide a new proof of the fact that the coincidence of the Vietoris and Wijsman topologies induced by the metric d forces X to be a compact space. In the literature only a more involved and indirect proof using the proximal topology is known. Here we do not need this intermediate step. Moreover we prove that (X, d) is boundedly compact if and only if the bounded Vietoris and Wijsman topologies on CL(X) coincide....