워도프스키 암시적 수축과 메트리시 공간

초록

본 논문은 워도프스키가 제시한 암시적 수축 조건들을 재검토하여, 대부분이 기존의 마트코프스키형 수축과 동등함을 보이고, 이를 통해 기존 고정점 이론의 적용 범위를 넓힌다.

상세 분석

워도프스키(2012)가 도입한 암시적 수축 개념은 함수 ϕ:ℝ⁺→ℝ⁺와 비교 함수 ψ를 이용해 d(Tx,Ty)≤ψ(d(x,y))·ϕ(d(x,y)) 형태로 정의된다. 이때 ψ는 비감소이며 ψ(t)<t인 t>0에 대해 엄격히 작아야 하고, ϕ는 연속적이고 ϕ(t)→0(t→0⁺)인 특성을 가진다. 논문은 이러한 정의를 기존의 마트코프스키 수축, 즉 d(Tx,Ty)≤g(d(x,y)) 형태의 조건과 비교한다. 여기서 g는 비감소 함수이며 g(t)<t을 만족한다. 저자는 먼저 ψ·ϕ 복합함수를 h(t)=ψ(t)·ϕ(t)라 두고, h가 마트코프스키 함수의 정의를 만족함을 증명한다. 핵심은 ψ가 t에 대해 엄격히 감소하지 않더라도 ϕ가 충분히 작아지면 h(t)<t이 보장된다는 점이다. 이를 위해 ϕ의 수렴 속도와 ψ의 상한을 정량화하고, 임계값 ε>0를 설정해 t<ε이면 h(t)≤(1−δ)t 형태로 강제한다. 또한, 전체 구간