В математической общей теории относительности, то Пенроуза неравенство, первым высказал предположение, сэр Роджер Пенроуз, оценивает массу пространства - времени с точки зрения общей площади ее черных дыр и является обобщением теоремы положительной массой. Неравенство риманова Пенроуза является важным частным случаем. В частности, если ( M, g ) - асимптотически плоское риманово трехмерное многообразие с неотрицательной скалярной кривизной и массой m ADM, а A - площадь самой внешней минимальной поверхности (возможно, с несколькими компонентами связности ), то риманово неравенство Пенроуза утверждает
Это чисто геометрический факт, и это соответствует случаю полного трехмерного, пространства-как, вполне геодезического подмногообразия а (3 + 1) -мерном пространстве - времени. Такое подмногообразие часто называют симметричным по времени исходным набором данных для пространства-времени. Условие наличия неотрицательной скалярной кривизны ( M, g ) эквивалентно пространству-времени, подчиняющемуся доминирующему энергетическому условию.
Это неравенство было впервые доказано Герхардом Хьюскеном и Томом Ильманеном в 1997 году в случае, когда A - площадь наибольшего компонента самой внешней минимальной поверхности. Их доказательство опиралось на разработанный ими механизм слабо определенного потока обратной средней кривизны. В 1999 году Хьюберт Брей дал первое полное доказательство указанного выше неравенства, используя конформный поток метрик. Обе статьи были опубликованы в 2001 году.
Первоначальный физический аргумент, который привел Пенроуза к предположению о таком неравенстве, основывался на теореме о площади Хокинга и гипотезе космической цензуры.
Доказательства Брея и Хуйскена – Ильманена риманова неравенства Пенроуза утверждают, что при гипотезах, если
тогда рассматриваемое многообразие изометрично срезу пространства-времени Шварцшильда за пределами самой внешней минимальной поверхности.
В более общем смысле, Пенроуз предположил, что вышеупомянутое неравенство должно выполняться для пространственноподобных подмногообразий пространств-времени, которые не обязательно являются симметричными по времени. В этом случае неотрицательная скалярная кривизна заменяется условием доминирующей энергии, и одна из возможностей состоит в том, чтобы заменить условие минимальной поверхности условием видимого горизонта. Доказательство такого неравенства остается открытой проблемой в общей теории относительности, называемой гипотезой Пенроуза.