\(\mathcal I^{\mathcal K}\)-Cauchy functions (Q2250120)

The notions of \(I\)-convergence and \(I^{\ast }\)-convergence, where \(I\) is an ideal on the set \(\mathbb{N}\), were introduced in [\textit{P. Kostyrko, M. Macaj} and \textit{T. Salat}, ``Statistical convergence and \(I\)-convergence'', Real Anal. Exch., submitted] and [\textit{P. Kostyrko} et al., Real Anal. Exch. 26, No. 2, 669--685 (2001; Zbl 1021.40001)]. These two notions give a rather natural generalization of the notion of statistical convergence. In fact, in the case that \(I=I_{d}\) is the ideal consisting of sets having asymptotic density equal to zero, these two types of convergence in metric space are equivalent. In this paper, the notion of \(I^{K}\)-Cauchy function is introduced, where \(I\) and \(K\) are ideals on the same set. \(I^{K}\)-Cauchy functions are a generalization of \(I^{\ast }\)-Cauchy sequences and \(I^{\ast }\)-Cauchy nets. The main goal of this paper is to study the \(I^{K}\)-Cauchy condition, which is a common generalization of various types of \(I^{\ast }\)-Cauchy conditions.