The splitting relation for Köthe spaces
type: Item
instance of: scholarly article
title: The splitting relation for Köthe spaces
zbMATH Open document ID: 0586.46005
DOI: 10.1007/BF01215139
author: Jörg Krone
author: Dietmar Vogt
published in: Mathematische Zeitschrift
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/173634
review text: The paper gives a complete characterization in terms of a condition on the defining matrices \(A=(a_{\nu,n})\), \(B=(b_{j,k})\) of those pairs (\(\lambda\) (A),\(\lambda\) (B)) of Köthe spaces, for which \(Ext^ 1(\lambda (A),\lambda (B))=0,\) i.e. every exact sequence \[ 0\to \lambda (A)\to F\to \lambda (B)\to 0 \] of Fréchet spaces splits. If \(\lambda (A)\not\cong \ell^ 1\) the condition can be stated as follows: \[ (S^*)\quad \forall \mu \exists n_ 0,k \forall K,m \exists n,S \forall \nu,j:\frac{a_{\nu,m}}{b_{j,k}}\leq S \max (\frac{a_{\nu,n}}{b_{j,K}},\frac{a_{\nu,n_ 0}}{b_{j,\mu}}). \] Remark: The first line in the proof of Prop. 1.5. is erroneous. Hence one has to assume \[ (S^*)_ 0\quad \forall \mu \exists n_ 0,k \forall K,m,R>0 \exists n,S \forall \nu,j:\frac{a_{\nu,m}}{b_{j,k}}\leq \max (S\frac{a_{\nu,n}}{b_{j,K}},\frac{1}{R}\frac{a_{\nu,n_ 0}}{b_{j,\mu}}) \] there and \(\lambda (A)\not\cong \ell^ 1\) in Theorem 1.1. By use of 1.5, 1.7, 1.2 and of \textit{A. E. Merzon}, Funkts. Anal. Prilozh. 6, 91-92 (1972; Zbl 0282.46002) one obtains: Theorem: \(Ext^ 1(\lambda (A),\lambda (B))=0\) if and only if (\(\lambda\) (A),\(\lambda\) (B)) satisfy \((S^*)_ 0.\) Condition \((S^*)\) is shown to be equivalent to a condition used by \textit{A. Grothendieck} for the characterization of topological properties of tensorproducts of (F)- and (DF)-spaces [Chap. II, {\S} 4 in Mem. Am. Math. Soc. 16 (1955; Zbl 0064.355)]. Taking up his investigation it is shown (assuming \(\Lambda\) (A) to be a Schwartz space) that \((S^*)\) is equivalent to each of the following properties: \(L_ b(\lambda (A),\lambda (B))\) is bornological (barrelled, quasibarrelled), the strong dual of \(L_ b(\lambda (A),\lambda (B))\) is quasicomplete.
Mathematics Subject Classification ID: 46A45
Mathematics Subject Classification ID: 46A22
Mathematics Subject Classification ID: 46A08
zbMATH DE Number: 3939964
zbMATH Keywords: splitting relation
zbMATH Keywords: Köthe spaces
zbMATH Keywords: exact sequence
zbMATH Keywords: Fréchet spaces
zbMATH Keywords: Schwartz space
MaRDI profile type: Publication
cites work: Q3310365
cites work: The structure of nuclear Frechet spaces
cites work: Twisted sums of nuclear Fréchet spaces
cites work: Consequences of the existence of a non-compact operator between nuclear Köthe spaces
cites work: Tameness of Pairs of Nuclear Power Series Spaces and Related Topics
cites work: Q5516366
cites work: Frécheträume, zwischen denen jede stetige lineare Abbildung beschränkt ist.
cites work: Q3496757
cites work: Quotientenräume von stabilen Potenzreihenräumen endlichen Typs
description: scientific article; zbMATH DE number 3939964