Menger curvature and rectifiability

TL;DR

This paper establishes a link between the finiteness of total Menger curvature of a set in R^n and its rectifiability, providing a geometric criterion for identifying rectifiable sets.

Contribution

It proves that a 1-set with finite total Menger curvature must be rectifiable, connecting curvature integrals to geometric structure.

Findings

Finite total Menger curvature implies rectifiability of the set.

Provides a new criterion for rectifiability based on curvature.

Bridges geometric measure theory and curvature analysis.

Abstract

For a Borel set E in R^n, the total Menger curvature of E, or c(E), is the integral over E^3 (with respect to 1-dimensional Hausdorff measure in each factor of E) of c(x,y,z)^2, where 1/c(x,y,z) is the radius of the circle passing through three points x, y, and z in E. Let H^1(X) denote the 1-dimensional Hausdorff measure of a set X. A Borel set E in R^n is purely unrectifiable if for any Lipschitz function gamma from R to R^n, H^1(E cap gamma(R)) = 0. It is said to be rectifiable if there exists a countable family of Lipschitz functions gamma_i from R to R^n such that H^1(E - union gamma_i(R)) = 0. It may be seen from this definition that any 1-set E (that is, E Borel and 0<H^1(E)<\infty) can be decomposed into two disjoint subsets E_irr and E_rect, where E_irr is purely unrectifiable and E_rect is rectifiable. Theorem. If E is a 1-set in R^n and c(E)^2 is finite, then E is rectifiable.