Integral geometry for the 1-norm

TL;DR

This paper develops integral geometry for the 1-norm in R^n, revealing similarities to Euclidean geometry and establishing key formulas like Hadwiger, Steiner, Crofton, and Kubota, with novel proofs distinct from classical methods.

Contribution

It introduces integral geometric formulas for the 1-norm space, including Hadwiger, Steiner, Crofton, and kinematic formulas, filling a gap in the understanding of non-Euclidean integral geometry.

Findings

Integral geometry for the 1-norm closely resembles Euclidean geometry.

Established Hadwiger-type theorem for R^n with the 1-norm.

Derived analogues of Steiner, Crofton, and Kubota formulas for the 1-norm.

Abstract

Classical integral geometry takes place in Euclidean space, but one can attempt to imitate it in any other metric space. In particular, one can attempt this in R^n equipped with the metric derived from the p-norm. This has, in effect, been investigated intensively for 1<p<\infty, but not for p=1. We show that integral geometry for the 1-norm bears a striking resemblance to integral geometry for the 2-norm, but is radically different from that for all other values of p. We prove a Hadwiger-type theorem for R^n with the 1-norm, and analogues of the classical formulas of Steiner, Crofton and Kubota. We also prove principal and higher kinematic formulas. Each of these results is closely analogous to its Euclidean counterpart, yet the proofs are quite different.