А что, если поля не вихревые, а «стекающиеся» или «вытекающие»? Это приводит нас к дивергенции. Если ротор измеряет вращение, то дивергенция — это мера «источников» и «стоков» поля. Представь дождь: в каждой точке дивергенция поля скоростей капель говорит, появляются ли там новые капли (источник) или они исчезают (сток). Для воды в стакане дивергенция нулевая — капли не возникают и не исчезают из ниоткуда.
И вот их дуэт: ротор и дивергенция. Они вдвоем полностью описывают поведение векторного поля в классической физике. Если дивергенция равна нулю — поле соленоидальное, нет источников, словно течение несжимаемой жидкости. Если ротор равен нулю — поле потенциальное, нет вихрей, его можно описать градиентом некоторой функции, как холмистую местность.
Теорема о причесывании ежа, по сути, следует из этого. На сфере любое гладкое поле обязано где-то иметь особенность — либо источник/сток (ненулевая дивергенция), либо вихрь (ненулевой ротор). В случае касательного поля (иголки ежа) источники запрещены — иголки не могут торчать изнутри. Остаются только вихри. И они обязаны быть.
Так что еж — не просто забавный зверь. Он — воплощение фундаментального топологического запрета. Наш мир устроен так, что идеальной гладкости не бывает. Где-то всегда найдется дырочка, вихрь, источник или сток. И в этом — его совершенная, колючая красота.
- Пограничное расстройство
Почему у границы нет границы? Интуитивное объяснение: представьте себе обычный круглый диск (вместе с его границей — окружностью). Теперь спросим: «Какова граница этого диска?» Ответ: это окружность. А теперь зададим главный вопрос: «Какова граница этой самой границы? То есть, какова граница окружности?» Окружность — это одномерная замкнутая кривая. У неё нет концов. Она идеально замкнута. Не существует такого понятия, как «край края». Вы не можете указать на точку на окружности и сказать: «Вот отсюда начинается граница этой окружности». Граница должна быть чем-то внешним по отношению к самому объекту, но у окружности ничего внешнего для неё самой нет. Фундаментальный принцип: граница границы всегда равна нулю. Или, в более формальных терминах, применение оператора границы дважды всегда дает пустое множество. ∂ ◦ ∂ = 0 Это не просто наблюдение. Это краеугольный камень, на котором строится вся современная топология. Это означает, что всё, что имеет границу, само не может быть границей чего-то другого. При чём тут гомологии? (Изучение «Дыр») Гомологии — это мощный инструмент, который позволяет классифицировать и подсчитывать «дыры» в объектах разной размерности. Цикл: это обобщение понятия «замкнутая кривая» или «замкнутая поверхность». Цикл — это нечто без границы. Наша окружность — идеальный пример 1-мерного цикла: у неё нет границ. Граничный цикл: это цикл, который является границей чего-то большего. Например, наша окружность является границей диска. Вот тут и проявляется наш принцип ∂ ◦ ∂ = 0. Если цикл C является границей (C = ∂D), то его граница заведомо равна нулю (∂C = ∂(∂D) = 0). Задача гомологий — найти неграничащие циклы. Это такие замкнутые поверхности или кривые, которые не являются границей никакого объекта в нашем пространстве. Они и окружают те самые «дыры». Пример: Представьте бублик (тор). На нём есть два основных типа циклов: маленькие окружности, которые можно стянуть в точку (они являются границами маленьких дисков на поверхности бублика), и две незатягиваемые петли: одна вокруг дырки, другая через неё. Эти две петли не являются границей никакой части поверхности бублика. Они — те самые нетривиальные циклы, наличие которых говорит нам о том, что у объекта есть «дырка». Гомологии позволяют это строго посчитать. Таким образом, гомологии используют принцип «границы границы нет» для того, чтобы отфильтровать тривиальные циклы (которые являются границами) и найти именно те, что указывают на топологические особенности — дыры. 3. При чём тут когомологии? (Изучение «Самостоятельности») Если гомологии смотрят на объект «изнутри», изучая его циклы, то когомологии смотрят на него «снаружи», изучая, как на этом объекте можно задавать функции. Можно думать о когомологиях как об инструменте, который измеряет препятствия к продолжению локальных данных до глобальных. Пример: Представьте, что вы на поверхности сферы задаете стрелочки (векторное поле). Известная теорема («причесать ежа») гласит, что на сфере невозможно задать непрерывное векторное поле без хотя бы одной точки, где стрелочка будет неопределена (нулевая). А на торе (бублике) — можно. Почему? Потому что у сферы нетривиальная когомологическая структура! Она «мешает» гладкому заданию поля. И здесь снова работает наш принцип d ◦ d = 0 (внешнее дифференцирование, аналог оператора границы ∂). Когомологии строятся на этом свойстве. Классы когомологий — это, грубо говоря, функции или формы, которые «локально выглядят как граница», но глобально не являются границей ничего. Они измеряют, насколько пространство «мешает» глобальной согласованности. Итог: Единая картина