1082: For Complete Metric Space and Sequence of Uniformly Convergent Sequences, if Sequence of Each Corresponding Terms of Sequences Converges, Sequence of Convergences Converges to Convergence of Sequence of Convergences of Sequences
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that for complete metric space and sequence of uniformly convergent sequences, if sequence of each corresponding terms of sequences converges, sequence of convergences converges to convergence of sequence of convergences of sequences
Topics
About:
metric space
The table of contents of this article
Starting Context
Target Context
-
The reader will have a description and a proof of the proposition that for any complete metric space and any sequence of uniformly convergent sequences, if the sequence of each corresponding terms of the sequences converges, the sequence of the convergences of the uniformly-convergent sequences converges to the convergence of the sequence of the convergences of the corresponding-terms sequences.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
:
//
Statements:
(
)
//
Whenever "" appears, it implies that the limit (which is nothing but the convergence) exists.
Just "" means the convergence of the sequence: for example, means the convergence of the sequence, , not taking . So, with fixed.
The 1st condition means uniform convergence for the sequence of the sequences: is chosen independent of .
2: Proof
Whole Strategy: Step 1: see that is a Cauchy sequence; Step 2: see that .
Step 1:
By the supposition of this proposition, the sequence, , exists.
Let us see that is a Cauchy sequence.
Let be any such that .
By the proposition that for any metric space, any convergent sequence is a Cauchy sequence, and for the Cauchy condition can be chosen to be for the convergence condition, each is a Cauchy sequence, and for the Cauchy condition can be chosen uniformly as for the convergence condition.
So, let be such that for each such that , , where does not depend on .
For any , .
There are an such that for each , and an such that for each , .
So, let us choose such that , and then, .
Although the choice of depends on and , such an act does not restrict the choices of and , and so, for each such that , , which means that is a Cauchy sequence.
Step 2:
So, exists, because is complete.
Let be any such that .
For any , .
There are an such that for each such that , and an such that for each such that , , where does not depend on by the supposition of this proposition.
So, let us choose as , and then, .
There is an such that for each such that , .
Although depends on , that does not matter: the point is that exists anyway.
So, for each such that , .
That means that .
References
<The previous article in this series | The table of contents of this series | The next article in this series>