Math gifts

- Art Gallery -

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.


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,
\( {\displaystyle v(S)+v(T)=v(S\cap T)+v(S\cup T)~.} \)

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.

Main article: quermassintegral

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

\( {\displaystyle \mathrm {Vol} _{n}(K+tB)=\sum _{j=0}^{n}{\binom {n}{j}}W_{j}(K)t^{j}~,} \)

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,

W \( {\displaystyle W_{j}(tK)=t^{n-j}W_{j}(K)~,\quad t\geq 0~.} \)


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

\( {\displaystyle v(S)=\sum _{j=0}^{n}c_{j}W_{j}(S)~.} \)


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


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

Chen, B. (2004). "A simplified elementary proof of Hadwiger's volume theorem". Geometriae Dedicata. 105: 107–120. doi:10.1023/b:geom.0000024665.02286.46. MR 2057247.

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia



Hellenica World - Scientific Library

Retrieved from ""
All text is available under the terms of the GNU Free Documentation License