1
$\begingroup$

I could not prove the following statement. Can you help me?

Let $X, d(x, y)$ be a metric space, and let $(x_n)$ be a sequence of points in $X$. Prove that $x_n → a$ if and only if for every open set $U\owns a$, there is a number $N$ such that whenever $n > N$ we have $x_n \in U$.

  • 0
    Title modified.2012-11-18

2 Answers 2

1
  • $(x_n)$ converges to $a$ if for every $\varepsilon >0$ there is a $N$ such that $n\ge N \Rightarrow \text{d}(x_n, a) <\varepsilon,$ where $\text{d}$ is the metric function associated to the metric space in question.
  • By "$B(a,\varepsilon)$" I mean the ball of radius $\varepsilon$ centered at $a$, which is simply $\lbrace x \text{ in your metric space}: \text{d}(x,a)<\varepsilon \rbrace$

$(\Rightarrow)$

Suppose $(x_n)$ converges to $a$. Then for every $\varepsilon>0,$ there is a $N$ for which $n\ge N \Rightarrow \text{d}(x_n, a)<\varepsilon.$ Let $U$ be any open neighborhood containing $a$. Since $U$ is open, there is an $\varepsilon >0$ for which $B(a,\varepsilon)\subset U$. Therefore, $n\ge N$ impiles $x_n\in B(a,\varepsilon)\subset U$.

$(\Leftarrow)$

By hypothesis, every open set $B(a, \frac{1}{n})$ contains the tail of some sequence $(x_n)$. Let $\varepsilon >0$. There is an $N$ for which $n\ge N \Rightarrow \frac{1}{n}<\varepsilon.$ Therefore, $n\ge N$ implies that $\text{d}(x_n,a)\le \frac{1}{n}<\varepsilon$, since $x_n \in B(a, \frac{1}{n})$ for $n\ge N.$ Therefore, $x_n \rightarrow a$.

1

I assume the other definition is $d(x_n,a)\to 0$. If this is to be used, then

Hints: Use the (similar) definition of limit among real numbers, and use that every open set $U\ni a$ (by definition) contains a sphere (ball) around $a$.