3
$\begingroup$

Is the following way of defining sequential convergence correct? The real sequence $(x_n)$ converges to a real number $L$ if the hyperreal number $(x_1 - L, x_2-L, x_3-L,\ldots )$ is an infinitesimal.

$\endgroup$
1
  • $\begingroup$ .....or if it's zero, depending on whether or not you include 0 among the infinitesimals. $\endgroup$ – DanielWainfleet May 2 '17 at 16:33
2
$\begingroup$

I assume you are working within the ultrafilter approach to nonstandard-analysis. Then this does not work; see for instance:

Let $U$ be the ultrafilter (on $\mathbb{N}$) corresponding to said hyperreal system. Let $A$ be an infinite but not cofinite subset of $\mathbb{N}$ which belongs to $U$. Such a set exists: either $2\mathbb{N}$ or $2\mathbb{N}+1$ is an example.

Let $x: \mathbb{N}^* \rightarrow \mathbb{R}$ be the sequence such that $x(n) = L + \frac{1}{n}$ if $n-1 \in A$ and $x(n) = L+1$ otherwise. Then $[(x_1-L,x_2-L,...)]$ is an infinitesimal despite the fact that $x$ does not converge to $L$.

The reciprocal is true however: if the sequence converges to $L$, the described hyperreal number is infinitesimal.

$\endgroup$
0
$\begingroup$

In Internal Set Theory, the usual notion is near covergence. A sequence $\{x_n\}$ nearly converges to a real number $c$ if $|x_k - c|$ is infinitesimal whenever $k$ is nonstandard.

It is straightforward to show that all standard sequences converge (in the classical sense) if and only if they nearly converge.

$\endgroup$
7
  • $\begingroup$ pash, I don't think the OP is working with nonstandard indices. $\endgroup$ – Mikhail Katz May 4 '17 at 8:54
  • $\begingroup$ What references call this near convergence? $\endgroup$ – GPhys May 5 '17 at 1:35
  • $\begingroup$ @MikhailKatz, no, but I think it's useful to offer the Nelsonian approach, even if the question takes a Robinsonian perspective. $\endgroup$ – pash May 9 '17 at 7:03
  • $\begingroup$ @GPhys, most of the standard IST references. The terminology is Nelson's—he consistently uses the modifiers near and nearly for analogues of classical definitions that may differ for nonstandard objecets but which are equivalent for standard objects. If you're looking for an easy introduction to the axiomatic approach, I recommend Alain Robert's Nonstandard Analysis from Dover. $\endgroup$ – pash May 9 '17 at 7:12
  • $\begingroup$ @pash Can you list some? Alain and the Nelson articles I've read don't use it, but I think Nelson changed his terminology a lot through the years. (I'm asking just to find the references I haven't read, so please share!) $\endgroup$ – GPhys May 9 '17 at 10:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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