## Margin between a compact subspace and an including open subspace

In Chapter 31 (“Compact-Open Topology”), the fact that, on the set of the continuous mappings the second topology (the uniform convergence topology) is finer than the first (the compact-open topology) is said to be “clear” but actually needs some non-trivial proof. Part of this is the lemma that I state and prove below.

For any  and real , let  be the open ball centered on and with radius . We know that an open ball is an open subset.

The lemma says:

Let be a metric space, an open subspace of and a compact subspace of . Then there exists such that for all in , .

Proof:

For each , since , there exists an such that .

The collection of all with is an open cover of . Hence there exists a finite such that covers .

Since is finite, there exists a real such that for all , .

Let be an eventual point of .

Since  covers , there exists such that , that is, .

Let be an eventual point of .

We have and , which leads to , that is, . But is in and was taken such that . Hence .

Hence .

We thus have such that .

## Uniform convergence topology and the open set topology

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.