T1 공간: 두 판 사이의 차이

{{분리공리}}

'''<math>T_1</math> 공간'''은 [[위상수학]]에서 [[분리공리]]의 하나인 <math>T_1</math> 공리를 만족하는 [[위상공간 (수학)|위상공간]]을 뜻한다. 구체적으로, 공간상의 임의의 서로 다른 두 점 <math> p, q \in X </math>에 대해서 적당한 [[열린 집합]] U, V가 존재하여 <math> p \in U, q \in V </math>이고 반대로 p는 V에, q는 U에 속하지 않는 성질을 만족하는 공간이다. 간혹 '''프레셰 공간'''(Fréchet space)이라고도 하는데, 이 용어는 함수해석학에서 다루는, 무관한 개념인 [[프레셰 공간]]과 혼동될 수 있다.

* 하우스도르프 공간은 T₁ 공간이다.

* T₁ 공간은 [[T0 공간|T₀ 공간]]이다.

 

{{토막글|수학}}