넷 수렴 구조에서의 추상 적분 이론과 통합적 비교

초록

본 논문은 임의의 측도와 함수, 그리고 연속 이중선형곱을 갖는 추상 벡터공간 위에서, 순서와 위상에 의존하지 않는 ‘넷 수렴 구조’를 이용해 Riemann·Lebesgue 적분을 일반화한다. 새로운 ‘넷 Riemann 적분’, ‘S‑적분’, ‘Saks 적분’을 정의하고, 일관된 가법성·단조성·지배수렴정리·Henstock 보조정리를 증명한다. 또한 Riesz 공간·위상벡터공간에서 기존 적분 체계와의 동등성 및 포함 관계를 체계적으로 정리하고, 향후 연구 과제를 제시한다.

상세 분석

이 논문은 기존 적분 이론이 위상적 연속성이나 순서 구조에 크게 의존해 왔다는 점을 비판하고, 보다 근본적인 ‘넷 수렴 구조(net convergence structure)’를 도입한다. 넷은 일반적인 지시집합을 인덱스로 하는 함수열이며, Dolecki‑Mynard가 제시한 추상 수렴 연산을 만족한다. 저자는 이 구조를 벡터공간에 부여함으로써, “극한”이라는 연산이 위상이나 순서와 무관하게 정의될 수 있음을 보인다.

핵심은 연속 이중선형곱 ⟨·,·⟩: X×Y→Z와 임의의 측도 μ를 이용해, ‘넷 Riemann 적분’을 정의한다. 여기서 적분은 ‘S‑partition’이라 불리는 가산 분할을 통해 무한 Riemann 합을 구성하고, 그 합의 넷극한을 적분값으로 채택한다. 이 정의는 전통적인 Riemann·Lebesgue 적분을 포함하도록 설계되었으며, 특히 Riesz 공간(벡터 격자) 위에서는 순서 수렴(p₀q‑수렴)만으로도 충분함을 증명한다.

논문은 먼저 가법성, 단조성, 부분집합 적분성 등 기본적인 적분 성질을 넷 수렴만을 이용해 일반화한다(정리 2.3, 2.4). 이어서 ‘무조건적·조건부 무한 급수’ 개념을 추상화한 ‘summability on Riesz spaces’를 도입하고, 이를 기반으로 S‑적분을 정의한다. S‑적분은 무한 Riemann 합의 넷극한을 직접 다루므로, 기존의 유한 분할 기반 적분보다 더 포괄적이다.

수렴 정리 부분에서는 순서 기반과 위상 기반을 각각 별도로 전개한다. 순서 기반에서는 ‘null set’ 개념을 도입해 일반화된 Montero‑Fernandez 정리(정리 4.1)를 증명하고, 단조수렴·지배수렴 정리(정리 4.5, 4.6)를 순서 수렴만으로 확보한다. 위상 기반에서는 Egorov‑형 quasi‑uniform 수렴 정리와, 넷 Riemann 적분에 대한 일반 수렴 정리(정리 4.14)를 제시한다. 특히, Henstock 보조정리와 ‘conjugated lattice seminorms’를 이용한 일반 수렴 정리는 기존 문헌에 없던 비위상·비순서적 접근을 제공한다.

마지막으로, 저자는 다양한 기존 적분 체계—Bartle‑Dunford‑Schwartz, Haluska‑Rodriguez‑Salazar, Massé의 submeasure 적분 등—와 새로 정의한 적분들을 비교한다. 이를 통해 대부분의 기존 적분이 S‑적분 혹은 넷 Riemann 적분의 특수 경우임을 보이며, 특히 Lebesgue‑Riemann 동등성 문제와 Sion‑Truncation 적분과의 관계를 해결한다. 논문은 또한 Saks 적분을 넷 수렴 구조 안에서 정의하고, 이를 통해 비가법적 적분(예: Boccuto‑Riečan)까지 포괄하는 분류 체계를 제시한다. 전반적으로, 넷 수렴 구조라는 추상적 틀을 통해 적분 이론을 통합하고, 기존 결과들을 보다 간결하고 일반적인 원리에서 도출할 수 있음을 설득력 있게 증명한다.