Номер обмотки

Не путать с числом витков карты .

Эта кривая имеет виток номер два вокруг точки p .

В математике число витков или индекс витков на замкнутой кривой плоскости вокруг данной точки представляет собой целое число, кривой представляющее общее количество раз, которое кривая проходит вокруг точки против часовой стрелки, т. е. количество витков . Для некоторых кривых с открытой плоскостью количество витков может быть нецелым. Число витков зависит от ориентации кривой и является отрицательным , если кривая движется вокруг точки по часовой стрелке.

Числа витков являются фундаментальными объектами изучения алгебраической топологии и играют важную роль в векторном исчислении , комплексном анализе , геометрической топологии , дифференциальной геометрии и физике (например, в теории струн ).

Интуитивное описание

Объект, движущийся по красной кривой, делает два оборота против часовой стрелки вокруг человека в начале координат.

Предположим, нам дана замкнутая ориентированная кривая в плоскости xy . Мы можем представить кривую как путь движения некоторого объекта, ориентация которого указывает направление движения объекта. Тогда число витков кривой равно общему числу оборотов против часовой стрелки, которые делает объект вокруг начала координат.

При подсчете общего количества оборотов движение против часовой стрелки считается положительным, а движение по часовой стрелке – отрицательным. Например, если объект сначала обходит начало координат четыре раза против часовой стрелки, а затем обходит начало координат один раз по часовой стрелке, то общее количество витков кривой равно трем.

Используя эту схему, кривая, которая вообще не движется вокруг начала координат, имеет нулевой номер витка, а кривая, которая движется по часовой стрелке вокруг начала координат, имеет отрицательный номер витка. Следовательно, номер витка кривой может быть любым целым числом . На следующих рисунках показаны кривые с номерами витков от −2 до 3:

$\cdots$
	−2	−1	0
				$\cdots$
	1	2	3

Формальное определение

Позволять $\gamma :[0,1]\to \mathbb {C} \setminus \{a\}$ — непрерывный замкнутый путь на плоскости минус одна точка. Число витков $\gamma$ вокруг $a$ целое число

${\text{wind}}(\gamma ,a)=s(1)-s(0),$

где $(\rho ,s)$ это путь, записанный в полярных координатах, т.е. поднятый путь через карту покрытия

$p:\mathbb {R} _{>0}\times \mathbb {R} \to \mathbb {C} \setminus \{a\}:(\rho _{0},s_{0})\mapsto a+\rho _{0}e^{i2\pi s_{0}}.$

Число витков хорошо определено благодаря существованию и единственности поднятого пути (с учетом начальной точки в покрывающем пространстве), а также потому, что все слои $p$ имеют форму $\rho _{0}\times (s_{0}+\mathbb {Z} )$ (поэтому приведенное выше выражение не зависит от выбора начальной точки). Это целое число, поскольку путь закрыт.

Альтернативные определения

В разных разделах математики число витков часто определяется по-разному. Все приведенные ниже определения эквивалентны приведенному выше:

Александр нумерация

Простое комбинаторное правило для определения числа обмотки было предложено Августом Фердинандом Мёбиусом в 1865 году. и снова независимо Джеймсом Уодделлом Александром II в 1928 году. Любая кривая разбивает плоскость на несколько связных областей, одна из которых неограничена. Числа витков кривой вокруг двух точек в одной и той же области равны. Число витков вокруг (любой точки) неограниченной области равно нулю. Наконец, числа витков для любых двух соседних областей отличаются ровно на 1; область с большим номером витка появляется на левой стороне кривой (по отношению к движению вниз по кривой).

Дифференциальная геометрия

В дифференциальной геометрии параметрические уравнения обычно считаются дифференцируемыми ( или, по крайней мере, кусочно-дифференцируемыми). В этом случае полярная координата θ связана с прямоугольными координатами x и y уравнением:

$d\theta ={\frac {1}{r^{2}}}\left(x\,dy-y\,dx\right)\quad {\text{where }}r^{2}=x^{2}+y^{2}.$

