최대적 측도와 그 분해: 정규부와 잔여부의 존재와 특성

본 논문은 최대적(maxitive) 측도의 구조와 분해에 관한 새로운 이론적 틀을 제시한다. 서론에서는 최대적 측도가 전통적인 가산적 측도(충분히 가산적)와 달리 ‘supremum 연산’으로 정의되며, Maslov의 idempotent 분석, 퍼지 이론, 대수적 위상학 등 다양한 분야에서 등장했음을 언급한다. 저자들은 기존 연구가 종종 E가 전체 위상공간이거나 값공간 L이 완전 격자라는 강한 가정을 필요로 했던 점을 지적하고, 이를 완화하기 위한 두 가지 주요 목표를 설정한다. 첫 번째 목표는 최대적 측도의 표현정리이다. 이를 위해 ‘이상(ideal)’이라는 개념을 도입한다. L‑값을 갖는 최대적 측도 ν는 ‘이상들의 비감소 패밀리 {Iₜ}ₜ∈L’ 로 표현될 수 있다. 구체적으로 ν(G)=⋁{t∈L | G∈Iₜ} 로 정의하고, Iₜ는 G⊂E에 대해 ν(G)≤t 를 만족하는 집합들의 모임이다. Proposition 2.1은 Iₜ가 오른쪽 연속(right‑continuous)일 경우 ν가 최대적임을 보이며, L이 연속(poset)일 때 오른쪽 연속성을 자동으로 얻는 Proposition 2.3을 증명한다. 이 결과는 ν를 전체 멱집합 2ᴱ 로 자연스럽게 확장하는 Corollary 2.4을 도출한다. 여기서 ν⁺(A)=⋁{ν(G) | G∈E, G⊃A} 로 정의된 확장은 ‘최대적 측도의 최대 연장’이며, 기존의 확장 정리(Heckmann‑Huth, Akian)를 일반화한다. 두 번째 목표는 최대적 측도의 ‘밀도’ 존재 조건을 명확히 하는 것이다. 저자들은 E가 ‘paving’(유한 합집합에 대해 닫힌 집합들의 모임)이며, 각 점 x에 대해 {x}가 E에 포함되지 않을 수도 있다는 일반성을 유지한다. L이 연속적인 부분격자(domain)일 때, ν가 ‘완전(maximal)’하거나 ‘내부 연속(inner‑continuous)’이면, ν는 콤팩트 집합 𝒦에 대해 ν(G)=⋁_{K⊂G, K∈𝒦} ν⁺(K) 를 만족한다. 이때 정의되는 카디날 밀도 c⁺(x)=ν⁺({x}) 가 존재하고, ν(G)=⋁_{x∈G}c⁺(x) 로 완전하게 재구성된다. Theorem 3.1은 (1) ν가 완전, (2) ν가 내부 연속, (3) ν가 밀도를 갖는 것 사이의 동치성을 증명하고, c⁺가 상반연속(upper‑semicontinuous)임을 보인다. 이는 기존 연구가 필요로 했던 ‘E가 전체 위상공간’이나 ‘L이 완전 격자’라는 가정을 없애고, 보다 일반적인 상황에서도 밀도 존재를 보장한다. 그 후, 정규부와 잔여부의 정의 및 성질을 제시한다. Definition 4.1에 따라, 정규부 ν⁺(G)=⋁_{K∈𝒦, K⊂G} ν⁺(K) 로 정의하고, 이는 완전 최대적 측도이며 밀도 c⁺를 가진다. 정규부는 ν보다 작고, 콤팩트 집합에 대해서는 ν와 일치한다. Theorem 4.2는 ‘locally continuous frame’이라는 보다 일반적인 값공간 구조를 가정하에, 잔여부 Kν를 다음과 같이 구성한다: Kν(G)=⋀{t∈L | G∈Iₜ}, Iₜ={H∈E | ν(H)≤t ∧ ν⁺(H)≤t}. 이 정의는 Kν가 최대적이며, ν=ν⁺⊕Kν 라는 분해를 만족함을 보인다. 또한 Kν는 모든 콤팩트 집합에 대해 0이며, K(Kν)=Kν 라는 고정점 성질을 가진다. 정규부의 잔여부는 0이므로, 분해는 ‘정규부 + 순수 잔여부’ 형태로 유일하게 이루어진다. 논문은 마지막으로 이론적·응용적 의미를 논한다. 정규부는 밀도를 통해 Shilkret 적분 등 idempotent 적분 이론에 바로 적용될 수 있으며, 잔여부는 ‘극소 집합’ 혹은 ‘비정규적 잔류’ 현상을 포착한다. 특히 Radon‑Nikodym‑type 정리에서 ν가 ν⁺에 대해 절대연속이면, 잔여부가 사라져 ν가 완전히 밀도로 표현될 수 있음을 시사한다. 또한 값공간을 연속적인 프레임으로 일반화함으로써, 비용‑효용, 위험‑측정, 퍼지 논리 등에서 복합적인 순서구조를 갖는 측정값을 다룰 수 있는 기반을 제공한다. 요약하면, 저자들은 (1) 이상 패밀리를 통한 최대적 측도의 일반적 표현, (2) 연속적인 부분격자 위에서의 밀도 존재 조건, (3) 정규부와 잔여부의 명확한 정의와 유일한 분해 정리를 제시함으로써, 최대적 측도 이론을 보다 포괄적이고 구조적으로 이해할 수 있는 새로운 틀을 제공한다.