Inegalitatea Brunn-Minkowski

Teorema Brunn-Minkowski  este o teoremă clasică a geometriei convexe:

Formulare

Fie și corpuri convexe compacte în  spațiul euclidian n - dimensional . Se consideră suma Minkowski , , adică mulțimea de puncte care împart segmentele cu capete în orice puncte ale mulțimilor și în raport cu . Apoi funcția

este o funcție concavă a .

În plus, o funcție este liniară dacă și numai dacă și sunt omotetice.

Note

pentru orice corpuri convexe compacte și în spațiu n -dimensional.

Consecințele

Istorie

Teorema a fost stabilită de Brunn în 1887, rafinată și completată de Minkowski [1] , generalizată la cazul corpurilor compacte arbitrare de Lyusternik [2] .

Dovada destul de simplă dată de Blaschke folosește simetrizarea Steiner . O altă dovadă scurtă și simplă a fost găsită de G. Hadwiger și D. Oman. [3] În ea, inegalitatea este dovedită mai întâi pentru perechile de paralelipipede cu fețe paralele - această parte este echivalentă cu inegalitatea dintre media geometrică și media aritmetică . În plus, prin inducție, se dovedește pentru uniuni finite ale unor astfel de paralelipipede. Urmează inegalitatea deoarece orice corp poate fi aproximat printr-o astfel de uniune.

Variații și generalizări

Literatură

  1. Minkowski, Hermann . Geometrie der Zahlen  (neopr.) . — Leipzig: Teubner, 1896.
  2. Lyusternik, Lazar A. Die Brunn-Minkowskische Ungleichnung für beliebige messbare Mengen  (germană)  // Comptes Rendus (Doklady) de l'académie des Sciences de l'uRSS (Nouvelle Série) : magazin. - 1935. - Bd. III . - S. 55-58 .
  3. H. Hadwiger și D. Ohmann, Brunn-Minkowskischer Satz und Isoperimetrie, Math. Zeit. 66 (1956), 1–8