Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Conditions under which disks are $ P$-liftable

Author: Edythe P. Woodruff
Journal: Trans. Amer. Math. Soc. 186 (1973), 403-418
MSC: Primary 57A10; Secondary 54B15
MathSciNet review: 0328943
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A generalization of the concept of lifting of an n-cell is studied. In the usual upper semicontinuous decomposition terminology, let S be a space, $ S/G$ be the decomposition space, and the projection mapping be $ P:S \to S/G$ . A set $ X' \subset S$ is said to be a P-lift of a set $ X \subset S/G$ if $ X'$ is homeomorphic to X and $ P(X')$ is X.

Examples are given in which the union of two P-liftable sets does not P-lift. We prove that if compact 2-manifolds A and B each P-lift, their union is a disk in $ {E^3}/G$, their intersection misses the singular points of the projection mapping, and the intersection of the singular points with the union of A and B is a 0-dimensional set, then the union of A and B does P-lift.

Even if a disk D does not P-lift, it is proven that for $ \epsilon > 0$ there is a P-liftable disk $ \epsilon $-homeomorphic to D, provided that the given decomposition of $ {E^3}$ is either definable by 3-cells, or the set of nondegenerate elements is countable and $ {E^3}/G$ is homeomorphic to $ {E^3}$. With further restrictions on the decomposition, this P-liftable disk can be chosen in such a manner that it agrees with D on the singular points of D.

References [Enhancements On Off] (What's this?)

  • [1] Steve Armentrout, Concerning cellular decompositions of 3-manifolds with boundary, Trans. Amer. Math. Soc. 137 (1969), 231-236. MR 38 #5224. MR 0236931 (38:5224)
  • [2] R. H. Bing, Approximating surfaces with polyhedral ones, Ann. of Math. (2) 65 (1957), 456-483. MR 19, 300. MR 0087090 (19:300f)
  • [3] O. G. Harrold, Jr., A sufficient condition that a monotone image of the 3-sphere be a topological 3-sphere, Proc. Amer. Math. Soc. 9 (1958), 846-850. MR 21 #2223. MR 0103454 (21:2223)
  • [4] John G. Hocking and Gail S. Young, Topology, Addison-Wesley, Reading, Mass., 1961. MR 23 #A2857. MR 0125557 (23:A2857)
  • [5] J. F. P. Hudson, Piecewise linear topology, Benjamin, New York and Amsterdam, 1969. MR 40 #2094. MR 0248844 (40:2094)
  • [6] Witold Hurewicz and Henry Wallman, Dimension theory, Princeton Math. Series, vol. 4, Princeton Univ. Press, Princeton, N. J., 1941; rev. ed., 1948, p. 48. MR 3, 312. MR 0006493 (3:312b)
  • [7] Kyung Whan Kwun, Upper semicontinuous decompositions of the n-sphere, Proc. Amer. Math. Soc. 13 (1962), 284-290. MR 25 #3512. MR 0140089 (25:3512)
  • [8] Louis F. McAuley, Upper semicontinuous decompositions of $ {E^3}$ into $ {E^3}$ and generalizations to metric spaces, Topology of 3-Manifolds and Related Topics (Proc. Univ. of Georgia Inst., 1961), Prentice-Hall, Englewood Cliffs, N. J., 1962, pp. 21-26. MR 25 #4502. MR 0141089 (25:4502)
  • [9] -, Lifting disks and certain light open mappings, Proc. Nat. Acad. Sci. U. S. A. 53 (1965), 255-260. MR 30 #2473. MR 0172253 (30:2473)
  • [10] Louis F. McAuley and Patricia Tulley, Lifting cells for certain light open mappings, Math. Ann. 175 (1968), 114-120. MR 36 #3324. MR 0220258 (36:3324)
  • [11] R. L. Moore, Concerning upper semi-continuous collections of continua, Trans. Amer. Math. Soc. 27 (1925), 416-428. MR 1501320
  • [12] R. B. Sher, Toroidal decompositions of $ {E^3}$, Fund. Math. 61 (1967/68), 225-241. MR 37 #905. MR 0225311 (37:905)
  • [13] L. C. Siebenmann, Approximating cellular maps by homeomorphisms, Topology 11 (1972), 271-294. MR 0295365 (45:4431)
  • [14] Edythe P. Woodruff, Concerning the condition that a disk in $ {E^3}/G$ be the image of a disk in $ {E^3}$, Proc. First Conf. on Monotone Mappings and Open Mappings (SUNY at Binghamton, Binghamton, N. Y., 1970), State Univ. of New York at Binghamton, Binghamton, N. Y., 1971, pp. 390-417. MR 43 #4010. MR 0278279 (43:4010)
  • [15] -, Concerning the condition that a disk in $ {E^3}/G$ be the image of a disk in $ {E^3}$, Doctoral Dissertation, SUNY/Binghamton, 1971.
  • [16] -, Examples of disks in $ {E^3}/G$ which can not be approximated by P-liftable disks (to appear).

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 57A10, 54B15

Retrieve articles in all journals with MSC: 57A10, 54B15

Additional Information

Keywords: Decomposition space, topology of $ {E^3}$, lift of a space, P-lift, monotone decomposition, cellular decomposition, decomposition definable by 3-cells, tame, neighborhoods of submanifolds
Article copyright: © Copyright 1973 American Mathematical Society

American Mathematical Society