Showing 1–9 of 9 results for author: Tryba, J

Path of pathology

Authors: Rafał Filipów, Jacek Tryba

Abstract: We present a few results about (non)pathology of submeasures and ideals. We present a few results about (non)pathology of submeasures and ideals. △ Less

Submitted 31 December, 2024; originally announced January 2025.

MSC Class: 03E05(Primary) 11B05; 03E15 (Secondary)

Compactness in spaces of functions of bounded variation from ideal perspective

Authors: Jacek Gulgowski, Adam Kwela, Jacek Tryba

Abstract: Recently we have presented a unified approach to two classes of Banach spaces defined by means of variations (Waterman spaces and Chanturia classes), utilizing the concepts from the theory of ideals on the set of natural numbers. We defined correspondence between an ideal on the set of natural numbers, a certain sequence space and related space of functions of bounded variation. In this paper, fol… ▽ More Recently we have presented a unified approach to two classes of Banach spaces defined by means of variations (Waterman spaces and Chanturia classes), utilizing the concepts from the theory of ideals on the set of natural numbers. We defined correspondence between an ideal on the set of natural numbers, a certain sequence space and related space of functions of bounded variation. In this paper, following these ideas, we give characterizations of compact embeddings between different Waterman spaces and between different Chanturia classes: both in terms of sequences defining these function spaces and in terms of properties of ideals corresponding to these function spaces. △ Less

Submitted 3 January, 2025; v1 submitted 30 December, 2024; originally announced December 2024.

Comments: arXiv admin note: text overlap with arXiv:2407.02618

Functions of bounded variation from ideal perspective

Authors: Jacek Gulgowski, Adam Kwela, Jacek Tryba

Abstract: We present a unified approach to two classes of Banach spaces defined with the aid of variations: Waterman spaces and Chanturia classes. Our method is based on some ideas coming from the theory of ideals on the set of natural numbers. We present a unified approach to two classes of Banach spaces defined with the aid of variations: Waterman spaces and Chanturia classes. Our method is based on some ideas coming from the theory of ideals on the set of natural numbers. △ Less

Submitted 3 January, 2025; v1 submitted 2 July, 2024; originally announced July 2024.

Densities for sets of natural numbers vanishing on a given family

Authors: Rafał Filipów, Jacek Tryba

Abstract: Abstract upper densities are monotone and subadditive functions from the power set of positive integers into the unit real interval that generalize the upper densities used in number theory, including the upper asymptotic density, the upper Banach density, and the upper logarithmic density. At the open problem session of the Workshop ``Densities and their application'', held at St. Étienne in Ju… ▽ More Abstract upper densities are monotone and subadditive functions from the power set of positive integers into the unit real interval that generalize the upper densities used in number theory, including the upper asymptotic density, the upper Banach density, and the upper logarithmic density. At the open problem session of the Workshop ``Densities and their application'', held at St. Étienne in July 2013, G. Grekos asked a question whether there is a ``nice'' abstract upper density, whose the family of null sets is precisely a given ideal of subsets of $\mathbb{N}$, where ``nice'' would mean the properties of the familiar densities consider in number theory. In 2018, M. Di Nasso and R. Jin (Acta Arith. 185 (2018), no. 4) showed that the answer is positive for the summable ideals (for instance, the family of finite sets and the family of sequences whose series of reciprocals converge) when ``nice'' density means translation invariant and rich density (i.e. density which is onto the unit interval). In this paper we extend their result to all ideals with the Baire property. △ Less

Submitted 2 September, 2023; originally announced September 2023.

MSC Class: 11B05 (Primary) 03E05 (Secondary)

Journal ref: J. of Number Theory 211 (2020), 371-382

New Hindman spaces

Authors: Rafał Filipów, Krzysztof Kowitz, Adam Kwela, Jacek Tryba

