Strongly summable sequences defined over real -normed spaces.
There is a curious phenomenon in the theory of Gevrey asymptotic expansions. In general the asymptotic formal power series is divergent, but there is some partial sum which approaches the value of the function very well. In this note we prove that there exists a truncation of the series which comes near the function in an exponentially flat way.
Nuclear groups form a class of abelian topological groups which contains LCA groups and nuclear locally convex spaces, and is closed with respect to certain natural operations. In nuclear locally convex spaces, weakly summable families are strongly summable, and strongly summable are absolutely summable. It is shown that these theorems can be generalized in a natural way to nuclear groups.