정렬된 거리공간에서 Ran Reurings 정리

초록

본 논문은 Ran‑Reurings 고정점 정리가 1968년 Maia가 제시한 보다 일반적인 결과의 특수 경우임을 보이고, 수렴-거리 구조에서 적용 가능한 함수형 버전을 제시한다.

상세 분석

Ran‑Reurings 정리는 부분 순서와 거리 구조가 동시에 주어지는 공간에서 단조성(monotonicity)과 계약성(contractivity)을 만족하는 자기함수에 대해 고정점 존재와 유일성을 보장한다는 내용이다. 기존 문헌에서는 이 정리를 독립적인 정리로 다루었지만, 저자는 1968년 Maia가 발표한 “정렬된 거리공간에서의 고정점 정리”가 실제로는 동일한 가정 체계와 증명 구조를 내포하고 있음을 지적한다. Maia의 정리는 “수렴-거리 구조(convergence‑metric space)”라는 일반화된 프레임워크를 도입했으며, 여기서는 거리 d와 수렴 연산 𝔠가 별도로 정의될 수 있다. 즉, 거리 자체가 수렴을 완전히 결정하지 않아도 되는 상황을 허용한다. 논문은 먼저 Maia의 원본 정리를 정확히 재구성하고, 그 가정이 Ran‑Reurings 정리의 가정과 일치함을 단계별로 검증한다. 핵심은 (i) 부분 순서 ≤가 완전한 선형 순서를 요구하지 않으며, (ii) 계약 조건이 일반적인 φ‑함수(φ: