Powers of symmetric sequence ideals (Q1683427)

The author considers symmetric sequence ideals \(\mathfrak a\) as those subspaces of \(\ell_\infty\) satisfying that, if \(s\in \mathfrak a\) and \(a_l(t)\leq a_l(s)\), then \(t\in \mathfrak a\), where \(a_l(s)=\inf_{|F|<l}\sup_{n\in F}|\sigma_n|\) is the \(l\)-th approximation number of the sequence . The cases \(\mathfrak a=\{0\}\) and \(\mathfrak a=\ell_\infty\) are excluded. The terminology quasi-normed ( quasi-Banach) symmetric sequence ideal refers to the fact that one has quasi-norm (complete) \(s\to \|s|\mathfrak a\|\) on \(\mathfrak a\). Different notions are introduced in such a setting. First, he deals with products of ideals, meaning \(\mathfrak a\circ \mathfrak b= \{st: s\in \mathfrak a, t\in \mathfrak b\}\), which becomes a quasi-Banach symmetric sequence ideal whenever \(\mathfrak a\) and \(\mathfrak b\) are and with the quasi-norm given by \(\|z|\mathfrak a\circ \mathfrak b\|=\inf\{\|s|\mathfrak a\|\|t|\mathfrak b\|: z=st\}.\) This concept allows him to observe that \(c_0\) is the only idempotent quasi-Banach symmetric sequence ideal. Also, he consider \(p\)-th powers of ideals using the definition \(\mathfrak a^p=\{s: |s|^{1/p}\in \mathfrak a\}\), where \(\|s|\mathfrak a^p\|= \||s|^{1/p}|\mathfrak a\|^p\) gives a quasi-norm in the space. Properties such as \((\mathfrak a^p)^q= \mathfrak a^{pq}\) or \(\mathfrak a^p\circ \mathfrak a^q= \mathfrak a^{p+q}\) are shown. The author observes that the scale \(\mathfrak a^p\) is either proper, that is, \(\mathfrak a^{p_1}\neq \mathfrak a^{p_2}\) for \(p_1\neq p_2\), or idempotent, that is, \(\mathfrak a^{p}\) coincide for all \(p>0\), and considers, for \(r>1\) the Mazur homeomorphism \(U_r: s\to s |s|^{r-1}\) as a mapping from \(\mathfrak a^p\to \mathfrak a^q\) for \(p<q\) and \(r=q/p\). Concepts such as principal symmetric sequence ideals, meaning the smallest symmetric sequence ideal containing a fixed sequence \(x=(\xi_n)\) and the normed (or normable) part given by the set of values \(r>0\) such that \(\|\cdot|\mathfrak a^r\|\) is a norm (or equivalent) to a norm are also analyzed in the paper.