On Flexible Sequences
Bruno Dinis , Nam Van Tran , Imme van den Berg
In the setting of nonstandard analysis, we introduce the notion of flexible sequence. The terms of flexible sequences are external numbers. These are a sort of analogue for the classical $O(\cdot)$ and $o(\cdot)$ notation for functions, and have algebraic properties similar to those of real numbers. The flexibility originates from the fact that external numbers are stable under some shifts, additions, and multiplications. We introduce two forms of convergence and study their relation. We show that the usual properties of convergence of sequences hold or can be adapted to these new notions of convergence and give some applications.