On Banach space norms for \({\mathcal{I}}\)-bounded sequences and their quotient (Q6166181): Difference between revisions

A family of subsets closed under forming finite unions and subsets that contains the family of finite sets and does not contain all subsets of $\mathbb{N}$ is called an \emph{admissible ideal} of subsets of $\mathbb{N}$, and is denote by $\mathcal{I}$. A real-valued sequence $x = (x_k)$ is said to be $\mathcal{I}$-bounded if there is an $M > 0$ such that the set $\{k : |x_k| > M\}\in \mathcal{I}$, and is said to be $\mathcal{I}$-convergent to zero if the set $\{k : |x_k| > M\}\in \mathcal{I}$ for all $M > 0$. Denote by $l_\infty(\mathcal{I})$ and $c_0(\mathcal{I})$ the collections of $\mathcal{I}$-bounded sequences and of sequences $\mathcal{I}$-convergent to zero, respectively. In this paper, the authors show that the quotient space $l_\infty(\mathcal{I})/c_0(\mathcal{I})$ is a Banach space with respect to the $\mathcal{I}$-$\limsup$ norm, but $l_\infty(\mathcal{I})$ need not be a Banach space.