1
$\begingroup$

This question already has an answer here:

Prove that a metric space is complete w.r.t. sequences iff it is complete w.r.t. nets!

(The converse is trivial of course!)

$\endgroup$

marked as duplicate by Najib Idrissi, Community Nov 23 '15 at 19:34

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

2
$\begingroup$

Consider a Cauchy net: $$\forall \lambda,\lambda'\geq\lambda_n:\quad d(x_\lambda,x_\lambda')<\frac{1}{n}$$ Extract a Cauchy sequence: $$x_n:=x_{\lambda(n)}\quad\lambda(n):=\lambda_1\wedge\ldots\wedge\lambda_n$$ Apply completeness: $$d(x_\lambda,x)\leq d(x_\lambda,x_{n_0})+d(x_{n_0},x)<\frac{N}{2}+\frac{N}{2}\leq\epsilon$$ where to choose the meet $n_0:=N\wedge n(N)$ with $N:=\lceil\frac{\epsilon}{2}\rceil$

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.