| 3:56p |
вопрос про семейства и касающиеся кривые
вроде простой вопрос, но уже пару дней не могу придумать доказательства.
пусть у нас есть семейство кривых на алгебраической поверхоности, параметризованное
многообразием размерности 2 (всё неприводимое, гладкое, проективное, если угодно).
как доказать, что существует точка на поверхности такая, что проходящие через
неё кривые семейства не все касаются друг друга (а наоборот, их касательные пространства
в точке заметают касательное пространство плоскости в точке)? |