Glasnik Matematicki, Vol. 44, No.1 (2009), 215-240.
AN APPROXIMATE INVERSE SYSTEM APPROACH TO
Department of Mathematics and Informatics,
Graduate School of Human Development and Environment,
Kobe University, Kobe, 657-8501, Japan
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 →
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.
Key words and phrases. Approximate inverse system, shape fibration, approximate shape, fibration category.
Full text (PDF) (free access)
- H. J. Baues,
Cambridge Univ. Press, Cambridge, 1989.
- Q. Haxhibeqiri,
Shape fibrations for topological spaces,
Glas. Mat. Ser. III 17(37) (1982), 381-401.
- S. Mardesic,
Mappings of inverse systems,
Glasnik Mat.-Fiz. Astronom. Drustvo Mat. Fiz. Hrvatske Ser. II 18 (1963), 241-254.
- S. Mardesic,
Approximate polyhedra, resolutions of maps and shape fibrations,
Fund. Math. 114 (1981), 53-78.
- S. Mardesic and L. Rubin,
Approximate inverse systems of compacta and covering dimension,
Pacific J. Math. 138 (1989), 129-144.
- S. Mardesic and T. B. Rushing,
Shape fibrations I,
General Toppology Appl. 9 (1978), 193-215.
- S. Mardesic and J. Segal,
Shape Theory, North Holland-Publishing Co., Amsterdam-New York, 1982.
- S. Mardesic and T. Watanabe,
Approximate resolutions of spaces and maps,
Glas. Mat. Ser. III 24(44) (1989), 587-637.
- J. Mioduszewski,
Mappings of inverse limits,
Colloq. Math. 10 (1963), 39-44.
- T. Miyata,
Pull-backs and fibrations in approximate pro-categories,
Glas. Mat. Ser. III 43(63) (2008), 451-479.
- T. Watanabe,
Approximate expansions of maps into inverse systems,
in: Geometric and Algebraic Topology, Banach Center Publ. 18 (1986), 363-370.
- T. Watanabe,
Approximative shape. I. Basic notions,
Tsukuba J. Math. 11 (1987), 17-59.
- T. Yagasaki,
Fiber shape theory, shape fibrations and movability of maps,
Lecture Notes in Math. 1283, Springer, Berlin, 1987, 240-252.
Glasnik Matematicki Home Page