No label defined (Q4397666)

A sequence \((E_n,j_n)_{n\in\mathbb{N}}\) of Fréchet spaces \(E_n\) together with linear continuous injections \(j_n: E_n\to E_{n+ 1}\) is called weakly acyclic if the map \[ j:\bigoplus_{n\in\mathbb{N}} E_n\to \bigoplus_{n\in\mathbb{N}} E_n,\quad j((x_n)_{n\in \mathbb{N}}):= (x_n- j_{n- 1}(x_{n- 1}))_{n\in \mathbb{N}},\quad x_0:= 0, \] is a topological isomorphism onto its range for the weak topology \[ \sigma\Biggl(\bigoplus_{n\in\mathbb{N}} E_n, \prod_{n\in\mathbb{N}} E_n'\Biggr). \] A modification of arguments of \textit{D. Vogt} [Progr. Funct. Anal. 57-84 (1992; Zbl 0779.46005)] is used to prove that \((E_n,j_n)_{n\in \mathbb{N}}\) is weakly acyclic if it satisfies the condition \((M_0)\) of \textit{V. S. Retakh} [Sov. Math. Dokl. 11, 1384-1386 (1970; Zbl 0213.12504)]. Moreover, for a class of (LB)-spaces of Moscatelli type, weak acyclicity and \(s\)-weak acyclicity (a slightly stronger variant) are characterized. The characterization shows that these notions are in fact different. For the entire collection see [Zbl 0833.00014].