Коса (математика)

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Образующая Артина»)
Перейти к навигации Перейти к поиску

Коса в математике — идеализированная абстракция знакомого из повседневности переплетения нитей. Является фундаментальным понятием теории кос.

Определение

[править | править код]

Классический подход к определению косы состоит из двух шагов. Сначала вводятся определённые наборы кривых в трёхмерном пространстве, которые называются геометрическими косами. Затем на множестве всех геометрических кос вводится отношение эквивалентности, которое называется изотопностью и отвечает возможности преобразовать одну геометрическую косу в другую определёнными физическими манипуляциями нитей. По определению принимается, что эквивалентные геометрические косы представляют один и тот же математический объект — косу.

Геометрические косы

[править | править код]

Для данного натурального числа пусть в евклидовом пространстве на двух параллельных плоскостях и отмечены по точек

,

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

Геометрической косой из нитей называется подмножество объемлющего пространства , которое состоит из непересекающихся кривых и удовлетворяет следующим требованиям:

  1. концы этих кривых расположены в отмеченных точках;
  2. каждая плоскость, параллельная основным и находящаяся между ними, пересекает геометрическую косу по ровно точкам.

Данные кривые называются нитями геометрической косы. Второе условие означает то, что нити идут «монотонно», то есть в длину вдоль прямой, перпендикулярной основным плоскостям.

Изотопность геометрических кос

[править | править код]

Изотопия геометрических кос представляет собой определённое непрерывное шевеление нитей. Предполагается, что при таких шевелениях должны сохраняться два указанных выше определяющих свойства геометрических кос, то есть необходимо, чтобы концы нитей были неподвижны, а сами нити оставались монотонными и не проходили друг сквозь друга. Так, допустимыми манипуляциями нитей являются их покачивания, но не задирания или попытки «заузливания».

Данные манипуляции обычно формализуются с помощью понятия объемлющей изотопии, которое представляет собой непрерывное шевеление сразу всех точек объемлющего пространства. При таком шевелении точки не могут наезжать друг на друга, но могут переставляться и «перемешиваться».

Изотопией геометрических кос называется такая объемлющая изотопия объемлющего пространства , что:

  1. его точки не выходят за пределы содержащих их плоскостей, параллельных основным;
  2. точки на основных плоскостях и неподвижны.

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

Некоторые авторы злоупотребляют обозначениями и опускают прилагательное «геометрические», называя косами как классы эквивалентности, так и их представителей[1].

Поскольку при изотопии геометрических кос количество нитей сохраняется, оно является корректно определённой характеристикой косы и называется её индексом[2].

Множество всех кос индекса обозначается символом (от англ. braid — коса).

Точка пересечения данной нити с плоскостью называется её началом или левым концом, а с плоскостью  — её концом или правым концом. Такое натуральное число , что началом данной нити является точка , называется её номером.

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

[править | править код]
Определение перестановки, соответствующей косе

Помимо общего количества нитей, при изотопии также сохраняется изменение порядка кончиков нитей при движении от их начала к концу[3]. А именно, перестановкой, соответствующей косе из нитей, называется функция[4]

,

переводящая число в такое число , что точка является правым концом нити с левым концом в точке .

Вспомогательные определения

[править | править код]

Произведение кос

[править | править код]
Произведение кос

Косы из одинакового числа нитей можно умножать, соединяя правые концы нитей первой косы с левыми концами нитей второй косы[5].

Точнее, произведением геометрических кос из одинакового числа нитей называется геометрическая коса из того же числа нитей, состоящая из таких точек , что

Произведением кос и из одинакового числа нитей называется коса , заданная произведением любых их геометрических представителей.

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

Тривиальная коса

[править | править код]

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

Точнее, геометрическая коса

,

и соответствующий ей класс эквивалентности геометрических кос называются тривиальными[6]. Тривиальная коса из нитей обозначается символом или просто .

Характеристическим свойством тривиальной косы является то, что для любой косы выполняется цепочка равенств

.

Обратная коса

[править | править код]

Образ геометрической косы при отражении

относительно плоскости является геометрической косой и называется её обратной[7]. Обратной косой к косе называется коса , заданная обратной к любому геометрическому представителю этой косы .

Характеристическим свойством обратной косы является цепочка равенств

