proof of convergence theorem
Let us show the equivalence of (2) and (3).First, the proof that (3) implies (2) is a direct calculation.Next, let us show that (2) implies (3):Suppose in , and if is a compact set in , and is a sequence in such thatfor any multi-index , we have
in the supremum norm as .For a contradiction, suppose there is a compact set in such that for all constants and there existsa function such that
Then, for we obtain functions in such thatThus for all , so for , we have
It follows that for any multi-index with .Thus satisfies our assumption, whence should tend to .However, for all , we have . This contradictioncompletes
the proof.