3
$\begingroup$

Does the extended real line form a metric space such that we can define limits in the usual way?

I read on a blog that if we define $$d(x,y) = \left|\,\overline{\arctan}(x) - \overline{\arctan}(y)\right|\;,$$

where

$$\overline{\arctan}(x)= \begin{cases} \pi /2 & \text{if } x=\infty \\ -\pi/2 & \text{if } x= -\infty \\ \arctan(x) & \text{else} \end{cases} $$

This clearly gives a metric space, but I'm having trouble showing that limits in this metric space correspond to the usual ones. Basically, I'm trying to explain why $\lim_{x \rightarrow \infty} f(x)$ has a definition which is different from $\lim_{x \rightarrow p} f(x)$.

  • 2
    It has a different definition because $\infty$ is not an element of $\mathbb R$2012-03-29
  • 1
    Where are you having trouble? For finite $x$ the fact that $|x_n-x|\to 0$ iff $d(x_n,x)\to 0$ is basically just continuity of $\arctan$, and that $x_n\to\pm\infty$ iff $d(x_n,\pm\infty)\to 0$ follows pretty easily from the nature of $\arctan$.2012-03-29

1 Answers 1