On the complementation of spaces of $\mathcal I$-null sequences

Abstract

We study the complementation (in $\ell_\infty$) of the Banach space $c_{0,\mathcal{I}}$, consisting of all bounded sequences $(x_n)$ that $\mathcal{I}$-converge to $0$, endowed with the supremum norm, where $\mathcal{I}$ is an ideal of subsets of $\mathbb{N}$. We show that the complementation of these spaces is related to a condition requiring that the ideal is the intersection of a countable family of maximal ideals, which we refer to as $ω$-maximal ideals. We prove that if $c_{0,\mathcal{I}}$ admits a projection satisfying a certain condition, then $\mathcal{I}$ must be a special type of $ω$-maximal ideal. Additionally, we characterize when the quotient space $c_{0,\mathcal{J}} / c_{0,\mathcal{I}}$ is finite-dimensional for two ideals $\mathcal{I} \subsetneq \mathcal{J}$.

Theorems & Definitions (72)

• Theorem 2.1: Jalali-Naini, Talagrand jalalitalagrand
• Lemma 2.2
• Lemma 2.3
• Proposition 3.1
• proof
• Lemma 3.2
• proof
• Proposition 3.3
• Theorem 3.4
• proof