[[위상수학]]에서 '''<math>T_1</math> 공간은공간'''은 [[위상수학]]에서 [[분리공리]]의 하나인 <math>T_1</math> 공리를 만족하는 [[위상공간 (수학)|위상공간]]을 뜻한다. 구체적으로, 공간상의 임의의 서로 다른 두 점 <math> p, q \in X </math>에 대해서, <math> p \in U, q \in V </math>이고 반대로 p는 V에, q는 U에 속하지 않는 성질을 만족하는 공간이다. '''프레셰 공간'''(Fréchet space)이라고도 하는데, [[하우스도르프 공간]]처럼 자주 쓰이지는 않는다.
