$C(X)$上的开点与紧开拓扑

In this note we define a new topology on C(X),the set of all real-valued continuous functions on a Tychonoff space X.The new topology on C(X) is the topology having subbase open sets of both kinds:[f,C,ε[={g E C(X):|f(x)-g(x)| ε for every x∈C} and[U,r]~-={g∈C(X):g~(-1)(r)∩U≠φ},where f∈C(X),C∈KC(X)={nonempty compact subsets of X},ε 0,while U is an open subset of X and r∈R.The space C(X) equipped with the new topology T_(kh) which is stated above is denoted by C_(kh)(X).Denote X_0={x∈X:x is an isolated point of X} and X_c={x∈X:x has a compact neighborhood in X}.We show that if X is a Tychonoff space such that X_0=X_c,then the following statements are equivalent:(1) X_0 is G_δ-dense in X;(2) C_(kh)(X) is regular;(3) C_(kh)(X) is Tychonoff;(4) C_(kh)(X) is a topological group.We also show that if X is a Tychonoff space such that X_0=X_c and C_(kh)(X) is regular space with countable pseudocharacter,then X is σ-compact.If X is a metrizable hemicompact countable space,then C_(kh)(X) is first countable.

The Open-Point and Compact-Open Topology on $C(X)$

In this note we define a new topology on $C(X)$, the set of all real-valued continuous functions on a Tychonoff space $X$. The new topology on $C(X)$ is the topology having subbase open sets of both kinds: $[f, C, varepsilon]={gin C(X): |f(x)-g(x)|0$, while $U$ is an open subset of $X$ and $rin mathbb{R}$. The space $C(X)$ equipped with the new topology ${mathcal T}_{kh}$ which is stated above is denoted by $C_{kh}(X)$. Denote $X_0={xin X: x$ is an isolated point of $X$} and $X_{c}={xin X: x$ has a compact neighborhood in $X}$. We show that if $X$ is a Tychonoff space such that $X_0=X_c$, then the following statements are equivalent: (1) $X_0$ is $G_delta$-dense in $X$; (2) $C_{kh}(X)$ is regular; (3) $C_{kh}(X)$ is Tychonoff; (4) $C_{kh}(X)$ is a topological group. We also show that if $X$ is a Tychonoff space such that $X_0=X_c$ and $C_{kh}(X)$ is regular space with countable pseudocharacter, then $X$ is $sigma$-compact. If $X$ is a metrizable hemicompact countable space, then $C_{kh}(X)$ is first countable.