.

Диаграммы кос

[править | править код]
Стандартная диаграмма фундаментальной косы

Геометрические косы традиционно изображают их плоскими диаграммами, которые определяются следующим образом.

Образ геометрической косы относительно ортогональной проекции , заданной формулой , называется плоской проекцией этой геометрической косы. Ветвью плоской проекции называется её подмножество, являющееся образом некоторого связного подмножества геометрической косы. Кратностью или порядком точки на плоской проекции называется мощность её прообраза относительно ортогональной проекции . Плоская проекция называется регулярной, если кратность каждой её точки не превосходит двух (то есть равна единице или двойке), причем двойных точек (то есть точек кратности два) лишь конечное число, и каждая из них представляет собой трансверсальное пересечение.

Любую геометрическую косу можно так подвергнуть небольшой изотопии, чтобы её плоская проекция стала регулярной[8].

Диаграммой геометрической косы, плоская проекция которой является регулярной, называется подмножество полосы , получающееся из этой проекции определёнными разрывами в её двойных точках[6]. А именно, разрывами той ветви маленькой окрестности каждой двойной точки, прообраз в которой имеет меньшую вторую координату . Такую ветвь называют проход или нижняя ветвь, а оставшуюся — переход или верхняя ветвь[9].

Участок диаграммы, полученный в результате разрыва нижней ветви на маленькой окрестности некоторой двойной точки регулярной плоской проекции, называется перекрёстком. Каждый перекрёсток имеет один из следующих двух типов: если его нижняя ветвь указывает налево от его верхней ветви (относительно ориентации нитей, ведущей от их начала к концу), то перекрёсток называется положительным, а иначе, если нижняя ветвь указывает направо, то отрицательным.

Образующие Артина и артиновские слова

[править | править код]
Стандартные диаграммы образующих Артина и обратных к ним (слева) и диаграмма, заданная некоторым артиновским словом (справа)

Косы и , называющиеся образующими А́ртина и обратными к ним, определяются следующим образом.

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

Конечные последовательности элементов из множества образующих Артина и их обратных (или, что то же самое, слова в этом алфавите) называются а́ртиновскими или косо́выми словами (от англ. braid word).

Каждому артиновскому слову соответствует диаграмма косы, полученная поочерёдным склеиванием (по длинным сторонам) стандартных диаграмм, отвечающих буквам этого слова. Поскольку конкатенации артиновских слов отвечает произведение кос, полученная коса является произведением образующих Артина и их обратных.

Любую геометрическую косу можно подвергнуть небольшой изотопии, чтобы её диаграмма могла быть получена таким способом по некоторому артиновскому слову[10]. В частности, множество образующих Артина является порождающим для группы кос (см. Теорема Артина о задании группы кос).

Фундаментальная и центральная косы

[править | править код]
Две стандартные диаграммы фундаментальной косы из 6 нитей

Коса, заданная для формулой

,

называется фундаментальной, полуоборотом нитей и элементом Гарсайда. Она также может быть представлена следующим образом:

.

По-определению, .

Полный оборот лежит в центре группы кос

Квадрат фундаментальной косы может быть представлен следующим образом:

.

Он называется центральной косой и полным оборотом нитей.

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

,

которое может быть установлено геометрически: правая коса получается из левой прокручиванием косы вокруг своей оси на угол .

Операции над косами

[править | править код]

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

Тензорное произведение кос

[править | править код]

Косы можно комбинировать, параллельно приставляя одну косу к другой[11].

Точнее, тензорным произведением геометрических кос из и нитей, расположенных в областях и , называется геометрическая коса из нитей, состоящая из таких точек , что

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

Удаление нитей из косы

[править | править код]

Из косы из нитей можно следующим образом выдернуть любую её нить и получить корректно определённую косу из нитей[12].

Вспомогательная конструкция, использующаяся для удаления нити, выделенной красным цветом

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

удаления нити под номером формулой

.

Композиция данных операций задаёт для каждого множества индексов отображение

,

удаляющее из косы все нити с номерами из множества .

Например, при удалении из неё любого набора нитей, фундаментальная коса остаётся фундаментальной:

.

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

[править | править код]

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

Так, поворот на угол вокруг перпендикулярной основным плоскостям оси задаёт корректно определённую инволюцию

