Maybe there are some textbooks which might treat cauchyness by taking double limits...
My question:
Is it sufficient and necessary to consider the double limit:
$$x_n\quad \text{cauchy}\quad \Leftrightarrow \quad \lim_{(m,n)}d(x_m,x_n)=0$$
Moreover, if so, does it suffice as well to consider the limits successively and interchanged:
$$\lim_m\lim_n d(x_m,x_n)=0 \quad\text{and}\quad \lim_n\lim_m d(x_m,x_n)=0$$
Thanks in advance. Cheers, Alex.
My Answer:
Ok, so far, interchanging limits give the same since:
$$\lim_{m}\lim_{n}d(x_m,x_n) \stackrel{d(x,y)=d(y,x)}{=} \lim_{m}\lim_{n}d(x_n,x_m) \stackrel{m\leftrightarrow n}{=} \lim_{n}\lim_{m}d(x_m,x_n)$$
So there are the following two hypothesis still open:
$$x_n\quad \text{cauchy}\quad \Leftrightarrow \quad \lim_{(m,n)}d(x_m,x_n)=0$$
$$\lim_{(m,n)}d(x_m,x_n)=0 \quad \Leftrightarrow \quad \lim_{m}\lim_{n}d(x_m,x_n)$$
If $(x_\alpha)_{\alpha\in A}$ is a Cauchy net, for every $\varepsilon > 0$, there is an $\alpha(\varepsilon)$ such that $\beta,\gamma \geqslant \alpha(\varepsilon) \Rightarrow d(x_\beta, x_\gamma) < \varepsilon$. Then for each $\beta$, the net $\gamma \mapsto d(x_\beta,x_\gamma)$ is a Cauchy net in $\mathbb{R}$, hence its limit exists. Also the net $\beta \mapsto \lim\limits_{\gamma} d(x_\beta,x_\gamma)$ is a Cauchy net in $\mathbb{R}$ hence its limit exists as well: For $\beta \geqslant \alpha(\varepsilon)$, we have $0 \leqslant \lim\limits_\gamma d(x_\beta,x_\gamma) \leqslant \varepsilon$, hence
$$\lim_\beta\lim_\gamma d(x_\beta,x_\gamma) = 0.$$
Conversely, if $(x_\alpha)_{\alpha\in A}$ is a net such that for every (large enough) $\beta\in A$ the limit $\lim\limits_\gamma d(x_\beta,x_\gamma)$ exists, and $\lim\limits_\beta \lim\limits_\gamma d(x_\beta, x_\gamma) = 0$, then given $\varepsilon > 0$, there is a $\beta(\varepsilon)$ such for all $\beta \geqslant \beta(\varepsilon)$ we have $\lim\limits_\gamma d(x_\beta,x_\gamma) < \varepsilon/2$. In particular, $\lim\limits_\gamma d(x_{\beta(\varepsilon)},x_\gamma) < \varepsilon/2$, so there is a $\gamma(\varepsilon,\beta(\varepsilon))$ such that $d(x_{\beta(\varepsilon)},x_\gamma) < \varepsilon/2$ for all $\gamma \geqslant \gamma(\varepsilon,\beta(\varepsilon))$. Choose $\alpha(\varepsilon) = \gamma(\varepsilon,\beta(\varepsilon))$. Then, for $\beta,\gamma \geqslant \alpha(\varepsilon)$ we have
$$d(x_\beta,x_\gamma) \leqslant d(x_{\beta(\varepsilon)},x_\beta) + d(x_{\beta(\varepsilon)},x_\gamma) < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon,$$
so $(x_\alpha)_{\alpha\in A}$ is a Cauchy net.
To complete everything, we need to see that $\lim\limits_{(\beta,\gamma)} d(x_\beta,x_\gamma) = 0$ is equivalent to $(x_\alpha)$ being a Cauchy net.
If $(x_\alpha)_{\alpha\in A}$ is a Cauchy net, then for $(\beta,\gamma) \geqslant (\alpha(\varepsilon),\alpha(\varepsilon))$ we have $d(x_\beta,x_\gamma) < \varepsilon$, therefore $\lim\limits_{(\beta,\gamma)} d(x_\beta,x_\gamma) = 0$. Conversely, if $\lim\limits_{(\beta,\gamma)} d(x_\beta,x_\gamma) = 0$, then for every $\varepsilon > 0$ there is a pair $(\beta(\varepsilon),\gamma(\varepsilon))$ such that $(\beta,\gamma) \geqslant (\beta(\varepsilon),\gamma(\varepsilon)) \Rightarrow d(x_\beta,x_\gamma) < \varepsilon$. Then we can choose (by directedness) an $\alpha(\varepsilon)$ with $\alpha(\varepsilon) \geqslant \beta(\varepsilon)$ and $\alpha(\varepsilon) \geqslant \gamma(\varepsilon)$, and for $\beta,\gamma \geqslant \alpha(\varepsilon)$ it follows that $d(x_\beta,x_\gamma) < \varepsilon$, hence $(x_\alpha)$ is a Cauchy net.