[논문 리뷰] Riesz-Schwartz extensive quantities and vector-valued integration in closed categories

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|2013. 07. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 32인용 수 10

한 줄 요약

이 논문은 단순화된 공리적 프레임워크를 통해 범주론적 이론과 단순화된 카테고리 이론을 사용하여 기능 해석학을 다루며, Riesz-Schwartz 광범위한 양과 닫힌 카테고리 내에서 벡터 값 적분을 도입한다. 벡터 적분이 추상적 분포를 통해 Pettis 유형과 Bourbaki 유형의 공식화에서 일치함을 증명하며, 강도를 강화하기 위해 강화된 수직성으로 완비성을 정의하고, 추상 적분에 대해 Fubini 유형 정리를 증명한다. 이는 범주론적 이중성과 모나드 이론을 통해 기능 해석학의 핵심 개념을 통합한다.

ABSTRACT

We develop aspects of functional analysis in an abstract axiomatic setting, through monoidal and enriched category theory. We work in a given closed category, whose objects we call spaces, and we study R-module objects therein (or algebras of a commutative monad), which we call linear spaces. Building on ideas of Lawvere and Kock, we study functionals on the space of scalar-valued maps, including compactly-supported Radon measures and Schwartz distributions. We develop an abstract theory of vector-valued integration with respect to these scalar functionals and their relatives. We study three axiomatic approaches to vector integration, including an abstract Pettis-type integral, showing that all are encompassed by an axiomatization via monads and that all coincide in suitable contexts. We study the relation of this vector integration to relative notions of completeness in linear spaces. One such notion of completeness, defined via enriched orthogonality, determines a symmetric monoidal closed reflective subcategory consisting of exactly those separated linear spaces that support the vector integral. We prove Fubini-type theorems for the vector integral. Further, we develop aspects of several supporting topics in category theory, including enriched orthogonality and factorization systems, enriched associated idempotent monads and adjoint factorization, symmetric monoidal adjunctions and commutative monads, and enriched commutative algebraic theories.

연구 동기 및 목표

• 기능 해석학의 개념—예를 들어 라돈 측도, 분포, 벡터 적분—을 범주론을 사용하여 추상적 공리적 설정에서 일반화하기.
• 닫힌 카테고리 내에서 모나드 형식론을 통해 다양한 유형의 벡터 적분(예: 페티스 및 부르바키 유형)을 통합하기.
• 강화된 수직성을 통한 선형 공간의 완비성 정의를 통해 분포적으로 완비된 공간의 반사 부분카테고리 식별하기.
• 추상적 벡터 적분에 대해 Fubini 유형 정리를 확립하여 고전 결과를 범주론적 설정으로 일반화하기.
• 이중성과 모나드 이론적 구조를 강조함으로써 일반성과 자연스러움을 중시하는 기능 해석학의 기초 제공하기.

제안 방법

• 논문은 강화된 범주론을 사용하여 닫힌 카테고리 내에서 R-모듈 객체로서 선형 공간을 정의함으로써 벡터 공간을 일반화한다.
• 이중 이중화와 모나드 이론적 구성을 통해 자연스럽고 접근 가능한 분포의 개념을 도입함으로써 스바츠 분포와 라돈 측도를 일반화한다.
• 분포 모나드에 의해 유도되는 표준 사상들을 사용하여 벡터 값 적분을 형식화하며, 적분은 보편 성질에 의해 정의된다.
• 강화된 수직성을 통한 완비성은 공리화되며, 이는 분리되고 분포적으로 완비된 선형 공간의 반사 부분카테고리로 이어진다.
• 대칭 단순화된 카테고리 이론의 조정과 가환 모나드를 사용하여 적분과 이중성과의 호환성을 확보한다.
• Fubini 유형 정리는 모나드 대수, 조정, 강화된 인수 분해 체계 간의 상호작용 분석을 통해 증명된다.

실험 결과

연구 질문

• RQ1 어떻게 일반적인 범주론적 설정에서 벡터 값 적분을 공리화할 수 있으며, 페티스 및 부르바키 유형의 적분을 통합할 수 있는가?
• RQ2 선형 공간이 추상적 분포를 통해 잘 정의된 벡터 적분을 지원하기 위해 어떤 범주론적 조건이 필요한가?
• RQ3 강화된 수직성이 어떻게 추상 적분을 허용하는 공간을 특징짓는 완비성의 개념을 도출하는가?
• RQ4 어떤 의미에서 분포의 일반화(라돈 측도 및 스바츠 분포의 일반화)가 이중성과 모나드 구조에서 자연스럽게 유도되는가?
• RQ5 이 추상적 설정에서 Fubini 유형 정리는 어느 정도 성립하며, 강화된 범주론을 통해 어떻게 증명되는가?

주요 결과

• 기본 선형 공간이 분포적으로 완비되어 있을 경우, 추상적 벡터 적분은 다양한 공식화(Pettis, Bourbaki)에서 일치한다.
• 선형 공간이 벡터 적분을 지원하기는 조건이 선형 공간이 분리되어 있고 강화된 수직성으로 정의된 반사 부분카테고리에 속할 때이다.
• $\tfrac{\tilde{\text{D}}}{\text{D}}$-Pettis 선형 공간의 범주와 $\tfrac{\tilde{\text{D}}}{\text{D}}$-대수 중에서 기초 선형 공간이 분리된 것들의 범주가 서로 동치이다.
• 추상 벡터 적분에 대해 Fubini 유형 정리가 성립하며, 이는 모나드 구조의 자연성과 가환성에 의해 증명된다.
• 분포 모나드가 가환성과 등급성(멱등성)을 갖는 것으로 밝혀져 대칭 단순화된 카테고리 이론과의 호환성을 보장한다.
• 자연스러운 분포 모나드를 통한 선형 공간의 이중 이중화는 전사적이고 충실한 함자로 이어지며, 이는 기능적 완비성을 확립한다.