deepdream of
          a sidewalk
Show Question
Math and science::Analysis::Tao::05. The real numbers

Eventual ε-steadiness

Let ε>0 be a rational. A sequence (a)n=m is eventually ε-steady iff the sequence aN,aN+1,aN+2,... is ε-steady for some integer Nm

In other words, a sequence (a)n=m is eventually ε-steady iff there exists an integer Nm  such that |ajak|ε for all j,kN.

From sequences to reals

sequence → ε-steady sequence → eventually ε-steady sequence → Cauchy sequence → ε-close sequences → eventually ε-close sequences → equivalent sequences → real numbers.

Example

The sequence 1,0.1,0.001,... is not 0.1-steady, but is eventually 0.1-steady. The sequence 10,0,0,0,... is not ε-steady for any ε less than 10, but it is eventually ε-steady for every ε>0.


Source

Tao, Analysis I