English

Some generalizations and unifications of $C_{K}(X)$, $C_{\psi}(X)$ and $C_{\infty}(X)$

General Topology 2014-01-20 v3

Abstract

Let P\cal{P} be an open filter base for a filter F\cal{F} on XX. We denote by CP(X)C^{\cal{P}}(X) (CP(X)C_{\infty\cal{P}}(X)) the set of all functions fC(X)f\in C(X) where Z(f)Z(f) ({x:f(x)<1n})\{x: |f(x)|< \frac{1}{n}\}) contains an element of P\cal{P}. First, we observe that every proper subrings in the sense of Acharyya and Ghosh (Topology Proc. 2010) has such form and vice versa. After wards, we generalize some well known theorems about CK(X),Cψ(X)C_{K}(X), C_{\psi}(X) and C(X)C_{\infty}(X) for CP(X)C^{\cal{P}}(X) and CP(X)C_{\infty\cal{P}}(X). We observe that CP(X)C_{\infty\cal{P}}(X) may not be an ideal of C(X)C(X). It is shown that CP(X)C_{\infty\cal{P}}(X) is an ideal of C(X)C(X) and for each FFF\in\cal{F}, XFX\setminus \overline{F} is bounded \ifif the set of non-cluster points of the filter F\cal{F} is bounded. By this result, we investigate topological spaces for which CP(X)C_{\infty\cal{P}}(X) is an ideal of C(X)C(X) whenever P\cal{P}={AX\{A\subsetneq X: AA is open and XAX\setminus A is bounded }\} (resp., P\cal{P}={AX\{A\subsetneq X: XAX\setminus A is finite }\}). Moreover, we prove that CP(X)C^{\cal{P}}(X) is an essential (resp., free) ideal \ifif the set {V:\{V: VV is open and XVF}X\setminus V\in\mathcal{F}\} is a π\pi-base for XX (resp., F\mathcal{F} has no cluster point). Finally, the filter F\cal{F} for which CP(X)C_{\infty\cal{P}}(X) is a regular ring (resp., zz-ideal) is characterized.

Keywords

Cite

@article{arxiv.1210.6521,
  title  = {Some generalizations and unifications of $C_{K}(X)$, $C_{\psi}(X)$ and $C_{\infty}(X)$},
  author = {A. Taherifar},
  journal= {arXiv preprint arXiv:1210.6521},
  year   = {2014}
}

Comments

13 pages