Complex Analysis/The compact-open topology
-convergence and definitionEdit
What I will write on -convergence will require knowledge of uniform structures as taught by Bourbaki's general topology book. It will not be necessary to understand the concept in order to understand anything else in the book.
Let be any set and a uniform space. Let be a subset of . We consider the set of functions from to ; we may denote it by . Assume we are given an entourage of . We may then define the set of all pairs functions contained in the set which have the property that for all , we have ; this set will be denoted by
In fact, as ranges over a fundamental system of entourages of , the sets form a fundamental system of entourages on , and the topology induced by the corresponding uniform structure is called the topology of uniform convergence on .
Now suppose that we have a family of subsets of ; we shall call it, as it is customary, . For each , we may form the topology of uniform convergence of as above; for each will result a topology on . Then we may form the least upper bound topology of these topologies; this is what's called the topology of -convergence.
The compact-open topology is a special case of this construction; let be a topological space, and take to be the set of all compact subsets of . The topology of -convergence for this situation is called the compact-open topology. We now write this in a fashion so that everyone, even those who are not familiar with uniform spaces, will be able to understand the definition:
A general Arzelà–Ascoli theoremEdit
The classical Arzelà–Ascoli theorem is a well-known theorem in analysis. It states that whenever we have a bounded, equicontinuous family of functions defined on a compact set, this family will constitute a relatively compact set