Some examples in shape theory using the theory of compact connected abelian topological groups
Author:
James Keesling
Journal:
Trans. Amer. Math. Soc. 219 (1976), 169188
MSC:
Primary 55D99; Secondary 22C05
MathSciNet review:
0436134
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: In previous papers the author has studied the shape of compact connected abelian topological groups. This study has led to a number of theorems and examples in shape theory. In this paper a theorem is proved concerning the Čech homology of compact connected abelian topological groups. This theorem together with the author's previous results are then used to study the movability of general compact Hausdorff spaces. In the theory of shape for compact metric spaces, a number of significant theorems have been proved for movable compact metric spaces. Among these are a theorem of Hurewicz type due to K. Kuperberg, a Whitehead type theorem due to Moszyńska, and a theorem concerning the exactness of the Čech homology sequence for movable compact metric pairs due to Overton. In this paper examples are constructed which show that these theorems do not generalize to arbitrary movable compact Hausdorff spaces without additional assumptions.
 [1]
Karol
Borsuk, Concerning homotopy properties of compacta, Fund.
Math. 62 (1968), 223–254. MR 0229237
(37 #4811)
 [2]
Karol
Borsuk, On movable compacta, Fund. Math. 66
(1969/1970), 137–146. MR 0251698
(40 #4925)
 [3]
James
Draper and James
Keesling, An example concerning the Whitehead theorem in shape
theory, Fund. Math. 92 (1976), no. 3,
255–259. MR 0431157
(55 #4159)
 [4]
László
Fuchs, Infinite abelian groups. Vol. I, Pure and Applied
Mathematics, Vol. 36, Academic Press, New YorkLondon, 1970. MR 0255673
(41 #333)
 [5]
László
Fuchs, Infinite abelian groups. Vol. II, Academic Press, New
YorkLondon, 1973. Pure and Applied Mathematics. Vol. 36II. MR 0349869
(50 #2362)
 [6]
Karl
Heinrich Hofmann, Categories with convergence, exponential
functors, and the cohomology of compact abelian groups, Math. Z.
104 (1968), 106–140. MR 0228615
(37 #4195)
 [7]
W.
Holsztyński, An extension and axiomatic characterization of
Borsuk’s theory of shape, Fund. Math. 70
(1971), no. 2, 157–168. MR 0282368
(43 #8080)
 [8]
James
Keesling, Shape theory and compact connected
abelian topological groups, Trans. Amer. Math.
Soc. 194 (1974),
349–358. MR 0345064
(49 #9803), http://dx.doi.org/10.1090/S00029947197403450648
 [9]
James
Keesling, Continuous functions induced by shape
morphisms, Proc. Amer. Math. Soc. 41 (1973), 315–320. MR 0334141
(48 #12460), http://dx.doi.org/10.1090/S00029939197303341418
 [10]
James
Keesling, An algebraic property of the
Čech cohomology groups which prevents local connectivity and
movability, Trans. Amer. Math. Soc. 190 (1974), 151–162. MR 0367973
(51 #4215), http://dx.doi.org/10.1090/S00029947197403679736
 [11]
James
Keesling, On the shape of toruslike continua
and compact connected topological groups, Proc.
Amer. Math. Soc. 40
(1973), 297–302. MR 0319140
(47 #7686), http://dx.doi.org/10.1090/S00029939197303191404
 [12]
, Products in the shape category and some applications, Convegno di Topologia, Symposia Mathematica (to appear).
 [13]
James
Keesling, On the Whitehead theorem in shape theory, Fund.
Math. 92 (1976), no. 3, 247–253. MR 0431156
(55 #4158)
 [14]
James
Keesling, The Čech homology of compact connected abelian
topological groups with applications to shape theory, Geometric
topology (Proc. Conf., Park City, Utah, 1974) Springer, Berlin, 1975,
pp. 325–331. Lecture Notes in Math., Vol. 438. MR 0405344
(53 #9138)
 [15]
James
Keesling, The Čech cohomology of movable
and 𝑛movable spaces, Trans. Amer.
Math. Soc. 219
(1976), 149–167. MR 0407829
(53 #11599), http://dx.doi.org/10.1090/S00029947197604078295
 [16]
G.
Kozlowski and J.
Segal, 𝑛movable compacta and ANRsystems, Fund. Math.
85 (1974), 235–243. MR 0358678
(50 #11137)
 [17]
, Locally wellbehaved paracompacta in shape theory (preprint).
 [18]
, Movability and shape connectivity (preprint).
 [19]
Krystyna
Kuperberg, An isomorphism theorem of the Hurewicztype in
Borsuk’s theory of shape, Fund. Math. 77
(1972), no. 1, 21–32. MR 0324692
(48 #3042)
 [20]
Saunders
Mac Lane and Garrett
Birkhoff, Algebra, The Macmillan Co., New York;
CollierMacmillan Ltd., London, 1967. MR 0214415
(35 #5266)
 [21]
Sibe
Mardešić, Shapes for topological spaces, General
Topology and Appl. 3 (1973), 265–282. MR 0324638
(48 #2988)
 [22]
, On the Whitehead theorem in shape theory. I (preprint).
 [23]
, On the Whitehead theorem in shape theory. II (preprint).
 [24]
S.
Mardešić and J.
Segal, Movable compacta and
𝐴𝑁𝑅systems, Bull. Acad. Polon. Sci.
Sér. Sci. Math. Astronom. Phys. 18 (1970),
649–654 (English, with Loose Russian summary). MR 0283796
(44 #1026)
 [25]
Sibe
Mardešić and Jack
Segal, Shapes of compacta and ANRsystems, Fund. Math.
72 (1971), no. 1, 41–59. MR 0298634
(45 #7686)
 [26]
M.
Moszyńska, Uniformly movable compact spaces and their
algebraic properties, Fund. Math. 77 (1972),
no. 2, 125–144. MR 0322863
(48 #1224)
 [27]
M.
Moszyńska, The Whitehead theorem in the theory of
shapes, Fund. Math. 80 (1973), no. 3,
221–263. MR 0339159
(49 #3922)
 [28]
R.
H. Overton, Čech homology for movable compacta, Fund.
Math. 77 (1973), no. 3, 241–251. MR 0322797
(48 #1158)
 [29]
R.
Overton and J.
Segal, A new construction of movable compacta, Glasnik Mat.
Ser. III 6(26) (1971), 361–363 (English, with
SerboCroatian summary). MR 0322796
(48 #1157)
 [30]
L. S. Pontrjagin, Continuous groups, 2nd ed., GITTL, Moscow, 1954; English transl., Topological groups, Gordon and Breach, New York, 1966. MR 34 #1439.
 [31]
Edwin
H. Spanier, Algebraic topology, McGrawHill Book Co., New
YorkToronto, Ont.London, 1966. MR 0210112
(35 #1007)
 [32]
S.
Spież, Movability and uniform movability, Bull. Acad.
Polon. Sci. Sér. Sci. Math. Astronom. Phys. 22
(1974), 43–45 (English, with Russian summary). MR 0346741
(49 #11466)
 [1]
 K. Borsuk, Concerning homotopy properties of compacta, Fund. Math. 62 (1968), 223254. MR 37 #4811. MR 0229237 (37:4811)
 [2]
 , On movable compacta, Fund. Math. 66 (1969/70), 137146. MR 40 #4925. MR 0251698 (40:4925)
 [3]
 J. Draper and J. Keesling, An example concerning the Whitehead theorem in shape theory, Fund. Math. (to appear). MR 0431157 (55:4159)
 [4]
 L. Fuchs, Infinite abelian groups. Vol. I, Pure and Appl. Math., vol. 36, Academic Press, New York and London, 1970. MR 41 #333. MR 0255673 (41:333)
 [5]
 , Infinite abelian groups. Vol. II, Academic Press, New York and London, 1973. MR 0349869 (50:2362)
 [6]
 K. H. Hofmann, Categories with convergence, exponential functors, and the cohomology of compact abelian groups, Math. Z. 104 (1968), 106140. MR 37 #4195. MR 0228615 (37:4195)
 [7]
 W. Holsztyński, An extension and axiomatic characterization of Borsuk's theory of shape, Fund. Math. 70 (1971), 157168. MR 43 #8080. MR 0282368 (43:8080)
 [8]
 J. Keesling, Shape theory and compact connected abelian topological groups, Trans. Amer. Math. Soc. 194 (1974), 349358. MR 0345064 (49:9803)
 [9]
 , Continuous mappings induced by shape morphisms, Proc. Amer. Math. Soc. 41 (1973), 315320. MR 0334141 (48:12460)
 [10]
 , An algebraic property of the Čech cohomology groups which prevents local connectivity and movability, Trans. Amer. Math. Soc. 190 (1974), 151162. MR 0367973 (51:4215)
 [11]
 , On the shape of toruslike continua and compact connected topological groups, Proc. Amer. Math. Soc. 40 (1973), 297302. MR 47 #7686. MR 0319140 (47:7686)
 [12]
 , Products in the shape category and some applications, Convegno di Topologia, Symposia Mathematica (to appear).
 [13]
 , On the Whitehead theorem in shape theory, Fund. Math. (to appear). MR 0431156 (55:4158)
 [14]
 , The Čech homology of compact connected abelian topological groups with applications to shape theory, Lecture Notes in Math., vol. 438, SpringerVerlag, New York, 1975, pp. 325331. MR 0405344 (53:9138)
 [15]
 , The Čech cohomology of movable and nmovable spaces, Trans. Amer. Math. Soc. 219 (1976), 149167. MR 0407829 (53:11599)
 [16]
 G. Kozlowski and J. Segal, nmovable compacta and ANRsystems, Fund. Math. (to appear). MR 0358678 (50:11137)
 [17]
 , Locally wellbehaved paracompacta in shape theory (preprint).
 [18]
 , Movability and shape connectivity (preprint).
 [19]
 K. Kuperberg, An isomorphism of Hurewicztype in Borsuk's theory of shape, Fund. Math. 77 (1972), 2132. MR 48 #3042. MR 0324692 (48:3042)
 [20]
 S. Mac Lane and G. Birkhoff, Algebra, Macmillan, New York, 1967. MR 35 #5266. MR 0214415 (35:5266)
 [21]
 S. Mardešić, Shapes for topological spaces, General Topology and Appl. 3 (1973), 265282. MR 48 #2988. MR 0324638 (48:2988)
 [22]
 , On the Whitehead theorem in shape theory. I (preprint).
 [23]
 , On the Whitehead theorem in shape theory. II (preprint).
 [24]
 S. Mardešić and J. Segal, Movable compacta and ANRsystems, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18 (1970), 649654. MR 44 #1026. MR 0283796 (44:1026)
 [25]
 , Shapes of compacta and ANRsystems, Fund. Math. 72 (1971), 4159. MR 45 #7686. MR 0298634 (45:7686)
 [26]
 M. Moszyńska, Uniformly movable compact spaces and their algebraic properties, Fund. Math. 77 (1972), 125144. MR 48 #1224. MR 0322863 (48:1224)
 [27]
 , The Whitehead theorem in the theory of shapes, Fund. Math. 80 (1973), 221263. MR 49 #3922. MR 0339159 (49:3922)
 [28]
 R. H. Overton, Čech homology for movable compacta, Fund. Math. 77 (1973), 241251. MR 0322797 (48:1158)
 [29]
 R. H. Overton and J. Segal, A new construction of movable compacta, Glasnik Mat. Ser. III 6 (26) (1971), 361363. MR 48 #1157. MR 0322796 (48:1157)
 [30]
 L. S. Pontrjagin, Continuous groups, 2nd ed., GITTL, Moscow, 1954; English transl., Topological groups, Gordon and Breach, New York, 1966. MR 34 #1439.
 [31]
 E. H. Spanier, Algebraic topology, McGrawHill, New York, 1966. MR 35 #1007. MR 0210112 (35:1007)
 [32]
 S. Spież, Movability and uniform movability, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18 (1970), 649654. MR 0346741 (49:11466)
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC:
55D99,
22C05
Retrieve articles in all journals
with MSC:
55D99,
22C05
Additional Information
DOI:
http://dx.doi.org/10.1090/S00029947197604361346
PII:
S 00029947(1976)04361346
Keywords:
Shape theory,
movable space,
Čech homology,
Hurewicz type theorem,
Whitehead type theorem,
exactness of Čech homology,
compact connected abelian topological group
Article copyright:
© Copyright 1976
American Mathematical Society
