[논문 리뷰] Dimension of Alexandrov Topologies

Patrick Erik Bradley, Norbert W. Paul|arXiv (Cornell University)|2013. 05. 08.

Digital Image Processing Techniques인용 수 6

한 줄 요약

이 논문은 유한 높이를 가진 알렉산드로프 공간에 대해 크룰 차원이 높이와 같으며, 둘 다 관련 T₀ 위상공간의 전순서화(preorder)에 의해 완전히 결정됨을 증명한다. 주요 기여는 콜모고로프 몫의 부분순서 구조를 통한 크룰 차원의 특성화로, 이러한 공간에서 유한 차원성은 유한 높이와 동치임을 보여준다.

ABSTRACT

We prove that the Krull dimension of an Alexandrov space of finite height can be characterised with the specialisation preorder of its associated $T_0$-space.

연구 동기 및 목표

• 알렉산드로프 공간의 전순서화(preorder)를 이용해 크룰 차원을 특성화하기.
• 유한 차원 알렉산드로프 공간에서 크룰 차원과 높이의 관계를 명확히 하기.
• 유한 높이를 가진 알렉산드로프 공간의 크룰 차원이 그 콜모고로프 몫과 같음을 보여주기.
• 기약 닫힌 부분집합이 단일 점의 닫힘임을 만족하는 조건을 설정하기.
• 알렉산드로프 공간에서의 유한 차원성이 유한 높이와 동치임을 증명하기.

제안 방법

• x ≤ y일 때 x ∈ cl{y}인 조건으로 알렉산드로프 공간 위에서 전순서화(preorder) ≤를 정의한다.
• X₀ = X/∼를 통해 T₀ 위상공간을 얻고, 이는 부분순서로 전순서화(preorder)를 갖는다.
• 전순서화(preorder)를 유지하는 표준적인 전성 사상 π: X → X₀를 수립한다 (x ≤ y iff π(x) ≤ π(y)).
• π가 X의 형태 cl{x}인 닫힌 집합과 X₀의 형태 cl{x₀}인 닫힌 집합 사이의 전단사 사상임을 증명한다.
• 보조정리 1을 활용해 임의의 x에 대해 cl{x}가 기약임을 보인다.
• 보조정리 2를 활용해 유한 높이를 가진 알렉산드로프 공간에서 모든 기약 닫힌 집합이 단일 점의 닫힘임을 보인다.

실험 결과

연구 질문

• RQ1 알렉산드로프 공간의 크룰 차원이 높이와 일치하는 조건은 무엇인가?
• RQ2 알렉산드로프 공간의 크룰 차원은 그 T₀ 몫의 전순서화(preorder)와 어떻게 관련이 있는가?
• RQ3 모든 기약 닫힌 부분집합이 유한 높이를 가진 알렉산드로프 공간에서 단일 점의 닫힘인 경우는 언제인가?
• RQ4 알렉산드로프 공간의 크룰 차원은 오직 그 콜모고로프 몫에 의해 결정되는가?
• RQ5 알렉산드로프 공간에서의 유한 차원성이 유한 높이와 동치인가?

주요 결과

• 유한 높이를 가진 알렉산드로프 공간의 크룰 차원은 그 높이와 같다.
• 유한 높이를 가진 알렉산드로프 공간에서 모든 기약 닫힌 부분집합은 단일 점의 닫힘이다.
• 알렉산드로프 공간의 크룰 차원은 그 콜모고로프 몫 X₀의 크룰 차원과 같다.
• 알렉산드로프 공간의 높이는 그 콜모고로프 몫의 높이와 같다.
• T₀ 몫의 전순서화(preorder)는 원래 알렉산드로프 공간의 크룰 차원을 완전히 결정한다.
• 알렉산드로프 공간에서의 유한 차원성은 유한 높이와 동치이다.