[論文レビュー] 2-local isometries on function spaces

Osamu Hatori, Shiho Oi|arXiv (Cornell University)|Dec 26, 2018

Advanced Banach Space Theory参考文献 18被引用数 4

ひとこと要約

本稿は、Banach代数 $C^1[0,1]$ およびリプシッツ関数 $\text{Lip}[0,1]$ に特定のノルムを備えた2局所等長写像が、線形性を仮定しなくても必ず全射等長写像であることを確立している。マズール＝ウラムの定理および等長写像群の構造的解析を用いて、和ノルムおよび他のノルムの下でこれらの空間における2局所可縮性を証明し、非線形等長写像理論における重要な未解決問題を解決した。

ABSTRACT

We study 2-local reflexivity of the set of all surjective isometries between certain function spaces. We do not assume linearity for isometries. We prove that a 2-local isometry in the group of all surjective isometries on the algebra of all continuously differentiable functions on the closed unit interval with respect to several norms is a surjective isometry. We also prove that a 2-local isometry in the group of all surjective isometries on the Banach algebra of all Lipschitz functions on the closed unit interval with the sum-norm is a surjective isometry.

研究の動機と目的

• 関数空間 $C^1[0,1]$ および $\text{Lip}[0,1]$ における2局所等長写像が、線形性を仮定しなくても必ず全射等長写像であるかどうかを調査すること。
• $C[0,1]$ における上限ノルムの下で、すべての全射等長写像の群に関する2局所可縮性の未解決問題に取り組むこと。
• 関数代数における2局所等長写像の既知の結果を線形から非線形設定へと拡張すること。
• 和ノルムを含むさまざまなノルムの下で、$C^1[0,1]$ および $\text{Lip}[0,1]$ における全射等長写像の構造を特徴付けること。
• これらの空間における全射等長写像の群が2局所可縮的である、すなわち任意の2局所等長写像がその群に属することを証明すること。

提案手法

• 任意の実Banach空間上の全射等長写像が実線形であることを示すために、マズール＝ウラムの定理を用い、非線形設定へ線形等長写像理論を適用可能にする。
• ノルム $\n \|\cdot\|_{\Sigma}$ などの下で $C^1[0,1]$ および $\text{Lip}[0,1]$ における全射等長写像の構造定理を適用し、$\pi \in \Pi_0 = \{\text{id}, 1-\text{id}\}$ に対して $T(f) = \lambda + \alpha (f \circ \pi)^\epsilon$ の形であることを示す。
• 2局所等長写像の概念を用いる：任意のペア $x,y$ に対して、$T(x) = T_{x,y}(x)$ および $T(y) = T_{x,y}(y)$ を満たす全射等長写像 $T_{x,y}$ が存在する。このとき、このような $T$ は必ず全射等長写像の群に属することを証明する。
• 形 $T(f) = \lambda + \alpha [f \circ \pi]^\epsilon$ の写像の群 $G_\Pi(E_1,E_2)$ を分析し、与えられたノルムの下で $E_j = C^1[0,1]$ および $\text{Lip}[0,1]$ の場合に $\text{Iso}(E_1,E_2)$ と一致することを示す。
• $C^1[0,1]$ および $\text{Lip}[0,1]$ が3つの重要な性質（点を分離する、共役閉じている、ノルム正規化）を満たすことを用いて、定理4を適用し、2局所可縮性を結論づける。
• カワムラ、コシミヅ、ミウラの結果（$G_{\Pi_0}(C^1[0,1]) = \text{Iso}(C^1[0,1])$ がさまざまなノルムの下で成り立つ）を活用し、主結果を確立する。

実験結果

リサーチクエスチョン

• RQ1 ノルム $\|\cdot\|_{\langle D\rangle}$ を備えた $C^1[0,1]$ における任意の2局所等長写像が、線形性を仮定しなくても全射等長写像であるかどうか。
• RQ2 和ノルム $\|\cdot\|_{\Sigma}$ を備えた $\text{Lip}[0,1]$ におけるすべての全射等長写像の群が2局所可縮的であるかどうか。
• RQ3 指定されたノルムの下で、2局所等長写像の性質が $C^1[0,1]$ および $\text{Lip}[0,1]$ における全射等長写像の群への属性を示唆するかどうか。
• RQ4 マズール＝ウラムの定理を用いて非線形2局所等長写像問題を線形ケースに還元することで、解決可能かどうか。
• RQ5 $\text{Iso}(C[0,1], \|\cdot\|_\infty)$ は2局所可縮的か。そうでない場合、非線形性がその結論を妨げる理由は何か。

主な発見

• 任意の空でない連結コンパクト集合 $D \subset [0,1] \times [0,1]$ で $P_j(D) = [0,1]$ を満たすものに対して、ノルム $\|\cdot\|_{\langle D\rangle}$ を備えた $C^1[0,1]$ における全射等長写像の群は2局所可縮的である。
• 和ノルム $\|\cdot\|_{\Sigma}$ を備えた $\text{Lip}[0,1]$ に対して、任意の2局所等長写像は全射等長写像であり、$\text{Iso}(\text{Lip}[0,1]) = G_{\Pi_0}(\text{Lip}[0,1])$ が成り立つ。
• $C^1[0,1]$ および $\text{Lip}[0,1]$ における全射等長写像の構造は、$\pi \in \Pi_0 = \{\text{id}, 1-\text{id}\}$ に対して $T(f) = \lambda + \alpha (f \circ \pi)^\epsilon$ の形として完全に特徴づけられる。
• $P_j(D) = [0,1]$（$j=1,2$）の条件下で、$\text{Iso}(C^1[0,1], \|\cdot\|_{\langle D\rangle})$ の2局所可縮性が確立され、ノルムが関数値および微分値の両方を捕捉することを保証する。
• マズール＝ウラムの定理および群構造を活用することで、線形性を仮定しない状況下でも、$C^1[0,1]$ および $\text{Lip}[0,1]$ における2局所等長写像が必ず全射等長写像であることが確認された。
• 本稿は、非線形等長写像理論における重要な未解決問題を解決し、これらの空間における2局所等長写像が単なる等長写像ではなく、実際に全射等長写像の完全な群に属することを示した。