[論文レビュー] Spherical completeness of the non-archimedean ring of Colombeau generalized numbers

Eberhard Mayerhofer|ArXiv.org|Apr 23, 2006

Mathematical and Theoretical Analysis参考文献 8被引用数 8

ひとこと要約

この論文は、鋭いノルムを備えたコロンブオー一般化数の非アルキメデス的環の球面的完備性を確立し、この環上の超擬ノルム付きモジュールに対して、新たなハーン＝バナッハ拡張定理の成立を可能にする。この結果により、コロンブオー一般化関数論における根本的問題が解決され、連続線形汎関数のノルムを保ったままの拡張が、環の位相的・代数的構造を活用して実現される。

ABSTRACT

We show spherical completeness of the ring of Colombeau generalized real (or complex) numbers endowed with the sharp norm. As an application, we establish a Hahn Banach extension theorem for ultra pseudo normed modules (over the ring of generalized numbers) of generalized functions in the sense of Colombeau.

研究の動機と目的

• 鋭いノルムの下でのコロンブオー一般化実数または複素数の環の球面的完備性を確立すること。
• 一般化数の環上のモジュールに対してハーン＝バナッハ拡張性が成り立つかどうかという未解決問題に取り組むこと。
• 部分モジュールから全モジュールへの連続線形汎関数のノルムを保ったままの拡張を可能にする基盤を提供すること。
• 一般化数環におけるゼロ因子と乗法的でない擬ノルムが引き起こす課題を克服すること。
• 非アーケメデス的関数解析の技法をコロンブオー一般化関数の設定へと拡張可能にする。

提案手法

• 球面的完備性の証明は、一般化数環における衣装付き球の入れ子列が鋭い超擬ノルムの下で空でない共通点を持つことを示すことに依拠する。
• 超三角不等式と一般化ノルムの構造を用いて、入れ子の球の共通点が空でないことを示す。
• $ x \in V $ に対して $ B_x := B_{\leq r_x}(\varphi(x)) $ と定義される衣装付き球の族を構成し、これが入れ子であることを示す。ここで $ r_x = \|\varphi\| \cdot \|x - a\| $ である。
• 一般化数環 $ \widetilde{\mathbb{K}} $ の球面的完備性を用いて、共通点 $ \alpha \in \bigcap_{x \in V} B_x $ の存在を保証し、これにより $ \psi(a) := \alpha $ を定義する。
• 部分体 $ L $ における一般化ノルムの乗法的性質を用いて、$ \|\psi\| = \|\varphi\| $ が成り立つことを示す。
• Zornの補題を用いて、関数解析学における標準的な超限帰納法の手法に従い、全モジュールへの拡張を達成する。

実験結果

リサーチクエスチョン

• RQ1 鋭いノルムを備えたコロンブオー一般化数の環は球面的完備性を満たすか？
• RQ2 一般化数環上の超擬ノルム付きモジュールに対してハーン＝バナッハ拡張定理を確立できるか？
• RQ3 一般化数環における乗法的でない性質とゼロ因子の存在が、線形汎関数のノルムを保ったままの拡張を妨げる要因となるか？
• RQ4 一般化数環の非分離性は、$ \mathbb{C}_p $ で観察される球面的完備性の欠如を補うのに十分か？
• RQ5 一般化数環 $ \widetilde{\mathbb{K}} $ の球面的完備性は、厳密に収縮する写像に対して固定点の存在を保証するか？

主な発見

• 一般化数環 $ \widetilde{\mathbb{K}} $ は鋭いノルムの下で球面的完備である。これは、任意の入れ子の衣装付き球の族が空でない共通点を持つことを意味する。
• 球面的完備性は、補題1.3で示されたように、$ \widetilde{\mathbb{K}} $ の位相的完備性を示唆する。
• 部分体 $ L $ を持つ $ \widetilde{\mathbb{K}} $ 上の超擬ノルム付き $ L $-モジュールに対してハーン＝バナッハ拡張定理が成り立つ。これにより、連続線形汎関数のノルムを保ったままの拡張が可能である。
• 球面的完備性を用いて、入れ子の衣装付き球族の共通点を選び、ノルムの保存を保証する拡張を構成する。
• この結果により、ゼロ因子や乗法的でないノルムに起因する障害を克服し、コロンブオー一般化関数論における汎関数の拡張の厳密な基盤が提供される。
• 球面的完備性により、非アーケメデス的バナッハの不動点定理が $ \widetilde{\mathbb{K}} $ に適用可能であり、厳密に収縮する写像に対して一意の不動点が保証される。