Chapter 31, “The Compact-Open Topology”, describes the compact-open topology, and goes on to compare it with two other topologies on in the case where . It asserts that “clearly” the second of these three is finer than the first, and the third finer than the second.
This may well be “clear” intuitively, but is not so easy to prove. Here I will prove that the third (that the author does not name, but that I call the open set topology) is finer than the second, which is the uniform convergence topology.
I will only need to specify that is a topological space and a metric space with distance .
I define the set of continuous mappings from to .
I note the open ball in centred on and with radius . It is the set of all such that .
Furthermore, for any subset of , I note the set of all continuous mappings the graph of which is a subset of ; in other words, .
The uniform convergence topology on is such that a subset of is open if and only if for any , there exists such that for any , if , then . We can express this condition in terms of subsets of that I have named open tubes: for any mapping (not necessarily continuous) and for any , the open tube is . Then is open for the uniform convergence topology if and only if for any , there exists such that .
The third topology ‑ the “open set” topology ‑ is the topology on generated by all the for all open subsets of . (The book says the topology is this collection itself, but I have not managed to prove that it directly forms a topology ‑ as is more explicitly requested in exercise 215.)
To show that the open set topology is finer than the uniform convergence one, we consider an open set for the uniform convergence topology and endeavour to show that it is open in the open set one.
Let be an open set in the uniform convergence topology.
Let be an eventual member of .
There exists an such that .
I prove here that, being continuous, is an open subset of . It includes the graph of . Hence contains , and is by definition an open set for the open set topology on . Since it is a subset of , is a neighbourhood of for the open set topology.
Hence for any , is a neighbourhood of for the open set topology. This implies that is itself an open set in the open set topology.