완전 가산가능성 아이디포텐트 확률 측도 함자

초록

본 논문은 콤팩트 공간과 연속 사상 사이의 범주에서 작용하는 아이디포텐트 확률 측도(functor I)가 완전 가산가능(perfect metrizable)함을 증명한다. 즉, 메트릭 공간 X에 대해 I(X)가 역시 메트릭 콤팩트 공간이 되며, 완전 사상 f:X→Y에 대해 유도 사상 I(f)은 닫히고, 전사이며, 각 섬유가 콤팩트인 완전 사상이 된다. 이를 위해 아이디포텐트 측도의 구조와 최대‑플러스(Kantorovich‑type) 거리의 정의, 그리고 함수공간 위에서의 연속성 및 보존 성질을 정밀히 분석한다.

상세 분석

아이디포텐트 확률 측도는 전통적인 확률 측도의 ‘덧셈’과 ‘곱셈’을 각각 최대연산(max)과 플러스연산(+)로 대체한 최대‑플러스 대수 구조 위에 정의된다. 이러한 측도는 각 콤팩트 하우스도르프 공간 X에 대해 I(X)라는 집합으로 구성되며, 이는 X의 모든 유한 지원 아이디포텐트 측도의 집합이다. 기존 연구에서는 I가 정상(functor)이며, 연속 사상에 대해 연속적인 유도 사상 I(f)를 제공한다는 것이 알려져 있었지만, 메트릭 구조와 완전성에 관한 체계적인 검증은 부족했다.

본 논문은 먼저 I(X)에 대한 자연스러운 위상, 즉 약한* 위상이 메트릭화 가능함을 보인다. 이를 위해 저자는 ‘맥스플러스 칸토리코프 거리’를 다음과 같이 정의한다. 임의의 μ,ν∈I(X)와 1‑리프시츠 연속 함수 φ∈C(X) 에 대해
d_I(μ,ν)=sup_{φ∈Lip_1(X)}|μ(φ)−ν(φ)|,
여기서 μ(φ)=sup_{x∈X}(φ(x)+w_μ(x))와 같이 μ를 가중된 Dirac 측도의 상한으로 표현한다. 이 거리 d_I는 I(X)의 약한* 위상을 생성하고, X가 메트릭이면 d_I도 완비이며, I(X)는 콤팩트 메트릭 공간이 된다.

다음 단계에서는 완전 사상 f:X→Y에 대해 I(f) 가 완전 사상임을 증명한다. 핵심 아이디어는 아이디포텐트 측도의 ‘표현 정리’를 이용해 μ∈I(X)를 유한 개의 Dirac 측도와 가중치의 최대값으로 전개하고, f가 완전이면 각 가중치가 보존되는 동시에 이미지 측도 ν=I(f)(μ) 역시 같은 형태로 표현될 수 있음을 보이는 것이다. 이를 통해 I(f)의 연속성, 폐쇄성, 전사성, 그리고 각 섬유 I(f)^{-1}(ν) 가 콤팩트함을 각각 증명한다.

또한 논문은 I가 ‘정규(functor)’의 여섯 가지 기본 성질(보존성, 연속성, 가중치 보존, 대수적 구조 보존 등)을 만족함을 재확인하고, 메트릭화 과정에서 발생할 수 있는 비선형성 문제를 ‘극한 전이법(lim sup)와 최대 연산의 교환법칙’을 활용해 해결한다. 특히, I가 ‘완전 가산가능(perfect metrizable)’함을 보이는 최종 정리는 기존의 확률 측도 functor P와의 유사성을 강조하면서도, 최대‑플러스 대수 특유의 비선형성에도 불구하고 동일한 위상·거리 구조를 구축할 수 있음을 보여준다.

결과적으로, 이 연구는 아이디포텐트 확률 측도라는 비전통적 측도 이론을 범주론적·위상수학적 관점에서 완전 가산가능한 functor 로 자리매김시켜, 향후 최대‑플러스 해석, 최적 제어, 그리고 비선형 동역학 분야에서의 응용 가능성을 크게 확장한다.