[논문 리뷰] Generalized n-metric spaces and fixed point theorems

Kamran Alam Khan|arXiv (Cornell University)|2018. 09. 17.

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

한 줄 요약

이 논문은 $n \geq 3$개의 점으로 일반화된 $n$-거리 공간인 $G_n$를 도입하며, 이는 $K$-거리 공간의 대칭적 확장으로서 $G$-거리의 일반화이다. $0 \leq k < 1/2$ 조건을 만족하는 $k$-수축 조건을 갖는 사상에 대해 고정점 정리를 증명하며, 완비성과 일반화된 연속성 조건 하에 고정점의 존재성과 유일성을 보장한다.

ABSTRACT

Gähler ([3],[4]) introduced the concept of 2-metric as a possible generalization of usual notion of a metric space. In many cases the results obtained in the usual metric spaces and 2-metric spaces are found to be unrelated (see [5]). Mustafa and Sims [8] took a different approach and introduced the notion of $G$-metric. The author [6] generalized the notion of G-metric to more than three variables and introduced the concept of $K$-metric as a function $K\colon X^n o \mathbb{R}^+$, $(n\ge 3)$. In this paper, We improve the definition of $K$-metric by making symmetry condition more general. This improved metric denoted by $G_n$ is called the Generalized $n$-metric. We develop the theory for generalized $n$-metric spaces and obtain some fixed point theorems.

연구 동기 및 목표

• 기존 프레임워크의 한계를 극복하기 위해 $G$-거리 및 $K$-거리 공간의 개념을 $n \geq 3$개의 점으로 일반화하여 더 대칭적이고 일반화된 $n$-거리인 $G_n$를 도입함으로써 개념을 확장한다.
• 고정점의 수렴, 코시 수열, 연속성과 같은 성질을 고려할 수 있도록 $G_n$-공간에 대해 위상적 및 거리적 구조를 개발한다.
• $0 \leq k < 1/2$ 조건을 만족하는 일반화된 수축 조건 하에서 완비 $G_n$-공간 내 자기사상에 대해 고정점 정리를 수립하여 고정점의 존재성과 유일성을 보장한다.
• 고정점 정리의 성립을 지원하기 위해 $G_n$-공간에 특화된 새로운 연속성 개념인 일반화된 $r$-연속성을 정의하고 분석한다.

제안 방법

• $G_n: X^n \to \mathbb{R}^+$가 다섯 가지 공리(G1)-(G5)를 만족하도록 정의한다: (G1) 모든 점이 동일할 때에만 0이 되며; (G2) $n-1$개의 점이 동일하고 한 점이 다를 때 양수이며; (G3) 혼합 구성에 대해 하한을 제공하며; (G4) 완전한 순열 대칭성을 가지며; (G5) 일반화된 삼각 부등식을 만족한다.
• $\mathbb{R}$ 및 거리 공간 위에서 $G_n$-거리의 예를 구성하며, 최대 거리 $\rho(x_1,\dots,x_n) = \max_{r \neq s} |x_r - x_s|$ 및 합 기반 또는 최대 기반의 $K$-거리 구성 방식을 포함한다.
• $G_n$-공간이 코시 수열과 $G_n$-수렴을 지원함을 증명하며, 일반화된 삼각 부등식(G5)을 사용하여 항 간의 거리를 유 bounds한다.
• 수축 조건을 설정한다: $G_r(fx, fy, \dots, fy) \leq k \cdot \text{max}\{ \text{항들 중 } x, y, fx, fy \}$이며, $0 \leq k < 1/2$ 조건을 만족한다. 이는 수열의 성장률을 통제한다.
• G5와 수축 조건에서 유도된 재귀적 부등식을 사용하여 $G_r(y_n, y_{n+1}, \dots, y_{n+1}) \leq q^n G_r(y_0, y_1, \dots, y_1)$를 도출하며, 여기서 $q = k/(1-k) < 1$이므로 코시 수렴을 증명한다.
• 완비성과 모순을 이용하여 고정점 존재성을 증명한다. $fu \neq u$를 가정하면 $G_r(u, fu, \dots, fu) \leq k G_r(u, fu, \dots, fu)$가 되며, $k < 1/2$ 조건에서는 이는 불가능하다. 고정점의 유일성은 대칭적 bound를 통해 유도된다.

실험 결과

연구 질문

• RQ1 어떻게 $G$-거리 및 $K$-거리 프레임워크를 $n \geq 3$개의 점으로 일반화하여 더 대칭적이고 강력한 거리 구조를 확보할 수 있는가?
• RQ2 $G_n$-공간에서 반복적으로 생성된 수열이 코시 수열이 되고 고정점으로 수렴하기 위한 조건은 무엇인가?
• RQ3 $G_n$-공간에서 상수 $k < 1/2$ 조건을 만족하는 수축 사상 원리가 수립될 수 있는가? 이 경우 일반화된 대칭성(G4)은 어떤 역할을 하는가?
• RQ4 일반화된 $r$-연속성은 표준 연속성과 어떻게 다를까? 왜 이 개념이 $G_n$-공간의 고정점 정리에 필수적인가?
• RQ5 $G_r(y_n, y_{n+1}, \dots, y_{n+1}) \leq \frac{k}{1-k} G_r(y_{n-1}, y_n, \dots, y_n)$ 부등식은 반복 수열의 수렴에 어떤 영향을 미치는가?

주요 결과

• $G_n$-거리 공간의 구조는 잘 정의되어 있으며, 완전한 순열 대칭성(G4)을 만족하여 $K$-거리보다 더 강력하다. $K$-거리의 경우 순환 이동만 보존한다.
• $y_n = f^n y_0$로 정의된 수열 $\langle y_n \rangle$은 완비 $G_n$-공간 내에서 $G_r$-코시 수열이다. 이는 $q = k/(1-k) < 1$ 조건 하에 $G_r(y_n, y_{n+1}, \dots, y_{n+1}) \leq q^n G_r(y_0, y_1, \dots, y_1)$로 유도된다.
• $0 \leq k < 1/2$ 조건을 만족하는 모든 사상 $f$에 대해 고정점 $u$가 존재하며, 고정점이 존재하지 않는다고 가정하면 $G_r(u, fu, \dots, fu) \leq k G_r(u, fu, \dots, fu)$가 성립하여 $k < 1/2$ 조건과 모순된다.
• 유일성은 $G_r(u, v, \dots, v) \leq k^2 G_r(u, v, \dots, v)$를 증명함으로써 보이며, $k^2 < 1$ 이므로 $u = v$임을 유추할 수 있다.
• $f$는 고정점 $u$에서 일반화된 $r$-연속성을 갖는다. 즉, $y_n \to u$이면 $G_r(fy_n, u, \dots, u) \to 0$이 되며, 이는 $G_r(fy_n, u, \dots, u) \leq \frac{k}{1 - (r-1)k} G_r(y_n, u, \dots, u)$의 bound를 통해 증명된다.
• 수축 조건은 반복 항 간의 거리가 기하급수적으로 감소함을 보장하며, 감쇠율은 $q = k/(1-k)$로 제어되며 이는 고정점으로의 수렴을 보장한다.