[論文レビュー] The Fundamental Theorems in the framework of Bicomplex Topological Modules

Rajeev Kumar, Romesh Kumar+1 more|arXiv (Cornell University)|Sep 15, 2011

Algebraic and Geometric Analysis参考文献 5被引用数 17

ひとこと要約

この論文は、双複素数体 $\tau$ 上の双複素位相加群の枠組みにおいて、関数解析学の基本定理—一様有界性、開写像、閉グラフ、ハーン＝バナッハ—を拡張する。連続な $\delta$-線形汎関数が、ノルムを保存する拡張や、点評価の上界によるノルムの表現といった、重要な双対性性質を満たすことが示され、零因子をもつ非体環への古典的結果の一般化がなされる。

ABSTRACT

In this paper, we generalize the fundamental theorems of functional analysis to the framework of bicomplex topological modules.

研究の動機と目的

• 双複素数体 $\tau$ 上の加群である双複素位相加群へ、古典的関数解析学の定理を一般化すること。
• $\tau$ が体ではなく零因子を含むため、標準的な関数解析学の道具が適用できないという課題に対処すること。
• ハーン＝バナッハ定理を $\tau$-線形汎関数へ拡張することで、双複素ノルム加群の双対理論を確立すること。
• 双複素ノルム加群におけるベクトルのノルムが、双対空間内の連続汎関数による点評価の絶対値の上界に等しいことを証明すること。

提案手法

• 双複素数をidempotent基底 $e_1 = \frac{1+j}{2}$, $e_2 = \frac{1-j}{2}$ を用いて表現し、任意の双複素加群 $M$ を二つの複素ベクトル空間 $V_1 = e_1M$ および $V_2 = e_2M$ に分解する。ここで $V_1$ および $V_2$ は $\mathbb{C}(\iota_1)$ 上のベクトル空間である。
• 加法とスカラー乗法が連続となる位相を備えた双複素数体 $\mathbb{T}$ 上の加群として、双複素位相加群を定義する。
• 有界な $\mathbb{T}$-線形作用素を、有界集合を有界集合に写像するものとして特徴づけ、$\mathbb{T}$ 上のノルム $|w| = \sqrt{|z_1|^2 + |z_2|^2}$ を用いる。
• 分解 $x^* = (x^*)_{\hat{1}}e_1 + (x^*)_{\hat{2}}e_2$ を用いて、部分加群 $Y$ 上の汎関数 $y^*$ を $X$ 上の $\mathbb{T}$-線形汎関数 $x^*$ に拡張する方法でハーン＝バナッハ拡張定理を証明する。
• 拡張された汎関数のノルムが $\|x^*\| = \|y^*\|$ を満たすことを示し、複素成分 $V_1$ および $V_2$ における古典的ハーン＝バナッハ定理を用いて、$\|x^*\| = \sqrt{\frac{\|(x^*)_{\hat{1}}\| + \|(x^*)_{\hat{2}}\|}{2}}$ を導出する。
• 双対性恒等式 $\|x\| = \sup_{x^* \in S^*} |x^*(x)|$ を示し、ここで $S^*$ は双対空間 $X^*$ の単位球面である。これは、任意の $x \neq 0$ に対して $\|x^*\| = 1$ かつ $x^*(x) = \|x\|$ を満たす汎関数が存在することを示すことによって達成される。

実験結果

リサーチクエスチョン

• RQ1 双複素数体 $\mathbb{T}$ に零因子が存在するにもかかわらず、一様有界性の原理が双複素位相加群へ拡張可能か？
• RQ2 双複素位相加群間の全単射連続 $\mathbb{T}$-線形写像に対して、開写像定理が成り立つか？
• RQ3 閉グラフ定理は双複素加群へ一般化可能か？ つまり、グラフが閉であることは $\mathbb{T}$-線形作用素の連続性を保証するか？
• RQ4 双複素ノルム加群上の $\mathbb{T}$-線形汎関数に対して、ハーン＝バナッハ拡張定理が成り立つか？ 特に、加群が体ではない場合でも。
• RQ5 双複素ノルム加群におけるベクトルのノルムは、双対空間内の連続汎関数による点評価の絶対値の上界に等しいか？

主な発見

• ハーン＝バナッハ定理は双複素ノルム加群に対しても成立する：$\mathbb{T}$-ノルム加群 $X$ の部分加群 $Y$ 上の連続 $\mathbb{T}$-線形汎関数は、同じノルムを保ったまま $X$ 全体へ拡張可能である。
• 任意の $x \in X$ が閉部分加群 $Y$ に属さない場合、$x^*(x) = 1$ かつすべての $y \in Y$ に対して $x^*(y) = 0$ を満たす連続 $\mathbb{T}$-線形汎関数 $x^*$ が存在する。これは分離性の性質を示す。
• 双複素ノルム加群におけるベクトル $x$ のノルムは、$\|x\| = \sup_{x^* \in S^*} |x^*(x)|$ を満たす。ここで $S^*$ は双対空間 $X^*$ の閉単位球面である。これにより双対性恒等式が確立される。
• 任意の非零 $x$ に対して、$\|x^*\| = 1$ かつ $x^*(x) = \|x\|$ を満たす連続 $\mathbb{T}$-線形汎関数 $x^*$ が存在する。これにより双対空間が非自明であることが保証される。
• 拡張された汎関数のノルムは $\|x^*\| = \|y^*\|$ を満たす。これは、汎関数を $\mathbb{C}(\iota_1)$ 上の成分に分解し、それぞれの成分に対して古典的ハーン＝バナッハ定理を適用することで得られる。
• $X$ が非自明な $\mathbb{T}$-ノルム加群である限り、$X$ 上の連続 $\mathbb{T}$-線形汎関数全体の空間 $X^*$ は非自明である。これは一般に $F$-加群では成り立たないが、$\mathbb{T}$ 上では成り立つ。