Математическая энциклопедия - площадь

численная характеристика, приписываемая плоским фигурам определенного класса (напр., многоугольникам) и обладающая следующими свойствами: 1) П. неотрицательна; 2) П. аддитивна (в случае многоугольников это означает, что если фигура составлена из фигур Ри Q, не имеющих общих внутренних точек, то пл. () = пл. Р+пл. Q;3) П. сохраняется при перемещениях; 4) П. единичного квадрата равна 1. Термин "П." употребляется также в более широком смысле как численная характеристика, сопоставляемая двумерным поверхностям в трехмерном пространстве; k-мерным поверхностям в n-мерном евклидовом или римановом пространстве; границам множеств и др. объектам, см. ниже.

Площадь плоской фигуры. Исторически П. определялась сначала на классе многоугольников (фигур, допускающих разбиение на конечное число треугольников без общих внутренних точек). Существенно, что на классе многоугольников П. со свойствами 1) 4) существует и единственна (см. [1], [2]). Одним из следствий свойств 1) 4) является то, что П. всей фигуры не меньше П. ее части.

В древности существование и единственность П. со свойствами 1) 4) принимались без ясного описания класса рассматриваемых фигур; внимание сосредоточивалось на приемах вычисления П. Формула для П. прямоугольника, в том числе с иррациональными сторонами, обосновывалась исчерпывания методом. П. треугольника и произвольных многоугольников вычислялась как П. равносоставленного с ними прямоугольника. Доказано, что любые многоугольники равной П. равносоставлены (см. [2]).

Затем был выделен класс квадрируемых (измеримых по Жордану) фигур. Фигура Мна плоскости наз. квадрируемой, если для любого e>0 существуют такие многоугольные фигуры Ри Q, что и (пл. Q - пл. Р)<e. Класс квадрируемых фигур весьма богат. Он включает, в частности, все ограниченные плоские области с кусочно гладкими границами. Но есть и неквадрируемые плоские фигуры. На классе квадрируемых фигур также существует и единственна П. со свойствами 1) 4) (см. [2]).

Исторически до рассмотрения класса квадрируемых фигур умели вычислять П. нек-рых из них круга, кругового сектора и сегмента, различного рода лунок, криволинейных трапеций. Эти вычисления обосновывались методом исчерпывания многоугольниками. В ряде случаев для обоснования таких вычислений привлекался Кавальери принцип, состоящий в том, что если две плоские фигуры указанного типа пересекаются каждой прямой, параллельной фиксированной прямой, по отрезкам одинаковой длины, то эти фигуры имеют равную П. Средства интегрального исчисления (см., напр., [3]) дают удобные приемы для вычисления П. любых плоских областей с кусочно гладкими границами. Эти средства обосновывают также принцип Кавальери.

Стремление распространить понятие П. на более общие плоские множества с сохранением свойств 1) 4) ведет к теории меры, к выделению класса плоских множеств, измеримых по Лебегу. Переход к еще более общим классам множеств на плоскости приводит уже к неединственным мерам со свойствами 1) 4).

Ориентированная площадь. Если на ориентированной плоскости расположена направленная замкнутая кривая I, быть может с самопересечениями и налеганиями, то для каждой не лежащей на l точки плоскости определена целочисленная функция (положительная, отрицательная или нулевая), наз. степенью точки относительно I. Она показывает сколько раз и в какую сторону контур lобходит данную точку. Интеграл по всей плоскости от этой функции, если он существует, наз. охватываемой lориентированной П. Последняя, в отличие от обычной П., имеет знак. О простейших свойствах ориентируемой П. см. [4].

Площадь поверхности. Проще всего определяется П. многогранных поверхностей: как сумма П. плоских граней. Попытка ввести понятие П. кривых поверхностей как предела П. вписанных многогранных поверхностей (подобно тому, как длина кривой определяется как предел вписанных ломаных) встречает трудность. Даже для весьма простой кривой поверхности П. вписанных в нее многогранников со все более мелкими гранями может иметь разные пределы в зависимости от выбора последовательности многогранников. Это наглядно демонстрирует известный пример Шварца, в к-ром последовательности вписанных многогранников с разными пределами П. строятся для боковой поверхности прямого кругового цилиндра (см. [2]).

Чаще всего П. поверхности определяют для класса кусочно гладких поверхностей с кусочно гладким краем (или без края). Обычно это делают с помощью следующей конструкции. Поверхность разбивают на мелкие части с кусочно гладкими границами: в каждой части выбирают точку, в к-рой существует касательная плоскость, и ортогонально проектируют рассматриваемую часть на касательную плоскость поверхности в выбранной точке; П. полученных плоских проекций суммируют; наконец, переходят к пределу при все более мелких разбиениях (таких, что наибольший из диаметров частей разбиения стремится к нулю). На указанном классе поверхностей этот предел всегда существует, и если поверхность задана параметрически кусочно С ¹ -гладкой функцией r( и, v), где параметры и, v изменяются в области Dна плоскости ( и, v), то площадь Fвыражается двойным интегралом

