§ VII. Интегральные многообразия инволютивного распределения (локальная теория)
Пусть
многообразие,
система координат в точке
какая-нибудь кубическая окрестность точки
относительно этой системы и
-ширина куба
Пусть, далее,
любое натуральное число
какие-нибудь
чисел, удовлетворяющих неравенствам
Обозначим через совокупность всех точек
координаты которых удовлетворяют уравнениям
Мы можем определить многообразие
имеющее своим точечным множеством, потребовав, чтобы функции, индуцируемые на функциями
образовывали систему координат в каждой точке из
. Очевидно, есть подмногообразие многообразия
Мы будем говорить, что
есть сечение куба V, определенное уравнениями
Теорема 1. Пусть
-мерное аналитическое инволютивное распределение на
-мерном многообразии. Для любой точки
из X) существуют система координат
и кубическая окрестность V (ширины а) относительно этой системы, удовлетворяющие следующим условиям: 1)
; 2) сечение куба
определяемое уравнениями
где
любые
чисел таких, что
интегральное многообразие распределения
Докажем сперва следующую лемму,
Лемма 1. Пусть X — инфинитезимальное преобразование, определенное и аналитичное в окрестности точки
и такое, что
Тогда существуют система координат
кубическая окрестность
точки
относительно этой системы, удовлетворяющие следующем
Отсюда следует, что существуют система координат
и кубическая окрестность
точки
относительно этой системы такие, что
и
Тогда для
имеем:
откуда
в окрестности
Перейдем теперь к доказательству теоремы 1. Пусть
-базис распределения
вблизи
Так как
то мы можем применить к
лемму 1. Пусть
система координат в
окрестность точки
удовлетворяющая условиям леммы 1 для
кроме того, столь малая, что
образуют базис пространства в каждой точке
Если
то ясно, что сечение окрестности
определенное уравнениями
— любые числа, меньшие по абсолютной величине, чем ширина куба
является интегральным многообразием распределения
Это доказывает теорему 1 для случая
Доказательство для общего случая мы проведем индукцией по
Пусть
и предположим, что теорема 1 верна для распределений размерности
Очевидно, что на V можно найти
аналитических функций
таких, что
Положим
тогда
образуют базис пространства
в каждой точке
Пусть X — сечение куба
определенное уравнением
При
векторы
являются касательными к
следовательчо,
индуцируют в
некоторые инфинитезимальные преобразования
Пространство натянутое на векторы
является пересечением пространства
с касательным пространством к X в
Распределение
очевидно, аналитично на
С другой стороны, из предложения
стр. 128, непосредственно следует, что
инволютивно. Так как
имеет
Так как всякое
является интегральным многообразием распределения
то
на X, т. е. для
Функции
рассматриваемые как функции от
удовлетворяют системе (2) линейных однородных дифференциальных уравнений. Из теоремы единственности для систем дифференциальных уравнений следует тогда, что
тождественно на
Это означает, что всякое сечение куба V, определенное системой уравнений вида
является интегральным многообразием распределения
Тем самым теорема 1 доказана и для распределений размерности
Предложение 1. Пусть
аналитическое инволютивное распределение на многообразии
. Если интегральные многообразия и распределения
имеют общую точку
то существует интегральное многообразие распределения
содержащее
и являющееся открытым подмного: образием одновременно для и
Будем пользоваться обозначениями теоремы 1. Пусть
— сечение куба V, определенное уравнениями
Достаточно будет доказать, что любое интегральное многообразие
распределения
содержащее точку
обладает открытым подмногообразием, являющимся также открытым подмногообразием в
.
Так как тождественное отображение многообразия в 40 непрерывно, то множество
является относительно открытым в Поскольку локально связно, связная компонента С точки
(в топологии многообразия является относительно открытым множеством в
Поэтому С есть точечное множество открытого подмногообразия из являющегося интегральным многообразием распределения
Обозначим через
инфинитезимальное преобразование, имеющее своим символом (относительно координат
Тогда векторы
Для каждого
образуют базис пространства С другой стороны, если
то,