Double sequences, almost Cauchyness and BD-N (Q2903765)

It is known that in Bishop-style constructive mathematics, many important and useful classical results are equivalent to Ishihara's boundedness principle BD-N, according to which a range \(A\) of a function from the positive integers \(\mathbb N^+\) to \(\mathbb N^+\) is bounded if each sequence \((a_n)\subseteq A\) has the property \(a_n/n\to 0\).NEWLINENEWLINEThe paper describes two new results wich are also equivalent to BD-N. The first equivalent result states that every double sequence \(s:\mathbb N^+\times \mathbb N^+\to \mathbb R\) which is zero at infinity (i.e., for which \(s(f(n),g(n))\to 0\) for all strictly increasing sequences \(f\) and \(g\)) is also uniformly zero at infinity (i.e., for each \(\varepsilon>0\), there exists \(N\) such that \(|s(m,n)|<\varepsilon\) for all \(m,n\geq N\)). The second equivalent result states that in a semi-metric space (without the triangle inequality), every almost Cauchy sequence \(x_n\) (i.e., the one for which \(\rho(x_{f(n)},x_{g(n)})\to 0\) for all strictly increasing \(f\) and \(g\)) is Cauchy.