[논문 리뷰] Category-measure duality: convexity, mid-point convexity and Berz sublinearity

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|2016. 07. 19.

Advanced Topology and Set Theory참고 문헌 11인용 수 10

한 줄 요약

이 논문은 베르즈의 선형성 정리의 범주론적 유사체를 수립하며, 전체 선택 공리 대신 종속 선택 공리(DC)를 사용하여 바나흐 공간 위의 베르즈 하위선형 함수가 그래프로써 원점을 통과하는 두 반직선으로 이루어진 콘을 이룬다는 것을 증명한다. 이 결과는 베르즈의 고전적 측도론적 정리의 일반화이자, 중점 볼록 함수의 연속성 결과를 범주론적 방법으로 확장한 것이다.

ABSTRACT

Category-measure duality concerns applications of Baire-category methods that have measure-theoretic analogues. The set-theoretic axiom needed in connection with the Baire category theorem is the Axiom of Dependent Choice DC rather than the Axiom of Choice AC. Berz used the Hahn-Banach Theorem over $\mathbb{Q}$ to prove that the graph of a measurable sublinear function that is $\mathbb{Q}_{+}$-homogeneous consists of two half-lines through the origin. We give a category form of the Berz theorem. Our proof is simpler than that of the classical measure-theoretic Berz theorem, our result contains Berz's theorem rather than simply being an analogue of it, and we use only DC rather than AC. Furthermore, the category form easily generalizes: the graph of a Baire sublinear function defined on a Banach space is a cone. The results are seen to be of automatic-continuity type. We use Christensen Haar null sets to extend the category approach beyond the locally compact setting where Haar measure exists. We extend Berz's result from Euclidean to Banach spaces, and beyond. Passing from sublinearity to convexity, we extend the Bernstein-Doetsch theorem and related continuity results, allowing our conditions to be `local' -- holding off some exceptional set.

연구 동기 및 목표

• 베르즈의 고전적 하위선형 함수 정리에 대해 측도론적 가정 대신 베르즈 범주 조건을 사용하여 범주론적 유사체를 수립하는 것.
• 바나흐 공간에서 베르즈 가측인 하위선형 함수의 그래프가 콘을 이루며, 이는 실수에서의 두 반직선의 구조를 무한차원 공간으로 일반화하는 것.
• 특히 크리스텐센 하어 노름 집합을 통해 국소적으로 컴act하지 않은 환경에서 중점 볼록 함수의 자동 연속성 결과를 범주론적 방법으로 확장하는 것.
• 범주적 접근(Baire)이 측도론적 접근(레베그 가측성)을 함의함을 보여, 함수방정식에서 범주와 측도 사이의 강도 계층을 확립하는 것.
• 위상적 및 집합론적 도구(예: 스텐하우스-베일 성질, 조밀도 위상)를 사용하여 더 약한 국소 조건 하에서의 하위가환 및 볼록 함수 결과를 통합하고 일반화하는 것.

제안 방법

• 전체 선택 공리(AC) 대신 종속 선택 공리(DC)를 사용하여 결과가 기하학적으로 더 유의미하고 함수해석학적 맥락에서 적용 가능하도록 보장한다.
• 바나흐 공간 위의 하위선형 함수에 대해 베르즈 범주 방법을 적용하여, 이러한 함수가 원점을 통과하는 각 반직선에서 선형이어야 한다는 것을 증명한다.
• 스텐하우스-베일 성질과 조밀도 위상을 사용하여 하위가환 및 중점 볼록 함수의 국소적 행동과 연속성을 분석한다.
• 크리스텐센 하어 노름 집합을 도입하여 국소적으로 컴팩트하지 않은 공간을 넘어선 범주론적 방법을 확장하고, 일반 바나흐 공간에서의 분석을 가능하게 한다.
• 블룸버그의 이분법 정리를 사용하여 비가산 바나흐 공간에서의 연속성 문제를 가산 부분공간으로 환원하며, 가산 부분공간에서의 연속성이 전반적인 연속성을 이끌어낸다는 사실을 활용한다.
• 지역화된 범주 기반 형태의 버르스-도에츠 정리를 적용하여, Baire 또는 보편적으로 가측 조건 하에서 중점 볼록 함수의 연속성을 증명한다.

실험 결과

연구 질문

• RQ1 베르즈의 하위선형 함수 정리를 측도론적 조건 대신 베르즈 범주 조건으로 재구성할 수 있는가?
• RQ2 베르즈 범주 접근법은 고전적인 측도론적 버전의 베르즈 정리보다 더 강력하거나 일반적인 결과를 도출하는가?
• RQ3 중점 볼록 함수의 자동 연속성 정리가 국소적으로 컴팩트하지 않은 공간으로 범주론적 도구를 통해 얼마나 넓게 확장될 수 있는가?
• RQ4 크리스텐센 하어 노름 집합의 사용이 하어 측도가 존재하지 않는 일반 바나흐 공간에서 범주 방법의 확장을 어떻게 가능하게 하는가?
• RQ5 범주적 접근과 측도론적 접근 사이의 논리적 관계는 무엇이며, 기초적 가정 측면에서 어느 쪽이 더 강력한가?

주요 결과

• 베르즈의 정리의 베르즈 형태(정리 1B)는 실수에서의 하위선형 함수 중 베르즈 가측인 함수는 각각 R₊와 R₋에서 선형이어야 하며, 즉 x ≥ 0일 때 S(x) = c⁺x이고 x ≤ 0일 때 S(x) = c⁻x임을 나타낸다.
• 범주론적 결과(정리 1B)는 고전적인 측도론적 베르즈 정리(정리 1M)를 함의하며, 이는 베르즈 조건이 논리적으로 더 강력하고 함의의 측면에서 더 일반적임을 보여준다.
• 바나흐 공간에서 하위선형 함수의 그래프는 콘을 이룬다. 이는 실수에서의 두 반직선의 구조를 무한차원 공간으로 일반화한 것이다.
• 논문은 바나흐 공간에서 베르즈 가측인 중점 볼록 함수가 연속임을 증명하며, 버르스-도에츠 정리를 범주론적 맥락으로 확장한다.
• 크리스텐센 하어 노름 집합을 사용하여 저자들은 범주적 접근을 국소적으로 컴팩트하지 않은 공간으로 확장하였으며, 하어 측도에 의존하지 않는 일반 바나흐 공간에서도 결과를 도출할 수 있게 하였다.
• 범주 공리(예: 모든 프로젝티브 집합에 대해 BP)의 일致성은 ZFC에 불가능한 기수를 추가한 체계와 등가일致임을 보여, 기초적 안정성을 강조한다.