[논문 리뷰] I-convergence classes of sequences and nets in topological spaces

Amar Kumar Banerjee, Apurba Banerjee|arXiv (Cornell University)|2016. 08. 11.

Approximation Theory and Sequence Spaces참고 문헌 9인용 수 4

한 줄 요약

이 논문은 위상공간에서 수열과 네티의 I수렴 클래스를 도입하고, 이러한 클래스가 특정 공리를 만족할 경우 유일한 위상을 생성함을 증명한다. 주요 기여는 I수렴 클래스와 위상 간의 일대일 대응을 수립하여, 생성된 위상에 대한 I수렴이 원래의 I수렴 수열 및 네티 클래스와 일치함을 보여주는 것이다.

ABSTRACT

In this paper we have used the idea of I-convergence of sequences and nets to study certain conditions of convergence in a topological space. It has been shown separately that a class of sequences and a class of nets in a non-empty set X which are respectively called I-convergence class of sequences and I-convergence class of nets satisfying these conditions generate a topology on X. Further we have correlated the classes of I-convergent sequences and nets with respect to these topologies with the given classes which satisfy these conditions.

연구 동기 및 목표

• 집합 X에서 I수렴 수열 또는 네티의 클래스가 위상을 생성할 수 있는 조건을 규명하는 것.
• 위상 생성을 위한 I수렴 클래스에 대한 필요 및 충분 조건을 수립하는 것.
• 원래의 I수렴 클래스와 생성된 위상에 대한 I수렴 간의 관련성을 규명하는 것.
• 지식 집합의 지표를 사용하여 Moore-Smith 수렴 이론을 I수렴으로 확장하는 것.
• 생성된 위상에 대한 I수렴이 원래의 I수렴 클래스와 일치함을 증명하는 것.

제안 방법

• 자연수 집합 N과 순서집합 D에 대한 지표 I를 사용하여 위상공간에서 수열과 네티의 I수렴을 정의한다.
• 수열의 I수렴을 기반으로 X의 부분집합에 대한 'cl' 연산자를 도입하며, 위상에서의 닫힘을 모방한다.
• 닫힘 연산자 'cl'이 Kuratowski 닫힘 공리(axioms)를 만족함을 확인한다: (1) ∅^{cl} = ∅, (2) A ⊆ A^{cl}, (3) (A ∪ B)^{cl} = A^{cl} ∪ B^{cl}, (4) (A^{cl})^{cl} = A^{cl}.
• X∖U가 연산자 'cl'에 대해 닫혀 있을 경우, 집합 U를 열린 집합으로 간주하여 X에 위상을 τ로 정의한다.
• 넷이 원래 클래스에서 I수렴 가능할 때, 그리고 오직 그 때에만, x₀로 I수렴할 조건을 증명한다.
• Moore-Smith 수렴과 유사한 수렴 클래스의 공리 (a)–(d)를 사용하여 위상의 잘 정의됨과 일관성을 보장한다.

실험 결과

연구 질문

• RQ1 집합 X에서 I수렴 수열 또는 네티의 클래스가 유일한 위상을 생성할 수 있는 조건은 무엇인가?
• RQ2 I수렴 수열 및 네티의 클래스는 생성된 위상에 대한 I수렴과 어떻게 관련이 있는가?
• RQ3 수렴 클래스의 공리 (a)–(d)는 I수렴에 적응되어 위상 생성을 보장할 수 있는가?
• RQ4 생성된 위상에 대한 I수렴은 원래의 I수렴 클래스와 동치인가?
• RQ5 적합한 지표와 필터는 I수렴과 위상 생성의 일관성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 공집합이 아닌 집합 X에서 공리 (a)–(d)를 만족하는 I수렴 수열의 클래스는 X에 고유한 위상 τ를 생성한다.
• 동일한 결과는 I수렴 네티의 클래스에 대해서도 성립하며, 닫힘 연산자 'cl'이 Kuratowski 공리를 만족한다.
• 위상 τ는 I수렴 클래스에 의해 유일하게 결정되며, 원래 클래스에 속하는 모든 I수렴 네티는 위상 τ에 대해 I수렴한다.
• 반대로, 위상 τ에 대해 I수렴하는 모든 네티는 원래 클래스에 속하는 I수렴 네티이므로 일대일 대응이 성립한다.
• I수렴의 네티를 통해 정의된 닫힘 연산자 'cl'은 (A ∪ B)^{cl} = A^{cl} ∪ B^{cl} 및 (A^{cl})^{cl} = A^{cl}를 만족하여 위상적 일관성을 확인한다.
• 증명은 지표, 필터, 그리고 Moore-Smith 수렴 공리 간의 상호작용에 기반하며, 위상 τ에 대한 I수렴이 원래 클래스와 일치함을 보여준다.