НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ВЫПУКЛАЯ ПОВЕРХНОСТЬ

ВЫПУКЛАЯ ПОВЕРХНОСТЬ - область (связное открытое множество) на границе выпуклого тела в евклидовом пространстве Е3. Вся граница выпуклого тела наз. полной В. п. Если тело конечно, то полная B. п. наз. замкнутой. Если тело бесконечно, то полная В. п. наз. бесконечной. Бесконечная В. п. гомеоморфна либо плоскости, либо круговому цилиндру. В последнем случае она сама является цилиндром. Простейшее выпуклое тело - выпуклый многогранник, т. е. пересечение конечного числа полупространств. Поверхность выпуклого многогранника составлена из выпуклых многоугольников и также наз. выпуклым многогранником.

Современная теория В. п. построена главным образом советскими геометрами - А. Д. Александровым и его школой. Однако отдельные результаты теории В. п. были известны значительно раньше. Так, еще О. Коши (A. Cauchy) доказал неизгибаемость замкнутого выпуклого многогранника. Г. Либман (Н. Liebmann) и В. Бляшке (W. Blaschke) доказали жесткость замкнутых выпуклых поверхностей. Г. Минковский (Н. Minkowski) - существование замкнутой В. п. с данной гауссовой кривизной. Г. Вейль (Н. Weyl) наметил решение проблемы существования замкнутой В. п. с данной метрикой. Это решение было завершено Г. Леви (Н. Lewy). С. Кон-Фоссен (S. Cohn-Vossen) доказал однозначную определенность регулярных замкнутых В. п.

С каждой точкой X В. п. F естественным образом связан конус V(X) - предел поверхностей Fn при n → ∞, получаемых преобразованием гомотетии из F относительно точки X с коэффициентом гомотетии n. Этот конус наз. касательным конусом. В зависимости от вида касательного конуса, точки В. п. подразделяются на конические, ребристые и гладкие. Точка В. п. наз. конической, если касательный конус в этой точке не вырождается. Если же касательный конус вырождается в двугранный угол или плоскость, точка наз. ребристой или, соответственно, гладкой. Негладкие точки на В. п. представляют собой в нек-ром смысле исключение. Именно, множество ребристых точек имеет меру нуль, а множество конических точек не более чем счетно.

Для последовательности В. п. определяется понятие сходимости: последовательность В. п. Fn сходится к В. п. F, если любое открытое множество D одновременно пересекает или не пересекает F и все Fn при n > N(D). Любую В. п. можно представить как предел выпуклых многогранников. Бесконечные совокупности В. п. обладают важным свойством компактности, состоящим в том, что из любой последовательности полных В. п., не удаляющихся в бесконечность, всегда можно выделить сходящуюся подпоследовательность с пределом в виде В. п., к-рая может быть вырожденной (в дважды покрытую плоскую область, прямую, полупрямую или отрезок).

Любые две точки В. п. можно соединить спрямляемой кривой на поверхности. Точная нижняя грань длин кривых, соединяющих две данные точки на В. п., наз. расстоянием между этими точками на поверхности. Кривая на В. п. наз. кратчайшей, если она имеет наименьшую длину среди всех кривых на поверхности, соединяющих ее концы. У каждой точки В. п. есть окрестность, любые две точки к-рой можно соединить кратчайшей на поверхности. На полной В. п. любые две точки соединяются кратчайшей. Кратчайшая на В. п. имеет в каждой точке правую и левую полукасательные. Важнейшим свойством кратчайших на В. п. является свойство неналегания. Оно состоит в том, что для взаимного расположения двух кратчайших могут быть только следующие возможности: кратчайшие не имеют общих точек; кратчайшие имеют одну общую точку; кратчайшие имеют две общие точки, являющиеся их концами; одна кратчайшая есть часть другой; кратчайшие совпадают на нек-ром отрезке, причем один конец этого отрезка является концом одной кратчайшей, а второй конец служит концом другой кратчайшей. Метрика В. п. обладает свойством выпуклости (см. Выпуклая метрика). Углом между кратчайшими γ и γ' в точке О наз. предел угла α(Х, X') при X, X' → O. Определяемый так угол существует для любых двух кратчайших, исходящих из общей точки. По свойству неналегания кратчайших, кратчайшие γ и γ', исходящие из точки О, разбивают окрестность этой точки на два сектора. Пусть V - один из этих секторов, ограниченный кратчайшими γ и γ'. Проведем в этом секторе кратчайшие γ1, γ2, ..., γn занумеровав их в порядке следования от γ к γ'. Пусть α1, α2, ..., αn - углы между соседними кратчайшими γ и γ1, γ1 и γ2, ... . Углом сектора V наз. точная верхняя грань суммы углов α0 + α1 + ... + αn по всем кратчайшим γi внутри сектора. Угол сектора равен углу между полукасательными к кратчайшим в точке О на развертке касательного конуса. Сумма углов взаимно дополняющих секторов с вершиной в точке О не зависит от взятых кратчайших и наз. полным углом поверхности в точке О. Полный угол в любой точке В. п. не превышает 2π.

