[논문 리뷰] On finite T_0 topological spaces

A. El-Fattah El-Atik, M. E. Abd El-Monsef외 1명|ArXiv.org|2002. 04. 10.

Digital Image Processing Techniques참고 문헌 6인용 수 4

한 줄 요약

이 논문은 최소 이웃을 통한 일대일 대응을 통해 유한 T₀ 위상공간을 유한 부분순서집합과 연결함으로써 유한 T₀ 위상공간을 조사한다. 최소 이웃에 의해 유도되는 전문화 순서가 위상을 특징짓는다는 것을 보이며, 이 틀을 활용해 다중함수, 연속성, 차원을 분석한다. 그 결과, 다중함수의 상부 및 하부 연속성은 위상차원과 몫구조와 관련이 있음을 보여준다.

ABSTRACT

Finite topological spaces became much more essential in topology, with the development of computer science. The task of this paper is to study and investigate some properties of such spaces with the existence of an ordered relation between their minimal neighborhoods. We introduce notations and elementary facts known as Alexandroff space. The family of minimal neighborhoods forms a unique minimal base. We consider T_0 spaces. We give a link between finite $T_0$ spaces and the related partial order. Finally, we study some properties of multifunctions and their relationships with connected ordered topological spaces.

연구 동기 및 목표

• 최소 이웃에 의해 유도되는 전문화 순서를 이용해 유한 T₀ 위상공간과 유한 부분순서집합 사이의 범주적 동치를 수립하기.
• 유한 T₀ 공간에서 위상연산자(내부, 폐쇄, 경계)를 순서론적 연산으로 특징짓기.
• 유한 위상공간에서 다중함수의 연속성 특성과 위상차원 사이의 관계 조사하기.
• 유한 위상공간 간 몫사상이 상부 또는 하부 연속적인 다중함수를 유도하는 조건 분석하기.
• 유한 T₀ 공간의 구조가 연속성과 차원이론의 조합론적 재구성 가능함을 보여주기.

제안 방법

• 최소 이웃의 포함관계로 정의된 전문화 순서: x ≤ y iff U_y ⊆ U_x.
• 각 유한 T₀ 공간을 전문화 순서에 대한 상집합에 해당하는 열린집합을 갖는 부분순서집합으로 표현하기.
• 순서론적 도구를 적용하여 위상연산자를 특징짓기: int(A) = {x ∈ A | U_x ⊆ A}, cl(A) = {x | ∃y ∈ A with x ≤ y}.
• 연속함수 f와 몰입사상 π에 대해 복합함수 πfπ⁻¹를 통한 다중함수 g: Y → P(Y) 정의하고, 그 상부/하부 연속성 분석하기.
• 최소 이웃의 구조와 부분순서를 이용해 열린 사상이 원상에 대한 폐쇄 조건으로 특징지어짐을 증명하기.
• 다중함수의 약한 연속성과 반연속성 개념을 적용해 일차원 T₀ 공간에서 차원이론적 결과 도출하기.

실험 결과

연구 질문

• RQ1 최소 이웃에 의해 유도된 부분순서로부터 어떤 유한 T₀ 공간의 위상이 완전히 복원될 수 있는가?
• RQ2 원상의 폐쇄 성질을 갖는다 하더라도, 위상공간에서 유한 T₀ 공간으로의 몰입사상이 열린 사상이 되기 위한 조건은 무엇인가?
• RQ3 몰입사상에 의해 정의된 다중함수의 상부 및 하부 연속성은 공역의 위상차원과 어떻게 관련되는가?
• RQ4 연속함수와 몰입사상의 복합함수가 유한 T₀ 공간으로 들어가는 다중함수로서 상부 또는 하부 연속성이 되기 위한 조건은 무엇인가?
• RQ5 유한 T₀ 공간의 차원은 관련 다중함수의 반연속성으로 특징지을 수 있는가?

주요 결과

• 모든 유한 T₀ 공간은 최소 이웃에 의해 유도되는 전문화 순서를 통해 유일한 유한 부분순서집합으로부터 유도된다.
• 점 x의 최소 이웃 U_x는 x를 포함하는 가장 작은 열린집합이며, 위상의 기저를 이룬다.
• 점 x가 {y}의 폐쇄에 속해 있는 것은 전문화 순서에서 y ≥ x일 때이고, 이는 폐쇄와 순서 사이의 이중성 관계를 확립한다.
• 유한 T₀ 공간 Y로의 몰입사상 π: X → Y는 다중함수 g = πfπ⁻¹를 유도하며, 특정한 폐쇄 및 열린 조건을 만족할 경우 하부 연속적이게 된다.
• 기본 사상 π가 열린 사상이더라도 다중함수 g가 반드시 상부 연속적이지는 않으며, 반례를 통해 이를 보여준다.
• 일차원 T₀ 공간에서는 원상의 열린 점의 폐쇄가 원상의 닫힌 점의 원상를 포함할 때 열린 사상으로 특징지워진다.