Definition:Convergent Sequence/Rational Numbers

Definition

Let $\sequence {x_k}$ be a sequence in $\Q$.

$\sequence {x_k}$ converges to the limit $l \in \R$ if and only if:

$\forall \epsilon \in \R_{>0}: \exists N \in \R_{>0}: n > N \implies \size {x_n - l} < \epsilon$

where $\size x$ is the absolute value of $x$.

Note

The definition of convergence of a sequence of rational numbers is equivalent to the definition of convergence of a real sequence.

This article, or a section of it, needs explaining. In particular: prove it, in a separate page You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Explain}} from the code.

Note on Domain of $N$

Some sources insist that $N \in \N$ but this is not strictly necessary and can make proofs more cumbersome.