У́зел в математике — вложение окружности (одномерной сферы) в трёхмерное евклидово пространство, рассматриваемое с точностью до изотопии. Основной предмет изучения теории узлов. Два узла топологически эквивалентны, если один из них можно продеформировать в другой, причём в процессе деформации не должно возникать самопересечений.
 Частным случаем является вопрос о распознавании тривиальности того или иного узла, то есть о том, является ли заданный узел изотопным тривиальному узлу (можно ли его развязать).
 Для определения того, является ли конкретный узел тривиальным, можно использовать различные инварианты узлов, например многочлен Александера или фундаментальную группу дополнения. Обычно их можно посчитать, исходя из узловой диаграммы.
 В топологии рассматриваются узлы только на замкнутых линиях, потому что не замкнутые можно развязать.
 Узел - гладкое подмногообразие трехмерной сферы 
  
    
      
        
          S
          
            3
          
        
        ,
      
    
    {\displaystyle S^{3},}
  
 гомеоморфное 
  
    
      
        
          S
          
            1
          
        
        .
      
    
    {\displaystyle S^{1}.}
  
 Под 
  
    
      
        
          S
          
            3
          
        
      
    
    {\displaystyle S^{3}}
  
 понимается ориентированная трехмерная сфера, а ориентация окружности 
  
    
      
        
          S
          
            1
          
        
      
    
    {\displaystyle S^{1}}
  
 обычно несущественна. 
 Узел 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 называется срезанным, если существует двухмерный диск 
  
    
      
        D
        ⊂
        
          B
          
            4
          
        
        ,
      
    
    {\displaystyle D\subset B^{4},}
  
 что 
  
    
      
        Y
        =
        ∂
        D
      
    
    {\displaystyle Y=\partial D}
  
 (см. Граница (топология) и Расслоение на окружности). 
 Узлы 
  
    
      
        
          Y
          
            1
          
        
        ,
        
          Y
          
            2
          
        
      
    
    {\displaystyle Y_{1},Y_{2}}
  
 являются кобордантными, если существует гладко вложенное в 
  
    
      
        
          S
          
            3
          
        
        ×
        I
      
    
    {\displaystyle S^{3}\times I}
  
 кольцо, которое пересекает 
  
    
      
        S
        ×
        {
        t
        }
      
    
    {\displaystyle S\times \{t\}}
  
 по 
  
    
      
        
          Y
          
            t
          
        
      
    
    {\displaystyle Y_{t}}
  
 (
  
    
      
        t
        =
        0
        ,
        1
      
    
    {\displaystyle t=0,1}
  
) (см. Семейство (математика)). Группа кобордизмов узлов 
  
    
      
        
          K
          
            1
          
          
            3
          
        
      
    
    {\displaystyle K_{1}^{3}}
  
 - кобордантные ориентированные узлы с операцией связного суммирования. Рассмотрим 
  
    
      
        
          K
          
            n
          
          
            n
            +
            2
          
        
      
    
    {\displaystyle K_{n}^{n+2}}
  
 сферы в сфере 
  
    
      
        
          S
          
            n
            +
            2
          
        
        .
      
    
    {\displaystyle S^{n+2}.}
  
 Если 
  
    
      
        n
      
    
    {\displaystyle n}
  
 четно, то 
  
    
      
        
          K
          
            n
          
          
            n
            +
            2
          
        
        =
        0.
      
    
    {\displaystyle K_{n}^{n+2}=0.}
  
 
 Понятия косы и узла обобщаются понятием связки. Связка с 
  
    
      
        k
      
    
    {\displaystyle k}
  
 входами и 
  
    
      
        l
      
    
    {\displaystyle l}
  
 выходами (то есть, 
  
    
      
        (
        k
        ,
        l
        )
      
    
    {\displaystyle (k,l)}
  
-связка) - система непересекающихся дуг и окружностей, гладко вложенных в полосу 
  
    
      
        
          
            R
          
          
            2
          
        
        ×
        [
        0
        ,
        1
        ]
        ,
      
    
    {\displaystyle \mathbb {R} ^{2}\times [0,1],}
  
 такая, что концы дуг есть точками 
  
    
      
        (
        1
        ,
        0
        ,
        0
        )
        ,
        
        (
        2
        ,
        0
        ,
        0
        )
        ,
        
        .
        .
        .
        ,
        (
        k
        ,
        0
        ,
        0
        )
      
    
    {\displaystyle (1,0,0),\,(2,0,0),\,...,(k,0,0)}
  
 и 
  
    
      
        (
        1
        ,
        0
        ,
        1
        )
        ,
        
        (
        2
        ,
        0
        ,
        1
        )
        ,
        
        .
        .
        .
        ,
        (
        l
        ,
        0
        ,
        1
        )
        ;
      
    
    {\displaystyle (1,0,1),\,(2,0,1),\,...,(l,0,1);}
  
 окружности лежат в 
  
    
      
        
          
            R
          
          
            2
          
        
        ×
        (
        0
        ,
        1
        )
        .
      
    
    {\displaystyle \mathbb {R} ^{2}\times (0,1).}
  
 Эти дуги и окружности в 
  
    
      
        
          
            R
          
          
            2
          
        
        ×
        [
        0
        ,
        1
        ]
      
    
    {\displaystyle \mathbb {R} ^{2}\times [0,1]}
  
 называются компонентами связки.
 Трилистник, узел 
  
    
      
        
          3
          
            1
          
        
      
    
    {\displaystyle 3_{1}}
  
 является первым нетривиальным узлом и единственным узлом с числом пересечений три. Он является простым и перечислен с под номером 31 в нотации Александера-Бриггса. Нотация Даукера для трилистника — 4 6 2, а нотация Конвея трилистника — [3].
 Трилистник нетривиален, что означает, что невозможно «развязать» трилистник в трёхмерном пространстве без разрезания. С математической точки зрения это означает, что трилистник не изотопен тривиальному узлу. В частности, не существует последовательности движений Рейдемейстера, с помощью которых узел развязывается.
 Восьмёрка, четырёхкратный узел или узел Листинга, узел 
  
    
      
        
          4
          
            1
          
        
      
    
    {\displaystyle 4_{1}}
  
 ― один из простейших нетривиальных узлов.
