칸막이 위상
Divisor topology수학, 좀더 구체적으로 말하면 일반 토폴로지에서는 디비저 토폴로지가 세트 ={ ,,,. 의 특정 토폴로지라고 할 수 있다.2보다 크거나 같은 양의 정수디비저 은 X{\에서 정수의 디비시블 관계에 대한 포셋 위상이다
건설
n=2,3,을 TV들은 Snx{)∈ X:x n}{\displaystyle S_{n}=\{x\in X:x\mathop{}n\}}...{\displaystyle n=2,3,...}형태 X{X\displaystyle}에 제수 topology[1]이 표기법을 위한 기초) n{\displaystyle x\mathop{}n}의 x{\displaystyle)}는 것을 의미한다. n n
이 토폴로지의 열린 는 x y{\ y y 로 정의된 부분 순서에 대한 하위 집합이다닫힌 집합은 이 부분 순서의 상위 집합이다.
특성.
아래의 모든 속성은 정의에서 직접 증명되거나 따라온다.
- 점 의 닫힘은 x의 모든 배수의 집합이다
- 포인트 x x X 즉 의 디비저의 기본 오픈 세트 의 가장 작은 이웃이 있다 따라서 디비저 위상은 알렉산드로프 위상이다.
- 은 (는) T0 공간이다.실제로 < 과 이 (가 있는 두 점을 감안할 때 x의 열린 S 는 y를 포함하지 않는다
- 은 (는) T 공간이1 아니므로 점이 닫히지 않는다.따라서 은(는) 하우스도르프가 아니다.
- X의 고립된 점이 소수점이다 .
- 프라임 숫자 은 X X에서 밀도가 높다 실제로 모든 밀도가 높은 집합은 모든 프라임을 포함해야 하므로 X은 (는) 바이어 공간이다.
- 은 (는) 두 번째로 계산할 수 있다.
- {\ {\ 및 { y {\의 닫힘에는 이 (가) 요소로포함되므로 X {\displaystysty}가 초연결된다.
- 따라서 은(는) 정상적인 공간이다 .그러나 이 (가) 완전히 정상인 것은 아니다.예를 들어 { 6 과 {4}\{4은(는) 분리된 집합이지만 (6은 4의 배수가 아니며 4는 6의 배수가 아님), 각각의 가장 작은 열린 동네는 S = 2 = S 2{\에서 서로 단절된 이웃이 없다.
- 은 (는) 일반적인 공간이 기본 S x {\displaystyle 는 유한하지만 점의 폐쇄는 무한하기 때문이다.
- 이 (가) 연결됨, 로컬 연결됨, 경로 연결됨 및 로컬 경로 연결됨
- 은(는) 흩어져 있는 공간으로 , 각 비어 있지 않은 부분집합은 세트의 격리된 요소인 첫 번째 요소를 가지고 있기 때문이다.
- 의 콤팩트 하위 집합은 하위 집합으로, 어떤 집합 X 의 집합은 각각 유한한 기본 세트 S n {\displaystyle S_{n}의 집합으로 포함되므로, 이 그 자체로 한정되어야 한다.특히 은 (는) 컴팩트하지 않다.
- 은 (는) 각 점이 콤팩트한 근린( 는 유한하다는 점에서 국소적으로 콤팩트하다.그러나 포인트에는 폐쇄적인 컴팩트한 이웃이 없다( 은 (는) 로컬로 상대적으로 컴팩트하지 않다).
참조
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover Publications reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446