Problem Busemanna-Petty'ego

W matematycznej dziedzinie geometrii wypukłej problem Busemanna -Petty'ego , wprowadzony przez Herberta Busemanna i Clintona Myersa Petty'ego ( 1956 , problem 1), pyta, czy to prawda, że ​​symetryczne ciało wypukłe z większymi przekrojami centralnej hiperpłaszczyzny ma większą objętość. Dokładniej, jeśli K , T są symetrycznymi ciałami wypukłymi w R n takimi, że

   dla każdej hiperpłaszczyzny A przechodzącej przez początek układu współrzędnych Vol n K ≤ Vol n T ?

Busemann i Petty wykazali, że odpowiedź jest pozytywna, jeśli K jest piłką. Ogólnie rzecz biorąc, odpowiedź jest pozytywna w wymiarach co najwyżej 4, a ujemna w wymiarach co najmniej 5.

Historia

Larman i Claude Ambrose Rogers ( 1975 ) wykazali, że problem Busemanna-Petty'ego ma rozwiązanie negatywne w wymiarach co najmniej 12, a kilku innych autorów ograniczyło tę granicę do wymiarów co najmniej 5. Ball (1988) wskazał szczególnie prosty kontrprzykład: wszystkie przekroje sześcianu jednostkowej objętości mają co najwyżej miarę 2 , podczas gdy w wymiarach co najmniej 10 wszystkie środkowe przekroje kuli jednostkowej mają miarę przynajmniej 2 . Lutwak (1988) wprowadził ciała przecięcia i wykazał, że problem Busemanna-Petty'ego ma pozytywne rozwiązanie w danym wymiarze wtedy i tylko wtedy, gdy każde symetryczne ciało wypukłe jest ciałem przecięcia. Ciało przecięcia to ciało gwiazdy, którego funkcja radialna w danym kierunku u jest objętością przekroju hiperpłaszczyzny u K dla pewnego stałego ciała gwiazdy K . Gardner (1994) wykorzystał wynik Lutwaka, aby pokazać, że problem Busemanna-Petty'ego ma pozytywne rozwiązanie, jeśli wymiar wynosi 3. Zhang (1994) błędnie stwierdził, że sześcian jednostkowy w R 4 nie jest bryłą przecięcia, co sugerowałoby, że Problem Busemanna-Petty'ego ma rozwiązanie ujemne, jeśli wymiar wynosi co najmniej 4. Jednak Koldobsky (1998a) wykazał, że centralnie symetryczne ciało w kształcie gwiazdy jest ciałem przecinającym się wtedy i tylko wtedy, gdy funkcja 1/|| x || jest dodatnio określonym rozkładem, gdzie ||x|| jest jednorodną funkcją stopnia 1, czyli 1 na granicy ciała, a Koldobsky (1998b) wykorzystał to do pokazania, że ​​kule jednostkowe l
p n
, 1 < p ≤ ∞ w n -wymiarowej przestrzeni z normą l p są ciała skrzyżowania dla n = 4, ale nie są ciałami skrzyżowania dla n ≥ 5, co pokazuje, że wynik Zhanga był nieprawidłowy. Zhang (1999) wykazał następnie, że problem Busemanna-Petty'ego ma pozytywne rozwiązanie w wymiarze 4. Richard J. Gardner, A. Koldobsky i T. Schlumprecht ( 1999 ) podali jednolite rozwiązanie dla wszystkich wymiarów.

Zobacz też