Valuations edit

Let ${\displaystyle \mathbb {K} ^{n}}$  be the collection of all compact convex sets in ${\displaystyle \mathbb {R} ^{n}.}$  A valuation is a function ${\displaystyle v:\mathbb {K} ^{n}\to \mathbb {R} }$  such that ${\displaystyle v(\varnothing )=0}$  and for every ${\displaystyle S,T\in \mathbb {K} ^{n}}$  that satisfy ${\displaystyle S\cup T\in \mathbb {K} ^{n},}$ 

A valuation is called continuous if it is continuous with respect to the Hausdorff metric. A valuation is called invariant under rigid motions if ${\displaystyle v(\varphi (S))=v(S)}$  whenever ${\displaystyle S\in \mathbb {K} ^{n}}$  and ${\displaystyle \varphi }$  is either a translation or a rotation of ${\displaystyle \mathbb {R} ^{n}.}$ 

Quermassintegrals edit

The quermassintegrals ${\displaystyle W_{j}:\mathbb {K} ^{n}\to \mathbb {R} }$  are defined via Steiner's formula

${\displaystyle W_{j}}$  is a valuation which is homogeneous of degree ${\displaystyle n-j,}$  that is,

Any continuous valuation ${\displaystyle v}$  on ${\displaystyle \mathbb {K} ^{n}}$  that is invariant under rigid motions can be represented as

Corollary edit

Any continuous valuation ${\displaystyle v}$  on ${\displaystyle \mathbb {K} ^{n}}$  that is invariant under rigid motions and homogeneous of degree ${\displaystyle j}$  is a multiple of ${\displaystyle W_{n-j}.}$ 

• Minkowski functional – Function made from a set
• Set function – Function from sets to numbers

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". Geom. Dedicata. 105: 107–120. doi:10.1023/b:geom.0000024665.02286.46. MR 2057247.