[論文レビュー] Topological structures in Colombeau algebras: topological $\widetilde{\C}$-modules and duality theory

Claudia Garetto|ArXiv.org|Jul 1, 2004

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

ひとこと要約

本稿は、複素一般化数の環 $\widetilde{\mathbb{C}}$ 上の加群に対して基礎的な位相的枠組みを確立し、超擬ノルムを用いて $\widetilde{\mathbb{C}}$-線形および局所凸位相を導入する。位相的 $\widetilde{\mathbb{C}}$-加群の双対性理論を構築し、強い位相の下での双対空間の完備性を証明するとともに、ノルム位相および弱位相による有界集合の特徴付けを行い、一般化関数のコロンベール代数への応用を含む。

ABSTRACT

We study modules over the ring $\widetilde{\C}$ of complex generalized numbers from a topological point of view, introducing the notions of $\widetilde{\C}$-linear topology and locally convex $\widetilde{\C}$-linear topology. In this context particular attention is given to completeness, continuity of $\widetilde{\C}$-linear maps and elements of duality theory for topological $\widetilde{\C}$-modules. As main examples we consider various Colombeau algebras of generalized functions

研究の動機と目的

• 複素一般化数の環 $\widetilde{\mathbb{C}}$ 上の加群のための位相的理論を構築すること。
• 超擬ノルムを用いて $\widetilde{\mathbb{C}}$-線形および局所凸位相を導入すること。
• 位相的 $\widetilde{\mathbb{C}}$-加群の双対性理論を確立し、双対空間上の弱位相、強位相、有界位相を含むこと。
• 理論をコロンベール代数 $\mathcal{G}_E$ および $\mathcal{G}_{E'}$ に応用すること。
• ノルム位相および弱位相を用いて $\mathcal{G}_E$ 内の有界集合を特徴付け、完備性のもとで等価性を証明すること。

提案手法

• 一般化数 $\widetilde{\mathbb{C}}$-吸収的で、平衡的かつ凸な部分集合を導入し、$\widetilde{\mathbb{C}}$-加群上での $\widetilde{\mathbb{C}}$-線形位相を定義する。
• 超擬ノルムの族を用いて局所凸 $\widetilde{\mathbb{C}}$-線形位相を定義し、古典的関数解析におけるノルムに基づく位相の一般化を行う。
• 超擬ノルム間の一様推定による $\widetilde{\mathbb{C}}$-線形写像の連続性を特徴付ける。
• 双対空間 $\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}})$ を構成し、弱 $\sigma$、強 $\beta$、有界 $\beta_b$ の三つの位相を備える。
• $\widetilde{\mathbb{C}}$-線形設定におけるバナッハ＝スタインハウスの定理を用いて、強い位相の下での双対空間の完備性を証明する。
• 代表的ネットを介して基底空間 $E$ から位相を引き継ぐことで、コロンベール代数 $\mathcal{G}_E$ および $\mathcal{G}_{E'}$ に理論を適用する。

実験結果

リサーチクエスチョン

• RQ1 超擬ノルムを用いて $\widetilde{\mathbb{C}}$-加群上に位相的構造を定義する方法は何か？
• RQ2 双対空間 $\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}})$ が強い位相の下で完備となる条件は何か？
• RQ3 $\mathcal{G}_E$ 内の有界集合は弱位相およびノルム位相とどのように関係するか？
• RQ4 ハーン＝バナッハの定理を $\widetilde{\mathbb{C}}$-加群に拡張し、所望の値をとる汎関数を構成できるか？
• RQ5 $\|\cdot\|_{\mathcal{G}_E}$ によって誘導される鋭い位相と弱位相 $\sigma(\mathcal{G}_E, \mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}))$ の関係は何か？

主な発見

• 任意の局所凸位相的 $\widetilde{\mathbb{C}}$-加群 $\mathcal{G}$ に対して、双対空間 $\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}})$ は強い位相 $\beta(\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}}), \mathcal{G})$ の下で完備である。
• $\widetilde{\mathbb{C}}$-線形版のバナッハ＝スタインハウスの定理が成り立ち、点毎に有界な連続 $\widetilde{\mathbb{C}}$-線形汎関数の族は一様有界であることが保証される。
• 任意の $u \in \mathcal{G}_E$ に対して、$\|v\|_{\mathcal{G}_{E'}} = 1$ かつ $v(u) = \|u\|_E$ を満たす $v \in \mathcal{G}_{E'}$ が存在する。これはノルムを達成する汎関数の存在を示している。
• すべての $u \in \mathcal{G}_E$ に対して $\|u\|_{\mathcal{G}_E} = \sup_{\|v\|_{\mathcal{G}_{E'}}=1} |v(u)|_e$ が成り立つ。これは $\mathcal{G}_E$ が $\mathcal{G}_{E'}$ の双対空間への等長埋め込みであることを示している。
• $\mathcal{G}_E$ の部分集合 $A$ に対して、$\|\cdot\|_{\mathcal{G}_E}$-有界であることと、$\sigma(\mathcal{G}_E, \mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}))$-有界であることとは同値である。ノルム位相と弱位相における有界性の同値性が確立された。
• 超擬ノルム $\|\cdot\|_{\mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}})}$ が誘導する位相 $\tau$ に対して、$\sigma(\mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}), \mathcal{G}_E) \preceq \tau \preceq \beta_b(\mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}), \mathcal{G}_E) = \beta(\mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}), \mathcal{G}_E)$ が成り立つ。これは双対構造を強化する。