The Hahn-Banach theorem in spaces of nonlinear generalized functions

Abstract

In this paper, we establish a suitable version of the Hahn-Banach theorem within the framework of Colombeau spaces, a class of spaces used to model generalized functions. Our approach addresses the case where maps are defined $\epsilon$-wise, which simplifies the framework and makes the extension of linear functionals more manageable. As an application of our main result, we demonstrate the separation of convex sets in Colombeau spaces.

arXiv commentManuscript submitted to Transactions of the American Mathematical Society