[논문 리뷰] A contraction principle in semimetric spaces

Mihály Bessenyei, Zsolt Páles|arXiv (Cornell University)|2014. 01. 08.

Fixed Point Theorems Analysis참고 문헌 10인용 수 21

한 줄 요약

이 논문은 정규 기본 삼각 함수를 지닌 완비 반거리공간으로 Matkowski 수축 원리의 일반화를 제시하며, $\varphi$-수축에 대해 고정점의 존재성과 유일성을 증명한다. 또한, 사상들의 점별 수렴 하에서 고정점의 안정성을 확립하여, Banach 고정점 정리가 $c$-완화 및 $c$-비거리공간과 같은 더 넓은 범주로 일반화됨을 보여준다.

ABSTRACT

A branch of generalizations of the Banach Fixed Point Theorem replaces contractivity by a weaker but still effective property. The aim of the present note is to extend the contraction principle in this spirit for such complete semimetric spaces that fulfill an extra regularity property. The stability of fixed points is also investigated in this setting. As applications, fixed point results are presented for several important generalizations of metric spaces.

연구 동기 및 목표

• 완비 거리공간을 초월하여 더 넓은 범주인 반거리공간으로 Matkowski 고정점 정리의 일반화를 시도한다.
• 반거리공간에 대한 정규성 조건—기본 삼각 함수가 원점에서 연속임을 통해—위상적 잘려진 성질(예: 하우스도르프 분리성 및 수렴하는 수열의 코시 성질)을 보장함을 규명한다.
• 이러한 공간에서 $\varphi$-수축의 수열이 점별 수렴할 경우 고정점의 안정성을 확립한다.
• $c$-완화 및 $c$-비거리공간이 정규 반거리공간의 특수한 경우임을 보이고, 이들 공간에서도 수축 원리가 성립함을 보여준다.
• 기본 삼각 함수와 위상적 성질(예: 닫힘 연산자의 등幂성) 사이의 관계를 명확히 하되, 이는 아직 부분적으로 미해결 상태이다.

제안 방법

• 반거리공간을 집합 $X$와 대칭적이며 음이 아닌 함수 $d: X \times X \to \mathbb{R}_+$로 정의하며, 이는 정확히 대각선에서만 0이 되도록 한다.
• 기본 삼각 함수 $\Phi_d(u,v) = \sup\{d(x,y) \mid \exists p \in X: d(p,x) \leq u, d(p,y) \leq v\}$를 도입하여 삼각 부등식을 일반화한다.
• 기본 삼각 함수 $\Phi_d$ 가 원점에서 연속인 반거리공간을 정규 반거리공간으로 정의하며, 이는 위상이 하우스도르프이면서 수렴하는 수열이 코시 성질을 만족함을 보장한다.
• 모든 $t > 0$ 에 대해 $\varphi^n(t) \to 0$ 이 되는 비교 함수 $\varphi: \mathbb{R}_+ \to \mathbb{R}_+$ 를 도입하고, $d(Tx,Ty) \leq \varphi(d(x,y))$ 를 만족하는 $\varphi$-수축을 정의한다.
• 모순과 반복적 추정을 통해 완비 정규 반거리공간에서의 모든 $\varphi$-수축에 대해 고정점의 존재성과 유일성을 증명한다.
• 자기 연속성 조건을 가정할 경우, 수열 $T_n$ 이 점별로 $T_0$ 로 수렴하면 $T_n$ 의 고정점이 $T_0$ 의 고정점으로 수렴함을 보여 고정점의 안정성을 확립한다.

실험 결과

연구 질문

• RQ1 표준 삼각 부등식을 만족하지 않는 반거리공간으로 Matkowski 고정점 정리를 확장할 수 있는가?
• RQ2 기본 삼각 함수에 대한 어떤 정규성 조건이 반거리공간의 위상이 하우스도르프이면서 수렴하는 수열이 코시 성질을 만족함을 보장하는가?
• RQ3 수열 $\varphi$-수축의 고정점이 극한 사상의 고정점으로 수렴하는 조건은 무엇인가?
• RQ4 $c$-완화 및 $c$-비거리공간은 이 일반화된 프레임워크에 어떻게 통합되며, 필요한 정규성 및 완비성 조건을 만족하는가?
• RQ5 하우스도르프 반거리공간에서 기본 삼각 함수와 닫힘 연산자의 등幂성 사이의 관계는 무엇인가?

주요 결과

• 완비 정규 반거리공간에서의 모든 $\varphi$-수축은 고정점을 유일하게 가지며, 이는 Matkowski 및 Banach 고정점 정리를 일반화한다.
• 기본 삼각 함수 $\Phi_d$ 는 $d$ 에 대해 모든 삼각 함수 중에서 최적이며, 원점에서의 연속성은 정규 반거리공간을 특징짓는다.
• 정규 반거리공간에서는 수렴하는 수열이 유일한 극한을 가지며 코시 성질을 만족한다.
• 수열 $\varphi$-수축 $T_n$ 이 점별로 $T_0$ 로 수렴하고 반거리공간 $d$ 가 자기 연속일 경우, $T_n$ 의 고정점은 $T_0$ 의 고정점으로 수렴한다.
• 결과는 완비 $c$-완화 거리공간 및 $c$-비거리공간에도 적용되며, 이들 공간에서 기본 삼각 함수는 원점에서 연속이다.
• 자기 연속성 조건—메트릭 및 초메트릭 공간에서 성립함—은 극한 사상 $T_0$ 가 수열 $T_n$ 의 $\varphi$-수축 성질을 그대로 이어받도록 보장한다.