대칭 수게노 적분

초록

본 논문은 순서형 구조 위에서 정의되는 수게노 적분을 음수까지 확장한 ‘대칭 수게노 적분’을 제안한다. 선형 순서집합에 음수를 도입하고, 실수 체와 유사한 대수 구조와 뫼비우스 변환을 구축한 뒤, 이를 이용해 대칭 형태의 수게노 적분을 정의하고 기존의 대칭 초콜레 적분(시포스 적분)과의 유사성을 분석한다.

상세 분석

수게노 적분은 전통적으로 비음수 함수와 용량(모노톤 측도) 사이의 비선형 결합으로 정의되며, 순서형 데이터 분석에서 중요한 도구로 활용된다. 그러나 음수값을 허용하지 못한다는 제한 때문에, 실수값을 다루는 초콜레 적분의 대칭 확장(시포스 적분)과 달리 적용 범위가 좁았다. 저자들은 이 문제를 해결하기 위해 먼저 선형 순서집합 (L) 위에 ‘음수’ 개념을 도입한다. 구체적으로, 각 원소 (a\in L)에 대해 (-a)를 새로운 원소로 정의하고, (-(-a)=a)와 같은 반대칭성을 보장한다. 이때 순서는 그대로 유지되며, (-a\le -b)는 (b\le a)와 동치가 된다.

다음 단계에서는 이러한 확장된 집합에 덧셈과 곱셈을 정의한다. 덧셈은 최대·최소 연산을 이용한 ‘오더드 합’ 형태로, (a\oplus b=\max{a,b}) 혹은 (\min{a,b})와 유사하게 설계되며, 음수 원소와의 연산에서도 폐쇄성을 유지한다. 곱셈은 ‘오더드 곱’으로, 두 원소의 순서 관계에 따라 적절히 선택된 원소를 반환한다. 이러한 연산은 결합법, 교환법, 분배법을 만족하도록 구성되어, 실수 체와 매우 흡사한 ‘준-환(ring‑like)’ 구조를 만든다. 특히, 영원소 (0)와 단위원소 (1)가 존재하고, 각 원소마다 역원(음수)과 보수(곱셈 역원)가 정의된다.

이 대수 구조 위에 뫼비우스 변환을 도입한다. 기존의 뫼비우스 변환은 집합함수와 용량 사이의 선형 관계를 표현하는데 사용되었지만, 순서형 환경에서는 선형성이 없으므로 새로운 정의가 필요했다. 저자들은 변환을 ‘오더드 뫼비우스 변환’이라 명명하고, 부분집합 포함 관계에 대한 최소·최대 연산을 이용해 역변환을 구성한다. 이 변환은 대칭 수게노 적분의 표현식 유도와, 용량의 분해 및 재구성에 핵심적인 역할을 한다.

마지막으로 정의된 대칭 수게노 적분은 기존 수게노 적분의 정의에 음수 부분을 대칭적으로 추가한 형태이다. 구체적으로, 함수 (f:L\to L)를 양의 부분 (f^{+})와 음의 부분 (f^{-})로 분해하고, 각각에 대해 전통적인 수게노 적분을 적용한 뒤, 두 결과를 대칭 연산((\oplus)와 (\ominus))을 통해 결합한다. 이렇게 하면 (f)가 순수히 양수이거나 음수일 때는 기존 적분과 일치하고, 혼합된 경우에도 직관적인 대칭성을 유지한다.

논문은 또한 대칭 수게노 적분이 대칭 초콜레 적분(시포스 적분)과 구조적으로 유사함을 보인다. 두 적분 모두 ‘음수와 양수의 대칭 처리’를 핵심 원리로 삼으며, 뫼비우스 변환을 통한 용량의 분해가 핵심적인 수학적 도구가 된다. 차이점은 연산 기반이 실수의 산술적 연산이 아닌 순서형 최대·최소 연산에 있다는 점이다. 따라서 대칭 수게노 적분은 순서형 데이터(예: 등급, 선호도, 심리측정)에서 음수 효과를 모델링할 수 있는 새로운 분석 도구로서 의미가 크다.