Weak sequential completeness of \(\beta\)-duals (Q1360215): Difference between revisions

Let \(\omega\) be the vector space of all (real or complex) sequences and \(\varphi\) its vector subspace of all finite sequences. A sequence \((k_v)\) of natural numbers is said to be an index sequence if \(k_v< k_{v+1}\) \((v\in\mathbb{N})\). A sequence \((y^{(n)})\), \(n\in\mathbb{N}\), of non-zero sequences from \(\omega\) is a block sequence if there exists an index sequence \((k_j)\), \(j\in\mathbb{N}\), such that \[ y^{(n)}= (0,0,\dots, 0,y^{(n)}_{k_{n-1}+ 1},\dots, y^{(n)}_{k_n}, 0,0,\dots)= \sum^{k_n}_{j= k_{n-1}+1} y^{(n)}_j e^{(j)}, \] where \(e^{(j)}= (0,0,\dots, 0,1,0,\dots)\) with \(1\) in the \(j\)th place. In his paper ``Sequential completeness and spaces with the gliding humps property'' [Manuscr. Math. 66, No. 3, 237-252 (1990; Zbl 0713.46009)], \textit{D. Noll} introduced the notion of the weak gliding humps property for a sequence space \(X\) containing \(\varphi\). \(X\) is said to have the weak gliding humps property (WGHP) if, given any \(x\in X\) and any block sequence \((x^{(k)})\) such that \(x= \sum_i x^{(i)}\) (pointwise sum), every sequence \((n_k)\) of integers admits a subsequence \((m_k)\) such that \(\widetilde x=\sum_k x^{(m_k)}\in X\) (pointwise sum). In the paper mentioned above, D. Noll proved that the \(\beta\)-dual \(X^\beta\) of a sequence space \(X\) which contains \(\varphi\) and has the WGHP is \(\sigma(X^\beta, X)\) sequentially complete, i.e. every \(\sigma(X^\beta,X)\)-Cauchy sequence converges to an element of \(X^\beta\). In the present paper, the author considers real sequence spaces and works on the following program: At first he states and proves, in the setting of Abelian topological groups, a generalization of the basic matrix theorem of Antosik and Mikusinski (Theorem 3.2). Then he generalizes Noll's definition of WGHP by introducing the notion of the signed weak gliding hump property (signed WGHP). A sequence space \(X\) containing \(\varphi\) has the signed WGHP if, given any \(x\in X\) and any disjoint sequence \((I_n)\) of finite subintervals of \(\mathbb{N}\), there exists a subsequence \((I_{n(k)})\) and a choice of signs \((s_k)\in \{-1,1\}^{\mathbb{N}}\) such that the coordinatewise sum \(\sum_k s_kC_{I_{n(k)}}x\in X\). (\(C_A\) denotes the characteristic function of \(A\)). The author remarks that many sequence spaces have the signed WGHP and gives the example of the sequence space \[ bs= \Biggl\{(x_j): \sup_n\Biggl|\sum_{j\leq n} x_j\Biggr|< \infty\Biggr\} \] which has the signed WGHP but not the WGHP. Finally, using Theorem 3.2., the author states and proves his main result in the paper which is the following generalization of the above-mentioned Noll's result. Let \(E\) be a sequence space containing \(\varphi\) and having the signed WGHP. Then \(E^\beta\) is \(\sigma(E^\beta, E)\) sequentially complete (Theorem 3.5.).