개념 정의
T1 공간은 위상수학에서 사용되는 분리 공리 중 하나이다. 집합 $X$와 그 위에 정의된 위상 $\tau$가 주어졌을 때, $(X,\tau)$가 T1 공간이라 함은 다음 조건을 만족하는 경우이다.
- 임의의 서로 다른 두 점 $x, y \in X$에 대하여, $x$를 포함하고 $y$를 포함하지 않는 열린 집합이 존재하고, 마찬가지로 $y$를 포함하고 $x$를 포함하지 않는 열린 집합이 존재한다.
이 조건은 각 점이 다른 점을 닫힌 집합으로 분리할 수 있음을 의미한다. 즉, 모든 단일점 ${x}$가 닫힌 집합이 된다.
주요 성질
| 성질 | 내용 |
|---|---|
| 점 집합의 닫힘 | 모든 단일점 ${x}$가 닫힌 집합이다. |
| 폐집합의 특징 | 임의의 집합 $A \subset X$에 대해, $A$의 보충 $X \setminus A$가 열린 집합이면 $A$는 닫힌 집합이다. |
| T1 ⇔ 모든 유한 집합이 닫힘 | 모든 유한 집합(특히 단일점)이 닫힌 집합이라는 성질은 T1 공리와 동치이다. |
| T2(하우스도르프)와의 관계 | 모든 T2 공간은 T1이다. 그러나 T1이 반드시 T2가 되는 것은 아니다. |
| 연속 함수와의 보존 | 연속 함수 $f : X \to Y$가 T1 공간 $X$에서 정의될 때, $f$가 열린 사상이라면$Y$ 역시 T1이 된다. |
대표적인 예시
| 위상공간 | T1 여부 | 비고 |
|---|---|---|
| 실수 직선 $\mathbb{R}$ (표준 위상) | O | 모든 단일점이 닫힌 집합 |
| 이산 위상 $(X, \mathcal{P}(X))$ | O | 모든 부분집합이 열린 집합이므로 자동적으로 T1 |
| 코서코프 집합 (Cofinite topology) | O | 유한 보충이 열린 집합이므로 단일점이 닫힌다 |
| 사전형 위상 (lower limit topology) on $\mathbb{R}$ | O | 단일점이 닫힌 집합 |
| 트리비얼 위상 ${\emptyset, X}$ | X | 단일점이 닫힌 집합이 아니다 |
관련 용어와의 관계
- T0 공간: 서로 다른 두 점 중 적어도 하나는 다른 점을 포함하지 않는 열린 집합에 포함된다. 모든 T1 공간은 T0이다.
- T2 (Hausdorff) 공간: 서로 다른 두 점을 서로 교차하지 않는 열린 집합으로 분리할 수 있다. T2 ⇒ T1.
- Frechet 공간: T1과 같은 의미로 사용되기도 한다.
어원 및 사용 맥락
- “T”는 독일어 Trennungsaxiom (분리 공리)의 약자이며, “T1”은 첫 번째 분리 공리임을 나타낸다.
- 위상수학 교과서, 논문, 강의노트 등에서 “T1 공간”이라는 용어는 표준적인 정의로 널리 사용된다.
참고 문헌
- J. L. Kelley, General Topology, Springer, 1975.
- Stephen Willard, General Topology, Addison‑Wesley, 1970.
- Munkres, Topology, 2nd ed., Prentice Hall, 2000.
위 자료들은 T1 공리와 그 성질을 체계적으로 정리하고 있다.
