[論文レビュー] A functional analysis point of view on compactness theorems in function spaces

Mateusz Krukowski|arXiv (Cornell University)|Jan 5, 2018

Advanced Harmonic Analysis Research参考文献 10被引用数 2

ひとこと要約

この論文は、局所コンパクトハウスドルフ空間 $X$ 上の $C_0(X)$ におけるコンパクト性定理について、バナッハ＝アラオグルの定理を用いて関数解析的アプローチを提供する。アゼラ＝アスcoliの定理を再導出するとともに、コンパクト-supporred 連続関数との畳み込みによって有界性、一様連続性、一様消失性が保存されることを示し、局所コンパクトハウスドルフ群におけるフレチェット＝コルモゴロフ＝ライス＝ヴァイルの定理の自然な証明を提示する。

ABSTRACT

In the paper, we present a functional view on the Arzel\`a-Ascoli theorem for the Banach space $C_0(X)$, where $X$ is a locally compact Hausdorff space. The proof hinges upon Banach-Alaoglu's theorem. This approach is motivated by the work of Gabriel Nagy. In the second part of the paper, we put forward the most natural proof (in author's opinion) of Fr\'echet-Kolmogorov-Riesz-Weil theorem for locally compact Hausdorff groups $G$. The method basically amounts to the fact that boundedness, equicontinuity and equivanishing are preserved by convolution with continuous and compactly supported functions.

研究の動機と目的

• バナッハ＝アラオグルの定理を中心とした関数解析的枠組みを用いて、$C_0(X)$ におけるアゼラ＝アスcoliの定理を再導出すること。
• 局所コンパクトハウスドルフ群におけるフレチェット＝コルモゴロフ＝ライス＝ヴァイルの定理に対して、自然で概念的に明確な証明を提供すること。
• 畳み込みにおける構造的不変性に着目することで、関数空間におけるコンパクト性の理解を統一すること。
• 群上の関数族の一族における一様消失性の重要な役割を強調すること。
• 有界性、一様連続性、一様消失性といった本質的性質が畳み込み操作のもとで保存される手法を提示すること。

提案手法

• $C_0(X)$ の双対空間にバナッハ＝アラオグルの定理を適用し、弱*コンパクト性を確立することで、アゼラ＝アスcoliの結果の基礎をつくる。
• 有界性、一様連続性、一様消失性を保存する滑らか化および近似の道具として、連続かつコンパクトな台を持つ関数との畳み込みを用いる。
• 一様消失性を、関数族における無限遠での一様な減衰として特徴づけ、$L^p$-型の設定における前コンパクト性に不可欠な性質とみなす。
• これらの三つの性質が畳み込みのもとで不変であることを活用し、フレチェット＝コルモゴロフ＝ライス＝ヴァイルの定理を正則化の議論に帰着させる。
• 非アーベル的かつ非ユークリッド的設定に一般化できるように、局所コンパクトハウスドルフ群の設定で作業する。
• 群構造を用いて右および左平行移動を定義し、位相的群の文脈で一様連続性および一様消失性の分析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 アゼラ＝アスcoliの定理を、バナッハ＝アラオグルの定理のような関数解析的道具を用いて、$C_0(X)$ に対してどのように再導出できるか？
• RQ2 コンパクトな台を持つ連続関数との畳み込みによって、関数族のどのような構造的性質が保存されるか？
• RQ3 畳み込みが、局所コンパクト群の文脈において、有界性、一様連続性、一様消失性の条件をどのように統一的に扱うのを助けるか？
• RQ4 一般の局所コンパクトハウスドルフ群において、フレチェット＝コルモゴロフ＝ライス＝ヴァイルの定理を自然で概念的に明確な方法で証明するにはどうすればよいか？
• RQ5 非コンパクト群上の関数空間において、前コンパクト性を保証するために一様消失性が果たす役割は何か？

主な発見

• アゼラ＝アスcoliの定理はバナッハ＝アラオグルの定理を用いて再証明され、弱*コンパクト性が関数解析的基礎をなすことが明らかになった。
• コンパクトな台を持つ連続関数との畳み込みは、関数族における有界性、一様連続性、一様消失性を保存する。
• フレチェット＝コルモゴロフ＝ライス＝ヴァイルの定理は、これらの三つの性質が畳み込みで不変であるという事実に基づく自然な議論によって確立された。
• 一様消失性は、一様連続性と組み合わせることで、局所コンパクト群上の $L^p$-空間における前コンパクト性の必要十分条件であると特定された。
• 本手法は、非アーベル的および非ユークリッド的局所コンパクト群にまで一般化可能な概念的で汎用性の高い枠組みを提供する。
• 関数解析的視点により、コンパクト性定理における位相的および測度論的条件の相互作用が明確になった。