Hadwiger's theorem

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In integral geometry (otherwise called geometric probability theory), Hadwiger's theorem characterises the valuations on convex bodies in Rn. It was proved by Hugo Hadwiger.

Introduction[edit]

Valuations[edit]

Let Kn be the collection of all compact convex sets in Rn. A valuation is a function v:Kn → R such that v(∅) = 0 and, for every S,T ∈Kn for which STKn,

A valuation is called continuous if it is continuous with respect to the Hausdorff metric. A valuation is called invariant under rigid motions if v(φ(S)) = v(S) whenever S ∈ Kn and φ is either a translation or a rotation of Rn.

Quermassintegrals[edit]

Main article: quermassintegral

The quermassintegrals WjKn → R are defined via Steiner's formula

where B is the Euclidean ball. For example, W0 is the volume, W1 is proportional to the surface measure, Wn-1 is proportional to the mean width, and Wn is the constant Voln(B).

Wj is a valuation which is homogeneous of degree n-j, that is,

Statement[edit]

Any continuous valuation v on Kn that is invariant under rigid motions can be represented as

Corollary[edit]

Any continuous valuation v on Kn that is invariant under rigid motions and homogeneous of degree j is a multiple of Wn-j.

References[edit]

An account and a proof of Hadwiger's theorem may be found in

An elementary and self-contained proof was given by Beifang Chen in