Let 1 , 2 , . . . be a countable collection of lines in R d . For any t ∈ [0, 1] we construct a compact set Γ ⊆ R d with Hausdorff dimension d − 1 + t which projects injectively into each i , such that the image of each projection has dimension t. This immediately implies the existence of homeomorphisms between certain Cantor-type sets whose graphs have large dimensions. As an application, we construct a collection E of disjoint, non-parallel k-planes in R d , for d ≥ k + 2, whose union is a small subset of R d , either in Hausdorff dimension or Lebesgue measure, while E itself has large dimension. As a second application, for any countable collection of vertical lines w i in the plane we construct a collection of nonvertical lines H, so that F , the union of lines in H, has positive Lebesgue measure, but each point of each line w i is contained in at most one h ∈ H and, for each w i , the Hausdorff dimension of F ∩ w i is zero.

No abstract

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org.