Теорема о волосатом мяче

Теорема о волосатом шаре алгебраической топологии (иногда называемая в Европе теоремой о еже ) ^[1] утверждает, что не существует ненулевого непрерывного касательного векторного поля на четномерных n -сферах . ^[2]^[3] Для обычной сферы или 2-сферы, если f — непрерывная функция, которая сопоставляет вектор в R ³ каждой точке p на сфере такой, что f ( p ) всегда касается сферы в точке p , то существует хотя бы один полюс, точка, в которой поле обращается в нуль ( p такое, что f ( p ) = ).

Теорема была впервые доказана Анри Пуанкаре для 2-сферы в 1885 году ^[4] и расширена до более высоких четных измерений в 1912 году Луиценом Эгбертусом Яном Брауэром . ^[5]

Теорема была выражена в просторечии как «невозможно расчесать волосатый комок, не создав при этом челку » или «невозможно расчесать волосы на кокосе». ^[6]

Подсчет нулей

Каждый нуль векторного поля имеет (ненулевой) « индекс », и можно показать, что сумма всех индексов всех нулей должна быть равна двум, поскольку эйлерова характеристика 2-сферы равна двум. . Следовательно, должен быть хотя бы один ноль. Это следствие теоремы Пуанкаре–Хопфа . В случае тора эйлерова характеристика равна 0; и можно «причесать волосатый пончик». В связи с этим следует, что для любого компактного регулярного двумерного многообразия с ненулевой эйлеровой характеристикой любое непрерывное касательное векторное поле имеет хотя бы один нуль.

Приложение к компьютерной графике

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

Лефшец соединение

Существует тесно связанный аргумент из алгебраической топологии , использующий теорему Лефшеца о неподвижной точке . Поскольку числа Бетти 2-сферы равны 1, 0, 1, 0, 0, ... число Лефшеца (полный след на гомологиях ) тождественного отображения равно 2. Интегрируя векторное поле , мы получаем (по крайней мере малая часть) однопараметрической группы диффеоморфизмов на сфере; и все отображения в нем гомотопны единице. Следовательно, все они также имеют число Лефшеца 2. Следовательно, они имеют неподвижные точки (поскольку число Лефшеца не равно нулю). Потребуется еще немного работы, чтобы показать, что это означает, что на самом деле должен быть ноль векторного поля. Это действительно предполагает правильную формулировку более общей теоремы Пуанкаре-Хопфа об индексе .

Следствие

Следствием теоремы о волосатом шаре является то, что любая непрерывная функция , отображающая четномерную сферу в себя, имеет либо фиксированную точку , либо точку, которая отображается в свою собственную антиподальную точку . В этом можно убедиться, преобразуя функцию в тангенциальное векторное поле следующим образом.

Пусть s — функция, отображающая сферу в себя, а v — касательная векторная функция, которую нужно построить. Для каждой точки p постройте стереографическую проекцию s ( p ) с p в качестве точки касания. Тогда v ( p ) — вектор смещения этой проецируемой точки относительно p . Согласно теореме о волосатом шаре, существует p такое, что v ( p ) = 0 , так что s ( p ) = p .

Этот аргумент неверен только в том случае, если существует точка p , для которой s ( p ) является противоположной точкой p , поскольку такая точка является единственной, которую нельзя стереографически спроецировать на касательную плоскость p .

Дальнейшее следствие состоит в том, что любое четномерное проективное пространство обладает свойством неподвижной точки . Это следует из предыдущего результата путем поднятия непрерывных функций в себя до функций в себя. $\mathbb {RP} ^{2n}$ $S^{2n}$

Высшие измерения

Связь с эйлеровой характеристикой χ подсказывает правильное обобщение: 2 n -сфера не имеет неисчезающего векторного поля при n ≥ 1 . Разница между четными и нечетными размерностями состоит в том, что, поскольку единственными ненулевыми числами Бетти m - сферы являются b ₀ и b _m , их попеременная сумма χ равна 2 для четного m и 0 для нечетного m .

Действительно, легко увидеть, что нечетномерная сфера допускает ненулевое касательное векторное поле, посредством простого процесса рассмотрения координат окружающего четномерного евклидова пространства попарно. А именно, можно определить касательное векторное поле, указав векторное поле, заданное формулой $\mathbb {R} ^{2n}$ $S^{2n-1}$ $v:\mathbb {R} ^{2n}\to \mathbb {R} ^{2n}$

v(x_{1},\dots,x_{2n})=(x_{2},-x_{1},\dots,x_{2n},-x_{2n-1}).

Чтобы это векторное поле ограничилось касательным векторным полем к единичной сфере, достаточно убедиться, что скалярное произведение с единичным вектором удовлетворяющей формы обращается в нуль. Благодаря спариванию координат мы видим $S^{2n-1}\subset \mathbb {R} ^{2n}$ $x=(x_{1},\dots,x_{2n})$ $\|x\|=1$

v(x_{1},\dots,x_{2n})\bullet (x_{1},\dots,x_{2n})=(x_{2}x_{1}-x_{1}x_ {2})+\cdots +(x_{2n}x_{2n-1}-x_{2n-1}x_{2n})=0.

