[Paper Review] Topological structures in Colombeau algebras: topological $\widetilde{\C}$-modules and duality theory

Claudia Garetto|ArXiv.org|Jul 1, 2004

Mathematical and Theoretical Analysis30 references3 citations

TL;DR

This paper establishes a foundational topological framework for modules over the ring of complex generalized numbers $\widetilde{\mathbb{C}}$, introducing $\widetilde{\mathbb{C}}$-linear and locally convex topologies via ultra-pseudo-seminorms. It develops duality theory for topological $\widetilde{\mathbb{C}}$-modules, proving completeness of the dual space under the strong topology and characterizing bounded sets via norm and weak topologies, with applications to Colombeau algebras of generalized functions.

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

Motivation & Objective

• To develop a topological theory for modules over the ring $\widetilde{\mathbb{C}}$ of complex generalized numbers.
• To introduce $\widetilde{\mathbb{C}}$-linear and locally convex topologies using ultra-pseudo-seminorms.
• To establish duality theory for topological $\widetilde{\mathbb{C}}$-modules, including weak, strong, and bounded topology on the dual space.
• To apply the theory to Colombeau algebras of generalized functions, particularly $\mathcal{G}_E$ and $\mathcal{G}_{E'}$.
• To characterize bounded sets in $\mathcal{G}_E$ using norm and weak topologies, proving equivalence under completeness.

Proposed method

• Introduce $\widetilde{\mathbb{C}}$-absorbent, balanced, and convex subsets to define $\widetilde{\mathbb{C}}$-linear topologies on $\widetilde{\mathbb{C}}$-modules.
• Define locally convex $\widetilde{\mathbb{C}}$-linear topologies via families of ultra-pseudo-seminorms, generalizing seminorm-based topologies in classical functional analysis.
• Characterize continuity of $\widetilde{\mathbb{C}}$-linear maps via uniform estimates between ultra-pseudo-seminorms.
• Construct the dual space $\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}})$ and equip it with three topologies: weak $\sigma$, strong $\beta$, and bounded $\beta_b$.
• Use the Banach-Steinhaus theorem in the $\widetilde{\mathbb{C}}$-linear setting to prove completeness of the dual under the strong topology.
• Apply the theory to Colombeau algebras $\mathcal{G}_E$ and $\mathcal{G}_{E'}$ by lifting topologies from the base space $E$ via representative nets.

Experimental results

Research questions

• RQ1 How can a topological structure be defined on $\widetilde{\mathbb{C}}$-modules using ultra-pseudo-seminorms?
• RQ2 What are the conditions under which the dual space $\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}})$ is complete under the strong topology?
• RQ3 How do bounded sets in $\mathcal{G}_E$ relate to the weak and norm topologies?
• RQ4 Can the Hahn-Banach theorem be extended to $\widetilde{\mathbb{C}}$-modules to construct functionals with prescribed values?
• RQ5 What is the relationship between the sharp topology induced by $\|\cdot\|_{\mathcal{G}_E}$ and the weak topology $\sigma(\mathcal{G}_E, \mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}))$?

Key findings

• The dual space $\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}})$ is complete under the strong topology $\beta(\mathcal{L}(\mathcal{G}, \widetilde{\mathbb{C}}), \mathcal{G})$ when $\mathcal{G}$ is a locally convex topological $\widetilde{\mathbb{C}}$-module.
• A $\widetilde{\mathbb{C}}$-linear version of the Banach-Steinhaus theorem holds, ensuring uniform boundedness of pointwise bounded families of continuous $\widetilde{\mathbb{C}}$-linear functionals.
• For any $u \in \mathcal{G}_E$, there exists $v \in \mathcal{G}_{E'}$ with $\|v\|_{\mathcal{G}_{E'}} = 1$ such that $v(u) = \|u\|_E$, demonstrating the existence of norm-attaining functionals.
• The equality $\|u\|_{\mathcal{G}_E} = \sup_{\|v\|_{\mathcal{G}_{E'}}=1} |v(u)|_e$ holds for all $u \in \mathcal{G}_E$, showing isometric embedding into the dual of $\mathcal{G}_{E'}$.
• A subset $A \subseteq \mathcal{G}_E$ is $\|\cdot\|_{\mathcal{G}_E}$-bounded if and only if it is $\sigma(\mathcal{G}_E, \mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}}))$-bounded, establishing equivalence of boundedness under norm and weak topologies.
• The topology $\tau$ of the ultra-pseudo-norm $\|\cdot\|_{\mathcal{L}(\mathcal{G}_E, \widetilde{\mathbb{C}})}$ satisfies $\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)$, refining the duality structure.