단체 복합체

대수적 위상수학에서 단체 복합체(單體複合體, )는 위상 공간을 단체들로 분할하는 구조이다. 이를 사용하여 위상 공간의 호몰로지를 계산할 수 있다.

정의 
단체 복합체의 개념은 층 이론을 사용하여 추상적으로 정의할 수도 있고, 조합론적으로 구체적으로 정의할 수도 있다.

추상적 정의 
공집합이 아닌 유한 집합과 함수의 범주 를 생각하자. 그 위의 (집합 값의) 준층을 대칭 단체 집합()이라고 한다. 즉, 대칭 단체 집합의 범주는 이다. 이는 그로텐디크 토포스를 이룬다.

일반적으로, 임의의 작은 범주 위의 준층 의 원소 가운데 구체적 준층()은 다음과 같은 표준적인 함수

가 단사 함수인 경우이다. (여기서 는 시작 대상이다.) 모든 준층의 범주 는 그로텐디크 토포스를 이루지만, 모든 구체적 준층 의 충실충만한 부분 범주는 준토포스를 이룬다.

 위의 구체적 준층을 단체 복합체라고 한다. 단체 복합체의 범주

는 준토포스를 이룬다. 정의에 따라 모든 단체 복합체는 대칭 단체 집합이다.

대칭 단체 집합 에서, 한원소 집합 의 상 의 원소를 단체 복합체의 꼭짓점()이라고 한다. 보다 일반적으로, 크기 의 집합 의 상 의 원소를 (퇴화되었을 수 있는) 차원 단체()라고 한다. (따라서 꼭짓점은 0차원 단체이다.) 표준적인 함수

아래, 의 상 의 성분들을 단체 의 꼭짓점(-點, )이라고 한다. 단체 복합체의 경우 단체는 그 꼭짓점들로부터 완전히 결정되지만, 일반적 대칭 단체 집합의 경우 그렇지 않다. 모든 꼭짓점들이 서로 다른 단체를 비퇴화 단체()라고 하고, 일부 꼭짓점들이 일치하는 단체를 퇴화 단체()라고 한다. (모든 꼭짓점은 한원소 집합으로서 비퇴화 단체이다.)

대칭 단체 집합의 단체 사상()은 준층의 사상이다 (즉, 함자의 자연 변환이다).

구체적 정의 
단체 복합체의 개념은 매우 구체적으로 정의할 수 있으며, 이 정의는 준층을 통한 추상적 정의와 동치이다.

단체 복합체 는 다음과 같은 데이터로 구성된다.
 는 집합이다. 의 원소를 꼭짓점이라고 한다.
 는 의, 공집합이 아닌 유한 부분 집합들로 구성된 집합이다. 의 원소 가운데, 크기가 인 것을 차원 비퇴화 단체()라고 한다. 차원 단체 의, 크기가 인, 공집합이 아닌 부분 집합을 의 면()이라고 한다.
이 데이터는 다음 조건들을 만족시켜야 한다.
 비퇴화 단체의 면은 비퇴화 단체이다. 즉, 만약 라면 이다.
 꼭짓점(의 한원소 집합)은 비퇴화 단체이다. 즉, 모든 꼭짓점 에 대하여, 이다.

중복집합에서, 중복되는 원소를 제거하여 집합으로 만드는 과정을 라고 하자. 그렇다면, 꼭짓점들로 구성된 중복집합 에 대하여, 만약 가 비퇴화 단체라면, 를 단체()라고 한다. 비퇴화 단체가 아닌 단체를 퇴화 단체()라고 한다.

두 단체 복합체 ,  사이의 단체 사상() 은 다음 조건을 만족시키는 함수 이다.
 모든 비퇴화 단체 에 대하여, 그 상  역시 단체이다.
즉, 단체 사상은 차원 단체는 차원 단체에 대응시킨다. 다만, 비퇴화 단체 또한 (같은 차원의) 퇴화 단체에 대응될 수 있다.

단체 복합체 이 주어졌다고 하자. 그렇다면, 각 차원 (추상적) 비퇴화 단체에 (위상 공간인) 실제 단체 을 대응시키고, 그 면들을 경계 사상을 통해 서로 적절히 붙여 위상 공간을 정의할 수 있다. 이를 단체 복합체의 기하학적 실현() 이라고 한다. 위상 공간 에 대하여, 만약 단체 복합체 의 기하학적 실현이 와 위상 동형이라면, 를  위의 삼각 분할()이라고 한다.

델타 복합체 
델타 복합체도 단체 복합체나 단체 집합과 같이 준층으로서 정의할 수 있으며, 구체적으로 정의할 수도 있다.

추상적 정의 
델타 복합체는 공집합이 아닌 유한 전순서 집합과 증가 단사 함수의 범주  위의 준층이다. 모든 증가 함수 대신 단사 함수만을 여기는 것은 (단체 집합과 달리) 경계 사상만 있고, 퇴화 사상이 없는 것을 뜻한다. 퇴화 사상이 없으므로, 모든 단체들이 비퇴화 단체가 된다.

델타 복합체의 델타 사상()은 준층의 사상이다. (즉, 자연 변환이다.) 그런데 모든 단체들이 비퇴화 단체이므로, 델타 사상은 비퇴화 단체를 항상 비퇴화 단체에 대응시켜야 한다. 즉, 단체 복합체나 단체 집합의 사상과는 달리, 델타 사상 아래 단체가 퇴화될 수 없다.