Для 2 n -сферы окружающее евклидово пространство является нечетномерным, поэтому этот простой процесс спаривания координат невозможен. Хотя это не исключает возможности того, что все еще может существовать касательное векторное поле к четномерной сфере, которое не обращается в нуль, теорема о волосатом шаре показывает, что на самом деле не существует способа построить такое векторное поле. $\mathbb {R} ^{2n+1}$

Физические примеры

Теорема о волосатом шаре имеет множество физических примеров. Например, вращение твердого шара вокруг неподвижной оси порождает непрерывное тангенциальное векторное поле скоростей точек, расположенных на его поверхности. Это поле имеет две точки нулевой скорости, которые исчезают после полного просверливания шара через его центр, превращая тем самым шар в топологический эквивалент тора, тела, к которому не применима теорема о «волосатом шаре». ^[7] Теорема о волосатом шаре может быть успешно применена для анализа распространения электромагнитных волн в случае, когда волновой фронт образует поверхность, топологически эквивалентную сфере (поверхность, обладающая эйлеровой характеристикой χ = 2). Обязательно появится хотя бы одна точка на поверхности, в которой векторы электрического и магнитного полей равны нулю. ^[8] На некоторых двухсферах пространства параметров для электромагнитных волн в плазме (или других сложных средах) также появляются подобные «волны» или «лысины», что указывает на существование топологического возбуждения, т.е. робастных волн, которые невосприимчивы к рассеянию и отражению в системах. ^[9] Если кто-то идеализирует ветер в атмосфере Земли как поле касательных векторов, то теорема о волосатом шаре подразумевает, что при любом ветре на поверхности Земли всегда где-то должен быть циклон . Однако обратите внимание, что ветер может перемещаться в атмосфере вертикально, поэтому идеализированный случай не является метеорологически обоснованным. ( Верно то, что для каждой «оболочки» атмосферы вокруг Земли должна быть точка на оболочке, где ветер не движется горизонтально.) Теорема также имеет применение в компьютерном моделировании (включая дизайн видеоигр ), в распространенной проблемой которого является вычисление ненулевого трехмерного вектора, ортогонального (т. е. перпендикулярного) заданному; Теорема о волосатом шаре подразумевает, что не существует ни одной непрерывной функции, которая могла бы выполнить эту задачу. ^[10]

Смотрите также

Примечания

^ Рентельн, Пол (2013). Многообразия, тензоры и формы: введение для математиков и физиков. Кембриджский университет. Нажимать. п. 253. ИСБН 978-1107659698.
^ Бернс, Кейт; Гидея, Мариан (2005). Дифференциальная геометрия и топология: взгляд на динамические системы. ЦРК Пресс. п. 77. ИСБН 1584882530.
^ Шварц, Ричард Эван (2011). В основном поверхности. Американское математическое общество. стр. 113–114. ISBN 978-0821853689.
^ Пуанкаре, Х. (1885), «Sur les courbes définies par les équations différentielles», Journal de Mathématiques Pures et Appliquées , 4 : 167–244
^ Георг-Август-Университет Геттингена. Архивировано 26 мая 2006 г. в Wayback Machine - LEJ Brouwer. Über Abbildung von Mannigfaltigkeiten / Mathematische Annalen (1912), том: 71, стр. 97–115; ISSN: 0025-5831; 1432-1807/e, полный текст
↑ Ричесон, Дэвид С. (23 июля 2019 г.). Жемчужина Эйлера: формула многогранника и рождение топологии (изд. Новой Принстонской научной библиотеки). Принстон. п. 5. ISBN 978-0691191997.{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )
^ Бормашенко, Эдвард; Казачков, Александр (июнь 2017 г.). «Вращающиеся и катящиеся твердые тела и теорема о «волосатом клубке». Американский журнал физики . 85 (6): 447–453. Бибкод : 2017AmJPh..85..447B. дои : 10.1119/1.4979343. ISSN 0002-9505.
^ Бормашенко, Эдвард (23 мая 2016 г.). «Препятствия, налагаемые теоремой Пуанкаре – Брауэра («волосатый клубок») о распространении электромагнитных волн». Журнал электромагнитных волн и приложений . 30 (8): 1049–1053. Бибкод : 2016JEWA...30.1049B. дои : 10.1080/09205071.2016.1169226. ISSN 0920-5071. S2CID 124221302.
^ Цинь, Хун; Фу, Ичен (31 марта 2023 г.). «Топологическая ленгмюрово-циклотронная волна». Достижения науки . 9 (13): eadd8041. doi : 10.1126/sciadv.add8041. ISSN 2375-2548. ПМЦ 10065437 . ПМИД 37000869.
^ Когулак, Рудольф (2 сентября 2016 г.). «Волосатые шарики, циклоны и компьютерная графика». Меловая пыль . Проверено 14 августа 2023 г.

дальнейшее чтение

Джарвис, Тайлер; Тантон, Джеймс (2004), «Теорема о волосатом шаре через лемму Спернера», American Mathematical Monthly , 111 (7): 599–603, doi : 10.1080/00029890.2004.11920120, JSTOR 4145162, S2CID 29784803
Ричесон, Дэвид С. (2008), «Расчесывание волос на кокосе», Жемчужина Эйлера: формула многогранника и рождение топологии , Princeton University Press, стр. 202–218, ISBN 978-0-691-12677-7

Внешние ссылки

Вайсштейн, Эрик В. «Теорема о волосатом шаре». Математический мир .