[논문 리뷰] Common Coupled Fixed Point Theorems for Maps in a $T_0$-ultra-quasi-metric Space

Collins Amburo Agyingi, Gaba, Yaé Ulrich|arXiv (Cornell University)|2014. 12. 03.

Fixed Point Theorems Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 $T_0$-초위상준거공간에서 두 사상에 대해 공통 쌍둥이 고정점을 존재함을 증명한다. $q$-구완전성 조건 하에서, Zorn의 보조정리를 이용해 열린 구내에 최대 사슬을 구성함으로써, 상위연속성 조건을 요구하지 않고도 고정점 존재성을 증명하며, 이는 비대칭 거리공간 이론을 일반화하는 새로운 위상적 접근법이다.

ABSTRACT

In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et al.\cite{Rao}. The key point in the proof is the use of Zorn's lemma. We construct an appropriate chain and show that it has a maximal element, from which we extract the fixed point we are looking for. The choice of the sets, here open balls, is characteristic of this type of problems and the contraction condition are essential, specially when we are to establish the uniqueness of the fixed point

연구 동기 및 목표

• Rao 등이 이전에 제시한 결과를 $T_0$-초위상준거공간의 맥락에서 일반화하여 고정점 이론을 비대칭 거리공간 설정으로 확장한다.
• 상위연속성 조건을 가정하지 않고도 두 사상에 대한 공통 쌍둥이 고정점의 존재성을 확립한다.
• $q$-구완전성이 $T_0$-초위상준거공간에서 고정점 존재성을 보장하는 데 충분함을 보여준다.
• 열린 구와 Zorn의 보조정리를 활용한 최대 사슬 생성을 통해 위상적 증명 프레임워크를 제공한다.

제안 방법

• 사용된 $T_0$-초위상준거공간의 점들을 중심으로 하는 열린 구의 공간 내에서 Zorn의 보조정리를 적용하여 최대 사슬을 구성한다.
• 감소하는 구의 사슬이 항상 비어 있지 않은 교차를 가지도록 보장하기 위해 $q$-구완전성 성질을 활용한다.
• 사상에 대한 수축 조건을 정의하여 사슬의 교차가 공통 고정점을 포함함을 보장한다.
• 수축 조건을 만족할 경우 고정점의 유일성을 보장하기 위해 $T_0$-조건을 활용한다.
• 초위상준거공간에 의해 유도된 위상을 적용하며, 열린 구 $\{y \in X : d(x,y) < \epsilon\}$ 가 위상 $\tau(d)$의 기저를 이룬다.
• 공액 $d^{-1}$ 과 대칭 초거리공간 $d^s = \sup\{d, d^{-1}\}$ 을 활용하여 기초 위상적 구조를 분석한다.

실험 결과

연구 질문

• RQ1 상위연속성 조건을 요구하지 않고도 $T_0$-초위상준거공간에서 공통 쌍둥이 고정점의 존재성을 확보할 수 있는가?
• RQ2 더 약한 연속성 가정 하에 비대칭 거리공간에서 고정점 존재성을 보장하는 위상적 성질은 무엇인가?
• RQ3 $q$-구완전성과 수축 조건이 고정점 존재성을 도출하는 데 어떻게 상호작용하는가?
• RQ4 비대칭 설정에서 고정점에 도달하는 최대 사슬을 구성하는 데 Zorn의 보조정리는 어떤 방식으로 기여하는가?
• RQ5 열린 구와 $T_0$-조건은 공통 고정점의 유일성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 공통 쌍둥이 고정점의 존재성이 $q$-구완전성 조건을 만족하는 $T_0$-초위상준거공간 내 두 사상에 대해 증명되었다.
• 고정점 결과에 대해 사상의 상위연속성 조건이 필요하지 않으며, 이는 이전 연구에서 이 조건을 가정한 결과를 일반화한다.
• Zorn의 보조정리를 활용하여 공통 고정점이 포함된 열린 구의 최대 사슬을 구성하였다.
• 수축 조건은 공간 내 고정점의 유일성을 보장하는 데 필수적이다.
• $T_0$-초위상준거공간의 구조는 비대칭 거리를 允허하며, $T_0$-조건은 서로 다른 점들이 위상적으로 구별 가능하도록 보장한다.
• 대칭 초거리공간 $d^s = \sup\{d, d^{-1}\}$ 는 잘 정의되어 있으며 위상 $\tau(d)$ 를 유도하며 대칭 거리이론으로의 다리를 놓는다.