[논문 리뷰] Remarks on Multiplicative Metric Spaces and Related Fixed Points

Kamaleldin Abodayeh, Ariana Pitea외 2명|arXiv (Cornell University)|2015. 12. 11.

Fixed Point Theorems Analysis참고 문헌 13인용 수 4

한 줄 요약

이 논문은 자연로그 변환을 통해 승법적 거리공간에서의 고정점 정리가 표준 거리공간에서의 대응 결과로부터 유도될 수 있음을 보여준다. 승법적 거리공간 $ (X,p) $ 에서의 거리함수 $ p $ 를 자연로그를 사용해 표준 거리공간 $ (X,d_p) $ 로 변환함으로써, 저자는 승법적 수축과 공통 고정점 결과가 바나흐 유형의 수축과 표준 고정점 정리로 환원됨을 보이며, 이는 승법적 거리공간이 기존의 고전적 거리공간 이론을 초월해 본질적으로 새로운 고정점 이론을 제공하지는 않음을 시사한다.

ABSTRACT

In this article we studied the relationship between metric spaces and multiplicative metric spaces. Also, we pointed out some fixed and common fixed point results under some contractive conditions in multiplicative metric spaces can be obtained from the corresponding results in standard metric spaces.

연구 동기 및 목표

• 승법적 거리공간과 표준 거리공간 간의 관계를 조사한다.
• 승법적 거리공간에서의 고정점 정리가 표준 거리공간에서의 대응 결과로부터 유도될 수 있는지 규명한다.
• 승법적 수축과 공통 고정점에 관한 정리가 진정으로 새로운지 아니면 고전적 고정점 이론으로 환원 가능한지 분석한다.
• 승법적 거리공간에서의 고정점 결과를 전달할 수 있도록 승법적 거리공간을 표준 거리공간으로 변환하는 방법(로그 함수를 통한)을 제공한다.

제안 방법

• 승법적 거리공간 $ (X,p) $ 를 표준 거리공간 $ (X,d_p) $ 로 변환하기 위해 표준 거리함수 $ d_p(x,y) = \ln(p(x,y)) $ 를 정의한다.
• 로그 함수의 성질을 이용해 $ (X,d_p) $ 가 거리공간의 모든 공리들을 만족함을 증명한다.
• 역변환 $ p_d(x,y) = e^{d(x,y)} $ 를 적용하여, 모든 표준 거리공간이 승법적 거리공간을 유도함을 보인다.
• 승법적 수축 조건 $ p(f(x_1),f(x_2)) \leq p(x_1,x_2)^\lambda $ 를 표준 수축 형태 $ d_p(f(x_1),f(x_2)) \leq \lambda d_p(x_1,x_2) $ 로 변환한다.
• 표준 거리공간 $ (X,d_p) $ 에서 바나흐 수축원리 적용을 통해 승법적 수축에 대한 고정점의 존재성과 유일성을 증명한다.
• 유사하게, 승법적 거리공간에서 약하게 교환 가능한 사상에 대한 공통 고정점 정리를 변환하여, 상한이 하측연속인 수축 모듈러스를 갖는 d-거리공간에서의 알려진 결과로 환원한다.

실험 결과

연구 질문

• RQ1 승법적 거리공간에서의 고정점 정리는 표준 거리공간에서의 대응 결과로부터 유도될 수 있는가?
• RQ2 고정점 이론에서 승법적 거리공간 프레임워크는 표준 거리공간과 본질적으로 다를까?
• RQ3 승법적 거리공간과 표준 거리공간 간의 정확한 수학적 관계는 무엇인가?
• RQ4 자연로그 변환은 승법적 거리공간과 표준 거리공간 간의 완비성과 코시 수열을 유지하는가?
• RQ5 승법적 거리공간에서의 공통 고정점 정리는 d-거리공간 또는 표준 거리공간에서의 알려진 결과로 환원될 수 있는가?

주요 결과

• 변환 $ d_p(x,y) = \ln(p(x,y)) $ 는 승법적 거리공간과 표준 거리공간 사이에 일대일 대응을 수립한다.
• 수열이 $ (X,p) $ 에서 승법적 코시이면, 해당 수열은 대응하는 표준 거리공간 $ (X,d_p) $ 에서도 코시이다.
• 완비 승법적 거리공간에서의 모든 승법적 수축은 유도된 표준 거리공간에서 바나흐 수축에 대응하며, 바나흐 고정점 정리에 의해 유일한 고정점이 보장된다.
• 약하게 교환 가능한 사상에 대한 승법적 거리공간에서의 공통 고정점 결과(정리 2)는 수축 모듈러스 $ \phi(t) = \lambda t $ 를 갖는 d-거리공간에서의 알려진 결과로 환원 가능하며, 여기서 $ \lambda \in (0, \frac{1}{2}) $ 이다.
• 승법적 설정에서의 정리 2의 증명은 표준 거리공간에서의 추론 2.1을 적용하는 것과 동치이며, 이는 승법적 프레임워크 내에서 새로운 고정점 이론이 개발되지 않았음을 확인한다.
• 연구는 승법적 거리공간이 표준 거리공간에서 이미 확보된 고정점 결과를 초월해 본질적으로 새로운 고정점 결과를 도출하지 못하며, 이 분야에서의 중복된 연구 작업을 피해야 한다고 결론을 내린다.