2026-06-28T15:17:48Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/573532024-07-09T12:47:03Zcom_20.500.14352_14col_20.500.14352_15

00925njm 22002777a 4500 dc Alonso Morón, Manuel author Romero Ruiz Del Portal, Francisco author 1997 Let X and Y be metric compacta, Y embedded in the Hilbert cube Q. For two maps f,g:X→Q the authors define F(f,g):=inf{ε>0:f is homotopic to g in the ε-neighborhood of Y}, and a sequence of maps fk :X→Q, k∈N, is said to be a Cauchy sequence provided for every ε>0 there is a k0∈N such that F(fk,fk′)<ε whenever k,k′≥k 0. Such sequences coincide with the approximative maps of K. Borsuk [Theory of shape, PWN, Warsaw, 1975] and represent shape morphisms from X to Y. The function F is not a pseudometric, but defining d(α,β):=lim k F(fk,gk), where the shape morphisms α,β∈Sh(X,Y) are represented by Cauchy sequences (fk),(gk), the authors prove that (Sh(X,Y),d) becomes a complete zero-dimensional ultrametric space, homeomorphic to a closed subset of the irrationals. Among other things, the authors prove that if two compacta X and Y are of the same shape, then for every compactum Z, the spaces Sh (X,Z) and Sh (Y,Z) are uniformly homeomorphic. In the last section, the authors show, for example, that for X compact and Y∈FANR , the space Sh (X,Y) is countable, give several characterizations of various kinds of movability, and translate their results to Z-sets in Q and sequences of proper maps between their complements. Alonso Morón, M., Romero Ruiz Del Portal, F. «Shape as a Cantor Completion Process»: Mathematische Zeitschrift, vol. 225, n.o 1, mayo de 1997, pp. 67-86. DOI.org (Crossref), https://doi.org/10.1007/PL00004599. 0025-5874 10.1007/PL00004599 https://hdl.handle.net/20.500.14352/57353 https//doi.org/10.1007/PL00004599 http://www.springerlink.com/content/2hrud9293y1cm3a9/fulltext.pdf Shape as a Cantor completion process