Узлов И Зацеплений Диаграммы

графическое изображение узлов и зацеплений, основу к-рых составляют плоские проекции. Пусть - зацепление и - проекция Порядком точки наз. Число элементов множества Точки порядка два наз. Двойными, точки порядка >1 - кратными. Говорят, что полигональное зацепление kнаходится в регулярном положении, если. (1) все его кратные точки являются двойными и их число конечно и (2) никакая двойная точка не является образом вершины. Всякое зацепление может быть переведено в регулярное положение сколь угодно малым вращением пространства. Если kнаходится в регулярном положении, то в каждой двойной точке ветвь, лежащая выше (в направлении координаты z), наз. Переходом, а ветвь, лежащая ниже,- проходом. Чтобы задать диаграмму зацепления, находящегося в регулярном положении, нужно указать его проекцию и разорвать образы проходов в двойных точках (см.

Рис. 1). Если зацепление ориентировано, т. Е. Заданы обходы компонент, то они указываются на диаграмме Dстрелками. Если при обходе каждой компоненты зацепления на ее проекции проходы и переходы чередуются, то диаграмма наз. Альтернирующей. Зацепление, имеющее хотя бы одну альтернирующую диаграмму, наз. Альтернирующим зацеплением (см. Альтернирующие узлы и зацепления). Каждой области fi, на к-рые проекция зацепления делит плоскость отвечает ее индекс v(fi), равный суммарному числу обходов, совершаемых проекциями всех компонент зацепления вокруг произвольной внутренней точки fi. При переходе к смежной области индекс меняется на единицу, откуда следует, что все области fi можно раскрасить в черный и белый цвета в шахматном порядке.

Во множество диаграмм на плоскости вводится некрое отношение эквивалентности, причем две диаграммы оказываются эквивалентными тогда и только тогда, когда отвечающие им зацепления объемлемо изотопны. Это дает возможность свести изучение узлов к плоской топологии. Именно, если D1 можно получить из D2 применением конечного числа элементарных операций I, II, III, показанных на рис. 2, и изотопич. Деформаций. Подход к теории узлов, основанный на указанном сведении, является типичным подходом комбинаторной топологии. Он был основным в 1-й период развития теории узлов (примерно до 40-х гг. 20 в.). В рамках этого подхода инварианты узлов определяют исходя из диаграмм, а затем доказывают, что результат не зависит от выбора диаграммы (см.

[1]). В современных исследованиях определения инвариантов предпочитают давать в терминах алгебраич. Топологии, выделяя тем самым на первый план их геометрич. Сущность. Диаграмма ориентированного зацепления используется для построения его поверхности Зейферта. Пусть х - произвольная не двойная точка ориентированной диаграммы Dзацепления k. Обход D, начиная от х, совершается в направлении, указанном ориентацией. В первой встретившейся двойной точке осуществляется поворот и продолжается движение в направлении ориентации Dдо возвращения в х;при этом будет описан простой замкнутый контур, к-рый наз. Окружностью Зейферта. Диаграмма Dраспадается на такие окружности Зейферта С j, причем они могут лишь соприкасаться.

Пусть для каждой окружности С j через Dj обозначается диск, лежащий в плоскости, параллельной так что его край проектируется в С j. Для каждой двойной точки рассматривается прямоугольник Hi, помещенный вертикально над к-рый скручивается на 90.