기본군 (Fundamental Group)
1. 개요
기본군(Fundamental Group)은 위상 공간의 기하학적 구조, 특히 공간 내에 존재하는 '구멍'의 유무와 개수를 대수적인 군(Group)의 형태로 나타낸 대수적 위상수학의 핵심 도구이다. 위상 공간 내의 한 점(기점)에서 출발하여 다시 그 점으로 돌아오는 경로인 루프(Loop)와, 하나의 루프를 연속적으로 변형시켜 다른 루프로 만드는 호모토피(Homotopy) 개념을 통해 정의된다. 기본군은 공간의 위상적 성질을 보존하므로, 두 공간의 기본군이 서로 다르다면 두 공간은 위상적으로 서로 다른 공간임을 판별할 수 있다.
2. 수학적 정의
위상 공간 $X$와 그 안의 기점 $x_0 \in X$가 주어졌을 때, 기본군 $\pi_1(X, x_0)$는 다음과 같은 단계로 정의된다.
2.1 루프와 호모토피
- 루프(Loop): 단위 구간 $I = [0, 1]$에서 $X$로 가는 연속 함수 $f: I \to X$ 중, $f(0) = f(1) = x_0$를 만족하는 경로를 말한다.
- 호모토피(Homotopy): 두 루프 $f, g$가 있을 때, $f$를 $g$로 연속적으로 변형시키는 연속 함수 $H: I \times I \to X$가 존재하면 두 루프는 호모토피 동치(Homotopic)라고 하며, $f \simeq g$로 표기한다. 이때 모든 시간 $t \in I$에 대해 $H(0, t) = H(1, t) = x_0$여야 한다.
2.2 기본군의 정의
기본군 $\pi_1(X, x_0)$는 기점 $x_0$를 공유하는 모든 루프들의 집합을 호모토피 동치 관계 $\simeq$로 나눈 동치류(Equivalence class)들의 집합이다. 이때 각 동치류를 호모토피 클래스(Homotopy class)라고 부르며, 루프 $f$가 속한 클래스를 $[f]$로 표기한다.
즉, 기본군은 개별 루프들의 집합이 아니라, '연속적으로 변형 가능한 루프들을 하나로 묶은 묶음(클래스)'들의 집합이다. 이를 통해 공간의 세세한 경로 모양이 아닌, 루프가 공간의 구멍을 어떻게 감싸고 있는지라는 본질적인 위상적 정보만을 추출할 수 있다.
| 개념 |
수학적 정의/특징 |
역할 |
| 루프 (Loop) |
$f: [0, 1] \to X, f(0)=f(1)=x_0$ |
공간의 경로를 탐색하는 기본 단위 |
| 호모토피 (Homotopy) |
$H: I \times I \to X$ (연속적 변형) |
루프 간의 '동등함'을 정의하는 기준 |
| 기본군 ($\pi_1$) |
$\{ [f] \mid f \text{ is a loop at } x_0 \}$ |
공간의 구멍 정보를 대수적으로 저장 |
[시각적 도식 개념]
* 루프: 점 $x_0$에서 시작해 공간을 한 바퀴 돌아 $x_0$로 오는 고무줄 형태의 선.
* 호모토피: 고무줄(루프)을 끊지 않고 공간 내에서 밀거나 당겨서 다른 모양의 고무줄로 변형시키는 과정. 만약 루프가 구멍을 감싸고 있다면, 구멍을 가로지를 수 없으므로 다른 루프로 변형되지 않는다.
3. 군 구조와 연산
기본군 $\pi_1(X, x_0)$가 '군(Group)'이 되기 위해서는 이항 연산이 정의되어야 한다.
3.1 루프의 합성 (Concatenation)
두 루프 $f$와 $g$의 합성 $f * g$는 다음과 같이 정의된다.
$$ (f * g)(s) = \begin{cases} f(2s) & 0 \le s \le 1/2 \\ g(2s-1) & 1/2 < s \le 1 \end{cases} $$
즉, 먼저 $f$를 따라 이동한 후 이어서 $g$를 따라 이동하는 경로이다. 이 연산은 호모토피 클래스 $[f], [g]$에 대해 $[f] \cdot [g] = [f * g]$로 유도된다.
3.2 군 공리의 만족
- 결합법칙: $([f] \cdot [g]) \cdot [h] = [f] \cdot ([g] \cdot [h])$ 가 성립한다. (경로의 속도 조절을 통해 호모토피를 구성할 수 있다.)
- 항등원: 기점 $x_0$에 계속 머무르는 상수 함수 $c_{x_0}(s) = x_0$의 클래스 $[c_{x_0}]$가 항등원이 된다.
- 역원: 루프 $f$를 역방향으로 이동하는 $f^{-1}(s) = f(1-s)$의 클래스 $[f^{-1}]$가 역원이 된다. $f * f^{-1}$은 기점으로 수축 가능하므로 항등원과 호모토피 동치이다.
4. 주요 예시와 계산
공간의 기하학적 특성에 따라 기본군의 결과는 상이하게 나타난다.
4.1 원($S^1$)의 기본군 계산
원의 기본군 $\pi_1(S^1, x_0) \cong \mathbb{Z}$가 도출되는 과정은 다음과 같다.
1. 권선수(Winding Number): 원 위의 루프 $f$는 원을 시계 방향 또는 반시계 방향으로 몇 번 감았느냐에 따라 분류된다.
2. 덮개 공간(Covering Space): 원 $S^1$의 덮개 공간으로 실수선 $\mathbb{R}$을 생각한다. 원 위의 루프 $f$를 $\mathbb{R}$ 위로 들어 올리면(lifting), 시작점 $0$에서 출발하여 끝점 $n \in \mathbb{Z}$에 도달하는 경로 $\tilde{f}$가 된다.
3. 동형 사상: 이때 정수 $n$이 바로 루프 $f$의 권선수가 되며, 두 루프가 호모토피 동치일 필요충분조건은 권선수가 같은 것이다. 따라서 루프의 합성 연산은 정수의 덧셈과 일치하게 되어 $\mathbb{Z}$와 동형이 된다.
4.2 공간별 기본군 요약
| 위상 공간 $X$ |
기본군 $\pi_1(X, x_0)$ |
의미 |
| 원판 (Disk, $D^2$) |
$0$ (자명군) |
모든 루프가 한 점으로 수축 가능함 (단일 연결 공간) |
| 원 (Circle, $S^1$) |
$\mathbb{Z}$ (정수군) |
루프가 원을 감은 횟수(Winding number)로 결정됨 |
| 토러스 (Torus, $T^2$) |
$\mathbb{Z} \times \mathbb{Z}$ |
가로 방향 구멍과 세로 방향 구멍 두 종류가 존재함 |
| 구 (Sphere, $S^2$) |
$0$ (자명군) |
구 표면의 모든 루프는 한 점으로 수축 가능함 |
| 실투영평면 ($\mathbb{RP}^2$) |
$\mathbb{Z}_2$ ($\mathbb{Z}/2\mathbb{Z}$, 순환군) |
두 번 감은 루프는 수축 가능하지만, 한 번 감은 루프는 불가능함 |
5. 반-캄파크 정리 (Van Kampen Theorem)
복잡한 공간의 기본군을 계산하기 위해, 공간을 더 작은 부분 공간들의 합집합으로 나누어 계산하는 방법이다.
정리: 위상 공간 $X$가 두 개의 열린 집합 $U, V$의 합집합($X = U \cup V$)이고, $U \cap V$가 경로 연결 공간일 때, 기점 $x_0 \in U \cap V$에 대하여 $\pi_1(X, x_0)$는 $\pi_1(U, x_0)$와 $\pi_1(V, x_0)$의 아말감 합성곱(Amalgamated free product)으로 표현된다.
$$\pi_1(X) \cong \pi_1(U) *_{\pi_1(U \cap V)} \pi_1(V)$$
이 정리를 이용하면 복잡한 다면체나 그래프의 기본군을 기본 구성 요소들의 기본군과 그들 사이의 관계식(Relation)을 통해 효율적으로 계산할 수 있다.
6. 주요 성질 및 이론
6.1 불변성과 펑터성
- 위상 불변성: 두 공간 $X, Y$가 위상 동형(Homeomorphic)이면, 그들의 기본군은 동형(Isomorphic)이다.
- 호모토피 불변성: 두 공간이 호모토피 동치(Homotopy equivalent)여도 기본군은 보존된다.
- 펑터(Functor): 연속 함수 $h: X \to Y$는 기본군 사이의 군 준동형 사상 $h_*: \pi_1(X, x_0) \to \pi_1(Y, h(x_0))$를 유도한다.
6.2 단일 연결 공간 (Simply Connected Space)
위상 공간 $X$가 다음 두 조건을 모두 만족할 때 단일 연결 공간이라고 한다.
1. $X$가 경로 연결 공간(Path-connected space)이다.
2. 모든 기점 $x_0$에 대해 기본군 $\pi_1(X, x_0)$가 자명군(Trivial group, $0$)이다.
즉, 공간 내의 모든 루프가 호모토피를 통해 하나의 점으로 수축될 수 있는 공간을 의미한다.
6.3 핵심 정리: 푸앵카레 추측 (Poincaré Conjecture)
기본군과 관련하여 가장 유명한 정리 중 하나는 푸앵카레 추측이다.
* 내용: "단일 연결(Simply connected, $\pi_1 = 0$)된 닫힌 3차원 다양체는 3차원 구($S^3$)와 위상 동형이다."
* 의미: 3차원 공간에서 모든 루프를 한 점으로 수축시킬 수 있다면, 그 공간은 기하학적으로 구와 같다는 것을 의미한다. 이는 기본군이라는 대수적 정보만으로 공간의 전역적 형태를 결정지을 수 있음을 보여준다.
7. 응용 및 확장
7.1 공간의 구별
두 공간의 기본군이 다르면, 두 공간은 절대 위상 동형이 될 수 없다. 예를 들어, 원($S^1$)의 기본군은 $\mathbb{Z}$이고 원판($D^2$)의 기본군은 $0$이므로, 원과 원판은 서로 다른 위상 공간이다.
7.2 고차 호모토피 군 (Higher Homotopy Groups)
기본군은 $\pi_n$의 $n=1$인 특수한 경우이다. 기본군이 1차원 루프($S^1 \to X$)를 다루는 것처럼, 이를 $n$차원 구($S^n \to X$)로 확장한 것이 고차 호모토피 군 $\pi_n(X)$이다.
* $\pi_1(X)$는 비가환군(Non-abelian)일 수 있으나, $n \ge 2$인 모든 $\pi_n(X)$는 항상 가환군(Abelian group)이라는 특징이 있다.
* 고차 호모토피 군은 계산이 매우 까다롭지만, 공간의 더 세밀한 고차원적 구멍 구조를 분석하는 데 사용된다.
분류: 수학 / 위상수학 / 대수적 위상수학
# 기본군 (Fundamental Group)
## 1. 개요
**기본군(Fundamental Group)**은 위상 공간의 기하학적 구조, 특히 공간 내에 존재하는 '구멍'의 유무와 개수를 대수적인 군(Group)의 형태로 나타낸 대수적 위상수학의 핵심 도구이다. 위상 공간 내의 한 점(기점)에서 출발하여 다시 그 점으로 돌아오는 경로인 **루프(Loop)**와, 하나의 루프를 연속적으로 변형시켜 다른 루프로 만드는 **호모토피(Homotopy)** 개념을 통해 정의된다. 기본군은 공간의 위상적 성질을 보존하므로, 두 공간의 기본군이 서로 다르다면 두 공간은 위상적으로 서로 다른 공간임을 판별할 수 있다.
## 2. 수학적 정의
위상 공간 $X$와 그 안의 기점 $x_0 \in X$가 주어졌을 때, 기본군 $\pi_1(X, x_0)$는 다음과 같은 단계로 정의된다.
### 2.1 루프와 호모토피
* **루프(Loop):** 단위 구간 $I = [0, 1]$에서 $X$로 가는 연속 함수 $f: I \to X$ 중, $f(0) = f(1) = x_0$를 만족하는 경로를 말한다.
* **호모토피(Homotopy):** 두 루프 $f, g$가 있을 때, $f$를 $g$로 연속적으로 변형시키는 연속 함수 $H: I \times I \to X$가 존재하면 두 루프는 **호모토피 동치(Homotopic)**라고 하며, $f \simeq g$로 표기한다. 이때 모든 시간 $t \in I$에 대해 $H(0, t) = H(1, t) = x_0$여야 한다.
### 2.2 기본군의 정의
기본군 $\pi_1(X, x_0)$는 기점 $x_0$를 공유하는 모든 루프들의 집합을 호모토피 동치 관계 $\simeq$로 나눈 **동치류(Equivalence class)**들의 집합이다. 이때 각 동치류를 **호모토피 클래스(Homotopy class)**라고 부르며, 루프 $f$가 속한 클래스를 $[f]$로 표기한다.
즉, 기본군은 개별 루프들의 집합이 아니라, '연속적으로 변형 가능한 루프들을 하나로 묶은 묶음(클래스)'들의 집합이다. 이를 통해 공간의 세세한 경로 모양이 아닌, 루프가 공간의 구멍을 어떻게 감싸고 있는지라는 본질적인 위상적 정보만을 추출할 수 있다.
| 개념 | 수학적 정의/특징 | 역할 |
| :--- | :--- | :--- |
| **루프 (Loop)** | $f: [0, 1] \to X, f(0)=f(1)=x_0$ | 공간의 경로를 탐색하는 기본 단위 |
| **호모토피 (Homotopy)** | $H: I \times I \to X$ (연속적 변형) | 루프 간의 '동등함'을 정의하는 기준 |
| **기본군 ($\pi_1$)** | $\{ [f] \mid f \text{ is a loop at } x_0 \}$ | 공간의 구멍 정보를 대수적으로 저장 |
**[시각적 도식 개념]**
* **루프:** 점 $x_0$에서 시작해 공간을 한 바퀴 돌아 $x_0$로 오는 고무줄 형태의 선.
* **호모토피:** 고무줄(루프)을 끊지 않고 공간 내에서 밀거나 당겨서 다른 모양의 고무줄로 변형시키는 과정. 만약 루프가 구멍을 감싸고 있다면, 구멍을 가로지를 수 없으므로 다른 루프로 변형되지 않는다.
## 3. 군 구조와 연산
기본군 $\pi_1(X, x_0)$가 '군(Group)'이 되기 위해서는 이항 연산이 정의되어야 한다.
### 3.1 루프의 합성 (Concatenation)
두 루프 $f$와 $g$의 합성 $f * g$는 다음과 같이 정의된다.
$$ (f * g)(s) = \begin{cases} f(2s) & 0 \le s \le 1/2 \\ g(2s-1) & 1/2 < s \le 1 \end{cases} $$
즉, 먼저 $f$를 따라 이동한 후 이어서 $g$를 따라 이동하는 경로이다. 이 연산은 호모토피 클래스 $[f], [g]$에 대해 $[f] \cdot [g] = [f * g]$로 유도된다.
### 3.2 군 공리의 만족
1. **결합법칙:** $([f] \cdot [g]) \cdot [h] = [f] \cdot ([g] \cdot [h])$ 가 성립한다. (경로의 속도 조절을 통해 호모토피를 구성할 수 있다.)
2. **항등원:** 기점 $x_0$에 계속 머무르는 상수 함수 $c_{x_0}(s) = x_0$의 클래스 $[c_{x_0}]$가 항등원이 된다.
3. **역원:** 루프 $f$를 역방향으로 이동하는 $f^{-1}(s) = f(1-s)$의 클래스 $[f^{-1}]$가 역원이 된다. $f * f^{-1}$은 기점으로 수축 가능하므로 항등원과 호모토피 동치이다.
## 4. 주요 예시와 계산
공간의 기하학적 특성에 따라 기본군의 결과는 상이하게 나타난다.
### 4.1 원($S^1$)의 기본군 계산
원의 기본군 $\pi_1(S^1, x_0) \cong \mathbb{Z}$가 도출되는 과정은 다음과 같다.
1. **권선수(Winding Number):** 원 위의 루프 $f$는 원을 시계 방향 또는 반시계 방향으로 몇 번 감았느냐에 따라 분류된다.
2. **덮개 공간(Covering Space):** 원 $S^1$의 덮개 공간으로 실수선 $\mathbb{R}$을 생각한다. 원 위의 루프 $f$를 $\mathbb{R}$ 위로 들어 올리면(lifting), 시작점 $0$에서 출발하여 끝점 $n \in \mathbb{Z}$에 도달하는 경로 $\tilde{f}$가 된다.
3. **동형 사상:** 이때 정수 $n$이 바로 루프 $f$의 권선수가 되며, 두 루프가 호모토피 동치일 필요충분조건은 권선수가 같은 것이다. 따라서 루프의 합성 연산은 정수의 덧셈과 일치하게 되어 $\mathbb{Z}$와 동형이 된다.
### 4.2 공간별 기본군 요약
| 위상 공간 $X$ | 기본군 $\pi_1(X, x_0)$ | 의미 |
| :--- | :--- | :--- |
| **원판 (Disk, $D^2$)** | $0$ (자명군) | 모든 루프가 한 점으로 수축 가능함 (단일 연결 공간) |
| **원 (Circle, $S^1$)** | $\mathbb{Z}$ (정수군) | 루프가 원을 감은 횟수(Winding number)로 결정됨 |
| **토러스 (Torus, $T^2$)** | $\mathbb{Z} \times \mathbb{Z}$ | 가로 방향 구멍과 세로 방향 구멍 두 종류가 존재함 |
| **구 (Sphere, $S^2$)** | $0$ (자명군) | 구 표면의 모든 루프는 한 점으로 수축 가능함 |
| **실투영평면 ($\mathbb{RP}^2$)** | $\mathbb{Z}_2$ ($\mathbb{Z}/2\mathbb{Z}$, 순환군) | 두 번 감은 루프는 수축 가능하지만, 한 번 감은 루프는 불가능함 |
## 5. 반-캄파크 정리 (Van Kampen Theorem)
복잡한 공간의 기본군을 계산하기 위해, 공간을 더 작은 부분 공간들의 합집합으로 나누어 계산하는 방법이다.
**정리:** 위상 공간 $X$가 두 개의 열린 집합 $U, V$의 합집합($X = U \cup V$)이고, $U \cap V$가 경로 연결 공간일 때, 기점 $x_0 \in U \cap V$에 대하여 $\pi_1(X, x_0)$는 $\pi_1(U, x_0)$와 $\pi_1(V, x_0)$의 **아말감 합성곱(Amalgamated free product)**으로 표현된다.
$$\pi_1(X) \cong \pi_1(U) *_{\pi_1(U \cap V)} \pi_1(V)$$
이 정리를 이용하면 복잡한 다면체나 그래프의 기본군을 기본 구성 요소들의 기본군과 그들 사이의 관계식(Relation)을 통해 효율적으로 계산할 수 있다.
## 6. 주요 성질 및 이론
### 6.1 불변성과 펑터성
* **위상 불변성:** 두 공간 $X, Y$가 위상 동형(Homeomorphic)이면, 그들의 기본군은 동형(Isomorphic)이다.
* **호모토피 불변성:** 두 공간이 호모토피 동치(Homotopy equivalent)여도 기본군은 보존된다.
* **펑터(Functor):** 연속 함수 $h: X \to Y$는 기본군 사이의 군 준동형 사상 $h_*: \pi_1(X, x_0) \to \pi_1(Y, h(x_0))$를 유도한다.
### 6.2 단일 연결 공간 (Simply Connected Space)
위상 공간 $X$가 다음 두 조건을 모두 만족할 때 **단일 연결 공간**이라고 한다.
1. $X$가 경로 연결 공간(Path-connected space)이다.
2. 모든 기점 $x_0$에 대해 기본군 $\pi_1(X, x_0)$가 자명군(Trivial group, $0$)이다.
즉, 공간 내의 모든 루프가 호모토피를 통해 하나의 점으로 수축될 수 있는 공간을 의미한다.
### 6.3 핵심 정리: 푸앵카레 추측 (Poincaré Conjecture)
기본군과 관련하여 가장 유명한 정리 중 하나는 푸앵카레 추측이다.
* **내용:** "단일 연결(Simply connected, $\pi_1 = 0$)된 닫힌 3차원 다양체는 3차원 구($S^3$)와 위상 동형이다."
* **의미:** 3차원 공간에서 모든 루프를 한 점으로 수축시킬 수 있다면, 그 공간은 기하학적으로 구와 같다는 것을 의미한다. 이는 기본군이라는 대수적 정보만으로 공간의 전역적 형태를 결정지을 수 있음을 보여준다.
## 7. 응용 및 확장
### 7.1 공간의 구별
두 공간의 기본군이 다르면, 두 공간은 절대 위상 동형이 될 수 없다. 예를 들어, 원($S^1$)의 기본군은 $\mathbb{Z}$이고 원판($D^2$)의 기본군은 $0$이므로, 원과 원판은 서로 다른 위상 공간이다.
### 7.2 고차 호모토피 군 (Higher Homotopy Groups)
기본군은 $\pi_n$의 $n=1$인 특수한 경우이다. 기본군이 1차원 루프($S^1 \to X$)를 다루는 것처럼, 이를 $n$차원 구($S^n \to X$)로 확장한 것이 **고차 호모토피 군 $\pi_n(X)$**이다.
* $\pi_1(X)$는 비가환군(Non-abelian)일 수 있으나, $n \ge 2$인 모든 $\pi_n(X)$는 항상 가환군(Abelian group)이라는 특징이 있다.
* 고차 호모토피 군은 계산이 매우 까다롭지만, 공간의 더 세밀한 고차원적 구멍 구조를 분석하는 데 사용된다.
---
**분류:** 수학 / 위상수학 / 대수적 위상수학