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:

Definition 7.1:

Normal familiesEdit

Definition 7.2:

Let   be a family of functions whose domain of definition is a metric space  

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

Montel's theoremEdit