.

Она действует на образующих Артина формулой .

Кроме того, отражение относительно плоскости проекции задаёт корректно определённую инволюцию

.

Она действует на образующих Артина формулой и называется отражением.

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

,

и, тем самым, задаёт инволютивный антиавтоморфизм[англ.] группы кос.

Сопряжение кос

[править | править код]
Сопряжение фундаментальной косой представляет собой поворот косы вокруг своей оси на угол

Для косы из нитей преобразование

,

заданное правилом

,

называется сопряжением косой . Оно является частным случаем понятия внутренний автоморфизм.

Например, определённая выше инволюция совпадает с сопряжением фундаментальной косой[13]:

.

Напротив, автоморфизм-отражение не является внутренним[14].

Локальные преобразования кос

[править | править код]

Преобразования кос, заключающиеся в выборе геометрического представителя косы или её артиновского слова и замены в нём фрагмента определённого типа на некоторый другой, называются локальными.

Операция замены в артиновском слове образующей Артина на обратную, где , называется переключением перекрёстка. Она задаёт одноимённое (многозначное) преобразование кос, заключающееся в переключении перекрёстка в некотором артиновском слове косы.

Одну косу можно получить из другой конечной последовательностью переключений перекрёстка тогда и только тогда, когда они состоят из одинакового числа нитей и соответствующие им перестановки равны[15].

Для операция вставки в артиновское слово -ой степени образующей Артина, где , а также удаление такого фрагмента, называется -преобразованием (от англ. -move). Она задаёт одноимённое (многозначное) преобразование кос[16].

Одна коса получается из другой одним переключением перекрёстка тогда и только тогда, когда она получается из неё одним -преобразованием[15]. Таким образом, -преобразования обобщают переключение перекрёстка.

Косы из малого числа нитей

[править | править код]

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

.

Кроме того, это означает, что каждая отдельная нить произвольной косы является в некотором смысле «незаузленной», а сама коса по существу хранит информацию лишь о том, как её нити «переплетаются» друг с другом.

Каждая двухниточная коса является некоторой степенью образующей Артина:

.

Кроме того, это означает, что взаимодействие каждой пары нитей произвольной косы в некотором смысле однозначно определяется единственным параметром — общим количеством полуоборотов одной нити вокруг другой (см. § Коэффициенты зацепления нитей косы).

Данные классификационные результаты являются следствием теоремы Артина.

Косы из трёх нитей также допускают элементарное описание. Так, для любой косы существуют такие единственные и , что , , и

,

где — фундаментальная коса из трёх нитей[17].

Числовые характеристики кос

[править | править код]

Коэффициенты зацепления нитей косы

[править | править код]

Простейшей характеристикой косы является следующая информация о взаимодействии отдельных пар её нитей, которая тесно связана с понятием коэффициента зацепления.

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

Коэффициент зацепления двух нитей косы равен такому единственному , что двухниточная коса, получающаяся из исходной удалением всех нитей, кроме данной пары, равна . Иными словами,

.

Корректность данных определений устанавливается с помощью теоремы Артина.

Как и перестановка косы, коэффициенты зацепления применимы в задаче распознавания кос. Они различают заведомо не меньше кос, чем перестановка косы. А именно, если все коэффициенты зацепления двух кос имеют одинаковую четность

,

то совпадают и соответствующие таким косам перестановки:

.

Экспоненциальная сумма косы

[править | править код]

Разность между количеством положительных и количеством отрицательных перекрёстков на любой диаграмме данной косы называется её экспоненциальной суммой и обозначается символом [18].

Экспоненциальная сумма косы равна сумме коэффициентов зацепления всех пар её нитей:

.

Она задаёт гомоморфизм

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

.

Числа Конвея

[править | править код]

С каждой трёхниточной косой связаны следующие две числовые характеристики.

Сопоставим косе

цепные дроби

Величины и называются числами Конвея косы . Данное сопоставление задаёт корректно определённые отображения

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

Отображение

,

заданное правилом

,

является инъективным[17].

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

Классы кос

[править | править код]

Крашеные косы

[править | править код]

Коса называется крашеной или чистой (от англ. pure braid), если соответствующая ей перестановка является тождественной[19][7].

