칸막이 위상

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}의 집합으로 포함되므로, 그 자체로 한정되어야 한다.특히 (는) 컴팩트하지 않다.
  • (는) 각 점이 콤팩트한 근린( 유한하다는 점에서 국소적으로 콤팩트하다.그러나 포인트에는 폐쇄적인 컴팩트한 이웃이 없다( (는) 로컬로 상대적으로 컴팩트하지 않다).

참조

  1. ^ a b Steen & Seebach, 예시 57, 페이지 79-80
  • 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