Это находится путем дифференцирования следующего определения для θ:

$\theta (t)=\arctan {\bigg (}{\frac {y(t)}{x(t)}}{\bigg )}$

Согласно фундаментальной теореме исчисления , общее изменение θ равно интегралу от dθ . Поэтому мы можем выразить число витков дифференцируемой кривой как линейный интеграл :

${\text{wind}}(\gamma ,0)={\frac {1}{2\pi }}\oint _{\gamma }\,\left({\frac {x}{r^{2}}}\,dy-{\frac {y}{r^{2}}}\,dx\right).$

Одноформа dθ , (определенная в дополнении к началу координат) замкнута но не точна и порождает первую когомологий де Рама группу проколотой плоскости . В частности, если ω — любая замкнутая дифференцируемая одна форма, определенная в дополнении к началу координат, то интеграл от ω по замкнутым контурам дает кратное число витков.

Комплексный анализ

Числа витков играют очень важную роль в комплексном анализе (см. формулировку теоремы о вычетах ). В контексте комплексного анализа число витков замкнутой кривой $\gamma$ в комплексной плоскости можно выразить через комплексную координату z = x + iy . В частности, если мы напишем z = re ^iθ , затем

$dz=e^{i\theta }dr+ire^{i\theta }d\theta$

и поэтому

${\frac {dz}{z}}={\frac {dr}{r}}+i\,d\theta =d[\ln r]+i\,d\theta .$

Как $\gamma$ представляет собой замкнутую кривую, общее изменение $\ln(r)$ равен нулю, и, следовательно, интеграл от ${\textstyle {\frac {dz}{z}}}$ равно $i$ умноженное на общее изменение $\theta$. Следовательно, число витков замкнутого пути $\gamma$ о происхождении задается выражением

${\frac {1}{2\pi i}}\oint _{\gamma }{\frac {dz}{z}}\,.$

В более общем смысле, если $\gamma$ представляет собой замкнутую кривую, параметризованную $t\in [\alpha ,\beta ]$, число витков $\gamma$ о $z_{0}$, также известный индекс как $z_{0}$ относительно $\gamma$, определяется для комплексного $z_{0}\notin \gamma ([\alpha ,\beta ])$ как

