[논문 리뷰] Fixed Points for E-Asymptotic Contractions and Boyd-Wong Type E-Contractions in Uniform Spaces

Aris Aghanians, Kamal Fallahi외 1명|arXiv (Cornell University)|2013. 05. 16.

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

한 줄 요약

이 논문은 E-거리가 부여된 분리된 균일공간에서 E-수렴 수축과 Boyd-Wong 유형의 E-수축에 대한 새로운 고정점 정리들을 수립한다. E-거리 개념을 사용하여 Kirk의 고정점 결과와 Boyd-Wong의 고정점 결과를 융합한 균일공간 설정으로 일반화함으로써, Φ 또는 Ψ에 속하는 함수를 통한 수축 제어 조건, p-연속성, p-완비성 하에서 고정점의 존재성과 유일성을 증명하며, 고전적인 거리공간 결과를 더 넓은 위상적 구조로 확장한다.

ABSTRACT

In this paper we discuss on the fixed points of asymptotic contractions and Boyd-Wong type contractions in uniform spaces equipped with an E-distance. A new version of Kirk's fixed point theorem is given for asymptotic contractions and Boyd-Wong type contractions is investigated in uniform spaces.

연구 동기 및 목표

• 완비 거리공간에서의 균일공간으로의 E-수렴 수축에 대한 Kirk의 고정점 정리의 일반화를 목적으로 한다.
• 함수 ψ ∈ Ψ에 의해 제어되는 새로운 유형의 수축을 도입함으로써 Boyd-Wong의 고정점 정리를 균일공간으로 확장한다.
• p-완비성의 균일공간에서 E-수렴 수축과 Boyd-Wong 유형의 E-수축이 고유한 고정점을 가지는 조건을 확립한다.
• p-연속성과 p-완비성이 고정점 수렴에 미치는 역할을 조사한다.
• 고전적 연속성 또는 엄격한 수축 조건이 성립하지 않을 경우에도 E-거리 프레임워크가 고정점 결과를 가능하게 함을 보여준다.

제안 방법

• 함수의 수열 {φₙ}이 φ ∈ Φ로 균일수렴하는 조건을 이용해 E-수렴 수축을 정의한다. 모든 x,y ∈ X 및 n ≥ 1에 대해 p(Tⁿx, Tⁿy) ≤ φₙ(p(x,y))를 만족한다.
• ψ ∈ Ψ를 사용하여 Boyd-Wong 유형의 E-수축을 도입한다. 모든 x,y ∈ X에 대해 p(Tx, Ty) ≤ ψ(p(x,y))를 만족하며, ψ는 오른쪽에서 상계연속이며, 모든 t > 0에 대해 ψ(t) < t이다.
• E-거리 p를 통해 정의된 p수렴과 p-Cauchy 수열을 이용해 Tⁿx의 수렴 행동을 분석한다.
• p-완비성과 p-연속성 조건 하에서 수열 {Tⁿx}가 p-Cauchy이자 p수렴함을 증명한다.
• 고유성 보장을 위해 Lemma 1(고유한 p-극한)을 적용하여 p(x,y) = 0이면 x = y임을 보여 고정점의 유일성을 확보한다.
• ψ와 φₙ의 성질에 기반한 모순 증명을 통해 p(Tⁿx, Tⁿy) → 0임을 보이고, {Tⁿx}가 p-Cauchy임을 도출함으로써 고정점으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 Kirk의 수렴 수축에 대한 고정점 정리는 완비 거리공간에서 E-거리가 부여된 분리된 균일공간으로 확장될 수 있는가?
• RQ2 E-거리가 부여된 균일공간에서 Boyd-Wong 유형의 E-수축이 고유한 고정점을 가지는 조건은 무엇인가?
• RQ3 E-거리 프레임워크는 고전적 수축 조건이 성립하지 않을 수 있는 균일공간에서도 고정점 결과를 가능하게 하는가?
• RQ4 p-연속성과 p-완비성이 E-거리 프레임워크에서 고정점으로의 수렴에 기여하는 역할은 무엇인가?
• RQ5 개별 사상이 연속적이거나 엄격한 수축 조건을 만족하지 못하더라도 균일공간에서 고정점 정리를 수립할 수 있는가?

주요 결과

• 논문은 p-완비성과 E-거리가 부여된 분리된 균일공간에서의 모든 E-수렴 수축이 고유한 고정점을 가짐을 증명한다.
• Boyd-Wong 유형의 E-수축의 경우, T가 p(Tx, Ty) ≤ ψ(p(x,y))를 만족하고 ψ ∈ Ψ이면, T는 고유한 고정점 u ∈ X를 가지며, 모든 x ∈ X에 대해 Tⁿx가 p-위상에서 u로 수렴한다.
• p-완비성과 T의 p-연속성 조건 하에서 수열 {Tⁿx}는 p-Cauchy이자 p-수렴함을 보였다.
• 증명은 모순에 기반한다: p(Tⁿx, Tⁿy)의 극한이 α > 0이면, α ≤ ψ(α)가 되며, 이는 t > 0에 대해 ψ(t) < t임과 모순된다.
• 고정점의 유일성은 p(u,v) ≤ ψ(p(u,v))로부터 p(u,v) = 0을 유도하며, Lemma 1에 의해 u = v임을 보장한다.
• 예시로, ψ(t) = t/4를 사용하는 비연속 사상이 표준 Boyd-Wong 조건을 위반하나 E-수축 조건을 만족함을 보여, 이 프레임워크의 일반성과 유연성을 입증한다.