[論文レビュー] Weighted composition operators of $C_0(X)$'s

Jyh-Shyang Jeang, Ngai‐Ching Wong|ArXiv.org|Jul 30, 1996

Holomorphic and Operator TheoryMathematics被引用数 19

ひとこと要約

この論文は、局所有限ハウスドルフ空間 $X$ および $Y$ に対して、$C_0(X)$ から $C_0(Y)$ への等長写像および非共有性を保つ線形写像が、本質的に $Tf = h \cdot f \circ \varphi$ の形の重み付き合成作用素であることを確立している。主な結果は、このような写像が連続的かつ固有な写像 $\varphi$ と有界かつ非ゼロの重み関数 $h$ から生じることを示しており、等長の場合には $|h| \equiv 1$、非共有性を保つ場合には $h \neq 0$ が成り立つ。

ABSTRACT

In this paper, we prove that into isometries and disjointness preserving linear maps from $C_0(X)$ into $C_0(Y)$ are essentially weighted composition operators $Tf = h\cdot f\circφ$ for some continuous map $φ$ and some continuous scalar-valued function $h$.

研究の動機と目的

• 線形写像 $T: C_0(X) \to C_0(Y)$ が等長写像または非共有性を保つ場合の構造を特徴づけること。
• 標準的なバナッハ＝ストーン型定理を非全射的かつ非コンパクトな状況に拡張し、重み付き合成作用素を標準的形として同定すること。
• 一点コンパクト化への拡張という標準的手法が一般には失敗することを示し、局所有限空間に対して新たな証明が必要であることを示すこと。
• 有界な非共有性を保つ線形写像 $T: C_0(X) \to C_0(Y)$ を重み付き合成作用素として完全に特徴づけること。
• 従来のコンパクト空間に関する結果の限界を克服するため、コンパクト化への拡張が写像の性質を保存しないことを示す反例を構成すること。

提案手法

• 関数のコゼロ集合とその台を用いて、線形写像の振る舞いと関数の台との相互作用を分析する。
• 関連写像 $\varphi$ による点の像を特定するため、関数型 $\delta_y \circ T$ の台を定義する。
• 写像 $\varphi$ の固有性を適用して、$f \in C_0(X)$ ならば $f \circ \varphi \in C_0(Y)$ となることを保証し、これは $C_0(Y)$ への写像に不可欠である。
• 第4節で反例を構成し、$C_0(X)$ から $C_0(Y)$ への等長写像または非共有性を保つ写像を一点コンパクト化に拡張しても、写像の性質が保存されないことを示す。
• 台が収縮する関数列 $f_n$ を用いた近似により、$T_\infty$ が無限遠での振る舞いにおいて矛盾を導く。
• 点評価 $\delta_y \circ T$ の測度論的解釈を、ボレル測度として用いて点評価の連続性と有界性の制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の $C_0(X)$ から $C_0(Y)$ への等長写像は、重み付き合成作用素として表現可能か？
• RQ2 有界な非共有性を保つ線形写像 $T: C_0(X) \to C_0(Y)$ が常に重み付き合成作用素であるための条件は何か？
• RQ3 コンパクト空間から局所有限空間への標準的な拡張手法が、等長性や非共有性の性質を保存しないのはなぜか？
• RQ4 写像 $\varphi$ と重み $h$ が $Tf = h \cdot f \circ \varphi$ が $C_0(X)$ を $C_0(Y)$ に写像するための構造的制約を満たすにはどのような条件が必要か？
• RQ5 点評価 $\delta_y \circ T$ に関連する測度を用いて、$T$ の無限遠での振る舞いを特徴づけられるか？

主な発見

• 任意の $C_0(X)$ から $C_0(Y)$ への等長写像 $T$ は、$Y_1 \subset Y$ の局所有限部分集合上で、$Tf = h \cdot f \circ \varphi$ の形の重み付き合成作用素に本質的に等価である。ここで $\varphi: Y_1 \to X$ は連続的かつ固有な全射であり、任意の $y \in Y_1$ に対して $|h(y)| \equiv 1$ が成り立つ。
• 任意の有界な非共有性を保つ線形写像 $T: C_0(X) \to C_0(Y)$ は、$Y_1 \subset Y$ の開部分集合上で、$Tf = h \cdot f \circ \varphi$ の形の重み付き合成作用素に本質的に等価である。ここで $\varphi: Y_1 \to X$ は連続であり、任意の $y \in Y_1$ に対して $h(y) \neq 0$ が成り立つ。
• 第4節の反例は、$C_0(X)$ から $C_0(Y)$ への等長写像または非共有性を保つ写像 $T$ を一点コンパクト化 $X_\infty$ および $Y_\infty$ に拡張しても、写像の性質が保存されないことを示しており、単純な拡張戦略が無効であることを示している。
• 無限遠での質量を表す関数 $g(y) = m_y(\{\infty\})$ は、等長の場合に $|y| > 2$ に対して $g(y)g(-y) = 0$ を満たさなければならないが、これは $|g(y)| \leq 1$ を意味し、等長拡張の仮定のもとでは矛盾を引き起こす。
• $T_\infty \mathbf{1}$ が $Y_\infty$ 上で連続であり、$\|T_\infty \mathbf{1}\| = 1$ であるという要件は、$T_\infty$ が等長写像であると仮定した場合、$+\infty$ と $-\infty$ での極限が両立不能になることを強制し、$|g(y)| \leq 1$ と矛盾する。
• $T_\infty$ が非共有性を保つと仮定した場合、恒等式 $T_\infty f_n \cdot T_\infty (\mathbf{1} - f_{2n}) = 0$ により、$h(y) \neq 0$ となる区間で $T_\infty \mathbf{1}(y) = h(y)$ が成り立ち、これにより $\lim_{y \to \infty} h(y) = 1$ および $\lim_{y \to -\infty} h(y) = -1$ が導かれる。これは連続性と有界性に矛盾する。