\( \newcommand{\matr}[1] {\mathbf{#1}} \newcommand{\vertbar} {\rule[-1ex]{0.5pt}{2.5ex}} \newcommand{\horzbar} {\rule[.5ex]{2.5ex}{0.5pt}} \)
deepdream of
          a sidewalk
Show Question
\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \)
Math and science::Analysis::Tao::05. The real numbers

Sequences bounded away from zero

A sequence \( (a_n)_{n=1}^{\infty} \) is said to be bounded away from zero iff there exists a rational \( c > 0 \) such that \( |a_k| \ge c \) for all integers \( k \ge 1 \).

A sequence  \( (a_n)_{n=1}^{\infty} \) is said to be positively bounded away from zero iff there exists a rational \( c > 0 \) such that \( a_k \ge c \) for all integers \( k \ge 1 \). (In other words, the sequence is comprised entirely of positive rationals.)

A sequence  \( (a_n)_{n=1}^{\infty} \) is said to be negatively bounded away from zero iff there exists a rational \( c > 0 \) such that \( a_k \le -c \) for all integers \( k \ge 1 \). (In other words, the sequence is comprised entirely of negative rationals.)

These properties are used, among other things, to define reciprocation for the reals, ordering of reals and by extension the Archimedean property.


Source

Tao, Analysis I