Hadwigers sats

Hadwigers sats kännetecknar kontinuerliga värderingar på konvexa kroppar i det euklidiska rummet som är oföränderliga under rörelser. Bevisad av Hugo Hadwiger .

Inledning

Värderingar

Låt vara  klassen för alla icke-tomma kompakta konvexa uppsättningar i . En värdering på är en funktion sådan att jämställdheten

gäller för alla sådana som ,

Vart i

Genomsnittligt tvärmått

-th genomsnittliga tvärmåttet av en kropp definieras som den genomsnittliga dimensionella arean av projektioner på -dimensionella plan.

Särskilt,

Formulering

Varje kontinuerlig värdering v på K n , invariant under rörelser, kan representeras som

Litteratur