# zbMATH — the first resource for mathematics

Simultaneous smoothing and interpolation with respect to E. Borel’s theorem. (English) Zbl 0781.46002
The following tame splitting theorem for short exact sequences of Fréchet spaces is proved: Every tamely exact sequence of the form $0 \longrightarrow E \longrightarrow G\longrightarrow \Lambda^ 1_ \infty(\alpha) \longrightarrow 0$ splits tamely if $$E$$ satisfies a condition called $$(\Omega DS)$$ which is slightly stronger than property $$(\Omega)$$ in standard form introduced by D. Vogt und M. J. Wagner; here $$\Lambda^ 1_ \infty(\alpha)$$ denotes a power series space of infinite type. In contrast to known results, the above theorem needs neither nuclearity nor the assumption that the seminorms are induced by semiscalar products. The proof is based on a result which combines a classical theorem of E. Borel with the technique of smoothing a function by convolution; this result is used for a verification of a technical condition due to D. Vogt which is sufficient for a time version of $$\text{Proj}^ 1 {\mathcal X}=0$$ in the sense of the projective limit functor of V. P. Palamodov.

##### MSC:
 46A04 Locally convex Fréchet spaces and (DF)-spaces
Full Text:
##### References:
 [1] E. Borel, Sur quelques points de la th?orie des fonctions. Ann. Sci. ?cole Norm. Sup. (4)12, 9-55 (1895). · JFM 26.0429.03 [2] E. Dubinsky andD. Vogt, Bases in complemented subspaces of power series spaces. Bull. Polon. Acad. Sci. Math.34, 65-67 (1986). · Zbl 0649.46019 [3] E. Dubinsky andD. Vogt, Complemented subspaces in tame power series spaces. Studia Math.93, 71-85 (1989). · Zbl 0694.46003 [4] R. S. Hamilton, The inverse function theorem of Nash and Moser. Bull. Amer. Math. Soc.7, 65-222 (1982). · Zbl 0499.58003 [5] L. H?rmander, The boundary problems of physical geodesy. Arch. Rational Mech. Anal.62, 1-52 (1976). · Zbl 0331.35020 [6] L.H?rmander, The Analysis of Linear Partial Differential Operators I. Grundlehren der mathem. Wissensch.256, Berlin-Heidelberg-New York-Tokyo 1983. [7] G.K?the, Topological vector spaces I. Berlin-Heidelberg-New York 1983. [8] G.K?the, Topological vector spaces II. Berlin-Heidelberg-New York 1979. [9] S. Lojasiewicz Jr. andE. Zehnder, An Inverse Function Theorem in Fr?chet-Spaces. J. Funct. Anal.33, 165-174 (1979). · Zbl 0431.46032 [10] B. S. Mityagin, An infinitely differentiable function with the values of its derivatives given at a point. Soviet Math. Dokl.2, 594-597 (1961), Translation from Dokl. Akad. Nauk SSSR138, 289-292 (1961). · Zbl 0132.28802 [11] J. Moser, A new technique for the construction of solution of nonlinear differential equations. Proc. Nat. Acad. Sci. U.S.A.47, 1824-1831 (1961). · Zbl 0104.30503 [12] K. Nyberg, A tame splitting Theorem for K?the spaces. Arch. Math.52, 471-481 (1989). · Zbl 0639.46001 [13] V. P. Palamodov, The projective limit functor in the category of linear topological spaces (Russian). Mat. Sb.75, 567-603 (1968), English Translation in: Math. USSR-Sb.4, 529-558 (1968). · Zbl 0175.41801 [14] V. P. Palamodov, Homological methods in the theory of locally convex spaces (Russian). Uspekhi Mat. Nauk261, 3-66 (1971), English Translation in: Russian Math. Surveys26, 1-64 (1971). [15] M. Poppenberg, Characterization of the subspaces of (s) in the tame category. Arch. Math.54, 274-283 (1990). · Zbl 0663.46003 [16] M. Poppenberg, Characterization of the quotient spaces of (s) in the tame category. Math. Nachr.150, 127-141 (1991). · Zbl 0778.46012 [17] M. Poppenberg, A sufficient condition of type (?) for tame splitting of short exact sequences of Fr?chet spaces. Manuscripta Math.72, 257-274 (1991). · Zbl 0779.46001 [18] M.Poppenberg and D.Vogt, A Tame Splitting Theorem for Exact Sequences of Fr?chet Spaces. Preprint. · Zbl 0823.46002 [19] F. Sergeraert, Un th?or?me de fonctions implicites sur certains espaces de Fr?chet et quelques applications. Ann. Sci. ?cole Norm. Sup. (4)5, 599-660 (1972). · Zbl 0246.58006 [20] H. S.Shapiro, Smoothing and approximation of functions. New York 1969. · Zbl 0194.09101 [21] D. Vogt, Charakterisierung der Unterr?ume vons. Math. Z.155, 109-117 (1977). · Zbl 0337.46015 [22] D. Vogt, Tame spaces and power series spaces. Math. Z.196, 523-536 (1987). · Zbl 0622.46004 [23] D. Vogt, Power series space representations of nuclear Fr?chet spaces. Trans. Amer. Math. Soc.319, 191-208 (1990). · Zbl 0724.46007 [24] D.Vogt, Interpolation of nuclear operators and a splitting Theorem for exact sequences of Fr?chet spaces. Preprint. [25] D.Vogt, Tame splitting pairs. Preprint. · Zbl 0886.46001 [26] D.Vogt, Operators between Fr?chet spaces. Preprint. [27] D. Vogt, On two classes of (F)-spaces. Arch. Math.45, 255-266 (1985). · Zbl 0621.46001 [28] D.Vogt, Lectures on Projective Spectra on (DF)-Spaces. Seminar Lectures, AG Funktionalanalysis D?sseldorf/Wuppertal 1987. [29] D.Vogt, Topics on Projective Spectra of (LB)-spaces. In: Advances in the Theory of Fr?chet spaces. Proceedings of the NATO Advanced Research Workshop in Istanbul, August 15-19, 1988, T. Terzioglu (ed.), NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci.287, 11-27 (1989). [30] D. Vogt undM. J. Wagner, Charakterisierung der Quotientenr?ume vons und eine Vermutung von Martineau. Studia Math.67, 225-240 (1980). · Zbl 0464.46010 [31] E. Zehnder, Generalized Implicit Function Theorems with Applications to Some Small Divisor Problems I. Comm. Pure Appl. Math.28, 91-140 (1975). · Zbl 0309.58006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.