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
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
filter convergence
0 references
statistical convergence
0 references
Borel hierarchy
0 references
sequences of continuous functions
0 references
0 references
0 references
0 references