Topological continuous convergence (Q1059298)

The continuous convergence structure is imposed on the function space LIM(X,Y) of all continuous functions from a convergence space X into a topological space Y. As might be expected from earlier studies when \(Y=R\), local compactness on X provides the key to making continuous convergence topological. If Y is regular, ordinary local compactness for X proves sufficient; a slightly stronger form of local compactness works for arbitrary Y. Under both sets of assumptions, continuous convergence on LIM(X,Y) coincides with the compact open topology. If X satisfies a strong regularity condition, the two versions of local compactness are equivalent, and in this case the converse result holds that X is locally compact whenever continuous convergence on LIM(X,Y) is topological.