[논문 리뷰] Fixed-Circle Problem on S-Metric Spaces with a Geometric Viewpoint

Nihal Yılmaz Özgür, Ni̇hal Taş|arXiv (Cornell University)|2017. 04. 28.

Fixed Point Theorems Analysis참고 문헌 7인용 수 5

한 줄 요약

이 논문은 S-거리 공간에서 고정 원 문제를 도입하고 조사하며, 기하학적 및 수축 조건을 사용하여 원을 고정하는 자기매핑의 존재 및 유일성 정리를 수립한다. 주요 기여는 특정 부등식을 만족하는 자기매핑이 원 $ C_{x_0,r}^S $ 를 고정함을 보장하는 새로운 고정원 정리(정리 3.6)이다. 이는 $ R_S(x,x_0) $ 와 $ \mathcal{S}(Tx,Tx,x_0) $ 를 포함하며, 예시를 통해 이러한 매핑이 닫힌 구와 무한히 많은 원을 고정할 수 있음을 보여준다.

ABSTRACT

Recently, a new geometric approach which is called the fixed-circle problem has been gained to fixed-point theory. The problem is introduced and studied using different techniques on metric spaces. In this paper, we consider the fixed-circle problem on $S$-metric spaces. We investigate existence and uniqueness conditions for fixed circles of self-mappings on an $S$-metric space. Some examples of self-mappings having fixed circles are also given.

연구 동기 및 목표

• S-거리 공간, 즉 세 개의 변수를 가진 거리 함수를 가진 일반화된 거리 공간에서 고정원 문제를 도입함으로써 고정점 이론을 확장한다.
• S-거리 공간에서 자기매핑에 대해 고정원의 존재 및 유일성을 보장하는 충분조건을 수립한다.
• 한 개의 자기매핑이 무한히 많은 원을 고정할 수 있는 경우를 조사한다.
• 기하학적 해석과 예시(특히 Mathematica를 통한 시각화 포함)를 제공하여 이론적 결과를 설명한다.

제안 방법

• S-거리 공간에서 고정원 $ C_{x_0,r}^S $ 의 개념을 도입한다. 이는 $ \mathcal{S}(x,x,x_0) = r $ 를 만족하는 점 $ x $ 의 집합으로 정의된다.
• 기본 함수 $ R_S(x,x_0) $ 를 정의한다. 이는 $ x $, $ x_0 $, $ Tx $ 를 포함하는 다섯 개의 S-거리 항목의 최댓값으로, $ \mathcal{S}(x,x,Tx) $ 를 유계화하는 데 사용된다.
• 수축 조건을 제안한다: 모든 $ x $ 에 대해 $ Tx \neq x $ 이면 $ \mathcal{S}(x,x,Tx) < R_S(x,x_0) $ 를 만족한다. 이 조건은 고정원 존재성을 보장한다.
• 제시된 조건 하에서 고정원의 유일성과 불변성을 증명함으로써 $ T(C_{x_0,r}^S) \subset C_{x_0,r}^S $ 와 $ T(B_S[x_0,r]) \subset B_S[x_0,r] $ 를 확립한다.
• 논리적 모순을 유도하고 고정점을 증명하기 위해 레마 2.1( $ \mathcal{S}(x,x,y) $ 의 대칭성)과 레마 2.2(수렴과 코시 수열의 동치성)를 활용한다.
• 명시적인 예시(예: $ \mathbb{R} $ 에서의 조각별 정의된 $ T $)를 통해 구조적 접근을 사용하여 정리의 타당성을 검증하고, 고정원 및 고정된 구를 시각화한다.

실험 결과

연구 질문

• RQ1 S-거리 공간에서 자기매핑이 단일 점이 아닌 전체 원을 고정하는 조건은 무엇인가?
• RQ2 기하학적 및 수축 조건을 어떻게 구성하면 S-거리 공간에서 고정원의 존재를 보장할 수 있는가?
• RQ3 한 개의 자기매핑이 두 개 이상의 원을 고정할 수 있으며, 만약 그렇다면 유한한 수가 아닌 무한히 많은 원을 고정할 수 있는 조건은 무엇인가?
• RQ4 제안된 정리들 하에서 S-거리 공간에서 고정원과 고정된 닫힌 구 사이의 관계는 어떠한가?
• RQ5 기존의 고정점 결과와 비교할 때, 새로운 정리는 비연속적이거나 비수축적인 매핑에 적용 가능한가? 일반성과 적용 가능성 측면에서 어떻게 다른가?

주요 결과

• 정리 3.6는 모든 $ x $ 에 대해 $ Tx \neq x $ 이면 $ \mathcal{S}(x,x,Tx) < R_S(x,x_0) $ 를 만족하고, $ \mathcal{S}(Tx,Tx,x_0) = r = \min\{\mathcal{S}(Tx,Tx,x) : Tx \neq x\} $ 이면, $ C_{x_0,r}^S $ 는 $ T $ 의 고정원이 된다.
• 예제 3.11에서 자기매핑 $ T $ 는 원 $ C_{0,4}^S = \{x \in \mathbb{R} : |x| = 2\} $ 과 닫힌 구 $ B_S[0,4] = \{x \in \mathbb{R} : |x| \leq 2\} $ 를 모두 고정하며, 정리 3.6의 모든 조건을 만족한다.
• 예제 3.11은 한 개의 자기매핑이 무한히 많은 원을 고정할 수 있음을 보여주며, $ T $ 는 모든 $ C_{0,\rho}^S $ ( $ \rho \leq 4 $ ) 를 고정한다. 다만, 정리 3.6에 의해 포착되는 것은 오직 $ C_{0,4}^S $ 뿐이다.
• $ \mathcal{S}(Tx,Tx,x_0) = r $ 조건은 $ T $ 가 $ C_{x_0,r}^S $ 위의 점들을 동일한 원 안으로 매핑함으로써 불변성을 유지함을 보장한다.
• 예제 3.12는 조건 (3.8)을 만족하지 않더라도 매핑이 여러 개의 원(예: 모든 $ C_{x_0,\rho}^S $, $ \rho \leq \mu $) 을 고정할 수 있음을 보여주며, 정리 3.6의 역이 성립하지 않음을 증명한다.
• 논문은 S-거리 공간에서의 고정원 정리가 고정점 이론을 일반화할 수 있으며, 신경망의 활성화 함수를 통해 비연속 매핑에 적용 가능하다는 점을 확인한다.