Glasnik Matematicki, Vol. 44, No.1 (2009), 215-240.

AN APPROXIMATE INVERSE SYSTEM APPROACH TO SHAPE FIBRATIONS

Takahisa Miyata

Abstract.   The notion of shape fibration between compact metric spaces was introduced by S. Mardesic and T. B. Rushing. Mardesic extended the notion to arbitrary topological spaces. A shape fibration f : X → Y between topological spaces is defined by using the notion of resolution (p, q, f) of the map f, where p : X → X and q : Y → Y are polyhedral resolutions of X and Y, respectively, and the approximate homotopy lifting property for the system map f : X → Y. Although any map f : X → Y between topological spaces admits a resolution (p, q, f), if polyhedral resolutions p : X → X and q : Y → Y are chosen in advance, there may not exist a system map f : X → Y so that (p,q,f) is a resolution of f. To overcome this deficiency, T. Watanabe introduced the notion of approximate resolution. An approximate resolution of a map f : X → Y consists of approximate polyhedral resolutions p : X → X and q : Y → Y of X and Y, respectively, and an approximate map f : X → Y. In this paper we obtain the approximate homotopy lifting property for approximate maps and investigate its properties. Moreover, it is shown that the approximate homotopy lifting property is extended to the approximate pro-category and the approximate shape category in the sense of Watanabe. It is also shown that the approximate pro-category together with fibrations defined as morphisms having the approximate homotopy lifting property with respect to arbitrary spaces and weak equivalences defined as morphisms inducing isomorphisms in the pro-homotopy category satisfies the composition axiom for a fibration category in the sense of H. J. Baues. As an application it is shown that shape fibrations can be defined in terms of our approximate homotopy lifting property for approximate maps and that every homeomorphism is a shape fibration.

2000 Mathematics Subject Classification.   54C56, 55P55.

Key words and phrases.   Approximate inverse system, shape fibration, approximate shape, fibration category.

DOI: 10.3336/gm.44.1.14

References:

1. H. J. Baues, Algebraic homotopy, Cambridge Univ. Press, Cambridge, 1989.
   MathSciNet

2. Q. Haxhibeqiri, Shape fibrations for topological spaces, Glas. Mat. Ser. III 17(37) (1982), 381-401.
   MathSciNet

3. S. Mardesic, Mappings of inverse systems, Glasnik Mat.-Fiz. Astronom. Drustvo Mat. Fiz. Hrvatske Ser. II 18 (1963), 241-254.
   MathSciNet

4. S. Mardesic, Approximate polyhedra, resolutions of maps and shape fibrations, Fund. Math. 114 (1981), 53-78.
   MathSciNet

5. S. Mardesic and L. Rubin, Approximate inverse systems of compacta and covering dimension, Pacific J. Math. 138 (1989), 129-144.
   MathSciNet

6. S. Mardesic and T. B. Rushing, Shape fibrations I, General Toppology Appl. 9 (1978), 193-215.
   MathSciNet     CrossRef

7. S. Mardesic and J. Segal, Shape Theory, North Holland-Publishing Co., Amsterdam-New York, 1982.
   MathSciNet

8. S. Mardesic and T. Watanabe, Approximate resolutions of spaces and maps, Glas. Mat. Ser. III 24(44) (1989), 587-637.
   MathSciNet

9. J. Mioduszewski, Mappings of inverse limits, Colloq. Math. 10 (1963), 39-44.
   MathSciNet

10. T. Miyata, Pull-backs and fibrations in approximate pro-categories, Glas. Mat. Ser. III 43(63) (2008), 451-479.
    MathSciNet     CrossRef

11. T. Watanabe, Approximate expansions of maps into inverse systems, in: Geometric and Algebraic Topology, Banach Center Publ. 18 (1986), 363-370.
    MathSciNet

12. T. Watanabe, Approximative shape. I. Basic notions, Tsukuba J. Math. 11 (1987), 17-59.
    MathSciNet

13. T. Yagasaki, Fiber shape theory, shape fibrations and movability of maps, Lecture Notes in Math. 1283, Springer, Berlin, 1987, 240-252.
    MathSciNet