(stub) |
잔글편집 요약 없음 |
||
1번째 줄: | 1번째 줄: | ||
{{DISPLAYTITLE:T<sub>1</sub> 공간}} | {{DISPLAYTITLE:T<sub>1</sub> 공간}} | ||
[[위상공간]] <math>X</math>의 서로 다른 두 원소 <math>a,b</math>에 대해, [[열린집합]] <math>U,V\subset X</math>가 존재해 | [[위상공간]] <math>X</math>의 서로 다른 두 원소 <math>a,b</math>에 대해, [[열린집합]] <math>U,V\subset X</math>가 존재해 | ||
: <math>a\in U</math>, <math>b\not\in U</math>, <math>b\in V</math>, <math> | : <math>a\in U</math>, <math>b\not\in U</math>, <math>b\in V</math>, <math>a\not\in V</math> | ||
이면 <math>X</math>를 '''T<sub>1</sub> 공간'''이라 한다. | 이면 <math>X</math>를 '''T<sub>1</sub> 공간'''이라 한다. | ||
2019년 2월 20일 (수) 22:00 판
위상공간 [math]\displaystyle{ X }[/math]의 서로 다른 두 원소 [math]\displaystyle{ a,b }[/math]에 대해, 열린집합 [math]\displaystyle{ U,V\subset X }[/math]가 존재해
- [math]\displaystyle{ a\in U }[/math], [math]\displaystyle{ b\not\in U }[/math], [math]\displaystyle{ b\in V }[/math], [math]\displaystyle{ a\not\in V }[/math]
이면 [math]\displaystyle{ X }[/math]를 T1 공간이라 한다.
예시
- [math]\displaystyle{ X=\{a,b\} }[/math]에 대해 [math]\displaystyle{ \mathcal{T}=\{\emptyset, \{a\},X\} }[/math]로 정의하면 [math]\displaystyle{ (X,\mathcal{T}) }[/math]는 T0 공간이지만 T1 공간이 아니다. (시에르핀스키 공간)
- 무한집합 [math]\displaystyle{ X }[/math]에 대해 [math]\displaystyle{ \mathcal{T}=\{\emptyset\}\cup \{O\subset X \mid X\setminus O\text{ is finite}\} }[/math]로 정의하면 [math]\displaystyle{ (X,\mathcal{T}) }[/math]는 T1 공간이지만 T2 공간이 아니다. (여유한위상)
성질
다음 명제는 동등하다.
- [math]\displaystyle{ X }[/math]는 T1 공간이다.
- [math]\displaystyle{ X }[/math]의 임의의 유한부분집합은 닫힌집합이다.
- [math]\displaystyle{ X }[/math]의 임의의 한원소 부분집합은 닫힌집합이다.