[論文レビュー] Extending surjective isometries defined on the unit sphere of $\ell_\infty(\Gamma)$

Antonio M. Peralta|arXiv (Cornell University)|Sep 27, 2017

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

ひとこと要約

この論文は、無限離散集合 Γ 上のすべての複素数値有界関数からなるバナッハ空間 ℓ∞(Γ) が、マズール＝ウラム性質を満たすことを証明している。すなわち、ℓ∞(Γ) の単位球面と任意の複素バナッハ空間 X の単位球面との間の全単射等長写像は、一意的に ℓ∞(Γ) から X への全単射実線形等長写像に拡張可能である。証明は、部分等長写像の幾何的性質と、ℓ∞(Γ) に存在する同次的積構造に基づく新規な実線形拡張に依拠している。

ABSTRACT

Let $\Gamma$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(\Gamma),$ of all complex-valued bounded functions on $\Gamma$, satisfies the Mazur-Ulam property, that is, every surjective isometry from the unit sphere of $\ell_{\infty}(\Gamma)$ onto the unit sphere of an arbitrary complex Banach space $X$ admits a unique extension to a surjective real linear isometry from $\ell_{\infty}(\Gamma)$ to $X$.

研究の動機と目的

• c0(Γ) に関する先行研究における予想を拡張し、ℓ∞(Γ) がマズール＝ウラム性質を満たすことを確立すること。
• 複素バナッハ空間の文脈において、ティンゲリー問題を解決すること。具体的には、ℓ∞(Γ) の単位球面上の等長写像が、全体空間へ一意的に拡張可能であることを証明すること。
• c0(Γ) の場合に用いられた従来の手法の限界を克服するため、部分等長写像と M-直交性に基づく新しい幾何的技法を開発すること。
• S(ℓ∞(Γ)) 上の全単射等長写像の同次的拡張が加法的かつ実線形であることを示し、一意的な実線形拡張が得られることを示すこと。
• 実列挙空間を超えた、複素バナッハ空間としてのマズール＝ウラム性質を満たす最初の既知の例として、ℓ∞(Γ) を特定すること。

提案手法

• 任意の非ゼロ部分等長写像 v と |λ| = 1 を満たす λ ∈𝕋 に対して λ∆(v) = ∆(λ ⊙v) を満たすような ℓ∞(Γ) 上の実線形積 ⊙ を導入すること。
• 全単射等長写像 ∆ が、ℓ∞(Γ) 内の互いに直交する非ゼロ部分等長写像の有限族を、X 内の完全な M-直交集合に写すことの証明。
• 部分等長写像の数に関する帰納法を用い、同次的拡張 F が F(∑ αj ⊙vj) = ∑ αj∆(vj) を満たすことを示すこと（複素係数 αj について）。
• ℓ∞(Γ) 内の代数的要素（部分等長写像の有限線形結合）がノルムで稠密であることを利用し、加法性をすべての要素へ拡張すること。
• 同次的拡張 F がリプシッツ連続であることを確立し、有限和による近似を用いて、すべての a, b ∈ℓ∞(Γ) に対して F(a + b) = F(a) + F(b) が成り立つことを証明すること。
• F が ∆ を拡張する実線形等長写像であり、単一性は単位球面上の等長写像性質から従うことを結論づけること。

実験結果

リサーチクエスチョン

• RQ1 空間 ℓ∞(Γ) はマズール＝ウラム性質を満たすか、すなわち、その単位球面と別の複素バナッハ空間の単位球面との間の全単射等長写像が、一意的に実線形等長写像に拡張可能か？
• RQ2 ℓ∞(Γ) 内の部分等長写像の幾何的構造を用いて、単位球面上の等長写像の振る舞いを特徴づけることは可能か？
• RQ3 ユニモジュラー複素数によるスカラー乗法をこの積 ⊙ を通じて等長写像 ∆ が保存するような、ℓ∞(Γ) 上に実線形積 ⊙ を定義可能か？
• RQ4 X 内で直交する部分等長写像の像が完全な M-直交集合をなすことと、同次的拡張の加法性との関係は何か？
• RQ5 有限和による部分等長写像の近似とリプシッツ連続性を用いて、同次的拡張の加法性を確立することは可能か？

主な発見

• 空間 ℓ∞(Γ) はマズール＝ウラム性質を満たす：任意の複素バナッハ空間 X に対して、S(ℓ∞(Γ)) から S(X) への全単射等長写像は、一意的に ℓ∞(Γ) から X への全単射実線形等長写像に拡張可能である。
• 全単射等長写像 ∆: S(ℓ∞(Γ)) → S(X) の同次的拡張 F は ℓ∞(Γ) 上で加法的である。すなわち、すべての a, b ∈ℓ∞(Γ) に対して F(a + b) = F(a) + F(b) が成り立つ。
• ℓ∞(Γ) 内の互いに直交する非ゼロ部分等長写像の有限族 {v₁, ..., vₖ} に対して、それらの像 ∆(v₁), ..., ∆(vₖ) は X 内で完全な M-直交集合をなす。
• 複素係数 αj に対して、F(∑ αj ⊙vj) = ∑ αj∆(vj) が成り立つ。ここで ⊙ はユニモジュラースカラーと整合する ℓ∞(Γ) 上の実線形積である。
• 代数的要素（部分等長写像の有限和）による近似を用いて、拡張の実線形構造が確立され、これら代数的要素は ℓ∞(Γ) 内でノルムで稠密である。
• 拡張は一意的かつ等長写像であり、c0(Γ) の場合に用いられた従来の手法とは異なる、部分等長写像と M-直交性に根ざした新規な幾何的議論に依拠している。