부분 거리 공간에서 자기거리 항을 포함한 ϕ‑수축 원리

초록

완비 부분 거리 공간에서 자기거리(term self‑distance)를 허용하는 ϕ‑수축 원리를 제시하고, 기존의 Banach‑수축 및 최근 부분 거리 공간에 대한 일반화 결과들을 포함·확장한다. 제시된 예는 이전 연구들의 조건을 만족하지 않음에도 불구하고 고정점 존재를 보장함을 보여준다.

상세 요약

본 논문은 부분 거리(partial metric) 공간이라는 일반화된 거리 개념 위에서 고정점 이론을 확장한다. 전통적인 메트릭 공간에서는 두 점 사이의 거리 d(x,x)=0이 항상 성립하지만, 부분 거리 공간에서는 자기거리 p(x,x)≥0가 허용된다. 이러한 특성은 컴퓨터 과학에서 프로그램 의미론이나 데이터 흐름 분석 등 비대칭적·비정형적 거리 개념을 모델링하는 데 유용하다. 저자는 기존의 Banach 수축 원리를 ϕ‑수축 형태로 일반화하면서, 수축 조건에 자기거리 항 p(x,x)와 p(y,y)를 명시적으로 포함시켰다. 구체적으로, 제시된 조건은
 p(Tx,Ty) ≤ ϕ(p(x,y)) – ψ(p(x,x),p(y,y))
와 같은 형태이며, 여기서 ϕ는