장소 (수학): 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
50번째 줄:
 
장소 <math>L</math>에 대하여 다음 두 조건이 서로 [[동치]]이다.
* <math>L\cong\operatorname{Open}(X)</math>인 위상 공간 <math>X</math>가 존재한다. 즉, [[함자 (수학)|함자]] <math>\operatorname{Open}</math>의 [[치역 (수학)|치역]](의 [[동형]]에 대한 폐포)에 속한다.
* 임의의 <math>U,V\in L</math>에 대하여, 만약 <math>U</math>와 <math>V</math>가 같은 점들을 갖는다면 <math>U=V</math>이다.
이러한 장소를 '''점을 충분히 가지는 장소'''({{llang|en|locale with enough points}})라고 한다. 점을 충분히 가지는 장소들의 [[충만한 부분 범주]]를 <math>\operatorname{ptLoc}</math>로 쓰자.