Supremum, infimum and hyperlimits in the non-Archimedean ring of Colombeau generalized numbers

It is well-known that the notion of limit in the sharp topology of sequences of Colombeau generalized numbers [Formula: see text] does not generalize classical results. E.g. the sequence [Formula: see text] and a sequence [Formula: see text] converges if and only if [Formula: see text] . This has several deep consequences, e.g. in the study of series, analytic generalized functions, or sigma-additivity and classical limit theorems in integration of generalized functions. The lacking of these results is also connected to the fact that [Formula: see text] is necessarily not a complete ordered set, e.g. the set of all the infinitesimals has neither supremum nor infimum. We present a solution of these problems with the introduction of the notions of hypernatural number, hypersequence, close supremum and infimum. In this way, we can generalize all the classical theorems for the hyperlimit of a hypersequence. The paper explores ideas that can be applied to other non-Archimedean settings.