Ideal invariant injections (Q323818)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideal invariant injections |
scientific article |
Statements
Ideal invariant injections (English)
0 references
10 October 2016
0 references
Let \(\omega:=\{0,1,\dots\}\), \(\mathbb{Z}\) stands for the set of all integers, and id is the identity function on \(\omega\). By an ideal \(I\) on \(\omega\) we mean an ideal of subsets of \(\omega\) such that \(\omega\notin I\) and \(\{n\}\in I\) for all \(n\in\omega\). If \(I\) is an ideal on \(\omega\), then \(I^*\) denotes its dual filter \(\{\omega\setminus A:A\in I\}\). In this paper, the authors work with injections from \(\omega\) to \(\omega\). The set of all such injections is denoted by \(\mathbf{Inj}\). Fix an ideal \(I\) on \(\omega\) and let \(f\in \mathbf{Inj}\). They say that \(f\) is \(I\)-invariant if \(f[A]\in I\) for all \(A\in I\). And \(f^{-1}\) is \(I\)-invariant if \(f^{-1}[A]\in I\) for all \(A\in I\). If \(f\) and \(f^{-1}\) are \(I\)-invariant, then \(f\) is called bi-\(I\)-invariant. The authors organize the paper as follows. In Section 2, they focus on injections invariant with respect to countably generated ideals. In Section 3, they study injections invariant with respect to maximal ideals. In Section 4, they discuss injections invariant with respect to various ideals induced by submeasures on \(\omega\). They show that every increasing function is invariant with respect to ideals from a large class, however, it is not so for Erdős-Ulam ideals. In Section 5, they characterize increasing injections that are bi-invariant with respect to the classical density ideal \(I_d\) and the summable ideal \(I_{1/n}\). In Section 6, they show some applications of ideal invariant injections to ideal convergence of sequences.
0 references
ideals on \(\omega\)
0 references
ideal invariant injections
0 references
ideal convergence
0 references
0 references
0 references