Страница 7 из 495
,
где kn — кривизна нормального сечения L в точке М в направлении касательной к Г, а q — угол между главными нормалями к Г и L в этой точке (см. Мёнье теорема ).
Поверхности, между точками которых можно установить такое взаимно однозначное соответствие, что длины соответствующих линий равны, называются изометричными. Изометричные поверхности имеют одинаковую внутреннюю геометрию, но их пространственное строение может быть различным и главные кривизны в соответствующих точках у них могут быть также различными (например, окрестность точки на плоскости изометрична некоторой окрестности точки на цилиндре, но имеет иную пространственную структуру). Однако произведение К главных кривизн 1/R1 и 1/R2 в точке М не меняется при изометричных преобразованиях поверхности (теорема Гаусса, 1826) и может служить внутренней мерой искривлённости поверхности в данной точке. Величина К называется полной (или гауссовой) кривизной поверхности в точке М и выражается соотношением:
, (2)
которое называется формулой Гаусса (полная кривизна в соответствии с теоремой Гаусса может быть выражена только через коэффициенты первой квадратичной формы и их производные). Приведённая выше классификация точек регулярной поверхности может быть сопоставлена со значениями полной кривизны: в эллиптической точке кривизна положительна, в гиперболической — отрицательна и в параболической — равна нулю.
Во многих вопросах П. т. рассматривается другая характеристика искривлённости поверхности — т. н. средняя кривизна, равная полусумме главных кривизн поверхности. Так, например, одним из объектов исследований П. т. являются минимальные поверхности , средняя кривизна которых в каждой точке равна нулю.
Важное значение в П. т. имеет вопрос о возможности изгибания поверхности: можно ли утверждать, что данная поверхность будет изгибаемой? Математически этот вопрос формулируется следующим образом: возможно ли включить данную регулярную поверхность в однопараметрическое семейство изометричных неконгруэнтных регулярных поверхностей (конгруэнтные поверхности — поверхности, совмещаемые движением). Достаточно малые куски поверхностей положительной и отрицательной кривизны допускают непрерывные изгибания. Существуют поверхности с точкой уплощения (т. е. точкой, где все нормальные кривизны равны нулю), сколь угодно малая окрестность которой не допускает изгибания. Последний результат установлен советским геометром Н. В. Ефимовым. Кроме самой возможности изгибания, рассматриваются и изгибания специальных типов.
Задача изгибания поверхностей тесно связана с задачей определения поверхности по заданным основным квадратичным формам, получившей полное решение в работах немецкого математика К. Гаусса, русского математика К. М. Петерсона, итальянских математиков Г. Майнарди и Д. Кодацци и французского математика О. Бонне. Поскольку значение полной кривизны К поверхности может быть выражено через коэффициенты первой квадратичной формы, то уравнение (3) является одним из соотношений, связывающих коэффициенты первой (1) и второй (2) форм. Другие два соотношения
(4)
(здесь ; ; ; — Кристоффеля символы второго рода) были установлены в 1853 К. М. Петерсоном . Справедливо и обратное утверждение — если коэффициенты двух форм, одна из которых положительно-определённая, удовлетворяют уравнениям (3) и (4), то существует определённая с точностью до движения и зеркального отражения поверхность, для которой указанные формы будут первой и второй квадратичными формами.
К числу наиболее важных проблем П. т. относится проблема разыскания признаков, которые позволяют по заданным двум основным квадратичным формам поверхности (в произвольных координатах) установить, относится ли поверхность к данному классу поверхностей или нет. Для решения этой общей проблемы, как и многих других проблем П. т., используются методы тензорного исчисления .
С начала 20 в. в П. т. появляется новое направление, в котором исследуется поверхность «в целом» по данным свойствам окрестностей её точек. Например, Л. Г. Шнирельманом и Л. А. Люстерником было доказано существование трёх замкнутых геодезических на регулярных замкнутых поверхностях, гомеоморфных сфере. Продолжение гладких поверхностей иногда приводит к появлению на них особенностей. Например, всякая развёртывающаяся поверхность, не являющаяся цилиндрической, при продолжении доходит до ребра (или острия в случае конуса). Рассмотрение поверхностей во всём их протяжении и с особенностями (т. е. отказ от требований дифференцируемости) потребовало изобретения принципиально новых методов исследования поверхностей и привлечения методов из других разделов математики. Развитие П. т. в этом направлении привело к созданию содержательных разделов геометрии. Так, например, глубокие и принципиально новые результаты были получены А. Д. Александровым и А. В. Погореловым в теории выпуклых поверхностей. Александровым был предложен новый метод исследования выпуклых поверхностей, основанный на приближении выпуклых поверхностей выпуклыми многогранниками.
Рассмотренные свойства поверхностей не меняются при любых изометрических преобразованиях всего пространства, т. е. они относятся к т. н. метрической П. т. Изучают также свойства поверхностей, инвариантные по отношению к какой-либо другой группе преобразований пространства, например группе аффинных или проективных преобразований. Аффинная П. т. рассматривает свойства поверхностей, неизменные при эквиаффинных преобразованиях (аффинных преобразованиях, сохраняющих объём). Проективная П. т. рассматривает проективно-инвариантные свойства поверхностей.
Лит.: Рашевский П. К., Курс дифференциальной геометрии, 4 изд., М., 1956; Норден А. П., Теория поверхностей, М., 1956; Погорелов А. В., Дифференциальная геометрия, 5 изд., М., 1969; Каган В. Ф., Основы теории поверхностей в тензорном изложении, ч. 1—2, М. — Л., 1947—48; Бляшке В., Дифференциальная геометрия и геометрические основы теории относительности Эйнштейна, пер. с нем., т. 1, М. — Л., 1935; Александров А. Д., Внутренняя геометрия выпуклых поверхностей, М. — Л., 1948; Погорелов А. В., Внешняя геометрия выпуклых поверхностей, М., 1969; Фиников С. П., Проективно-дифференциальная геометрия, М. — Л., 1937; Широков П. А., Широков А. П., Аффинная дифференциальная геометрия, М., 1959; Blaschke W., Vorlesungen Über Differentialgeometrie, Bd 2, В., 1923; Biarichi L., Lezioni di geometria differenziale, 3 éd., t. 1—2, Bologna, 1937; Darboux G., Leçons sur la théorie générale des surfaces, 2 éd., t. 1—4, P., 1924—25.
Э. Г. Позняк.
Рис. 1 к ст. Поверхностей теория.
Рис. 2 к ст. Поверхностей теория.