Для В. п. вводится понятие внутренней и внешней кривизны. Внутренняя кривизна ω определяется сначала для основных множеств - точек, открытых кратчайших и треугольников. Треугольником наз. гомеоморфная кругу область, ограниченная тремя кратчайшими. Если М - точка и θ - полный угол вокруг нее на поверхности, то ω(М) = 2π - θ. Если М - открытая кратчайшая, т. е. кратчайшая с исключенными концами, то ω(М) = 0. Если М - открытый треугольник, т. е. треугольник с исключенными сторонами и вершинами, то ω(М) = α + β + γ - π, где α, β, γ - углы треугольника. Далее кривизна определяется для элементарных множеств, представляемых в виде теоретико-множественной суммы попарно не пересекающихся основных: . Для таких множеств ω(М) = Σ ω(Bk). Внутренняя кривизна любого замкнутого множества определяется как точная нижняя грань внутренней кривизны элементарных множеств, содержащих данное замкнутое множество. Наконец, для любого множества внутренняя кривизна определяется как верхняя грань внутренней кривизны содержащихся в нем замкнутых множеств. Определяемая таким образом внутренняя кривизна на В. п. является вполне аддитивной функцией на кольце борелевских множеств. Внешняя кривизна множества на В. п. определяется как площадь (мера Лебега) сферического изображения этого множества. Она определена для всех борелевских множеств на В. п. и совпадает с внутренней кривизной.

Метрика ρ двумерного многообразия наз. внутренней, если расстояние ρ(Х1, Х2) между любыми двумя точками X1 и X2 многообразия равно точной нижней грани длин кривых в этом многообразии, соединяющих точки Х1 и Х2. При этом длина кривой X(t), 0 ≤ t ≤ 1, соединяющей точки Х1 и Х2, определяется как точная верхняя грань сумм

∑ ρ(X(tk-1), X(tk)), 0 ≤ t1 < t2 < ... ≤ 1.

Пусть γ и γ' - две кривые, исходящие из точки О в многообразии с внутренней метрикой. Возьмем на них точки X и X' и построим плоский треугольник со сторонами ρ(O, X), ρ(O, X'), ρ(Х, X'). Нижний предел угла α(X, X') этого треугольника, противолежащего стороне ρ(Х, X'), наз. углом между кривыми γ и γ' в точке О. Очевидно, этот угол всегда существует. Метрика многообразия наз. выпуклой, если для любого треугольника, стороны к-рого являются кратчайшими, сумма его углов не меньше π. Метрика В. п. -в этом смысле выпуклая. Одним из основных результатов теории В. п. является теорема о реализуемости внутренней выпуклой метрики на нек-рой В. п. Именно, полное многообразие с внутренней выпуклой метрикой реализуется полной В. п.

Для кривых на В. п. вводится понятие правого и левого поворотов, обобщающее понятие интегральной геодезической кривизны. Пусть γ - произвольная кривая без самопересечений на В. п. с концами А и В. Задается направление на кривой γ и строится последовательность простых геодезияееких ломаных с концами А, В, сходящихся к γ и расположенных в правой полуокрестности кривой. Пусть αn - углы секторов, образуемые звеньями ломаной со стороны области, ограниченной ломаной γn и кривой γ; α и β - углы секторов, образуемых ломаной γn и кривой γ в концевых точках. Правым поворотом наз. предел α + β + Σ(π - αn) при γn → γ. Этот предел всегда существует, если кривая γ имеет определенные направления на концах, т. е. полукасательные, и не зависит от взятой последовательности ломаных. Левый поворот определяется аналогично. Поворот замкнутой кривой определяется путем приближения к ней замкнутой ломаной с соответствующей стороны. Для В. п. имеет место теорема, обобщающая Гаусса-Бонне теорему для регулярных поверхностей. Именно, если замкнутая кривая на В. п. ограничивает гомеоморфную кругу область, то сумма кривизны области и поворота кривой, ограничивающей область со стороны этой области, равна 2π.

