No label defined (Q3973178)

[For the entire collection see Zbl 0722.00002.] Let \(B\) be a Banach space and \((a_ i)_{i\in\mathbb{N}}\) an \(M\)-basis, i.e. \([a_ i\); \(i=1,2,\dots]=B\), \(a_ i\not\in[a_ 1,\dots,\hat a_ i,\dots]\) for all \(i\in\mathbb{N}\) and \(\bigcap_{n\in\mathbb{N}}[a_ n,a_{n+1},\dots]=0\); here \([ ]\) indicates the closed linear hull. The set \({\mathcal G}(a_ i)=\{W_ S\); \(W_ S=[a_ j\); \(j\in S]\), \(S\subset\mathbb{N}\}\) is called the geometry of \((a_ i)\). Continuing his investigations [see, e.g., \textit{E. Indurain}, \textit{A. Plans} and \textit{A. Reyes}: ``Notas sobre geometría de sucesiones en espacios de Banach'', Departamento de Mathematicas, Universidad de Extremadura y Universidad de Zaragoza (1987; Zbl 0656.46008)], the author studies the ring properties of \({\mathcal R}=\{W_ S\); \(W_ S\cap W_ T=W_{S\cap T}\) for all \(T\in\mathbb{N}\}\), which coincides with \({\mathcal G}((a_ i))\) iff \((a_ i)\) is regular (a strong \(M\)-basis), since regularity of \((a_ i)\) can be characterized by \(W_ S\cap W_ T=W_{S\cap T}\) for all \(S,T\subset\mathbb{N}\). In this case \({\mathcal R}\) is a complete \(\{\cap,\vee\}\)- ring, where ``\(\vee\)'' is defined by \(W_ S\vee W_ T=\overline {W_ S+W_ T}\). Some of the author's results shall be cited: \({\mathcal R}\) is a \(\cap\)- semiring, which is complete iff \((a_ i)\) is regular (propositions 4 and 5). \(W_ S\in{\mathcal R}\), whenever \((a_ j)_{j\in S}\) is regular, hence \({\mathcal R}':=\{W_ S\): \((a_ j)_{j\in S}\) is regular\(\}\subset{\mathcal R}\), and \({\mathcal R}'\) is a complete \(\cap\)-semiring (proposition 2); also \(W_ S\in{\mathcal R'}\) implies \(W_ T\in{\mathcal R}\) for all \(T\subset S\) (proposition 3). The elements \(W_ S\) of \({\mathcal R}\) can be characterized by each of the following intersection properties: (i) \(W_ S\) is ``modular'', i.e. \(W_ S\cap(W_ T\vee W_{S'})=W_{S\cap T}\vee W_{S'}\) for all \(T\subset\mathbb{N}\) and all \(S'\subset S\) (proposition 6), (ii) \(W_{(\mathbb{N}-S)\cup T}\cap W_ S=W_ T\) for all \(T\subset S\) (proposition 7).