[論文レビュー] Additivity, subadditivity and linearity: automatic continuity and quantifier weakening

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

Advanced Topology and Set Theory参考文献 50被引用数 5

ひとこと要約

本稿は、加法的および劣加法的関数の自動連続性定理を、弱化された量化子条件のもとで確立し、局所的Steinhaus-Weil性質やシフトコンパクト性といった構造的性質を持つ薄い集合における連続性が、全体的な連続性および線形性を示すことを示している。主な貢献は、正則変動および関数方程式における強い正則性仮定への依存を減らす、量化子の弱化フレームワークの構築である。

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.

研究の動機と目的

• 関数方程式における量化子の弱化により、正則変動における硬い証明の数を減らす。
• 正則性が薄い集合でのみ仮定されている場合でも、加法的または劣加法的関数が連続的かつ線形的である条件を確立する。
• 完全な連続性を弱い構造的条件（例：局所的Steinhaus-Weil性質やシフトコンパクト性）に置き換えることで、自動連続性結果を一般化する。
• 位相的および測度論的道具を用いて、正則変動、関数方程式、およびリスク測度の結果を統一的かつ拡張する。
• 加法的関数が解析的スパンニング集合上で有界であるならば、その連続性が導かれるという問題を解消する。

提案手法

• 局所的Steinhaus-Weil性質を用いて、0の近傍の薄い集合が劣加法的関数の連続性を保証することを確保する。
• シフトコンパクト性を適用して、0に近づく数列に関する完全な連続性の代わりに弱い条件を導入する。
• Kestelman-Borwein-Ditor定理およびSteinhaus部分群定理を用いて、局所的挙動から全体的連続性を導出する。
• Lusinの定理および密度位相論的議論を用いて、二位相的設定におけるほとんど everywhere の線形性を証明する。
• Heiberg-Seneta条件および解析的スパンニング集合を活用して、加法的関数における有界性を全連続性へ拡張する。
• 劣加法的エルゴード定理および一貫性のあるリスク測度フレームワークを適用して、確率およびファイナンスの文脈で結果を文脈化する。

実験結果

リサーチクエスチョン

• RQ1 薄い集合における加法性が、全体的連続性および線形性を示すために、どのような弱化された量化子条件下で成立するか？
• RQ2 局所的Steinhaus-Weil性質やシフトコンパクト性が、劣加法的関数における完全な連続性の代わりにどのように機能するか？
• RQ3 集合Σにどのような構造的条件を課せば、Σにおける劣加法性および有界性が全体的連続性を示すか？
• RQ4 関数方程式における量化子の弱化により、正則変動の理論をどの程度簡略化できるか？
• RQ5 加法的関数がℝ上で解析的スパンニング集合T上で有界であるとき、それがどのように連続性を示すか？

主な発見

• 劣加法的関数Sが、局所的Steinhaus-Weil性質をもつ対称集合Σ上で0で連続しているならば、Sは至る所で連続的であり、したがって線形的である。
• Sが劣加法的でS(0) = 0であるとき、右連続性が0で成り立ち、かつS(zₙ) → 0を満たす数列zₙ ↗ 0が存在するならば、Sは完全に連続的である。
• Sが劣加法的で、[0, ∞) 内の局所的Steinhaus-Weil集合Σ上で線形有界であるならば、Sは全体的に線形有界かつ連続的である。
• 解析的スパンニング集合T上で有界である加法的関数Aは、Tの構造およびBaireカテゴリーアーギューメントにより連続的であり、したがって線形的である。
• シフトコンパクト集合における劣加法性と有界性の組み合わせは、全体的連続性を示し、古典的な自動連続性定理を一般化する。
• Kestelman-Borwein-Ditor定理およびSteinhaus部分群定理（定理S）を用いて、劣加法的関数およびその拡張に関する定理を統一する。