[Paper Review] 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 Analysis5 references17 citations

TL;DR

This paper extends the fundamental theorems of functional analysis—uniform boundedness, open mapping, closed graph, and Hahn-Banach—to the framework of bicomplex topological modules. It establishes that continuous $δ$-linear functionals on bicomplex normed modules satisfy key duality properties, including norm-preserving extensions and a representation of the norm via the supremum of point evaluations, generalizing classical results to non-field rings with zero divisors.

ABSTRACT

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

Motivation & Objective

• To generalize classical functional analysis theorems to bicomplex topological modules, which are modules over the ring of bicomplex numbers $τ$.
• To address the challenge that $τ$ is not a field and contains zero divisors, making standard functional analysis tools inapplicable.
• To establish a duality theory for bicomplex normed modules by extending the Hahn-Banach theorem to $τ$-linear functionals.
• To prove that the norm of a vector in a bicomplex normed module equals the supremum of absolute values of its evaluations by continuous functionals in the dual space.

Proposed method

• Represent bicomplex numbers using the idempotent basis $e_1 = \frac{1+j}{2}$, $e_2 = \frac{1-j}{2}$, decomposing any bicomplex module $M$ into two complex vector spaces $V_1 = e_1M$ and $V_2 = e_2M$ over $\mathbb{C}(\iota_1)$.
• Define bicomplex topological modules as modules over the ring $\mathbb{T}$ of bicomplex numbers with a topology making addition and scalar multiplication continuous.
• Characterize bounded $\mathbb{T}$-linear operators as those mapping bounded sets to bounded sets, and use the norm $|w| = \sqrt{|z_1|^2 + |z_2|^2}$ on $\mathbb{T}$.
• Prove the Hahn-Banach extension theorem by constructing a $\mathbb{T}$-linear functional $x^*$ on $X$ that extends a functional $y^*$ on a submodule $Y$, using the decomposition $x^* = (x^*)_{\hat{1}}e_1 + (x^*)_{\hat{2}}e_2$.
• Show that the norm of the extended functional satisfies $\|x^*\| = \|y^*\|$, leveraging the Hahn-Banach theorem on the complex components $V_1$ and $V_2$, and derive $\|x^*\| = \sqrt{\frac{\|(x^*)_{\hat{1}}\| + \|(x^*)_{\hat{2}}\|}{2}}$.
• Establish the duality identity $\|x\| = \sup_{x^* \in S^*} |x^*(x)|$, where $S^*$ is the unit sphere in the dual space $X^*$, by showing that for any $x \neq 0$, there exists a functional with $\|x^*\| = 1$ and $x^*(x) = \|x\|$.

Experimental results

Research questions

• RQ1 Can the principle of uniform boundedness be extended to bicomplex topological modules despite the presence of zero divisors in $\mathbb{T}$?
• RQ2 Does the open mapping theorem hold for surjective continuous $\mathbb{T}$-linear maps between bicomplex topological modules?
• RQ3 Can the closed graph theorem be generalized to bicomplex modules, ensuring that closed graphs imply continuity of $\mathbb{T}$-linear operators?
• RQ4 Is there a Hahn-Banach extension theorem for $\mathbb{T}$-linear functionals on bicomplex normed modules, even when the module is not a field?
• RQ5 Does the norm of a vector in a bicomplex normed module equal the supremum of absolute values of its evaluations by continuous functionals in the dual space?

Key findings

• The Hahn-Banach theorem holds for bicomplex normed modules: every continuous $\mathbb{T}$-linear functional on a submodule $Y$ of a $\mathbb{T}$-normed module $X$ can be extended to a continuous $\mathbb{T}$-linear functional on $X$ with the same norm.
• For any $x \in X$ not in the closed submodule $Y$, there exists a continuous $\mathbb{T}$-linear functional $x^*$ such that $x^*(x) = 1$ and $x^*(y) = 0$ for all $y \in Y$, proving a separation property.
• The norm of a vector $x$ in a $\mathbb{T}$-normed module satisfies $\|x\| = \sup_{x^* \in S^*} |x^*(x)|$, where $S^*$ is the closed unit sphere in the dual space $X^*$, establishing a duality identity.
• For any non-zero $x$ in a $\mathbb{T}$-normed module $X$, there exists a continuous $\mathbb{T}$-linear functional $x^*$ with $\|x^*\| = 1$ and $x^*(x) = \|x\|$, ensuring the dual space is non-trivial.
• The norm of the extended functional satisfies $\|x^*\| = \|y^*\|$, where $y^*$ is the restriction of $x^*$ to a submodule $Y$, by decomposing the functional into components over $\mathbb{C}(\iota_1)$ and applying the classical Hahn-Banach theorem to each component.
• The space $X^*$ of continuous $\mathbb{T}$-linear functionals on $X$ is non-trivial for any non-trivial $\mathbb{T}$-normed module $X$, even though this is not generally true for $F$-modules over $\mathbb{T}$.