Алгебраическую топологию часто начинают рассказывать с забавных фигур вроде бутылки Клейна или ленты Мёбиуса. Но эти формы не просто игрушки: та же странность, что есть у ленты Мёбиуса, внезапно всплывает в теории дифференциальных уравнений.
У ленты Мёбиуса одна сторона. Локально всегда можно выбрать, где «верх», а где «низ», и переносить это направление от точки к точке. Но если обойти ленту по кругу, «верх» и «низ» поменяются местами. Топологи говорят: на ленте нельзя задать глобальную ориентацию.
Ровно то же происходит с решением уравнения (df/dz = f(z)/(2z)), которым интересовался Риман. Если искать решение в виде ряда Тейлора с центром в точке (z=1) и начальным условием (f(1)=1), коэффициенты находятся по рекурсии. Ряд сходится только в круге радиуса 1. В точке (z=-1) он расходится к (-\infty).
Выход — строить новые ряды Тейлора с другими центрами. Например, можно взять точку (\alpha = 0.6 + 0.8i), вычислить значение (f(\alpha)) по старой формуле и решить уравнение заново вокруг (\alpha). В пересечении двух кругов формулы дают одинаковые значения. Так решение продолжается на объединение кругов, потом ещё дальше — и так почти на всю комплексную плоскость.
Но тут появляется сюрприз. Если обойти начало координат по цепочке таких кругов и вернуться к (z=1), значение решения изменится: вместо (f(1)=1) получится (f(1)=-1). Локальная единственность решений не помогает: у красного и синего кругов нет общей точки, где мы знали бы одно и то же начальное условие. Решение просто сменило знак, как «верх» и «низ» на ленте Мёбиуса.
Это не просто метафора. Пространство всех решений линейного дифференциального уравнения можно представить как векторное расслоение: над каждой точкой комплексной плоскости, кроме нуля, где (1/(2z)) не определено, висит пространство возможных начальных условий. Если посмотреть на это расслоение над единичной окружностью и взять одномерные слои вместо двумерных, получится буквально лента Мёбиуса. При обходе окружности начальное условие (+1) перекручивается в (-1).
Полное двумерное расслоение устроено так же, но его труднее нарисовать. Главное, что лента Мёбиуса возникает прямо из решений дифференциального уравнения, и эта геометрическая картина помогает современному комплексному анализу.