[논문 리뷰] Additivity, subadditivity and linearity: automatic continuity and quantifier weakening

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|2014. 05. 15.

Advanced Topology and Set Theory참고 문헌 50인용 수 5

한 줄 요약

이 논문은 정규 변동성 및 함수방정식 이론에서 강한 정규성 가정에 대한 의존도를 줄이기 위해 양자화 조건을 약화시킨 프레임워크를 제시한다. 추가적 또는 하위加법 함수에 대해, 구조적 성질(예: 국소 스텐하우스-바일 또는 이동-콤���act성)을 갖는 얇은 집합에서의 연속성은 전역적 연속성과 선형성으로 이어진다. 주요 기여는 정규 변동성 및 함수방정식 이론에서 강력한 정규성 조건을 줄이기 위한 양자화 조건의 약화 프레임워크를 제공한 것이다.

ABSTRACT

We study the interplay between additivity (as in the Cauchy functional equation), subadditivity and linearity. We obtain automatic continuity results in which additive or subadditive functions, under minimal regularity conditions, are continuous and so linear. We apply our results in the context of quantifier weakening in the theory of regular variation completing our programme of reducing the number of hard proofs there to zero.

연구 동기 및 목표

• 기능방정식에서의 양자화 조건을 약화시켜 정규 변동성 이론에서의 어려운 증명 수를 줄이기 위해.
• 정규성 조건이 얇은 집합에서만 가정된 경우에도 추가적 또는 하위加법 함수가 연속적이고 따라서 선형이 되는 조건을 설정하기 위해.
• 전체 연속성 대신 국소 스텐하우스-바일 또는 이동-콤팩트성과 같은 더 약한 구조적 조건을 도입하여 자동 연속성 결과를 일반화하기 위해.
• 위상수학적 및 측도론적 도구를 활용하여 정규 변동성, 기능방정식, 위험 측도 이론의 결과를 통합하고 확장하기 위해.
• 해석적 스펜딩 세트에서의 유계성은 추가 함수에 대해 연속성을 암시함을 보여주어 호모모르피즘 이론의 문제를 해결하기 위해.

제안 방법

• 국소 스텐하우스-바일 성질을 갖는 얇은 집합이 0 근처에서 하위加법 함수의 연속성을 보장하도록 활용하기 위해.
• 수렴하는 0으로 향하는 수열에 대해 전체 연속성을 대체할 수 있는 더 약한 조건으로 이동-콤팩트성 적용하기 위해.
• 케스텔만-보르바인-디터 정리와 스텐하우스 부분군 정리를 활용하여 국소적 행동에서 전역적 연속성 유도하기 위해.
• 루신의 정리와 밀도 위상론적 접근을 사용하여 비위상적 환경에서 거의 전부에 걸쳐 선형성 증명하기 위해.
• 헤이버그-세네타 조건과 해석적 스펜딩 세트를 활용하여 추가 함수에서 유계성에서 전체 연속성으로 확장하기 위해.
• 하위加법 에르고딕 정리와 일관된 위험 측도 프레임워크를 적용하여 확률 및 금융 분야에서 결과의 맥락화하기 위해.

실험 결과

연구 질문

• RQ1 어떤 약화된 양자화 조건 하에서 얇은 집합에서의 가환성은 전역적 연속성과 선형성으로 이어지는가?
• RQ2 국소 스텐하우스-바일 성질 또는 이동-콤팩트성은 하위加법 함수에서 전체 연속성 대체할 수 있는가?
• RQ3 집합 Σ에 어떤 구조적 조건이 성립하면 하위加법성과 Σ에서의 유계성이 전체 연속성을 암시하는가?
• RQ4 기능방정식에서의 양자화 조건 약화는 정규 변동성 이론을 어떻게 단순화할 수 있는가?
• RQ5 해석적 스펜딩 세트에서의 유계성이 ℝ 상의 추가 함수에 대해 연속성을 암시하는가?

주요 결과

• 하위加법 함수 S가 대칭 집합 Σ에서 국소 스텐하우스-바일 성질을 갖는 0에서 연속이면, S는 전역적으로 연속적이며 따라서 선형이다.
• S가 하위加법이고 S(0) = 0이면, 오른쪽 연속성이 0에서 성립하고 S(zₙ) → 0를 만족하는 수열 zₙ ↗ 0가 존재하면 전체 연속성이 성립한다.
• S가 하위加법이고 국소 스텐하우스-바일 집합 Σ ⊆ [0, ∞)에서 선형적으로 유계이면, S는 전역적으로 선형적으로 유계이고 연속적이다.
• 해석적 스펜딩 세트 T에서 유계인 추가 함수 A는 T의 구조와 베르의 카테고리 정리에 의해 연속적이며 따라서 선형이다.
• 이동-콤팩트 집합에서 하위加법성과 유계성이 동시에 성립하면 전역적 연속성이 성립하며, 이는 고전적 자동 연속성 정리의 일반화이다.
• 케스텔만-보르바인-디터 정리와 스텐하우스 부분군 정리(정리 S)를 통해 하위加법 함수 및 그 확장에 관한 정리들이 통합된다.