Abstract: We introduce a method that allows to turn topological questions about Hindman spaces into purely combinatorial questions about the Katětov order of ideals on $\mathbb{N}$. We also provide two applications of the method. (1) We characterize $F_σ$ ideals $\mathcal{I}$ for which there is a Hindman space which is not an $\mathcal{I}$-space under the continuum hypothesis. This reduces a topological q… ▽ More We introduce a method that allows to turn topological questions about Hindman spaces into purely combinatorial questions about the Katětov order of ideals on $\mathbb{N}$. We also provide two applications of the method. (1) We characterize $F_σ$ ideals $\mathcal{I}$ for which there is a Hindman space which is not an $\mathcal{I}$-space under the continuum hypothesis. This reduces a topological question of Albin L. Jones about consistency of existence of a Hindman space which is not van der Waerden to the question whether the ideal of all non AP-sets is not below the ideal of all non IP-sets in the Katětov order. (2) Under the continuum hypothesis, we construct a Hindman space which is not an $\mathcal{I}_{1/n}$-space. This answers a question posed by Jana Flašková at the 22nd Summer Conference on Topology and its Applications. △ Less

Submitted 28 August, 2023; originally announced August 2023.

MSC Class: 54A20; 05A17; 03E35 (Primary) 03E50; 05C55; 11P99 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 150 (2022), 891-902

The ideal test for the divergence of a series

Authors: Rafał Filipów, Adam Kwela, Jacek Tryba

Abstract: We generalize the classical Olivier's theorem which says that for any convergent series $\sum_n a_n$ with positive nonincreasing real terms the sequence $(n a_n)$ tends to zero. Our results encompass many known generalizations of Olivier's theorem and give some new instances. The generalizations are done in two directions: we either drop the monotonicity assumption completely or we relax it to the… ▽ More We generalize the classical Olivier's theorem which says that for any convergent series $\sum_n a_n$ with positive nonincreasing real terms the sequence $(n a_n)$ tends to zero. Our results encompass many known generalizations of Olivier's theorem and give some new instances. The generalizations are done in two directions: we either drop the monotonicity assumption completely or we relax it to the monotonicity on a large set of indices. In both cases, the convergence of $(na_n)$ is replaced by ideal convergence. In the second part of the paper, we examine families of sequences for which the assertions of our generalizations of Olivier's theorem fail. Here, we are interested in finding large linear and algebraic substructures in these families. △ Less

Submitted 4 July, 2023; originally announced July 2023.

MSC Class: 40A05; 46B87; 40A35 (Primary) 15A03; 46B45 (Secondary)

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 117 (2023), no. 3, Paper No. 98

On the structure of Borel ideals in-between the ideals $\mathcal{ED}$ and $\mathrm{Fin}\otimes\mathrm{Fin}$ in the Katětov order

Authors: Pratulananda Das, Rafał Filipów, Szymon Głąb, Jacek Tryba

Abstract: For a family $\mathcal{F}\subseteq ω^ω$ we define the ideal $\mathcal{I}(\mathcal{F})$ on $ω\timesω$ to be the ideal generated by the family $\{A\subseteq ω\timesω:\exists f\in \mathcal{F}\,\forall^\infty n\, (|\{k:(n,k)\in A\}|\leq f(n))\}.$ Using ideals of the form $\mathcal{I}(\mathcal{F})$, we show that the structure of Borel ideals in-between two well known Borel ideals… ▽ More For a family $\mathcal{F}\subseteq ω^ω$ we define the ideal $\mathcal{I}(\mathcal{F})$ on $ω\timesω$ to be the ideal generated by the family $\{A\subseteq ω\timesω:\exists f\in \mathcal{F}\,\forall^\infty n\, (|\{k:(n,k)\in A\}|\leq f(n))\}.$ Using ideals of the form $\mathcal{I}(\mathcal{F})$, we show that the structure of Borel ideals in-between two well known Borel ideals $\mathcal{ED} = \{A\subseteqω\timesω:\exists m \, \forall^\infty n\, (|\{k:(n,k)\in A\}|<m))\}$ and $\mathrm{Fin}\otimes\mathrm{Fin} = \{A\subseteqω\timesω:\forall^\infty n \, (|\{k:(n,k)\in A\}|<\aleph_0))\}$ in the Katětov order is fairly complicated. Namely, there is a copy of $\mathcal{P}(ω)/\mathrm{Fin}$ in-between $\mathcal{ED}$ and $\mathrm{Fin}\otimes\mathrm{Fin}$, and consequently there are increasing and decreasing chains of length $\mathfrak{b}$ and antichains of size $\mathfrak{c}$. △ Less

