Русская Википедия:Теорема о причёсывании ежа

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Hairy ball one pole animated.gif
Векторное поле на сфере с единственной особой точкой (диполь индекса 2).

Теорема о причёсывании ежа утверждает, что на сфере невозможно выбрать касательное направление в каждой точке, которое определено во всех точках сферы и непрерывно зависит от точки. Неформально говоря, невозможно причесать свернувшегося клубком ежа так, чтобы у него не торчала ни одна иголка — отсюда и упоминание ежа в названии теоремы.

С помощью теоремы о причесывании ежа может быть доказана[1] теорема о неподвижной точке, полученная в 1912 году Брауэром[2].

Формулировка

Не существует непрерывного касательного векторного поля на сфере, которое нигде не обращается в ноль[3].

Замечания

  • Иначе говоря, если <math>f</math> — непрерывная функция, задающая касательный к сфере вектор в каждой её точке, то существует хотя бы одна точка <math>p</math> такая, что <math>f(p)=0</math>.
  • Другой вариант «теоремы о еже» выглядит так: Пусть <math>\mathbf{f}</math> — ненулевое непрерывное векторное поле на сфере. Тогда существует точка, в которой поле перпендикулярно сфере.

Следствия и приложения

Любое непрерывное отображение сферы на себя либо имеет неподвижную точку, либо отображает некоторую точку на её диаметрально противоположную
Это становится ясно, если преобразовать отображение в непрерывное векторное поле следующим образом. Пусть <math>s</math> — отображение сферы на себя, а <math>v</math> — искомое векторное поле. Для любой точки <math>p</math> построим стереографическую проекцию точки <math>s(p)</math> на касательную плоскость в точке <math>p</math>. Тогда <math>v(p)</math> — вектор смещения проекции относительно <math>p</math>. По теореме о причёсывании ежа, существует такая точка <math>p</math>, что <math>v(p)=0</math>, так что <math>s(p)=p</math>.
Доказательство не проходит только если для некоторой точки <math>p</math> <math>s(p)</math> противоположна <math>p</math>, так как в этом случае нельзя построить её стереографическую проекцию на касательную плоскость в точке <math>p</math>.
На Земле должен быть циклон
Интересное метеорологическое приложение этой теоремы получается, если рассмотреть ветер как непрерывное векторное поле на поверхности планеты. Рассмотрим идеализированный случай, в котором нормальная к поверхности составляющая поля пренебрежимо мала. Теорема о причёсывании ежа утверждает, что на поверхности планеты всегда будет точка, в которой не будет ветра (нуль касательного векторного поля). Такая точка будет центром циклона или антициклона: ветер будет закручиваться вокруг этой точки (он не может быть направлен к этой точке или из неё). Таким образом, по теореме о причёсывании ежа, если на Земле дует хоть какой-то ветер, то где-то обязательно должен быть циклон.
В трёхмерной графике для виртуальной камеры нет однозначного непрерывного вектора-«верха»
Не существует непрерывной функции в <math>\mathbb{R}^3</math>, которая для каждого единичного вектора (оси камеры) генерирует перпендикулярный (верх кадра). Традиционная ориентация камеры, которая смотрит из точки A на объект B, такова: выбирается некое направление («верх»), и искомый вектор — ортогональная составляющая направления-верха на вектор AB. Разумеется, когда камера должна смотреть прямо вверх или вниз, этот вектор нулевой. Теорема говорит, что даже в космосе, где нет «верха» и «низа», невозможно сделать подобное отображение, чтобы оно было одновременно однозначным и без таких особых направлений[4].
Другое похожее следствие: невозможно покрыть шар камерами так, чтобы заснять бинокулярную 4π-стерадианную виртуальную реальность[4].
Невозможно создать квазистационарный термоядерный реактор, топологически эквивалентный сфере
Существуют две конструкции такого реактора: советский токамак (тор) и американский стелларатор (обмотка тора длинным узким кольцом), оба топологически торы. Ни один материальный сосуд не способен держать нагретую плазму, и в квазистационарной схеме этот «сосуд» делают из магнитного поля. «Колючки ежа» — это направление магнитного поля, и теорема о еже говорит, что у сферического реактора гарантированно будет особая точка, где магнитное поле нулевое[5]. Идея третьей схемы квазистационарного реактора, так называемой открытой/зеркальной ловушки: пусть остаются две особых точки (концы реактора) и оттуда утекает плазма — если нагрев новой плазмы будет идти быстрее, всё равно будет положительный выход энергии[6].

Вариации и обобщения

  • С более общей точки зрения можно показать, что определённая сумма нулей касательного векторного поля должна равняться 2, эйлеровой характеристике двумерной сферы, поэтому должен существовать хотя бы один нуль. Это следствие теоремы Пуанкаре о векторном поле. Для двумерного тора эйлерова характеристика равна 0, поэтому его «можно причесать». В общем, любое непрерывное касательное векторное поле на компактном регулярном двумерном многообразии с ненулевой эйлеровой характеристикой имеет хотя бы один нуль.
  • Связь с эйлеровой характеристикой <math>\chi</math> подсказывает правильное обобщение: на <math>2n</math>-мерной сфере не существует нигде ненулевого непрерывного векторного поля (<math>n\geqslant 1</math>). Разница между чётными и нечётными размерностями заключается в том, что <math>k</math>-мерные числа Бетти <math>m</math>-мерной сферы равны 0 для всех <math>k</math>, кроме <math>k=0</math> и <math>k=m</math>, поэтому их знакопеременная сумма <math>\chi</math> равна 2 для чётных <math>m</math> и 0 — для нечётных.

См. также

Примечания

Шаблон:Примечания

Литература

  • Murray Eisenberg, Robert Guy. A Proof of the Hairy Ball Theorem. — The American Mathematical Monthly. — Vol. 86. — No. 7 (Aug. — Sep., 1979). — pp. 571–574.
Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ "it was not until 1912 that the general case was proved by the Dutch mathematician L.E.JBrouwer" Шаблон:Wayback / The Hairy Ball Theorem. Mark Ioppolo. AfterMath Issue 5, 2008, University of Western AustraliaШаблон:Ref-en
  2. ↑ L.E.J. Brouwer. Über Abbildung von Mannigfaltigkeiten / Mathematische Annalen (1912) Volume: 71, page 97-115; ISSN: 0025-5831; 1432-1807/e Шаблон:Wayback, full text Шаблон:Wayback Шаблон:Ref-de
  3. ↑ Шаблон:Cite web
  4. ↑ 4,0 4,1 eleVRant: The Hairy Ball Theorem in VR Video | elevr
  5. ↑ Cобрать ТЕРМОЯДЕРНЫЙ РЕАКТОР у себя дома? - YouTube
  6. ↑ Тихий термоядерный переворот / Хабр
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Теорема_о_причёсывании_ежа&oldid=10920207