부분 순서 입실론 연쇄 가능 거리 공간에서의 결합 고정점 정리

초록

**
본 논문은 부분 순서가 정의된 ε‑연쇄 가능(metric) 공간을 도입하고, 이러한 공간 위에서 균일하게 국소 수축성을 만족하는 이중 함수에 대한 새로운 결합 고정점 정리를 제시한다. 기존의 순서적 고정점 이론을 일반화함으로써, 비선형 방정식 및 시스템의 해 존재성을 보다 넓은 환경에서 확보할 수 있음을 보인다.

**

상세 분석

**
논문은 먼저 “부분 순서 ε‑연쇄 가능 거리 공간(partially ordered ε‑chainable metric space)”이라는 새로운 구조적 개념을 정의한다. 여기서 ε‑연쇄 가능성은 임의의 두 점 사이에 거리 ≤ ε 이하인 점들의 유한 연쇄(chain)가 존재함을 의미한다. 이 조건은 완비성이나 전통적인 연속성 가정 없이도 거리 공간 내에서 충분히 촘촘한 연결성을 보장한다는 점에서 기존의 완비 순서 거리 공간(complete ordered metric space)보다 약한 가정이다.

다음으로 저자는 “균일하게 국소 수축성(uniformly locally contractive) 매핑”을 도입한다. 구체적으로, 매핑 F:X×X→X가 어떤 δ>0에 대해 d(F(x,y),F(u,v)) ≤ k·d((x,y),(u,v)) (0≤k<1) 를 만족하는데, 여기서 거리 d는 제품 공간에 대한 합성 거리이며, (x,y)와 (u,v) 사이의 거리 ≤ δ 일 때만 적용된다. 이 정의는 전역적인 수축 조건을 완화하면서도, ε‑연쇄 가능성에 의해 지역적인 수축이 전역적인 고정점 존재로 이어질 수 있음을 보장한다.

핵심 정리에서는 (X,≤,d) 가 부분 순서 ε‑연쇄 가능이며, F가 위의 균일 국소 수축성을 만족하고, 추가적으로 혼합 순서 보존성(mixed monotone property)을 갖는 경우, 즉 x₁≤x₂이면 F(x₁,y)≤F(x₂,y)이고 y₁≤y₂이면 F(x,y₁)≥F(x,y₂)임을 가정한다. 이러한 조건 하에, 적절한 초기점 (x₀,y₀) 가 존재하면, 순서와 거리 구조를 동시에 이용해 두 수열 {x_n},{y_n}을 재귀적으로 정의함으로써 (x_n,y_n)→(x*,y*) 로 수렴하고, (x*,y*) 가 F의 결합 고정점, 즉 x*=F(x*,y*), y*=F(y*,x*) 를 만족함을 증명한다.

증명 과정에서 저자는 ε‑연쇄 가능성을 활용해 두 점 사이에 거리 ≤ ε 인 중간 점들을 삽입함으로써, 국소 수축 구간을 연속적으로 연결한다. 이는 전통적인 Banach 고정점 정리에서 요구되는 전역적인 수축 반경을 대체한다. 또한, 순서 구조를 이용해 수열이 단조 증가·감소하도록 강제함으로써, 완비성 가정 없이도 수열이 Cauchy 수열이 됨을 보인다.

또한 논문은 기존 연구와의 비교를 통해, 기존의 “부분 순서 완비 거리 공간에서의 결합 고정점 정리”가 요구하는 완비성, 연속성, 혹은 전역 수축 조건을 모두 완화시켰음을 강조한다. 특히, ε‑연쇄 가능성은 완비성 대신에 “거리의 촘촘한 연결성”을 제공하므로, 비완비 공간에서도 동일한 결론을 얻을 수 있다.

마지막으로 저자는 몇 가지 응용 예시를 제시한다. 예를 들어, 비선형 시스템의 이중 변분 방정식, 혼합 모노톤 연산자를 포함하는 함수 방정식, 그리고 경제학에서의 균형 모델 등에 본 정리를 적용하여 해의 존재와 유일성을 확인한다. 이러한 예시는 제시된 이론이 순수 수학을 넘어 실제 모델링에 활용 가능함을 보여준다.

**