Submitted 18 August, 2023; v1 submitted 7 November, 2020; originally announced November 2020.

Comments: Added: journal reference and table of contents. Corrected: list of references and some metadata

MSC Class: 03E05 (Primary) 03E17; 03E15; 28A05; 40A35 (Secondary)

Journal ref: Ann. Pure Appl. Logic 172 (2021), no. 8, 102976

Properties of simple density ideals

Authors: Adam Kwela, Michał Popławski, Jarosław Swaczyna, Jacek Tryba

Abstract: Let $G$ consist of all functions $g \colon ω\to [0,\infty)$ with $g(n) \to \infty$ and $\frac{n}{g(n)} \nrightarrow 0$. Then for each $g\in G$ the family $\mathcal{Z}_g=\{A\subseteqω:\ \lim_{n\to\infty}\frac{\text{card}(A\cap n)}{g(n)}=0\}$ is an ideal associated to the notion of so-called upper density of weight $g$. Although those ideals have recently been extensively studied, they do not have t… ▽ More Let $G$ consist of all functions $g \colon ω\to [0,\infty)$ with $g(n) \to \infty$ and $\frac{n}{g(n)} \nrightarrow 0$. Then for each $g\in G$ the family $\mathcal{Z}_g=\{A\subseteqω:\ \lim_{n\to\infty}\frac{\text{card}(A\cap n)}{g(n)}=0\}$ is an ideal associated to the notion of so-called upper density of weight $g$. Although those ideals have recently been extensively studied, they do not have their own name. In this paper, for Reader's convenience, we propose to call them simple density ideals. We show that there are $\mathfrak{c}$ many non-isomorphic (in fact even incomparable with respect to Katětov order) simple density ideals. Moreover, we prove that for a given $A\subset G$ with $\text{card}(A)<\mathfrak{b}$ one can construct a family of cardinality $\mathfrak{c}$ of pairwise incomparable (with respect to inclusion) simple density ideals which additionally are incomparable with all $\mathcal{Z}_g$ for $g\in A$. We show that this cannot be generalized to Katětov order as the ideal $\mathcal{Z}$ of sets of asymptotic density zero is maximal in the sense of Katětov order among all simple density ideals. We examine how many substantially different functions $g$ can generate the same ideal $\mathcal{Z}_g$ -- it turns out that the answer is either $1$ or $\mathfrak{c}$ (depending on $g$). △ Less

Submitted 11 April, 2019; v1 submitted 6 November, 2017; originally announced November 2017.

Homogeneous ideals on countable sets

Authors: Adam Kwela, Jacek Tryba

Abstract: We say that an ideal I is homogeneous, if its restriction to any I-positive subset is isomorphic to I. The paper investigates basic properties of this notion -- we give examples of homogeneous ideals and present some applications to topology and ideal convergence. Moreover, we answer questions related to our research. We say that an ideal I is homogeneous, if its restriction to any I-positive subset is isomorphic to I. The paper investigates basic properties of this notion -- we give examples of homogeneous ideals and present some applications to topology and ideal convergence. Moreover, we answer questions related to our research. △ Less

Submitted 18 July, 2016; originally announced July 2016.

MSC Class: 03E05

Journal ref: Acta Math. Hungar., 151, No. 1, (2017), pp. 139-161