The \(\ell_1\)-dichotomy theorem with respect to a coideal
type: Item
instance of: scholarly article
title: The \(\ell_1\)-dichotomy theorem with respect to a coideal
zbMATH Open document ID: 1395.40001
author: Vassiliki Farmaki
author: Andreas Mitropoulos
published in: Real Analysis Exchange
publication date: 2018-03-12T00:00:00Z
review text: An ideal \(\mathcal{I}\) on \(\mathbb{N}\) is a family of subsets of \(\mathbb{N}\) closed under taking finite unions and subsets of its elements. Assume, moreover, that \(\mathcal{I}\) is proper (\(\mathbb{N}\notin\mathcal{I}\)) and contains all finite sets. If \(\mathcal{I}\) is an ideal, then the family \(\mathcal{P}\setminus\mathcal{I}\) is called a coideal. A family \(\mathcal{B}\) is a coideal basis on \(\mathbb{N}\) if the family \(\mathcal{L}_\mathcal{B}=\{ A\subset \mathbb{N}: \text{ there exists }B\in\mathcal{B} \text{ with } B\subset A\}\) is a coideal. The paper under review consists of an introduction and three sections. In the first section, the authors define and examine three properties of a coideal basis: Ramsey-likeness, selectivity and semiselectivity. For example, a coideal basis \(\mathcal{B}\) is Ramsey if for every \(n,r\in\mathbb{N}\) and for every \(A\in\mathcal{L}_\mathcal{B}\) with \([A]^n=C_1\cup\ldots\cup C_r\), there exist \(B\in\mathcal{B}\), \(B\subset A\) and \(1\leq i \leq r\) such that \([B]^n\subset C_i\). In the next section, the authors introduce, for a given coideal basis \(\mathcal{B}\), the notions of a \(\mathcal{B}\)-sequence, a \(\mathcal{B}\)-subsequence and a \(\mathcal{B}\)-convergent sequence in a metric space. A \(\mathcal{B}\)-sequence in \(X\) is a function \(a:A\to X\), where \(A\in\mathcal{L}_\mathcal{B}\). A \(\mathcal{B}\)-sequence \(\{ x_n\}_{n\in B}\) is called a \(\mathcal{B}\)-subsequence of \(\{ x_n\}_{n\in A}\) if \(B\subset A\). A \(\mathcal{B}\)-sequence \(\{ x_n\}_{n\in B}\) \(\mathcal{B}\)-converges to \(x\in X\) if for every \(\varepsilon>0\) the set \(\{ n\in B: \varrho(x_n,x)\geq\varepsilon\}\) is small, i.e., does not belong to \(\mathcal{L}_\mathcal{B}\). The following version of the Bolzano-Weierstrass theorem is proven: If \(\mathcal{B}\) is a Ramsey coideal basis, then every bounded \(\mathcal{B}\)-sequence of real numbers has a \(\mathcal{B}\)-convergent subsequence. In the last section, the a…
reviewed by: Tomasz Natkaniec
Mathematics Subject Classification ID: 40A35
Mathematics Subject Classification ID: 54A20
Mathematics Subject Classification ID: 54C30
zbMATH DE Number: 6848945
zbMATH Keywords: \(\ell_1\)-dichotomy theorem
zbMATH Keywords: coideal
zbMATH Keywords: coideal basis
zbMATH Keywords: selective coideal
zbMATH Keywords: semiselective coideal
zbMATH Keywords: Ramsey coideal
zbMATH Keywords: coideal convergence
zbMATH Keywords: Bolzano-Weierstrass theorem
MaRDI profile type: Publication
Recommended article: Q4874624
Recommended article: Q4228102
Recommended article: Q5423349
Recommended article: Cofiniteness with respect to ideals of dimension one
Recommended article: Cofinalities of Borel ideals
Recommended article: Q4827554
Recommended article: Cofiniteness with respect to two ideals and local cohomology
Recommended article: Q5239781
Recommended article: A Proper Mapping Theorem for coadmissible D-cap-modules
Recommended article: \(\mathcal{M}\)-coextensive objects and the strict refinement property
description: scientific article; zbMATH DE number 6848945