Множество всех крашеных кос из нитей является нормальной подгруппой группы и называется группой крашеных кос.

При имеет место равенство

.

Брунновы косы

[править | править код]

Коса из нитей называется брунновой (или почти тривиальной), если она становится тривиальной при удалении любой её нити[20].

Множество всех брунновых кос из нитей является нормальной подгруппой группы и называется группой брунновых кос.

Например, при итерированный коммутатор

образующих Маркова является нетривиальной брунновой косой из нитей[21].

При имеет место равенство

.

При группа брунновых кос является нормальной подгруппой группы крашеных кос:

.

При , согласно классификации двухниточных кос, имеет место равенство

.

Положительные по Деорнуа косы

[править | править код]
Общий вид положительной по Деорнуа диаграммы косы

Коса называется положительной по Деорнуа (или -положительной), она может быть задана таким непустым артиновским словом, что образующая Артина с наименьшим (среди присутствующих в слове) индексом входит в него только в положительных степенях[22].

Множество всех положительных по Деорнуа кос из нитей является положительным конусом группы [23]. Соответствующий ему линейный порядок на группе кос называется порядком Деорнуа.

Положительные и квазиположительные косы

[править | править код]

Диаграмма косы называется положительной, если каждый её перекрёсток является положительным. Коса называется положительной, если она обладает положительной диаграммой. Или, что эквивалентно, если она может быть представлена в виде произведения положительных образующих Артина[24][25].

Множество всех положительных кос из нитей является подмоноидом группы и называется моноидом положительных кос[24].

Коса называется квазиположительной, если она может быть представлена в виде произведения сопряженных к положительным образующим Артина[25].

Множество всех квазиположительных кос из нитей является подмоноидом группы и называется моноидом квазиположительных кос.

Любая положительная коса является квазиположительной, но не наоборот:

.

Кроме того, любая нетривиальная квазиположительная коса является положительной по Деорнуа[25].

Связь с теорией узлов

[править | править код]

Косы тесно связаны с узлами и зацеплениями. Так, существует несколько способов превратить первые во вторые, определённым образом замкнув концы нитей геометрических представителей кос.

Замыкание Александера

[править | править код]
Замыкание Александера косы

Замыканием Александера косы из нитей называется зацепление, получающееся из некоторого её геометрического представителя, расположенного в области , соединением точек вида с точками вида так, как показано на рисунке[26].

Количество компонент замыкания Александера косы совпадает с количеством независимых циклов[англ.] перестановки . В частности, замыкание косы является узлом тогда и только тогда, когда соответствующая ей перестановка является циклом[27].

Плетёное замыкание

[править | править код]
Плетёное замыкание косы из чётного (слева) или из нечётного (справа) числа нитей

Плетёным замыканием (от англ. plat — плетение) косы из нитей называется зацепление, получающееся из некоторого её геометрического представителя, расположенного в области , попарным соединением короткими дугами точек вида и , а также точек вида и . Если число нечётно, помимо этого точка соединяется дугой с точкой .

Короткое замыкание

[править | править код]
Короткое замыкание косы из чётного (слева) или из нечётного (справа) числа нитей

Коротким замыканием (от англ. short-circuit) косы из нитей называется зацепление, получающееся из некоторого её геометрического представителя, расположенного в области , попарным соединением короткими дугами точек вида и , а также точек вида и [28]. Иными словами, точка соединяется с точкой , точка соединяется с точкой , и так далее, «змейкой», как показано на рисунке.

Короткое замыкание любой крашеной косы является узлом, то есть однокомпонентным зацеплением.

Примечания

[править | править код]

Литература

[править | править код]
  • Кассель, К, Тураев, В. Г. Группы кос = Braid groups / пер. с англ. С. Н. Малыгина. — М.: МЦНМО, 2014. — 424 с. — ISBN 978-5-4439-0245-6.
  • Прасолов, В. В, Сосинский, А. Б. Узлы, зацепления, косы и трёхмерные многообразия. — М.: МЦНМО, 1997. — 352 с. — ISBN 5-900916-10-3.
  • Murasugi, K, Kurpita, B. I. A Study of Braids. — Springer, 1999. — 277 с. — (Mathematics and Its Applications). — ISBN 978-0-7923-5767-4. — doi:10.1007/978-94-015-9319-9.