Convergence of linear transformations

We return now to the consideration of convergence problems. There are three obvious senses in which we may try to define the convergence of a sequence of linear transformations to a fixed linear transformation .

If (i) is true, then, for every , so that (i) (ii). We have already seen ( Section: Convergence of vectors ) that (ii) (iii) and that in finite-dimensional spaces (iii) (ii). It is even true that in finite-dimensional spaces (ii) (i), so that all three conditions are equivalent. To prove this, let be an orthonormal basis in . If we suppose that (ii) holds, then, for each , we may find an such that for and for . It follows that for an arbitrary we have and this implies (i).

It is also easy to prove that if the norm is used to define a distance for transformations, then the resulting metric space is complete, that is, if as , then there is an such that . The proof of this fact is reduced to the corresponding fact for vectors. If , then for each , so that we may find a vector corresponding to , which we may denote by , say, such that . It is clear that the correspondence from to is given by a linear transformation ; the implication relation (ii) (i) proved above completes the proof.

Now that we know what convergence means for linear transformations, it behooves us to examine some simple functions of these transformations in order to verify their continuity. We assert that , , , , , , , and all define continuous functions of all their arguments simultaneously. (Observe that the first three are numerical-valued functions, the next is vector-valued, and the last four are transformation-valued.) The proofs of these statements are all quite easy, and similar to each other; to illustrate the ideas we discuss , , and .

1. If , that is, , then, since the relations and imply that we see that .
2. If and , then so that .
3. If , then, for each and , whence .

EXERCISES