We define a Cantor set C in R3 to be scrawny if for each p E C and each e > 0 there is a 3 > 0 such that for each map f: S1 -Int B(p , a)C there is a map F: D2 -IntB(p, e) such that FIaD2 = f and F-1(C) is finite. We show the existence and explore some of the properties of wild scrawny Cantor sets in R3. We prove, among other things, that wild scrawny Cantor sets in R3 are not definable by solid tori. 0. INTRODUCTION: HISTORICAL BACKGROUND This paper concerns the existence and properties of a class of wild Cantor sets in R3. Any perfect, uncountable, zero-dimensional compact metric space is called a Cantor set, and any two Cantor sets are topologically equivalent. Since the publication of Antoine's Necklace in 1921 [A], it has been known that there are inequivalent embeddings of Cantor sets in R3; that is, there are Cantor sets C1 and C2 in R3 such that, for any homeomorphism h: R3 -R3 h(C1) e h(C2). Definition. Let C be a Cantor set in R3. If there is a homeomorphism h: R3 R3 such that h(C) lies on a straight line then C is called tame. Otherwise, C is wild. Definition. Let C be a Cantor set in R3. Let {14'jn E N} be a sequence of finite collections On = {Mn ,kI < k < m(n)} of disjoint connected PL 3-manifolds-with-boundary Mn k C R3 such that (1) for each positive integer UAn+I C Int Uad; (2) A{Wu ln E N} = C. Then {J } is called a defining sequence for C. The following result is well known. Received by the editors May 30, 1990. 1991 Mathematics Subject Classification. Primary 57M30, 57M35. The contents of this paper were presented at the Fifth International Topology Conference in Dubrovnik, Yugoslavia, in June, 1990, sponsored by the Union of Mathematicians, Physicists, and Astronomers of Yugoslavia. A travel grant from the National Science Foundation and the Association for Women in Mathematics enabled the author to attend the conference. (?) 1992 American Mathematical Society 0002-9939/92 $1.00 + $.25 per page
Read full abstract