On the Construction of Large Algebras Not Contained in the Image of the Borel Map
AbstractThe Borel map $$j^{\infty }$$j∞ takes germs at 0 of smooth functions to the sequence of iterated partial derivatives at 0. It is well known that the restriction of $$j^{\infty }$$j∞ to the germs of quasianalytic ultradifferentiable classes which are strictly containing the real analytic functions can never be onto the corresponding sequence space. In a recent paper the authors have studied the size of the image of $$j^{\infty }$$j∞ by using different approaches and worked in the general setting of quasianalytic ultradifferentiable classes defined by weight matrices. The aim of this paper is to show that the image of $$j^{\infty }$$j∞ is also small with respect to the notion of algebrability and we treat both the Cauchy product (convolution) and the pointwise product. In particular, a deep study of the stability of the considered spaces under the pointwise product is developed.