[論文レビュー] Spaces C(K) with an equivalent URED norm

Antonio Avilés, Stanimir Troyanski|arXiv (Cornell University)|Apr 30, 2020

Advanced Banach Space Theory被引用数 1

ひとこと要約

本稿では、Banach空間 $C(K)$ がすべての方向で一様に回転可能（URED）なノルムを同値ノルムとして持つための必要十分条件が、コンパクト空間 $K$ が厳密に正の測度をもつことであることを確立している。証明の核となるのは、$C(K)$ における URED ノルムの再定義に関する、マーティングレルに基づく新しい特徴付けであり、開被覆の交差数を用いた Kelley の基準の変種を活用している。主な貢献は、$C(K)$ 空間における URED ノルム再定義の完全な特徴付けであり、長年の未解決問題を解決している。

ABSTRACT

We prove that a Banach space of continuous functions $C(K)$ has a renorming that is uniformly rotund in every direction (URED) if and only if the compact space $K$ supports a strictly positive measure

研究の動機と目的

• $C(K)$ が同値な URED ノルムをもつための必要十分条件を特定すること。
• $C(K)$ が URED ノルム再定義をもつようなコンパクト空間 $K$ を特徴付ける未解決問題を解明すること。
• $C(K)$ 空間における $p$-UR および UR ノルム再定義に関する既存の結果を拡張・精緻化すること。
• 交差数とマーティングル解析を用いて、コンパクト空間上での厳密に正の測度の新たな内在的特徴付けを提供すること。

提案手法

• $C(K)$ の文脈に適応された、URED ノルム再定義のマーティングル的特徴付けを、確率空間の分割と $C(K)$ 値の離散マーティングルを用いて展開する。
• 開集合族に対する交差数 $\tilde{w}_n(G)$ の新しい変種 $\tilde{w}_n(G)$ を導入し、厳密に正の測度の非存在を特徴付ける。
• 関数のノルム増大の度合いに基づき、$C(K)$ を部分空間 $X_{m,t}$ に分解する。この際、ノルムの $L^2(\mu)$ 成分を用いる。
• 有限開被覆における特性関数の和の上界 $l(G)$ を含む重要な不等式を適用し、マーティングルの増分を評価する。
• $H \subset C(K)$ の集合に対する均質性の議論を用い、マーティングル $a_k(H)$-ノルムと交差数 $\tilde{w}_n(G)$ を関連付ける。
• Galvin と Prikry が提案した Kelley の定理の変種を活用し、$\tilde{w}_n(G) = 0$ が $K$ 上に厳密に正の測度が存在しないことと関連することを示す。

実験結果

リサーチクエスチョン

• RQ1 $C(K)$ が同値な URED ノルムをもつのはいつか？
• RQ2 $K$ 上に厳密に正の測度が存在することは、$C(K)$ の URED ノルム再定義の必要十分条件か？
• RQ3 $C(K)$ における URED 性質は、$K$ の開被覆の組合せ的不変量によって特徴付けられるか？
• RQ4 $C(K)$ におけるマーティングル技法とコンパクト空間上での厳密に正の測度の存在とはどのように関係するか？
• RQ5 $C(K)$ 空間における URED ノルム再定義と、より弱い $p$-UR 性質との関係は何か？

主な発見

• $C(K)$ に URED ノルムが存在するための必要十分条件は、$K$ が厳密に正の測度をもつことである。
• $|||f||| = \sqrt{\|f\|_\infty^2 + \int_K f^2 d\mu}$ として定義される URED ノルムの構成は、URED ノルム再定義において十分かつ必要である。
• 証明では、$C(K)$ が URED ノルムをもつならば、$a_k(H)$-ノルムと交差数を用いた背理法により、$K$ が厳密に正の測度をもたなければならないことを示している。
• 重要な技術的ステップは、ある族 $G$ に対して $\tilde{w}_n(G) = 0$ ならば、$F_G$ を含む任意の均質集合 $H$ に対して $a(H) \leq 1$ が成り立つことの証明であり、これは URED の仮定から得られる $a_k(H) > t > 1$ の条件と矛盾する。
• Rychtář の $p$-UR 特徴付けを改善し、$C(K)$ においては URED と $p$-UR ノルム再定義が同値であることを示しているが、一般の Banach 空間ではこの同値性は成り立たない。
• 本稿は、$C(K)$ が URED ノルム再定義をもつのは $K$ が厳密に正の測度をもつときであると明確に示しており、ノルム再定義理論における長年の空白を埋めている。