직사각형 TVS‑콘 메트릭 공간에서의 칸난 고정점 정리

초록

본 논문은 지역적으로 볼록한 위상벡터공간 위에 정의된 직사각형 TVS‑콘 메트릭 공간(R‑TVS‑CMS)을 도입하고, 정상성 가정 없이 칸난(Kannan) 유형의 수축 조건을 만족하는 사상에 대해 고정점 존재와 유일성을 증명한다. 두 가지 증명 방법을 제시하는데, 하나는 공간 자체의 구조를 이용한 직접 증명이고, 다른 하나는 비선형 스칼라화 함수 ξₑ를 이용해 일반적인 거리 공간으로 변환한 뒤 기존의 칸난 고정점 정리를 적용하는 방식이다.

상세 분석

논문은 먼저 기존의 콘 메트릭 공간 개념을 일반화하여, 실수가 아닌 지역적으로 볼록한 위상벡터공간(E, S) 위에 정의된 벡터값 거리 p를 도입한다. 이때 p는 비음이면서 대칭이고, 삼각 부등식 대신 네 점을 이용한 직사각형 부등식(p(x,z) ≤ p(x,y)+p(y,w)+p(w,z))을 만족한다. 이러한 구조를 R‑TVS‑CMS라 명명하고, 기존의 TVS‑CMS가 이 정의의 특수 경우임을 확인한다.

핵심은 정상성(normality) 가정 없이도 고정점 정리를 성립시킬 수 있다는 점이다. 정상성은 일반적으로 콘 P가 위상벡터공간의 토폴로지를 제어하는 데 쓰이지만, 저자는 비선형 스칼라화 함수 ξₑ(e∈int P)를 활용해 p를 실수값 거리 dₚ=ξₑ∘p 로 변환한다. ξₑ는 양의 동차성, 연속성, 삼각 부등식 형태의 서브가법성을 갖으며, 따라서 (X,dₚ)는 전통적인 직사각형 메트릭 공간(R‑MS)이 된다. 이 변환 과정에서 정상성은 전혀 필요하지 않으며, 콘 P가 닫혀 있고 내부가 비어 있지 않다는 최소 조건만으로 충분함을 보인다.

칸난 수축 조건은 d(Tx,Ty) ≤ β