Tangent mappings and convergent sequences in the Lipschitz category
We characterize metric spaces whose hyperspaces of non-empty closed, bounded, compact or finite subsets, endowed with the Attouch-Wets topology, are absolute (neighborhood) retracts.
Let , and be the spaces of all non-empty closed convex sets in a normed linear space X admitting the Hausdorff metric topology, the Attouch-Wets topology and the Wijsman topology, respectively. We show that every component of and the space are AR. In case X is separable, is locally path-connected.
Following Banakh and Gabriyelyan (2016) we say that a Tychonoff space X is an Ascoli space if every compact subset of is evenly continuous; this notion is closely related to the classical Ascoli theorem. Every -space, hence any k-space, is Ascoli. Let X be a metrizable space. We prove that the space is Ascoli iff is a -space iff X is locally compact. Moreover, endowed with the weak topology is Ascoli iff X is countable and discrete. Using some basic concepts from probability theory and...
We prove a commutative Gelfand-Naimark type theorem, by showing that the set of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space X (provided with the supremum norm) is a Banach algebra, isometrically isomorphic to C₀(Y) for some unique (up to homeomorphism) locally compact Hausdorff space Y. The space Y, which we explicitly construct as a subspace of the Stone-Čech compactification of X, is countably compact, and if X is non-separable,...
The following properties of C[0,1] are proved here. Let T: C[0,1] → Y be a disjointness preserving bijection onto an arbitrary vector lattice Y. Then the inverse operator is also disjointness preserving, the operator T is regular, and the vector lattice Y is order isomorphic to C[0,1]. In particular if Y is a normed lattice, then T is also automatically norm continuous. A major step needed for proving these properties is provided by Theorem 3.1 asserting that T satisfies some technical condition...
We define “the category of compactifications”, which is denoted CM, and consider its family of coreflections, denoted corCM. We show that corCM is a complete lattice with bottom the identity and top an interpretation of the Čech–Stone . A corCM implies the assignment to each locally compact, noncompact a compactification minimum for membership in the “object-range” of . We describe the minimum proper compactifications of locally compact, noncompact spaces, show that these generate the atoms...
We characterize clean elements of and show that is clean if and only if there exists a clopen sublocale in such that . Also, we prove that is clean if and only if has a clean prime ideal. Then, according to the results about we immediately get results about
We consider separable metrizable topological spaces. Among other things we prove that there exists a non-contractible space with the compact extension property and we prove a new version of realization of polytopes for ’s.