일부 순서 부분 거리 공간에서의 고정점 정리

초록

본 논문은 순서가 정의된 부분 거리(partial metric) 공간에서 새로운 고정점 정리를 제시하고, 기존의 순서 완비 거리 공간 결과를 일반화한다. 주요 가정은 부분 거리의 삼각 부등식과 부분 순서 관계이며, 단조성 및 연속성 조건을 완화한 형태로 고정점 존재와 유일성을 증명한다. 마지막에 제시된 예시는 이론의 적용 가능성을 보여준다.

상세 분석

본 연구는 기존 고정점 이론이 주로 완비 거리 공간(complete metric space)이나 순서 완비 거리 공간(ordered complete metric space)에서 전개된 점을 출발점으로, 부분 거리(partial metric)라는 보다 일반적인 구조로 확대한다. 부분 거리 p는 전통적인 거리 d와 달리 자기 자신과의 거리 p(x,x) 가 0이 아닐 수 있다는 특징을 갖는다. 이는 데이터베이스, 프로그램 의미론, 그리고 비대칭 네트워크 모델 등에서 자연스럽게 등장한다. 논문은 먼저 (X,p,≤) 라는 순서 부분 거리 공간을 정의하고, p가 순서와 어떻게 조화될 수 있는지를 탐구한다. 핵심 가정은 다음과 같다.

1. 순서 연속성(ordered continuity): 부분 거리 함수 p가 순서에 대해 단조 비감소이며, x_n ≤ y_n 이면 lim p(x_n,y_n)=p(lim x_n, lim y_n) 가 성립한다. 이는 전통적인 연속성보다 약한 조건으로, 순서가 존재할 때 수렴열의 행동을 제어한다.

2. 부분 거리 삼각 부등식: p(x,z) ≤ p(x,y)+p(y,z)−p(y,y) 가 모든 x,y,z∈X에 대해 성립한다. 이 식은 p(y,y) 를 보정항으로 포함함으로써 자기 거리의 비제로성을 보정한다.

3. 단조성(Monotonicity)와 비교 함수: 매핑 T:X→X 가 순서 보존(monotone)이며, 존재하는 비교 함수 φ: