콘 메트릭 공간에서의 Ciric 고정점 정리 확장

논문은 먼저 콘(cone)과 콘 메트릭 공간의 기본 정의를 소개한다. 실수 집합을 대신해 Banach 공간 E의 원소를 거리값으로 사용하는 콘 메트릭 d는 (a) 비음성, (b) 대칭성, (c) 삼각 부등식을 만족한다. 콘 P가 정상(normal)하다는 가정은 부분 순서와 정규 상수 k≥1을 도입해 ‖x‖≤‖y‖가 x≤y일 때 보장한다. 이러한 설정 하에서 수열의 수렴과 코시성을 정의하고, Lemma 1‑3을 통해 ‖d(xₙ,x)‖→0과 d(xₙ,x)≪c(∀c≫0) 사이의 동치성을 확보한다. 주요 결과인 Theorem 1은 완비 콘 메트릭 공간 (X,d)와 정상 콘 P(k≥1)를 전제로, 매핑 T:X→X가 다음 연산자값 계약을 만족하면 고정점이 존재하고 유일함을 증명한다. 1. 계약식 (2.1): d(Tx,Ty) ≤ A₁(x,y)d(x,y) + A₂(x,y)d(x,Tx) + A₃(x,y)d(y,Ty) + A₄(x,y)d(x,Ty) + A₄(x,y)d(y,Tx) 여기서 Aᵢ:X×X→L(E) (선형 연산자)이며, 연산자들의 합이 P에 보존된다. 2. 상수 α와 β의 존재: (2.2) ∑_{i=1}^4 ‖Aᵢ(x,y)‖ + ‖A₄(x,y)‖ ≤ α < 1/k (2.3) ‖S(x,y)‖ ≤ β < 1, S(x,y) = (I−A₃−A₄)^{-1}(A₁+A₂+A₄) 3. 보존 조건 (2.4)‑(2.7) 은 각 연산자가 콘 P를 닫힌 집합으로 보내고, (I−A₃−A₄)^{-1}도 P에 대해 양보존임을 요구한다. 증명은 초기점 x₀를 잡고 반복열 xₙ₊₁=Txₙ을 만든다. 계약식 (2.1)와 삼각 부등식을 이용해 d(xₙ,xₙ₊₁) ≤ S(xₙ₋₁,xₙ)d(xₙ₋₁,xₙ) 를 얻는다. (2.3)으로부터 ‖S‖≤β<1이므로 ‖d(xₙ,xₙ₊₁)‖ ≤ βⁿ‖d(x₀,x₁)‖가 된다. 이는 (xₙ)이 코시열임을 의미하고, 완비성에 의해 한계점 u∈X가 존재한다. 한계점에 대해 (2.1)과 (2.2)‑(2.7)을 다시 적용하면 d(Tu,u)=0이므로 u는 고정점이다. 두 고정점 u,v에 대해 동일한 계약식을 적용하면 ‖d(u,v)‖ ≤ α‖d(u,v)‖ 가 되며, α<1/k≤1이므로 d(u,v)=0, 즉 u=v가 된다. 따라서 고정점은 유일하다. Corollary 1은 E=ℝ, P=