구체적 정의 
델타 복합체는 다음과 같은 데이터로 구성된다.
 각 자연수 에 대하여, 집합 . 그 원소를 차원 단체라고 한다.
 각 양의 정수  및 에 대하여, 함수 . 이를 번째 면 사상()이라고 한다.
이들은 다음 조건을 만족시켜야 한다. (이는 단체 집합의 정의에 등장하는 첫째 단체 항등식이다.)

델타 복합체 역시 기하학적 실현()을 정의할 수 있다. 이 경우 모든 단체들이 비퇴화 단체가 된다.

델타 복합체와 단체 복합체의 주된 차이는 다음과 같다.
 단체의 꼭짓점들의 전순서를 가진다. (이는 단체 집합도 마찬가지이다.)
 단체의 꼭짓점과 면들이 중복될 수 있다. 즉, 한 단체의 여러 꼭짓점이나 면들이 서로 붙어 있을 수 있다. (이는 단체 집합도 마찬가지이다.)
 단체가 그 꼭짓점 집합으로부터 유일하게 결정되지 않을 수 있다. 즉, 같은 꼭짓점들을 공유하는 여려 단체들이 존재할 수 있다. (이는 단체 집합도 마찬가지이다.)
그러나 단체 복합체와 마찬가지로 (단체 집합과 달리) 델타 복합체는 자명하지 않은 퇴화 단체들을 갖지 않는다. 따라서, 델타 복합체는 단체 복합체와 단체 집합의 중간 개념으로 생각할 수 있다.

성질 
위상 공간 가 주어졌다고 하자. 그렇다면, 을 모든 연속 함수 의 집합으로 하고, 이들을 면을 따라 이어붙여 매우 큰 공간 를 만들 수 있다. 그렇다면, 의 단체 사슬 복합체는 의 특이 사슬 복합체와 같다. 즉, 특이 호몰로지는 단체 호몰로지의 특수한 경우이다.

델타 복합체로 나타낼 수 있는 위상 공간은 항상 단체 복합체로서 나타낼 수 있다.

단체 복합체에서 위상 공간으로 가는 기하학적 실현 함자

는 유한 곱조차 보존하지 않는다. (반면 단체 집합의 기하학적 실현은 동등자와 유한 곱을 보존한다.)

주어진 다양체가 삼각 분할을 갖는지 여부는 어려운 문제이다. 모든 매끄러운 다양체는 삼각 분할을 갖지만, (위상) 다양체의 경우 일반적으로 그렇지 않다.

단체 호몰로지 
델타 복합체 구조로부터, 위상 공간의 호몰로지를 계산할 수 있다. 이를 단체 호몰로지(單體homology, )라고 한다.

위상 공간  위의 델타 복합체 가 주어졌다고 하자.  위의 차 단체 사슬의 군은 차 단체들로 생성되는 자유 아벨 군이다.

차 단체 의 경계() 는 다음과 같다.

여기서 은 표준 단체 의 꼭짓점들이며, 은 를 포함하지 않는 유일한 면이다.

이 정의를 단체 사슬 군에 -선형으로 확장하여, 사슬 복합체

를 정의할 수 있다. (인 것은 쉽게 확일할 수 있다.) 이를 단체 사슬 복합체()라고 하며, 그 호몰로지를 단체 호몰로지()

라고 한다.

델타 복합체의 특이 호몰로지는 단체 호몰로지와 동형이다. 따라서, 단체 호몰로지는 사용한 델타 복합체 구조에 의존하지 않는다.

단체 집합과의 단체 복합체의 관계 
를 공집합이 아닌 유한 전순서 집합과 증가 함수의 범주라고 하자. 그렇다면, 단체 집합의 범주는 준층 범주 이다. 전순서를 잊는 망각 함자

를 통해, 다음과 같은 단체 복합체 → 대칭 단체 집합 → 단체 집합으로 가는 함자들이 존재한다.

단체 집합과 델타 복합체의 관계 
단체 집합은 공집합이 아닌 유한 전순서 집합과 모든 증가 함수의 범주  위의 준층이다. 따라서, 충만하지 않는 포함 함자

에 대하여 망각 함자

가 존재한다. 이는 단체 집합에서 퇴화 사상을 망각하는 것에 해당한다. 이 함자 아래 퇴화 단체도 비퇴화 단체에 대응되므로, 이 함자는 기하학적 실현과 호환되지 않는다.

역사 
델타 복합체의 개념은 사무엘 에일렌베르크와 조지프 에이브러햄 질버()가 1949년에 "반단체 복합체"()라는 이름으로 도입하였다. 이후 이 이름은 에일렌베르크와 질버가 도입한 개념 대신 단체 집합을 지칭하게 되었고, 대신 에일렌베르크와 질버의 원래 개념은 "델타 복합체"로 불리게 되었다. (그 뒤 반단체 복합체는 다시 "단체 집합"으로 간단히 불리게 되었다.)

같이 보기 

 단체 집합
 CW 복합체

참고 문헌

외부 링크 
 
 
 
 
 
 
 
 
 
 
 
 
 

대수적 위상수학