Convergent Sequences: Prove Lim d(x_n,y_n)=d(a,b)

Click For Summary
SUMMARY

The discussion focuses on proving that for two sequences (x_n) and (y_n) converging to points a and b in a metric space (X,d), the limit of the distance between the sequences converges to the distance between the points: lim_{n \to \infty} d(x_n,y_n) = d(a,b). The proof involves demonstrating that for any ε > 0, there exists a natural number n' such that |d(x_n,y_n) - d(a,b)| < ε. The participants clarify the use of the triangle inequality and the convergence definitions to establish the result.

PREREQUISITES
  • Understanding of metric spaces and the properties of convergence.
  • Familiarity with the triangle inequality in metric spaces.
  • Knowledge of limits and epsilon-delta definitions in analysis.
  • Basic experience with sequences and their convergence behavior.
NEXT STEPS
  • Study the properties of metric spaces, focusing on convergence and continuity.
  • Learn about the triangle inequality and its applications in proofs involving distances.
  • Explore epsilon-delta definitions in more depth to solidify understanding of limits.
  • Review examples of convergent sequences in metric spaces to apply theoretical knowledge.
USEFUL FOR

Mathematics students, particularly those studying real analysis, metric spaces, or anyone interested in understanding convergence in mathematical contexts.

Kreizhn
Messages
714
Reaction score
1

Homework Statement


Let (X,d) be a metric space with two sequences [itex](x_n), (y_n)[/itex] which converge to values of a,b respectively. Show that

[tex]\lim_{n \to \infty} d(x_n,y_n) = d(a,b)[/tex]


Homework Equations


[tex](x_n) \rightarrow a \Leftrightarrow \forall \epsilon >0 \quad \exists n_0 \in \mathbb{N} \text{ such that } \forall n>n_0 \quad d(x_n,a)< \epsilon[/tex]

[tex]d(x,z) \leq d(x,y) + d(y,z) \quad \forall x,y,z \in X[/tex]


The Attempt at a Solution



This seems like it should be a fairly easy question, but I don't have much analysis in my background. I attempted to proceed as follows:

Since [itex]d:X\times X \rightarrow \mathbb{R}[/itex], it is sufficient to show that [itex]\forall \epsilon >0 \quad \exists n\in \mathbb{N} \text{ such that } |d(x_n,y_n) - d(a,b)|< \epsilon[/itex]. So let [itex]\epsilon >0[/itex] and [itex]n' = max\{ n_0, n_1 \}[/itex] where [itex]n_0, n_1[/itex] are natural numbers which satisfy the individual convergence properties for [itex](x_n),(y_n)[/itex]. Let [itex]n>n'[/itex] giving

[tex]|d(x_n,y_n) - d(a,b) | &=& |d(x_n,y_n) + d(x_n,b) - d(x_n,b) - d(a,b)|<br /> <br /> \leq |d(y_n,b) - d(x_n,a)|<br /> <br /> < |\epsilon - \epsilon|<br /> <br /> \leq \epsilon[/tex]

But I'm really not sure about the [itex]|\epsilon - \epsilon| \leq \epsilon[/itex] line.

Any thoughts would be appreciated.
 
Physics news on Phys.org
Well, if 0<=e1<=e and 0<=e2<=e then |e1-e2|<=e. That's what you really mean by |e-e|<=e, right?
 
Yes, that was my thought process.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
8
Views
3K
  • · Replies 11 ·
Replies
11
Views
3K
Replies
2
Views
2K
Replies
34
Views
3K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K