Изометрическим преобразованием наз. такая деформация В. п., при к-рой поверхность остается выпуклой и ее метрика не меняется, т. е. не изменяются расстояния между точками на поверхности. Изометрич. преобразование наз. тривиальным, если оно сводится к перемещению поверхности как целого или к перемещению и зеркальному отражению. Поверхность, не допускающая нетривиальных изометрич. преобразований, наз. однозначноопределенной. Замкнутые В. п. и бесконечные В. п. с полной кривизной 2π являются однозначно-определенными. Бесконечные В. п. с полной кривизной, меньшей 2π, допускают нетривиальные изометрич. преобразования и притом с большим произволом. Всякая В. п. локально допускает нетривиальные изометрич. преобразования, т. е. каждая точка В. п. имеет окрестность, допускающую такие преобразования.

Важнейшим средством исследования изометрич. преобразований В. п. является теорема о склеивании. Согласно этой теореме, полное многообразие D, составленное из областей Dk, изометричных В. п., само изометрично В. п., если выполняются следующие условия: границы областей Dk имеют повороты ограниченной вариации, отождествляемые участки границ одинаковой длины, сумма поворотов на любом отрезке отождествляемых границ неотрицательна, а сумма углов секторов в любой общей точке границ областей Dk не превышает 2π. Теоремы о возможности нетривиальных изометрич. преобразований В. п. обычно получают «подклеиванием» к данной В. п. плоской области с соблюдением указанных выше условий.

Для общих В. п. вводится понятие площади для любого борелевского множества; сначала оно вводится для простейших множеств, ограниченных кратчайшими, - геодезич. многоугольников. Многоугольник подвергается мелкой триангуляции Tn так, чтобы стороны треугольников были меньше 1/n. Для каждого треугольника этой триангуляции строится плоский треугольник со сторонами той же длины и берется сумма площадей Sn таких треугольников. Оказывается, независимо от выбора триангуляции многоугольника, сумма Sn при n → ∞ стремится к определенному пределу. Этот предел и принимается за площадь многоугольника. Затем обычными приемами теории меры определяются площади замкнутых, открытых и вообще борелевских множеств. Площадь В. п. есть вполне аддитивная функция на кольце борелевских множеств.

Удельной кривизной В. п. в области D наз. отношение кривизны области к ее площади. Если удельная кривизна В. п. во всех областях заключена в положительных пределах, то поверхность является гладкой и строго выпуклой. Гауссовой кривизной В. п. в данной точке X наз. предел удельной кривизны области D при стягивании ее к точке X. Гауссова кривизна, если она существует, является непрерывной функцией точки на поверхности. Если на В. п. существует определенная гауссова кривизна, то на этой поверхности можно ввести полярные геодезич. координаты и представить линейный элемент поверхности в виде

ds2 = dr2 + G(r, θ) dθ2.

При этом гауссова кривизна с помощью коэффициента G определяется по формуле

В. п. наз. регулярной, если в окрестности любой ее точки она допускает аналитич. задание r = r(u, v), где r(u, v) - регулярная (достаточное число раз дифференцируемая) вектор-функция, удовлетворяющая условию ru × rv ≠ 0. Метрика В. п. наз. регулярной, если она допускает задание с помощью линейного элемента

ds2 = E du2 + 2F dudv + G dv2,

причем коэффициенты формы ds2 - регулярные функции. Регулярная В. п. имеет, очевидно, регулярную метрику, так как

Обратное, вообще говоря, неверно. Напр., двугранный угол имеет регулярную, даже аналитич. метрику, так как он изометричен плоскости, но не является регулярной поверхностью. Однако, если метрика В. п. регулярна, а гауссова кривизна положительна, то поверхность регулярна. Именно, если коэффициенты линейного элемента дифференцируемы n раз (n ≥ 2), то поверхность дифференцируема по крайней мере n - 1 раз.

Теория В. п. строится также и в пространствах постоянной кривизны. При этом, как и в евклидовом пространстве, В. п. наз. область на границе выпуклого тела. Многие результаты теории В. п. в пространствах постоянной кривизны формулируются и доказываются так же, как и для В. п. евклидова пространства. Однако нек-рые результаты существенно отличаются. Напр., в пространстве Лобачевского полная В. п. может быть гомеоморфна любому связному открытому множеству на сфере.

Лит.: [1] Minkowski Н., «Math. Ann.», 1903, Bd 57 S. 447-95; [2] Вeйль Г., «Успехи матем. наук», 1948, т. 3, в. 2, с. 159-90; [3] Кон-Фоссен С. Э., «Успехи матем. наук», 1936, в. 1, с. 33-76; [4] Александров А. Д., Внутренняя геометрия выпуклых поверхностей, М.-Л., 1948; [5] Погорелов А. В., Внешняя геометрия выпуклых поверхностей, М., 1969.

А. В. Погорелов.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru