Seemingly simple proof that I cannot conclude

  • Thread starter Thread starter amanda_ou812
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion centers on proving the equivalence of the limit of a sequence in a metric space and the limit of the distance between the sequence and a point. Specifically, it establishes that for a metric space (X, d), a sequence {pn} converges to a point p if and only if lim d(p, pn) = 0. The participant explores the implications of convergence and boundedness, referencing key theorems from their coursework, including definitions of closed subsets and bounded sets within metric spaces.

PREREQUISITES
  • Understanding of metric spaces, specifically the properties of convergence and boundedness.
  • Familiarity with the definitions of limits in the context of real numbers and metric spaces.
  • Knowledge of theorems related to sequences in metric spaces, including closed subsets and bounded sets.
  • Proficiency in mathematical inequalities and their application in proofs.
NEXT STEPS
  • Study the definitions and properties of closed subsets in metric spaces.
  • Learn about the implications of boundedness in sequences within metric spaces.
  • Research the application of the epsilon-delta definition of limits in metric spaces.
  • Explore examples of convergent sequences and their distances in metric spaces.
USEFUL FOR

Students of mathematics, particularly those studying real analysis or topology, as well as educators looking for insights into teaching convergence in metric spaces.

amanda_ou812
Messages
48
Reaction score
1

Homework Statement


Let (X, d) be a metric space, and we have a sequence p (sub n) is a subset of X and p is an element in X. Prove that lim p (sub n) = p if and only if the sequence of real numbers satisfies lim d(p, pn) = 0.


Homework Equations


Theorems from my class.
1. Let (X, d) be a metric space, {pn}, a subset of X,is a sequence in X and p and element of X. We say that the sequence {pn} converges to p and write lim pn=p, provided that for every e > 0, there is a real number N so that when n > N, then d(p, pn) < e.
2. Let (X,d) be a metric space and let S be a subset of X. Then S is a closed subset if and only if whenever {pn} is a subset of S and a convergent sequence, we have lim {pn} is an element of S.
3. Let (X, d) be a metric space and let E be a subset of X. Then the following are equivalent:
1. there exists a point p which is an element of X and r1 >0 such that E is a subset of B(p;r1), 2. there exists a point q which is an element of X and r2 >0 such that E is a subset of B-(q;r2), 3. there exists M > 0 so that every x,y in E satisfies d(x,y) <= M.
4. Let (X, d) be a metric space and let E is a subset of X. We say that E is a bounded set provided that it satisfies any of the three equivalent conditions of the above proposition.
5. Let (X,d) be a metric space. If {pn} is a convergent sequence, then it is bounded.

The Attempt at a Solution



The forward implication: lim {pn} = p => convergent => bounded => for p in X and r > 0 then {pn} is a subset of B (p; r) ...I am not really sure where to go from here to get lim d(p, pn) = 0. I tried using a bunch of inequalities but that's just it. The are not EQUALities.

The reverse implication: not sure if this is correct (actually I am pretty sure its wrong) lim (d(p, pn)) = 0 => d (p, pn) = 0. This is a metric space we know that d (x, y) = 0 if and only if x = y. So this implies p = pn. (From here on, i am sure I am incorrect). => lim pn = lim p = p. Hence lim pn = p. I think this is wrong because I didn't use an e, n or N anywhere.

Any hints or help would be appreciated.
Thanks
 
Physics news on Phys.org
OK, write down the following definitions:

[tex]p_n\rightarrow p~\text{in}~X[/tex]

and

[tex]d(p_n,p)\rightarrow 0~\text{in}~\mathbb{R}[/tex]

Don't you get exactly the same thing (or close)?
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
7K
  • · Replies 5 ·
Replies
5
Views
2K