No label defined (Q4263263)

An extension procedure is developed such that: (a) The fields of the reals \(\mathbb{R}\) and complex numbers \(\mathbb{C}\) are extended to rings (with zero divisors) of generalized numbers \(\mathbb{R}_*\) and \(\mathbb{C}_*\), respectively; (b) A given normed complex vector space (or a normed algebra over \(\mathbb{C}\)) \(X\) is extended to a \(\mathbb{C}_*\)-module \(X_*\), i.e. \(X_*\) is a linear space (or algebra) with a scalar product by the elements in \(\mathbb{C}_*\) supplied with a norm-like mapping \(|.|_*\) taking values in \(\mathbb{R}_*\) (rather than in \(\mathbb{R}\)). This mapping is used to define a Hausdorff topology on \(X_*\) (and also on \(\mathbb{C}_*\)). This topology is also expressed in terms of a non-Archimedean metric (generated by a valuation-like function). As an example it is considered the case \(X= C[0,1]\) and it is shown that an operator \(A\) without eigenvalues (and eigenfunctions) in \(X\) has an extension \(A_*\) on \(X_*\) which has eigenvalues in \(\mathbb{C}_*\) and eigenfunctions in \(X_*\). The extension construction presented in the paper is similar (but different) to the procedure for defining Colombeau's generalized functions (as an extension of the \(C^\infty\)-functions). For the entire collection see [Zbl 0918.00026].