Table of Contents
Fetching ...

Hausdorff dimension of union of lines that cover a curve

Tamás Keleti, James Cumberbatch, Jialin Zhang

Abstract

We construct a continuously differentiable curve in the plane that can be covered by a collection of lines such that every line intersects the curve at a single point and the union of the lines has Hausdorff dimension 1. We show that for twice differentiable curves this is impossible. In that case, the union of the lines must have Hausdorff dimension 2. If we use only tangent lines then the differentiability of the curve already implies that the union of the lines must have Hausdorff dimension 2, unless the curve is a line. We also construct a continuous curve, which is in fact the graph of a strictly convex function, such that the union of (one sided) tangent lines has Hausdorff dimension 1.

Hausdorff dimension of union of lines that cover a curve

Abstract

We construct a continuously differentiable curve in the plane that can be covered by a collection of lines such that every line intersects the curve at a single point and the union of the lines has Hausdorff dimension 1. We show that for twice differentiable curves this is impossible. In that case, the union of the lines must have Hausdorff dimension 2. If we use only tangent lines then the differentiability of the curve already implies that the union of the lines must have Hausdorff dimension 2, unless the curve is a line. We also construct a continuous curve, which is in fact the graph of a strictly convex function, such that the union of (one sided) tangent lines has Hausdorff dimension 1.

Paper Structure

This paper contains 2 sections, 10 theorems, 7 equations.

Table of Contents

  1. Introduction
  2. The results

Key Result

Theorem 1.2

(Venieri) Let $f:\mathbb{R}^{n-1}\to\mathbb{R}$ be a Lipschitz function and let $A$ be a subset of the graph of $f$ with positive $n-1$-dimensional Hausdorff measure. Let $B\subset\mathbb{R}^n$ be a set such that for every $x\in A$ the set $B$ contains a line $\ell_x$ through $x$, and at those $x$,

Theorems & Definitions (20)

  • Theorem 1.2
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • Theorem 2.3
  • proof
  • Theorem 2.4
  • proof
  • Theorem 2.5
  • proof
  • ...and 10 more