Настроение:	sick
Музыка:	Introduction to derived Poisson geometry with examples
Entry tags:	math

идеал в кольце непрерывных функций
Применили сегодня в статье, которую заканчиваем
(по комплексному анализу и геометрии) такую теорему (*).
Пусть I есть нетривиальный идеал в кольце непрерывных функций
на компакте. Тогда у I есть общие нули.

Очень люблю
давать эту задачу студентам, но никогда не ожидал, что
придется ее реально в математике применить.

Нужно было доказать такую теорему

Теорема Пусть D компактное комплексное многообразие
с гладкой, строго псевдовыпуклой границей,
а L голоморфное эрмитово расслоение. Тогда найдется
набор сечений такой f_i, что ограничение \sum |f_i| на границу
приближает постоянную функцию, равную 1,
с любой заданной точностью.

Вроде бы доселе неизвестно было.
Аргумент примерно такой, что дескать там очень много
голоморфных функций, суммы их модулей приближают любую непрерывную
функцию на границе, так что функцию вида
\sum a_i |f_i|^2 можно получить
для любых непрерывных положительных a_i,
а дальше смотрим на идеал, порожденный
квадратами сечений, и применяем (*)