Conditions under which disks are $P$-liftable
HTML articles powered by AMS MathViewer
- by Edythe P. Woodruff PDF
- Trans. Amer. Math. Soc. 186 (1973), 403-418 Request permission
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
- Steve Armentrout, Concerning cellular decompositions of $3$-manifolds with boundary, Trans. Amer. Math. Soc. 137 (1969), 231β236. MR 236931, DOI 10.1090/S0002-9947-1969-0236931-2
- R. H. Bing, Approximating surfaces with polyhedral ones, Ann. of Math. (2) 65 (1957), 465β483. MR 87090
- O. G. Harrold Jr., A sufficient condition that a monotone image of the three-sphere be a topological three-sphere, Proc. Amer. Math. Soc. 9 (1958), 846β850. MR 103454, DOI 10.1090/S0002-9939-1958-0103454-9
- John G. Hocking and Gail S. Young, Topology, Addison-Wesley Publishing Co., Inc., Reading, Mass.-London, 1961. MR 0125557
- J. F. P. Hudson, Piecewise linear topology, W. A. Benjamin, Inc., New York-Amsterdam, 1969. University of Chicago Lecture Notes prepared with the assistance of J. L. Shaneson and J. Lees. MR 0248844
- Witold Hurewicz and Henry Wallman, Dimension Theory, Princeton Mathematical Series, vol. 4, Princeton University Press, Princeton, N. J., 1941. MR 0006493
- Kyung Whan Kwun, Upper semicontinuous decompositions of the $n$-sphere, Proc. Amer. Math. Soc. 13 (1962), 284β290. MR 140089, DOI 10.1090/S0002-9939-1962-0140089-7
- Louis F. McAuley, Upper semicontinuous decompositions of $E^{3}$ into $E^{3}$ and genralizations to metric spaces, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961) Prentice-Hall, Englewood Cliffs, N.J., 1962, pp.Β 21β26. MR 0141089
- Louis F. McAuley, Lifting disks and certain light open mappings, Proc. Nat. Acad. Sci. U.S.A. 53 (1965), 255β260. MR 172253, DOI 10.1073/pnas.53.2.255
- L. F. McAuley and Patricia Tulley, Lifting cells for certain light open mappings, Math. Ann. 175 (1968), 114β120. MR 220258, DOI 10.1007/BF01418766
- R. L. Moore, Concerning upper semi-continuous collections of continua, Trans. Amer. Math. Soc. 27 (1925), no.Β 4, 416β428. MR 1501320, DOI 10.1090/S0002-9947-1925-1501320-8
- R. B. Sher, Toroidal decompositions of $E^{3}$, Fund. Math. 61 (1967/68), 225β241. MR 225311, DOI 10.4064/fm-61-3-225-241
- L. C. Siebenmann, Approximating cellular maps by homeomorphisms, Topology 11 (1972), 271β294. MR 295365, DOI 10.1016/0040-9383(72)90014-6
- 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 0278279 β, Concerning the condition that a disk in ${E^3}/G$ be the image of a disk in ${E^3}$, Doctoral Dissertation, SUNY/Binghamton, 1971. β, Examples of disks in ${E^3}/G$ which can not be approximated by P-liftable disks (to appear).
Additional Information
- © Copyright 1973 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 186 (1973), 403-418
- MSC: Primary 57A10; Secondary 54B15
- DOI: https://doi.org/10.1090/S0002-9947-1973-0328943-6
- MathSciNet review: 0328943