Thinnable ideals and invariance of cluster points (Q1627602)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Thinnable ideals and invariance of cluster points |
scientific article |
Statements
Thinnable ideals and invariance of cluster points (English)
0 references
30 November 2018
0 references
It is well known from the result of \textit{R. C. Buck} [Bull. Am. Math. Soc. 50, 395--397 (1944; Zbl 0060.15804)] that the set of ordinary limit points of ``almost every'' subsequence of a real valued sequence \(x=(x_n)\) coincides with the set of ordinary limit points of the original sequence, in the sense of Lebesgue measure. If the limiting method changes, the above fact will change dramatically. In this paper the analogue result is proved for ideal cluster points of real valued sequences. \par For this purpose, the author defines a new class of ideals on the positive integers which are called thinnable ideals. They include several well-known ideals such as the collection of sets with zero asymptotic density, sets with zero logarithmic density and several summable ideals. The author also gives some new examples of thinnable ideals. For instance: All ideals \(\mathcal{I}_{\alpha}\) are thinnable where \(\mathcal{I}_{\alpha}:=\{S\subset \mathbb{N}:d^{*}_{\alpha}(S)=0\}\). Also, the Pólya ideal \(\mathcal{I}_{{p}}\) is thinnable. \par Denote by \({\Gamma}_{x}(\mathcal{I})\) the set of \(\mathcal{I}\)-cluster points of \(x\), that is the set of all \(l \in X\) such that \(\{n: x_{n} \in U \}\notin \mathcal{I}\) for all neighborhoods \(U\) of \(l\). \par The main results of the paper are as follows. \par Theorem 3.1: Let \(\mathcal{I}\) be a thinnable ideal and \((x_{n})\) a sequence taking values in a first countable \(X\) where all closed sets are separable. Then \(\lambda (\{w\in (0,1]: \Gamma_{x}(\mathcal{I})=\Gamma_{x \upharpoonright w}(\mathcal{I})\})=1\). \par Theorem 3.5: Let \(\mathcal{I}\) be an invariant ideal and \(x\) a sequence taking values in a topological space. Then \(x \to_{\mathcal{I}} l\) if and only if \( \lambda (\{ w\in (0,1]: x {\upharpoonright} w \to_{\mathcal{I}} l\}) =1 \).
0 references
cluster point
0 references
thinnable ideal
0 references
Erdős-Ulam ideal
0 references
summable ideal
0 references
asymptotic density
0 references
logarithmic density
0 references
statistical convergence
0 references
ideal convergence
0 references