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

Introduction

Valuations

Let be the collection of all compact convex sets in A valuation is a function such that and for every that satisfy

A valuation is called continuous if it is continuous with respect to the Hausdorff metric. A valuation is called invariant under rigid motions if whenever and is either a translation or a rotation of

Quermassintegrals

The quermassintegrals are defined via Steiner's formula

where is the Euclidean ball. For example, is the volume, is proportional to the surface measure, is proportional to the mean width, and is the constant

is a valuation which is homogeneous of degree that is,

Statement

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

Corollary

Any continuous valuation on that is invariant under rigid motions and homogeneous of degree is a multiple of

See also

References

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

      • Klain, D.A.; Rota, G.-C. (1997). Introduction to geometric probability. Cambridge: Cambridge University Press. ISBN 0-521-59362-X. MR 1608265.

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

      This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.