(no subject)

[posic]

Самый мучительный момент в работе математика -- это когда у него выводится противоречие.

Comments

[french-man.livejournal.com]

Все равно не врубаюсь, но неважно.

Мы сейчас пакуемся в путь, а когда вернемся, я Вас еще подостаю дурацкими вопросами. ОК?

[posic.livejournal.com]

Конечно. Пожалуйста.

[posic.livejournal.com]

Пусть точка x в пространстве комплексов соответствует точному комплексу; покажем, что у нее есть открытая окрестность Зарисского, в которой все комплексы точны. Мы, конечно, предполагаем пространства комплексов фиксированными -- варьируются только дифференциалы.

Рассмотрим все комплексы, у которых ранг каждого дифференциала не меньше, чем ранг соответствующего дифференциала в комплексе x. Это открытое условие (не все миноры определенного размера в матрице соотв. дифференциала равны нулю). Все комплексы, удовлетворяющие этому условию, точны (поскольку точность означает, что сумма рангов двух соседних дифференциалов равна размерности соотв. члена комплекса; причем большей сумма рангов быть не может, до тех пор пока это комплекс).

[french-man.livejournal.com]

Thanks. Now I understood!