Интегральная геометрия
Интегра́льная геоме́трия, теория инвариантных (относительно непрерывных групп отображений пространства на себя) мер на множествах, состоящих из подмногообразий пространства (например, прямых, плоскостей, геодезических, выпуклых поверхностей и тому подобных многообразий, сохраняющих свой тип при рассматриваемых преобразованиях). Интегральная геометрия строится для различных пространств, прежде всего для евклидовых, проективных, однородных.
Интегральная геометрия занимается введением инвариантных мер, их связями и геометрическими применениями. Возникла в связи с уточнением постановки задач о геометрических вероятностях.
Для введения инвариантной меры предварительно ищут такую функцию от координат точки в пространстве, интеграл от которой по некоторой области пространства не изменялся бы после непрерывного преобразования координат пространства, составляющих определённую группу Ли. Это требует отыскания интегрального инварианта заданной группы Ли. Последний находится как решение системы дифференциальных уравнений в частных производных
где – искомый интегральный инвариант, – точка -мерного пространства, – коэффициент инфинитезимального преобразования группы, – количество параметров преобразования. Важное значение в интегральной геометрии имеют измеримые группы Ли, т. е. такие группы, которые допускают существование одного и только одного (с точностью до постоянного множителя) инварианта. Последними, в частности, являются простые транзитивные группы.
Следующая задача интегральной геометрии состоит в установлении меры множества многообразий, которые сохраняют свой тип после некоторой группы непрерывных преобразований. Мера устанавливается равной интегралу
где – множество точек в пространстве параметров группы Ли, – интегральный инвариант группы, определяемый уравнением , или плотность меры. Подынтегральное выражение в называется также элементарной мерой множества многообразий. Определённый выбор этой меры полностью устанавливает соответствие с основной задачей учения о геометрических вероятностях. Фактически под геометрической вероятностью множества многообразий со свойством понимается относительная доля этого множества, рассматриваемого как подмножество многообразий множества многообразий, имеющих более общее свойство . Задача сводится к установлению мер множества многообразий со свойством , подмножества со свойством и их отношения. Последнее и есть геометрическая вероятность.
В случае однородного многомерного пространства мера множества многообразий например, точек, прямых, гиперплоскостей, пар гиперплоскостей, гиперсфер, гиперповерхностей -го порядка однозначно (с точностью до постоянного множителя) определяется интеграломгде суть относительные компоненты заданной транзитивной группы Ли . Линейные комбинации с постоянными коэффициентами этих относительных компонент представляют собой левые части уравнений системы Пфаффа, соответствующей рассматриваемому множеству многообразий. Мера называется кинематической мерой в однородном пространстве с заданной в нём группой преобразований. Она представляет собой обобщение т. н. кинематической меры Пуанкаре (далее все меры указываются с точностью до постоянного множителя).
Интегральная геометрия на евклидовой плоскости обычно рассматривает лишь одно непрерывное преобразование – группу движений (без отражений). Для множества точек интегральный инвариант – единица, для множества прямых – тоже единица, если в качестве параметров прямых выбраны параметры её нормального уравнения и . Длина произвольной кривой равна , где – число пересечений прямых с кривой, а интегрирование ведётся по множеству прямых, пересекающих кривую. Мера множества прямых, пересекающих две выпуклые фигуры (овалы), равна разности длин перекрёстно охватывающей овалы кривой и внешней охватывающей кривой (см. рис. 1). Мера множества прямых, разделяющих два овала, равна длине перекрёстно охватывающей кривой без суммы длин контуров овалов.
Мера множества пар точек определяется какгде , – параметры нормального уравнения прямой, проходящей через точки, a и суть расстояния по этой прямой от точек до точки пересечения прямой и перпендикуляра к прямой, проведённого из начала координат (см. рис. 2).
Мера множества пар прямых равнагде и – координаты точки пересечения пары прямых, а и – углы, которые составляют эти прямые с одной из координатных осей (см. рис. 3).
Мера множества пар кривых, пересекающих овал, равна половине квадрата длины кривой, ограничивающей овал, без площади овала, умноженной на (формула Крофтона). Применение кинематической меры к множеству конгруэнтных овалов, пересекающих заданный овал, позволяет получить одно из изопериметрических неравенств, а именно классическое неравенство Боннезена. Еслигде – длина хорды овала , – множество пересекающих овал прямых, – расстояние между двумя точками внутренней области овала, точто позволяет просто определить среднее расстояние между двумя точками внутри овала. Кинематическая мера множества фигур есть мера множества фигур, конгруэнтных данной. Она равнагде – множество точек фигуры, , – координаты её фиксированной точки, – угол, определяющий поворот фигуры. Кинематическая мера может трактоваться как мера множества подвижных систем координат. Если неподвижную систему координат сделать подвижной, а подвижную – неподвижной, то для одного и того же множества преобразований кинематическая мера останется неизменной (симметричность кинематической меры). Если с каждым элементом множества конгруэнтных фигур связать иную подвижную систему, то кинематическая мера также сохраняется. Мера множества конгруэнтных конечных дуг произвольной кривой, пересекающих заданную дугу некоторой кривой, равна учетверённому произведению длин дуг (формула Пуанкаре). Количество отрезков прямой данной длины , пересекающих овал, равно , где и – площадь овала и длина ограничивающей его кривой. Если заменить овал незамкнутой кривой, то и число пересечений будет равно . Мера множеств овалов, пересекающих данный овал, равна , где , суть соответствующие площади, a и – длины кривых, ограничивающих овалы.
Интегральная геометрия в евклидовом пространстве строится по аналогии с интегральной геометрией в . Для множеств точек интегральный инвариант также равен единице. Если множество прямых задано множеством их уравнений в двух проектирующих плоскостях:то интегральный инвариант для совокупности параллельного переноса и поворота осей равен . В частности, мера множеств прямых, пересекающих выпуклую замкнутую поверхность (поверхность овалоида), равна половине поверхности овалоида.
Введение по аналогии с меры множества пар точек позволяет вычислить среднее значение -й степени длин хорд овалоида, которое равно , где и – его объём и поверхность. Для пар пересекающихся прямых, заданных уравнениями в двух проектирующих плоскостях:игде , и – координаты точек пересечения прямых, она равнаМеры множества пересечений двух заданных подвижных овалоидов относятся как их объёмы. Для плоскости, заданной уравнением в отрезках, интегральный инвариант равенгде , и – длины отрезков. Мера множества плоскостей, пересекающих поверхность площади , равна , а среднее значение длин кривых, по которым овалоид пересекается множеством плоскостей, равно , где – интегральная средняя кривизна.
Для пар плоскостей интегральный инвариант равен произведению интегральных инвариантов множеств плоскостей. Кинематическая мера в равна произведению меры множества по различному ориентированных плоскостей и элементарной кинематической меры в ориентирующей плоскости. Интегральный инвариант для вращений пространственной фигуры, имеющей одну неподвижную точку, равенгде , а , , суть направляющие косинусы оси вращения, – угол поворота вокруг этой оси. Мера множеств тел, имеющих общую точку и отличающихся поворотом в пространстве, равна .
Интегральная геометрия на поверхности строится введением меры множества геодезических как интеграла от внешней дифференциальной формы поверхности по всему множеству. Таким образом, внешняя дифференциальная форма есть плотность множества геодезических, т. к. она инвариантна относительно выбора системы криволинейных координат на поверхности и относительно выбора параметра, определяющего положение точки на геодезической. В геодезических полярных координатах плотность имеет видв частности для сферы , а для псевдосферы . Для множества геодезических, пересекающих гладкую или кусочно гладкую кривую, плотность равна , где – угол пересечения, – длина кривой. Плотность кинематической меры (кинематическая плотность) равна , где – элемент площади поверхности, – угол между геодезической и полярным радиусом. Многие результаты интегральной геометрии на обобщаются на случай однородной поверхности. Плотность меры множества представляет собой кинематическую плотность, что позволяет получить обобщение формулы Пуанкаре для . Меры множества пар геодезических и пар точек строятся так же, как для .
На основе т. н. полиметрической геометрии П. К. Рашевского (Рашевский. 1941) результаты интегральной геометрии на произвольной однородной поверхности обобщаются на более широкий класс поверхностей. Обобщение производится путём использования биметрической системы Рашевского. Сначала двумя способами вводится мера в двупараметрическом множестве кривых плоскости. Затем все выводы, справедливые в случае плоскости (рассматриваемой как множество линейных элементов), обобщаются на случай линий постоянной геодезической кривизны произвольной поверхности.
Интегральная геометрия на проективной плоскости . Для полной группы проективных преобразований на
интегральный инвариант существует лишь для совокупности трёх точек и равен кубу обратной величины площади треугольника, вершинами которого являются эти точки. Для пар точек и группы аффинных унимодулярных преобразованийинтегральный инвариант равен единице, а для группы аффинных преобразований интегральный инвариант множества пар точек равен , где и суть координаты точек.
Множество прямых проективной плоскости неизмеримо, но для пар точка – прямая и полной группы проективных преобразований интегральный инвариант равен , где , суть координаты точки, а прямая задаётся уравнением . Множество параллелограммов, заданных уравнениямипричём , имеет плотность мерыдля группы аффинных преобразованийДля множества окружностей на , заданных уравнениеммаксимальной группой преобразований является группа преобразований подобияПлотность меры для неё равна . На её основе вычисляется мера множеств окружностей (центры которых находятся в некоторой области), пересекающихся с заданной кривой. Мера множества окружностей на равна кинематической мере совокупности групп трансляции и гомотетии.
Множество конических сечений инвариант имеет в качестве максимальной группы инвариантности проективную группу:причём , . Плотность меры для него равна . Для множества гипербол максимальная группа инвариантности есть аффинная группа . Плотность меры их множества равна , где , , суть коэффициенты общего уравнения гиперболы. Аналогично измерима максимальная группа инвариантности эллипсов, а для парабол она неизмерима. Для парабол измеримы лишь её подгруппы: группы унимодулярных аффинных и центроаффинных преобразований. Элементарная кинематическая мера группы проективных преобразований равна , где – определитель преобразования.
Множество прямых центроаффинной плоскости измеримо. Плотность меры их множества равна , где – свободный член нормального уравнения прямой. Кинематическая мера группы преобразований не центроаффинной плоскости равна . Если есть ширина овала, то есть его плотность меры для аффинного унимодулярного преобразования.
Интегральная геометрия в проективном пространстве . Группа движений в проективном пространстве с прямоугольной декартовой системой координат является измеримой лишь для совокупности четырёх точек, и плотность меры равна при этом , где есть объём тетраэдра, вершинами которого являются эти точки. Для совокупностей двух и трёх точек измерима лишь группа аффинных унимодулярных преобразований. Плотность её меры равна единице. Для трёх точек также измерима группа центроаффинных преобразований (при условии, что точки не лежат на одной прямой). Множество прямых в имеет в качестве максимальной группы инвариантности полную группу движений, но она для них неизмерима (измерима лишь некоторая её подгруппа). Измерима полная группа преобразований для пар прямых. Множество плоскостей относительно полной группы преобразований в не допускает меры; для множества плоскостей измерима лишь её подгруппа ортогональных преобразований. Пары плоскостей допускают меру для группы центроаффинных унимодулярных преобразований. Параллелепипеды допускают меру частной группы аффинных преобразований, множество пар плоскость – точка допускает меру полной группы преобразований в . Множество сфер в допускает меру группы преобразований подобия, причём плотность меры равна , где – радиус сферы. Множество поверхностей -го порядка допускает меру полной группы преобразований в , причём плотность меры равна , где есть инвариант поверхности. Множество окружностей в допускает меру группы преобразований подобия, причём плотность меры равна , где – радиус окружности. Кинематическая мера в полной группы преобразований равна , где есть её определитель. Плотность меры множества точек в центроаффинном унимодулярном пространстве трёх измерений равна единице. Измеримо и множество плоскостей в этом пространстве с плотностью , где есть параметр нормального уравнения плоскости.
Интегральная геометрия на поверхности постоянной кривизны . Семейству кривых в с постоянной положительной кривизной соответствует максимальная группа инвариантности . Семейства специального вида (трёх-, двух- и однопараметрические) допускают плотности меры максимальной группы инвариантности инфинитезимальных преобразований группы , а в случае одного параметра – группы .
То же справедливо для с отрицательной постоянной кривизной. Трёхпараметрические кривые специального вида допускают плотность меры максимальной группы инвариантности преобразований , равную единице. Меры существуют у группы и в случае специальных видов двух- и однопараметрических семейств. В обоих случаях условие допущения семейством кривых меры максимальной группы инвариантности состоит в пространственной транзитивности (измеримости) присоединённой группы .
Обобщение интегральной геометрии. Вышеприведённое изложение относится к традиционному пониманию содержания интегральной геометрии как теории инвариантной меры множества геометрических объектов в различных пространствах, в основном в однородных. При понимании интегральной геометрии как теории преобразования функций, заданных на множестве одних геометрических объектов в некотором пространстве, в функции, заданные на множестве иных геометрических объектов того же пространства, в качестве основной ставится задача, обратная интегрированию некоторой функции точек пространства по некоторому геометрическому объекту этого же пространства. Например, если вводится интегральное преобразование функции в -мерном аффинном пространстве (преобразование Радона) как интегрирование её по гиперплоскости, то в качестве обратной ставится задача восстановления по её интегралам по гиперплоскостям, т. е. задача нахождения обратного преобразования Радона. Аналогично ставятся и решаются задачи о восстановлении функции на линейчатых поверхностях -го порядка в -мерном комплексном пространстве, когда известны её интегралы по прямым, составляющим эту поверхность, а также о восстановлении функции по её интегралам, взятым по орисферам в действительном и мнимом пространствах Лобачевского.