ПОИСК Статьи Чертежи Таблицы Действительно, по следствию 1 векторы u,v зависимы во всех точках множества Г. Пусть теперь Ф — произвольная аналитическая 2-форма на М. Так как Ф(м,г;)—аналитическая функция на М, равная нулю на Г, и Г — ключевое множество, то Ф(и, г;) s 0. Воспользуемся следующим фактом: пусть Фо — заданная внешняя форма в точке Zq G М тогда существует аналитическая дифференциальная форма Фг на М, которая при z = zq совпадает с Фо. Отсюда вытекает зависимость полей и, v во всех точках М. Утверждение о возможности продолжения формы Фо на все М доказывается с помощью известного результата о вложении компактного аналитического многообразия М в Пусть Фо—ограничение 2-формы ifo, заданной в точке zo ? М С R , на Т М. Форма v oi очевидно, продолжается до аналитической формы ip на всем R (пусть, например, все ее коэффициенты постоянны). Остается ограничить форму ip на М. [Выходные данные]