Satz von Hadwiger (Integralgeometrie)

Der Satz von Hadwiger ist ein Lehrsatz aus dem mathematischen Gebiet der Integralgeometrie. Er wurde 1956 durch Hugo Hadwiger formuliert und bewiesen. Der Satz besagt, dass jede stetige und unter Isometrien invariante Bewertung kompakter, konvexer Teilmengen des ${ℝ}^n$ eine Linearkombination von Quermaßintegralen ist.

Begriffe

Eine stetige Bewertung ist ein reellwertiges Funktional $v$ auf der Menge aller kompakten, konvexen Teilmengen $K\subset {ℝ}^n$ mit $v(\mathrm{\varnothing })=0$ und $v(S\cup T)+v(S\cap T)=v(S)+v(T)$ für alle $S,T$, welches stetig bezüglich der Hausdorff-Metrik ist.

Die Quermaßintegrale sind Funktionale $W_0,\dots ,W_n$, die als Koeffizienten der Potenzreihenentwicklung

${\mathrm{V}\mathrm{o}\mathrm{l}}_n(K+t{B}^n)=\sum _{j=0}^n(\genfrac{}{}{0ex}{}{n}{j})W_j(K)t^j$

für die Einheitskugel $B^n$ und jeden kompakten, konvexen Körper $K\subset {ℝ}^n$ definiert sind.

Satz von Hadwiger

Jede stetige Bewertung $v$, die invariant unter allen Isometrien des ${ℝ}^n$ ist, ist eine Linearkombination von Quermaßintegralen:

$v(K)=\sum _{j=0}^n{c}_j{W}_j(K)$

mit von $K$ unabhängigen Koeffizienten $c_j$.

Literatur

• Vorlage:Literatur
• Vorlage:Cite book
• Vorlage:Cite journal