T1 공간: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
편집 요약 없음
1번째 줄:
{{DISPLAYTITLE:T<sub>1</sub> 공간}}
{{분리공리}}
[[일반위상수학]]에서, '''T<mathsub>T_11</mathsub> 공간'''은 주어진 두 점에 대하여, 첫째를 포함하며 둘째를 포함하지 않는 [[위상수학]]에서열린 [[분리공리집합]]의 하나인 <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<sub>1</sub> 공간''' <math>X</math>는 임의의 <math>x,y\in X</math>에 대하여, <math>x\in U\not\ni y</math>인 [[열린 집합]] <math>U</math>가 존재하는 [[위상공간 (수학)|위상공간]]이다.
 
== 성질 ==
* [[하우스도르프 공간은공간]]은 T<sub>1</sub> 공간이다.
* T<sub>1</sub> 공간은 [[T0 공간|T<sub>0</sub>콜모고로프 공간]]이다.
 
== 바깥 고리 ==