Complete function spaces (Q788310)

Let C(X) be the vector space on the real field of all real-valued continuous functions defined on a topological space X, with the compact open topology. The author proves the following results: (a) If X is a first countable paracompact space, then the following are equivalent: (1) C(X) is a Baire space. (2) C(X) is pseudo-complete. (3) C(X) is the product of completely metrizable spaces. (4) X is locally compact. (b) If X is first countable then the following are equivalent: (1) C(X) is Čech-complete. (2) C(X) is completely metrizable. (3) X is hemicompact. (c) If X is a first countable paracompact space, then the following are equivalent: (1) C(X) is a k-space. (2) C(X) is Čech- complete. (3) C(X) is completely metrizable. (4) X is hemicompact.