On the size of certain subsets of invariant Banach sequence spaces (Q890560)

The authors extend recent work of \textit{G. Botelho} and \textit{V. Fávaro} [Mich. Math. J. 64, No. 3, 539--554 (2015; Zbl 1344.46015)] that deals with spaceability (i.e., containment of an infinite-dimensional closed vector space) of certain subsets of so-called invariant sequence spaces. Let \(X\) be a Banach space. We need several definitions. For \(x \in X^\mathbb N\), the point \(x^0\) is equal to either the sequence \((x_j)_{j=1}^\infty\), where \(x_j\) is the \(j^{th}\) non-zero entry in \(x\), or else \(x^0\) is equal to the \(0\)-sequence if there are only finitely many non-zero terms in \(x\). An infinite-dimensional Banach, or quasi-Banach, space \(E\) of \(X\)-valued sequences is an invariant sequence space over \(X\) means that the following two conditions are satisfied: {\parindent=8mm \begin{itemize} \item[(i)] For all \(x \in X^\mathbb N\) satisfying \(x^0 \neq 0\), \(x \in E\) if and only if \(x^0 \in E\) and there is a constant \(K(E)\) such that \(\|x\| \leq K(E) \|x^0\|\). \item [(ii)] For all \(j \in \mathbb N\) and all \(x = (x_j) \in E,\;\|x_j\| \leq \|x\|\). \end{itemize}} Further, \(E\) is said to be a strongly invariant sequence space over \(X\) if, in addition, we have the following:{\parindent=8mm \begin{itemize} \item[(iii)] \(c_{00}(X) \subset E\).\item [(iv)] A sequence \((x_j)_{j=1}^\infty \in E\) if and only if all subsequences of \((x_j)\) are also in \(E\). \end{itemize}} Also, for Banach spaces \(X\) and \(Y\), an arbitrary set \(\Gamma\), \(E\) an invariant sequence space over \(X\), invariant sequence subspaces \(\{E_\gamma,\;\gamma \in \Gamma\}\) over \(Y\), and a function \(f:X \to Y\), let \[ G(E,f,(E_\gamma)_{\gamma \in \Gamma}) \equiv \{ (x_j)_{j=1}^\infty \in E \;| \;(f(x_j))_{j=1}^\infty \notin \bigcup_{\gamma \in \Gamma} E_\gamma\}. \] A typical result is the following Theorem: Let \(X, Y, \Gamma, E\), and \(E_\gamma\) be as above, with \(E\) being an invariant sequence space over \(X\) and \(E_\gamma\) being a strongly invariant sequence space over \(Y\) (\(\gamma \in \Gamma)\). Let \(f:X \to Y\) satisfy the following condition: \[ (f(x_j))_{j=1}^\infty \notin E_\gamma \Rightarrow (f(ax_j))_{j=1}^\infty \notin E_\gamma \;(\gamma \in \Gamma), \;\text{for\;all \;non-zero\;scalars \;} a. \] Then \(G(E,f,(E_\gamma)_{\gamma \in \Gamma})\) is either empty or spaceable. A number of examples and similar results are given.