Теорема сравнения для опорных функций гиперповерхностей

Abstract

Для выпуклой области D, границей которой является гиперповерхность ∂D ограниченной нормальной кривизны, доказаны теоремы сравнения углов между ∂D и геодезическими из фиксированной точки в D с соответствующими углами для поверхностей постоянной нормальной кривизны, а также теоремы сравнения для опорных функций таких гиперповерхностей. Как следствие, получена теорема прокатывания Бляшке.Для опуклої областi D, межею якої є гiперповерхня ∂D обмеженої нормальної кривини, доведено теореми порiвняння кутiв мiж ∂D та геодезичними з фiксованої точки в D i вiдповiдними кутами для поверхонь сталої нормальної кривини, а також теореми порiвняння для опорних функцiй таких гiперповерхонь. Як наслiдок, отримано теорему прокачування Бляшке.For a convex domain D that is enclosed by the hypersurface ∂D of bounded normal curvature, we prove an angle comparison theorem for the angles between ∂D and geodesic rays starting from some fixed point in D, and the corresponding angles for hypersurfaces of constant normal curvature. We obtain a comparison theorem for the support functions of such surfaces. As a corollary, we present a proof of Blaschke’s rolling theorem.