Abstract
We apply a Cantor completion process to construct a complete, non-Archimedean metric on the set of shape morphisms between pointed compacta. In the case of shape groups we obtain a canonical norm producing a complete, both left and right invariant ultrametric. On the other hand, we give a new characterization of movability and we use these spaces of shape morphisms and uniformly continuous maps between them, to prove an infinite-dimensional theorem from which we can show, in a short and elementary way, some known Whitehead type theorems in shape theory.
Similar content being viewed by others
References
M.F. Atiyah, G.B. Segal,Equivariant K-theory and completion, J. Diff. Geom. 3 (1969) 1–18.
K. Borsuk,Theory of shape, Monografie Matematyczne 59 (PWN, Warsaw, 1975)
—,Concerning homotopy properties of compacta. Fund. Math. 62 (1968) 223–254
J. Dydak,The Whitehead and the Smale theorems in shape theory, Diss. Math. 156 (1979), 1–55
J. Dydak, J. Segal,Shape theory: An Introduction, Lecture Notes in Math. 688 (Springer-Verlag, Berlin, 1978)
D.A. Edwards, R. Geoghegan,Compacta weak equivalent to ANR's, Fund. Math. 90 (1975), 115–124
—,Infinite-dimensional Whitehead and Vietoris theorems in shape and pro-homotopy, Trans. Amer. Math. Soc. 219 (1976) 351–360
R. Geoghegan,Elementary proofs of stability theorems in pro-homotopy and shape, Gen. Top. Appl. 8 (1978) 265–281
K.N. Jones,A norm on the fundamental group of non-Haken 3-manifolds, Proc. Amer. Math. Soc., 120, 1 (1994) 305–309
J.E. Keesling,On the Whitehead theorem in shape theory, Fund. Math. 92 (1976), 247–253
K. Morita,The Hurewicz and the Whitehead theorems in shape theory, Sci. Rep. Tokyo Kyoiku Daigaku. Sec. A. 12 (1974) 246–258
M.A. Morón, F.R. Ruiz del Portal,Shape as a Cantor completion process, Math. Zeitschrift (to appear)
M.A. Morón,A topology on the set of shape morphisms, preprint
—,Counting shape and homotopy types among FANR's: An elementary approach, Manuscripta Math. 79, (1993) 411–414
S. Mardešić, J. Segal,Shape theory, North-Holland, Amsterdam, 1982
R.H. Overton, J. Segal,A new construction of movable compacta, Glasnik Mat. 6 (1971) 361–363
W.H. Schikhof,Ultrametric calculus. An introduction to p-adic analysis, Cambridge University Press 1984
E. Spanier,Algebraic Topology McGraw-Hill, NY, 1966
S. Spiez,A majorant for the class of movable compacta, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys. 21 (1973)
J.L. Taylor,A counterexample in shape theory, Bull. Amer. Math. Soc. 81 (1975), 629–632
Author information
Authors and Affiliations
Additional information
The authors have been supported by DGICYT, PB93-0454-C02-02. Most of this work was done while the second author was visiting the Department of Mathematics of the University of Tennessee at Knoxville with a M.E.C. grant
Rights and permissions
About this article
Cite this article
Morón, M.A., Ruiz Del Portal, F.R. Ultrametrics and infinite dimensional whitehead theorems in shape theory. Manuscripta Math 89, 325–333 (1996). https://doi.org/10.1007/BF02567521
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02567521