Восьмёрка обозначается символом 
  
    
      
        
          4
          
            1
          
        
      
    
    {\displaystyle 4_{1}}
  
. Впервые рассмотрен Листингом, учеником Гаусса, в 1847 году.
 Трилистник хирален в том смысле, что трилистник отличается от своего собственного зеркального отражения. Два варианта трилистника известны как левосторонний и правосторонний. Невозможно путём деформации левосторонний вариант непрерывным образом перевести в правосторонний или наоборот. (То есть, эти два трилистника не изотопны.)
 Также, можно показать, что трилистник (как правый, так и левый) неизотопен восьмёрке.
 Пятилистник, известный также как узел 
  
    
      
        
          5
          
            1
          
        
      
    
    {\displaystyle 5_{1}}
  
 в обозначениях Александера и Бриггса, узел «Лапчатка» и печать Соломона, — это узел, для которого число пересечений (минимальное возможное число самопересечений на диаграмме — плоском рисунке — узла) равно пяти.
 Для многокомпонентных узлов в верхнем индексе указывается количество компонентов: например, зацепление двух колец имеет символическую запись 
  
    
      
        
          2
          
            1
          
          
            2
          
        
      
    
    {\displaystyle 2_{1}^{2}}
  
.
 Это были примеры полиномиальных узлов. Неполиномиальным узлом является дикий узел
 Ди́кий у́зел — узел 
  
    
      
        L
      
    
    {\displaystyle L}
  
 в евклидовом пространстве

  
    
      
        
          E
          
            3
          
        
      
    
    {\displaystyle E^{3}}
  
 такой, что не существует гомеоморфизма 
  
    
      
        
          E
          
            3
          
        
      
    
    {\displaystyle E^{3}}
  
 на себя,
при котором 
  
    
      
        L
      
    
    {\displaystyle L}
  
 переходит в замкнутую ломаную, состоящую из конечного числа отрезков.
 Вложение (чаще — его образ) несвязной суммы 
  
    
      
        μ
      
    
    {\displaystyle \mu }
  
 экземпляров окружности в 
  
    
      
        
          
            R
          
          
            3
          
        
      
    
    {\displaystyle \mathbb {R} ^{3}}
  
 или 
  
    
      
        
          S
          
            3
          
        
      
    
    {\displaystyle S^{3}}
  
 называется зацеплением кратности 
  
    
      
        μ
      
    
    {\displaystyle \mu }
  
.
 Зацепление кратности 
  
    
      
        μ
        =
        1
      
    
    {\displaystyle \mu =1}
  
 называется узлом.
 Узлы, составляющие данное зацепление, называются его компонентами.
 В теории узлов число пересечений узла — это наименьшее число пересечений на любой диаграмме узла. Число пересечений является инвариантом узла.
 Например, тривиальный узел имеет нулевое число пересечений, число пересечений трилистника равно трём, а число пересечений восьмёрки равно четырём.
 Теорема Гордона — Люкке утверждает, что дополнение узла (как топологического пространства) является «полным инвариантом» узла, в том смысле, что он отличает заданный узел от всех остальных с точностью до объемлющей изотопии и зеркального отражения. Среди инвариантов, связанных с дополнением узла, есть группа узла, которая является просто фундаментальной группой его дополнения.