Sets of filter convergence of sequences of continuous functions (Q439288)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sets of filter convergence of sequences of continuous functions
scientific article

    Statements

    Sets of filter convergence of sequences of continuous functions (English)
    0 references
    0 references
    1 August 2012
    0 references
    Let \(\mathcal{F}\subset\mathcal{P}(\omega)\) be a filter. For \((x_n)_n\in\mathbb{R}\) and \(x\in\mathbb{R}\) denote: \(\mathcal{F}\)-\(\lim x_n=x\) if \(\{n\in \omega: |x-x_n|<\varepsilon\}\in \mathcal{F}\) for each \(\varepsilon>0\); \(\mathcal{F}\)-\(\lim x_n=\infty\) if \(\{n\in \omega: x_n>M\}\in \mathcal{F}\) for each \(M\in\mathbb{R}\); \(\mathcal{F}\)-\(\lim x_n=-\infty\) if \(\{n\in \omega: x_n<M\}\in \mathcal{F}\) for each \(M\in\mathbb{R}\). Now, let \(X\) be a metric space and \(C(X)\) be the family of all continuous functions from \(X\) into \(\mathbb{R}\). For a sequence \((f_n)_n\subset C(X)\) define: \(C_\mathcal{F}((f_n))=\{x\in X: \mathcal{F}\)-\(\lim f_n(x)\) {exists}\(\}\); \(c_\mathcal{F}((f_n))=\{x\in X: \mathcal{F}\)-\(\lim f_n(x)=0\}\); \(c_\mathcal{F}^\infty((f_n))=\{x\in X: \mathcal{F}\)-\(\lim f_n(x)=\infty\}\); \(c_\mathcal{F}^{-\infty}((f_n))=\{x\in X: \mathcal{F}\)-\(\lim f_n(x)=-\infty\}\). Finally, set: \(C_\mathcal{F}(X)=\{C_\mathcal{F}((f_n)): (f_n)\in C(X)^\omega\}\); \(c_\mathcal{F}(X)=\{c_\mathcal{F}((f_n)): (f_n)\in C(X)^\omega\}\); \(c_\mathcal{F}^\infty(X)=\{c_\mathcal{F}^\infty((f_n)): (f_n)\in C(X)^\omega\}\); \(c_\mathcal{F}^{-\infty}(X)=\{c_\mathcal{F}^{-\infty}((f_n)): (f_n)\in C(X)^\omega\}\). The standard convergence coincides with the convergence with respect to the Fréchet filter \(\text{FIN}^*\). In this case relationships between the sets \(C_\mathcal{F}(X)\), \(c_\mathcal{F}(X)\), \(c^\infty_\mathcal{F}(X)\) and \(c_\mathcal{F}^{-\infty}(X)\) follow from \textit{M. A. Lunina}'s theorem [Math. Notes 17, 120--126 (1975); translation from Mat. Zametki 17, 205--217 (1975; Zbl 0326.40003)]. The analog of Lunina's theorem for \(F_\sigma\)-filters was proved by \textit{D. Borzestowski} and \textit{I. Recław} [Real Anal. Exch. 35(2009/10), No. 2, 479--485 (2010; Zbl 1222.28006)]. In the paper under review the author characterizes the sets of filter convergence and divergence to infinity for general Borel filters. In particular, a complete description of such sets for the statistical convergence is given.
    0 references
    0 references
    0 references
    0 references
    0 references
    filter convergence
    0 references
    statistical convergence
    0 references
    Borel hierarchy
    0 references
    sequences of continuous functions
    0 references
    0 references