Ideal spaces

<p>Let C_∞(X) denote the family of real-valued continuous functions which vanish at infinity in the sense that {x ∈ X : |f(x)| ≥ 1/n} is compact in X for all n ∈ N. It is not in general true that C<span style="vertical-align: sub;">∞ </span>(X) is an ideal of C(X). We define those spaces X to be ideal space where C<span style="vertical-align: sub;">∞ </span>(X) is an ideal of C(X). We have proved that nearly pseudocompact spaces are ideal spaces. For the converse, we introduced a property called “RCC” property and showed that an ideal space X is nearly pseudocompact if and only if X satisfies ”RCC” property. We further discussed some topological properties of ideal spaces.</p>

Separable Quotients of Free Topological Groups

We study the following problem: For which Tychonoff spaces $X$ do the free topological group $F(X)$ and the free abelian topological group $A(X)$ admit a quotient homomorphism onto a separable and nontrivial (i.e., not finitely generated) group? The existence of the required quotient homomorphisms is established for several important classes of spaces $X$, which include the class of pseudocompact spaces, the class of locally compact spaces, the class of $\unicode[STIX]{x1D70E}$-compact spaces, the class of connected locally connected spaces, and some others.We also show that there exists an infinite separable precompact topological abelian group $G$ such that every quotient of $G$ is either the one-point group or contains a dense non-separable subgroup and, hence, does not have a countable network.