(1)

где g11=r²u, g12=rurv g22=r²v, а ru и rv - частные производные по ии v. Доказательство см., напр., в [3], [5]. В частности, если поверхность есть график С ¹ -гладкой функции z=f(x, у).над областью Dна плоскости ( х, у), то

(2)

Здесь , где a острый угол между нормалью к поверхности и осью Oz. На основе формул (1), (2) выводятся известные формулы для П. сферы и ее частей, обосновываются приемы для вычисления П. поверхностей вращения и т. п.

Для двумерных кусочно гладких поверхностей в римановых многообразиях [6] формула (1) служит определением П., при этом роль g11, g12, g22 играют составляющие метрич. тензора самой поверхности.

Существенно, что уже в случае двумерной поверхности П. приписывается не множеству точек, а отображению двумерного многообразия в пространство и тем отличается от меры. k-м ерная площадь. Для кусочно гладкого погружения k-мерного многообразия (с краем или без края) в n-мерное евклидово пространство, , П. определяют с помощью конструкции, вполне аналогичной описанной выше для кусочно гладких поверхностей. Разница состоит в том, что проектирование ведется на k-мерные касательные плоскости и суммируются k-мерные объемы проекций. Если в области можно ввести координаты и ¹, . . ., u^k, то площадь F погружения (D, f|D]выражается интегралом

(3) где gij - скалярные произведения . Если k=n-1 и D - область на координатной гиперплоскости (x1, . . ., xn-1), а /допускает явное задание х n=z(x1, . . ., xn-1), то формула (3) принимает вид

(4)

Если отображение f гладкое, то gijкоэффициенты метрич. тензора, индуцированного погружением, и из (3) следует, что П., определяемая внешней конструкцией, принадлежит внутренней геометрии погруженного многообразия. Иногда равенство (3) принимают за определение П., напр, в случае погружения не в Rⁿ, а в риманово многообразие.

На классе кусочно гладких погруженных многообразий П.: а) неотрицательна; б) равна 1 на k-мерном единичном кубе в ; в) не меняется при ортогональных преобразованиях; г) аддитивна; д) полунепрерывна, т. е. при равномерной сходимости ; е) если есть нерастягивающее отображение, то ; ж) если {Р i} - набор из попарно ортогональных k-мерных плоскостей и Р i- проектирование на Pi, то

(5)

Дальнейшие обобщения. Теория площадей. Распространение функции Fна более общие объекты с сохранением хотя бы части их свойств а) ж) может осуществляться разными путями и вести к разным результатам. Изучение таких обобщений составляет предмет теории П. Обзор соотношений разных понятий П. см. в [10].

Граница между теорией П. и теорией меры довольно условна. По традиции к теории П. относят в первую очередь изучение П. непрерывных отображений, где учитывается кратность и меньшую роль играет сохранение аддитивности. О k-мерных мерах в n-мерном пространстве см., напр., Хаусдорфа мера, Фавара мера.

Ту или иную П. можно вводить на основе аппроксимативного, интегрально геометрического, функционального подхода, либо аксиоматически. Ниже приведены наиболее распространенные понятия.

Площадь по Лебегу (см. [7], [9]) определяется равенством

(6)

где М - конечно триангулируемое k-мерное многообразие; всевозможные кусочно линейные отображения; есть k-мерная П. соответствующей полиэдральной поверхности. П. по Лебегу одинакова для эквивалентных по Фреше отображений и потому является характеристикой Фреше поверхности. В случае k=2 условие влечет ряд полезных свойств поверхности (напр., возможность введения изотермич. параметров); в этом случае П. по Лебегу оказалась удобным инструментом, достаточным для решения Плато задачи и более общих двумерных задач вариационного исчисления. При k>2 исследование вариационных задач в классе непрерывных отображений столкнулось с трудностями (в проблеме компактности), что заставило обратиться к поиску других объектов (потоки и вариобразия) и связанных с ними характеристик типа П. Использование П. по Лебегу ограничивается также сложностью, с к-рой устанавливаются ее связи с другими понятиями П. и нек-рые ее свойства (напр., правое из неравенств (5)). Следует отметить две особенности L(M, f): во-первых, при L(M, f)=0 может оказаться, что объем V(f(M))>0; во-вторых, даже при k=2 для разбиения Мна M1 и M2 с общей границей в виде кривой может оказаться

(7)

Изучался вопрос о том, в какой мере соблюдение нек-рых из свойств а) ж) с заменой аддитивности на полуаддитивность, т. е. допущением неравенства типа (7), приводит к П. по Лебегу. Вопросы этого типа исследованы (1983) не до конца (см. [7]).