2025-04-13

1080: For Metric Space Induced by Normed Vectors Space, if for Each Sequence s.t. Series of Norms Converges, Series Converges, Space Is Complete

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

description/proof of that for metric space induced by normed vectors space, if for each sequence s.t. series of norms converges, series converges, space is complete

Topics


About: vectors space
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 the metric space induced by any normed vectors space, if for each sequence such that the series of the norms of the terms of the sequence converges, the series of the terms of the sequence converges, the space is complete.

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:
F: {R,C}, with the canonical field structure
V: { the F vectors spaces }, = the metric space induced by the following norm 
: :VR, { the norms }
//

Statements:
f:NV such that j=0,1,...f(j)<(j=0,1,...f(j){ the convergent series })

V{ the complete metric spaces }
//


2: Proof


Whole Strategy: Step 1: take any Cauchy sequence, f:NV; Step 2: take Nj s such that for each m,nN such that Nj<m,n, f(n)f(m)<2j and Nj<Nj+1; Step 3: see that j=0,1,...f(Nj+1+1)f(Nj+1)<; Step 4: see that j=0,1,...f(Nj+1+1)f(Nj+1) converges and that the sequence, f(N0+1),f(N1+1),..., converges; Step 5: see that f converges.

Step 1:

Let f:NV be any Cauchy sequence.

Step 2:

For each j=0,1,..., let us take any Nj such that for each m,nN such that Nj<m,n, f(n)f(m)<2j, which is possible because f is a Cauchy sequence.

Let us take Nj<Nj+1, which is possible because if Nj+1Nj, Nj+1 can be just redefined to be Nj+1, because for each m,nN such that Nj+1<m,n, Nj+1<m,n, so, f(n)f(m)<2(j+1) holds anyway.

Step 3:

Let us see that j=0,1,...f(Nj+1+1)f(Nj+1)<.

j=0,1,...f(Nj+1+1)f(Nj+1)<j=0,1,...2j, because Nj<Nj+1+1,Nj+1.

=1/(11/2)<, because j=0,1,...,n2j=1+1/2+(1/2)2+...+(1/2)n=(11/2n+1)/(11/2), which limits to 1/(11/2) by n.

Step 4:

By the supposition of this proposition, j=0,1,...f(Nj+1+1)f(Nj+1) converges.

But j=0,1,...,nf(Nj+1+1)f(Nj+1)=(f(N1+1)f(N0+1))+(f(N2+1)f(N1+1))+...+(f(Nn+1)f(Nn1+1))+(f(Nn+1+1)f(Nn+1))=f(Nn+1+1)f(N0+1), so, the sequence, f(N1+1)f(N0+1),f(N2+1)f(N0+1),..., converges to a v, so, the sequence, f(N1+1),f(N2+1),..., converges to f(N0+1)+v: f(Nn+1)f(N0+1)v=f(Nn+1)(f(N0+1)+v), so, the estimates for f(N1+1)f(N0+1),f(N2+1)f(N0+1),... to converge to v are the same with the estimates for f(N1+1),f(N2+1),... to converge to f(N0+1)+v.

Step 5:

As f(N1+1),f(N2+1),... is a subsequence of f, f converges, by the proposition that for any Cauchy sequence on any metric space, if a subsequence of it converges to a point, the sequence converges to the same point.

So, as each Cauchy sequence converges, V is complete.


References


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