$\mathrm {Ind} _{\gamma }(z_{0})={\frac {1}{2\pi i}}\oint _{\gamma }{\frac {d\zeta }{\zeta -z_{0}}}={\frac {1}{2\pi i}}\int _{\alpha }^{\beta }{\frac {\gamma '(t)}{\gamma (t)-z_{0}}}dt.$

Это частный случай знаменитой интегральной формулы Коши .

Некоторые основные свойства числа витков в комплексной плоскости даются следующей теоремой:

Теорема. Позволять $\gamma :[\alpha ,\beta ]\to \mathbb {C}$ быть закрытым путем и пусть $\Omega$ быть заданным дополнением образа $\gamma$, то есть, $\Omega :=\mathbb {C} \setminus \gamma ([\alpha ,\beta ])$. Тогда индекс $z$ относительно $\gamma$,

$$\mathrm {Ind} _{\gamma }:\Omega \to \mathbb {C} ,\ \ z\mapsto {\frac {1}{2\pi i}}\oint _{\gamma }{\frac {d\zeta }{\zeta -z}},$$

является (i) целочисленным, т. е. $\mathrm {Ind} _{\gamma }(z)\in \mathbb {Z}$ для всех $z\in \Omega$; (ii) постоянна по каждому компоненту (т. е. максимальному связному подмножеству) $\Omega$; и (iii) ноль, если $z$ находится в неограниченной компоненте $\Omega$.

Как непосредственное следствие, эта теорема дает число витков кругового пути. $\gamma$ о точке $z$. Как и ожидалось, номер обмотки подсчитывает количество витков (против часовой стрелки). $\gamma$ делает вокруг $z$:

Следствие. Если $\gamma$ это путь, определяемый $\gamma (t)=a+re^{int},\ \ 0\leq t\leq 2\pi ,\ \ n\in \mathbb {Z}$, затем $\mathrm {Ind} _{\gamma }(z)={\begin{cases}n,&|z-a|<r;\\0,&|z-a|>r.\end{cases}}$

Топология

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

Приведенный выше пример кривой, обвивающей точку, имеет простую топологическую интерпретацию. Дополнение точки на плоскости гомотопически эквивалентно кругу , так что на самом деле все, что нужно учитывать, — это отображения круга в себя. Можно показать, что каждое такое отображение непрерывно деформируется (гомотопно) к одному из стандартных отображений. $S^{1}\to S^{1}:s\mapsto s^{n}$, где умножение в круге определяется путем его отождествления с комплексным единичным кругом. Совокупность гомотопических классов отображений окружности в топологическое пространство образует группу , которая называется первой гомотопической группой или фундаментальной группой этого пространства. Основная группа круга — это группа чисел целых Z ; а число витков комплексной кривой — это всего лишь ее гомотопический класс.

Отображения 3-сферы в себя также классифицируются целым числом, которое также называют числом витков или иногда индексом Понтрягина .

Число поворотов

Эта кривая имеет общую кривизну 6 π , номер поворота 3, хотя у нее есть только виток с номером 2 вокруг p .

Можно также учитывать число витков пути по отношению к касательной самого пути. Поскольку путь проходит во времени, это будет номер витка относительно начала вектора скорости. В этом случае пример, показанный в начале этой статьи, имеет номер обмотки 3, поскольку учитывается малая петля .

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

Это называется числом поворота , числом вращения , индекс вращения или индекс кривой , и может быть вычислен как общая кривизна, деленная на 2 π .

Полигоны

Дополнительная информация: Плотность (многогранник) § Многоугольники.

В полигонах число поворотов называется плотностью полигонов . Для выпуклых многоугольников и, в более общем смысле, простых многоугольников (не самопересекающихся) плотность равна 1 по теореме Жордана о кривой . Напротив, для правильного звездчатого многоугольника { p / q } плотность равна q .

Пространственные кривые

Число поворотов невозможно определить для пространственных кривых, поскольку степень требует соответствия размеров. Однако для локально выпуклых в замкнутом кривых пространстве можно определить знак касательного поворота как $(-1)^{d}$, где $d$ — число поворота стереографической проекции касательной индикатрисы . Два его значения соответствуют двум невырожденным гомотопическим классам локально выпуклых кривых.

и уравнения

Число обмотки тесно связано с (2 + 1)-мерным непрерывным уравнением Гейзенберга для ферромагнетика и его интегрируемыми расширениями: уравнением Ишимори и т. д. Решения последних уравнений классифицируются по числу обмотки или топологическому заряду ( топологический инвариант и/или топологический заряд ). квантовое число ).

Приложения

Визуализация алгоритма числа витков Дэна Сандея. Число витков 0 означает, что точка находится за пределами многоугольника; другие значения указывают, что точка находится внутри многоугольника

Точка в многоугольнике

Дополнительная информация: Точка в многоугольнике § Алгоритм числа витков.

Число витков точки относительно многоугольника можно использовать для решения задачи « точка в многоугольнике » (PIP), то есть его можно использовать для определения, находится ли точка внутри многоугольника или нет.

Как правило, алгоритм распределения лучей является лучшей альтернативой задаче PIP, поскольку он не требует тригонометрических функций, в отличие от алгоритма числа витков. Тем не менее, алгоритм числа оборотов можно ускорить, чтобы он также не требовал вычислений с использованием тригонометрических функций. Ускоренная версия алгоритма, также известная как алгоритм Санди, рекомендуется в тех случаях, когда необходимо учитывать и непростые многоугольники.

См. также

• Принцип аргументации
• Парадокс вращения монеты
• Коэффициент связи
• Ненулевое правило
• Плотность полигонов
• Теорема о вычетах
• Символ Шлефли
• Теория топологической степени
• Топологическое квантовое число
• Твист (математика)
• Петля Вильсона
• корчиться

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

• Число витков в PlanetMath .