Мое решение. Вводим векторное поле
на сфере (волосы). Тогда на макушке или в точке на проборе будет
или
(вообще говоря,
, т.к. длина "волос" везде одинакова). Причесанность дает нулевую нормальную составляющую поля и дифференцируемость везде, кроме макушек и проборов. Вот и все. Формулы для rot и div в сферических координатах мы знаем(если не знаем, то открываем, например, "приложение" в 8-м томе ландавшица). Подробное решение:
Нажмите для просмотра прикрепленного файлаДумаю, можно еще доказать, что макушек (простых) должно быть не менее 2-х. Предлагаю такую схему:
Предположим, что только одна макушка. Делаем разрез от этой макушки до диаметрально противоположной точки. То, что получилось, гомеоморфно отображаем в прямоугольник с парой противоположных сторон – берегов разреза. Суммарный поток через границу прямоугольника (циркуляция по границе) не будет равен нулю. Применяя формулу среднего значения и формулу Остроградского (Стокса), получаем, что в прямоугольнике есть точка с
(
), т.е. еще одна макушка, что противоречит предположению.
А в случае 2-х макушек просто указываем непосредственно, как причесывать.
Что скажете? Правомерно ли требовать
и
для всех точек на сфере, если нет макушек?
2M_T Интересно. Видимо, это и есть "классическое" решение. А каково формальное определение эйлеровой характеристики(для многообразия)?