2025-04-20

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:
M: { the complete metric spaces }
S: ={f:NM|f{ the convergent sequences }}
g: :NS
//

Statements:
(
ϵR such that 0<ϵ(NN(jN,nN such that N<n(dist(limg(j),g(j)(n))<ϵ)))

nN(limjg(j)(n)=h(n))
)

limjlimg(j)=limh
//

Whenever " lim " appears, it implies that the limit (which is nothing but the convergence) exists.

Just " lim " means the convergence of the sequence: for example, limg(j) means the convergence of the sequence, g(j), not taking j. So, limg(j):=limng(j)(n) with j fixed.

The 1st condition means uniform convergence for the sequence of the sequences: N is chosen independent of j.


2: Proof


Whole Strategy: Step 1: see that h is a Cauchy sequence; Step 2: see that limjlimg(j)=limh.

Step 1:

By the supposition of this proposition, the sequence, h:NM, exists.

Let us see that h is a Cauchy sequence.

Let ϵR be any such that 0<ϵ.

By the proposition that for any metric space, any convergent sequence is a Cauchy sequence, and N for the Cauchy ϵ condition can be chosen to be N for the convergence ϵ/2 condition, each g(j) is a Cauchy sequence, and N for the Cauchy ϵ/2 condition can be chosen uniformly as N for the convergence ϵ/4 condition.

So, let NN be such that for each n,oN such that N<n,o, dist(g(j)(o),g(j)(n))<ϵ/2, where N does not depend on j.

For any j, dist(h(o),h(n))dist(h(o),g(j)(o))+dist(g(j)(o),g(j)(n))+dist(g(j)(n),h(n))<dist(h(o),g(j)(o))+ϵ/2+dist(g(j)(n),h(n)).

There are an NoN such that for each No<j, dist(h(o),g(j)(o))<ϵ/4 and an NnN such that for each Nn<j, dist(h(n),g(j)(n))<ϵ/4.

So, let us choose j such that No,Nn<j, and then, dist(h(o),h(n))<ϵ/4+ϵ/2+ϵ/4=ϵ.

Although the choice of j depends on n and o, such an act does not restrict the choices of n and o, and so, for each n,oN such that N<n,o, dist(h(o),h(n))<ϵ, which means that h is a Cauchy sequence.

Step 2:

So, limh exists, because M is complete.

Let ϵR be any such that 0<ϵ.

For any nN, dist(limh,limg(j))dist(limh,h(n))+dist(h(n),g(j)(n))+dist(g(j)(n),limg(j)).

There are an NhN such that for each nN such that Nh<n, dist(limh,h(n))<ϵ/2 and an NN such that for each nN such that N<n, dist(g(j)(n),limg(j))<ϵ/4, where N does not depend on j by the supposition of this proposition.

So, let us choose n as Nh,N<n, and then, dist(limh,limg(j))<ϵ/2+dist(h(n),g(j)(n))+ϵ/4.

There is an NN such that for each jN such that N<j, dist(h(n),g(j)(n))<ϵ/4.

Although N depends on n, that does not matter: the point is that N exists anyway.

So, for each jN such that N<j, dist(limh,limg(j))<ϵ/2+ϵ/4+ϵ/4=ϵ.

That means that limjlimg(j)=limh.


References


<The previous article in this series | The table of contents of this series | The next article in this series>