연환수는 두 개의 유향 폐곡선으로 구성된 연환에서 한 곡선이 다른 곡선을 통과하는 부호를 가진 정수이다. 이는 유향 연환의 유일한 위상수학적 불변량이며, 두 곡선이 서로를 통과하지 못하도록 하면서 공간상에서 연속적으로 변형될 수 있는 연결수를 결정한다. 연환수는 가우스 적분을 통해 해석적으로 계산할 수 있으며, 계산 알고리즘을 통해 연환 도표에서 쉽게 구할 수 있다. 연환수는 위상수학적 불변량이며, 두 곡선 중 하나의 방향을 반대로 하면 부호가 바뀐다. 연환수는 양자장론, 특히 U(1) 체른-사이먼스 게이지 이론에서 윌슨 루프 관측값의 기댓값을 계산하는 데 응용되며, 밀너 불변량으로 일반화될 수 있다.
더 읽어볼만한 페이지
매듭 이론 - 꼬임군 (위상수학) 꼬임군은 n개의 가닥 꼬기 연산을 연구하는 수학적 구조로, 꼬임들의 연결을 통해 군 연산을 수행하며 매듭 이론 등 다양한 분야에 응용된다.
매듭 이론 - 천-사이먼스 이론 천-사이먼스 이론은 천싱선과 제임스 해리스 사이먼스가 정의한 3차 천-사이먼스 형식을 기반으로 3차원 다양체에서 정의되는 위상 양자장론으로, 양자장론, 매듭 이론, 끈 이론 등 다양한 분야와 연관되어 있으며 존스 다항식, 베스-추미노-위튼 모형, 분수 양자 홀 효과 설명 등에 활용된다.
곡선 - 선적분 선적분은 스칼라장이나 벡터장의 곡선에 대한 적분으로, 함수의 종류와 곡선의 표현 방식에 따라 다양하게 정의되며, 물리학과 공학 등에서 활용된다.
곡선 - 아스트로이드 아스트로이드는 별 모양의 곡선으로, `x2/3 + y2/3 = a2/3` (a는 상수)로 표현되는 6차 실수 대수곡선이며, 매개변수 방정식, 페달 방정식 등 다양한 수학적 표현으로 나타낼 수 있고, 면적은 (3/8)πa², 둘레는 6a이며, 원 내부에서 작은 원이 구르며 생기는 자취로도 설명된다.
연환수
개요
정의
3차원 공간에서 두 닫힌 곡선의 얽힘을 나타내는 정수 값 불변량
성질
얽힘수는 방향이 주어진 두 개의 닫힌 곡선에 대해 정의되며, 곡선의 방향을 바꾸면 얽힘수의 부호가 바뀜
공간상의 두 개의 닫힌 곡선은 자기 자신을 통과하는 것은 허용되지만 서로를 통과할 수 없다면, 다음 표준 위치 중 정확히 하나로 이동될 수 있다. 이것은 연결수를 결정한다.
140px
140px
140px
140px
140px
140px
각 곡선은 이 움직임 동안 자기 자신을 통과할 수 있지만, 두 곡선은 전체 과정에서 분리되어 있어야 한다. 이는 정규 호모토피로 공식화되며, 이는 각 곡선이 단순한 사상이 아닌 ''침입''일 것을 요구한다. 그러나 이 추가 조건은 연결수의 정의를 변경하지 않는다 (곡선이 항상 침입으로 요구되는지 여부는 중요하지 않다). 이는 ''h''-원리(호모토피-원리)의 한 예시로, 기하학이 위상수학으로 축소됨을 의미한다.
두 개의 유향 매듭 ''J'', ''K''로 구성된 꼬임 {''J'', ''K''}을 생각한다. 이에 대한 꼬임 수 Lk(''J'', ''K'')는 다음과 같이 정의된다.
꼬임 {''J'', ''K''}의 사영 그림의 교점 중, ''J''의 성분과 ''K''의 성분으로 이루어진 교점에 주목한다. 이러한 교점은 다음 중 하나이므로, 왼쪽 교점에 +1, 오른쪽 교점에 −1이라는 부호를 부여하고, 사영 그림 전체에서 이러한 부호의 총합을 2로 나눈 값을 꼬임 수 Lk(''J'', ''K'')로 정의한다. 두 성분으로 이루어진 꼬임에서는 서로 다른 성분으로 이루어진 교점의 개수가 짝수이므로, 꼬임 수는 정수 값을 갖는다.
60px
60px
또는, 꼬임 {''J'', ''K''}의 사영 그림의 교점 중, ''J''의 성분과 ''K''의 성분으로 이루어진 교점 중에서도, ''K''의 성분이 앞쪽에 있는 교점에만 주목하여, 이들에게 앞서와 마찬가지로 +1 또는 −1의 부호를 부여하고, 그 총합을 꼬임 수 Lk(''J'', ''K'')로 정의할 수도 있다. 이와 같이 정의해도 Lk(''J'', ''K'') = Lk(''K'', ''J'')가 성립한다[5]。
2. 1. 계산 알고리즘
연환의 도표(link diagram영어)가 주어지면, 다음과 같은 알고리즘으로 연환수를 쉽게 계산할 수 있다.
가운데
연환 도표에서 위와 같은 교차점들의 수를 각각 , , , 라고 하자. 그렇다면 연환수 는 다음과 같다.
:
매듭 이론의 매듭 도해에서 두 곡선의 연환수를 계산하는 알고리즘이 있다. 각 교차점에 오른손 법칙에 따라 '양' 또는 '음'의 레이블을 지정한다.[1]
양의 교차점의 총 개수에서 음의 교차점의 총 개수를 뺀 값은 연환수의 ''두 배''와 같다.[2] 즉,
:
여기서 ''n''1, ''n''2, ''n''3, ''n''4는 네 가지 유형의 각 교차점 수를 나타낸다. 두 합 와 는 항상 같다.[2] 따라서 다음과 같은 대체 공식이 나온다.
:
공식 는 빨간색 곡선 아래로 파란색 곡선이 지나가는 경우만 포함하고, 는 위로 지나가는 경우만 포함한다.
2. 2. 가우스 적분
가우스 연환 적분(Gauss linking integral영어)을 이용하여 연환수를 해석적으로 계산할 수 있다.[6] 두 폐곡선에 임의의 매개변수를 주어
:
:
:
으로 쓰자. 그렇다면 와 의 연환수 는 다음과 같다.
:
이는 가우스 사상(Gauss map) 을 통해 유도할 수 있다.
:
이는 원환면에서 구면으로 가는 연속함수이며, 그 브라우어르 차수가 연환수와 일치한다. 브라우어르 차수는 공역이 몇 번 감기는지를 세는 위상수학적 불변량인데, 이는 해석적으로 쉽게 계산할 수 있다. 즉, 함수를 정의역에 대하여 적분한 뒤, 이를 공역의 넓이로 나누면 된다. 여기서 (단위) 구면의 넓이는 이므로 가우스 연환 적분 공식을 쉽게 유도할 수 있다.
구체적으로, 두 개의 서로 교차하지 않는 미분 가능한 곡선 가 주어졌을 때, 가우스 사상 은 다음과 같이 정의된다.