Dvoretskin lause - sanoo, että jokaisella keskisymmetrisellä kuperalla joukolla, jolla on riittävän suuri ulottuvuus, on poikkileikkaus lähellä ellipsoidia .
Arja Dvoretsky todisti sen 1960-luvun alussa [1] vastauksena Alexander Grothendieckin esittämään kysymykseen . Vaihtoehtoisen todisteen löysi Vitaly Milman 1970-luvulla [2] , se toimi yhtenä lähtökohtana mittakonsentraatioperiaatteen ja asymptoottisen geometrisen analyysin kehittämiselle [3] .
Jokaiselle luonnolliselle luvulle ja jokaiselle on olemassa luonnollinen luku , joka on sellainen, että jos on mitta - avaruus , silloin on olemassa ulottuvuuden aliavaruus ja positiivinen neliömuoto siten , että:
mille tahansa .