Un cadre rigoureux qui étend les réels à un corps ordonné (ou modèle) plus grand contenant des éléments infinitésimaux et infinis — les hyperréels — et qui utilise des outils de théorie des modèles (principe de transfert, distinction interne/externe, saturation) pour fonder le raisonnement infinitésimal et reconfigurer le calcul et certaines constructions de mesure.

Principe

Introduire une extension conservatrice des structures standards de sorte que les propriétés du premier ordre se transfèrent vers l’extension, distinguer ensembles internes et externes, et exploiter la saturation ou des constructions par ultrafiltre pour contrôler l’existence d’infiniment petits et de limites ; l’usage systématique de l’application partie standard relie les quantités non standard aux réels classiques.

Démonstration

On peut définir la dérivée d’une fonction f en x comme la partie standard de (f(x+δ)-f(x))/δ pour un infinitésimal δ des hyperréels, fournissant des preuves concises de la règle de la chaîne et des résultats de type moyenne ; la mesure de Loeb transforme des mesures internes finiment additives en mesures σ-additives standard, fournissant des constructions alternatives en probabilité et théorie de la mesure.

Mauvaise application

Confondre prédicats internes et externes (par exemple traiter une borne supérieure définie extérieurement comme si elle était interne) ou supposer que le principe de transfert s’applique à des propriétés d’ordre supérieur ou non du premier ordre conduit à des arguments invalides ; l’usage désinvolte d’ultrafiltres non principaux comme s’ils étaient canoniques masque des choix d’ensemble et peut induire en erreur sur la constructivité.

Conséquence

Offre des preuves infinitésimales intuitives, des constructions alternatives (p. ex. en calcul stochastique et mesure) et des aperçus de théorie des modèles ; elle produit souvent des démonstrations plus compactes et clarifie des arguments heuristiques infinitésimaux, tout en rendant explicites les dépendances au modèle de certaines constructions.

Inversion

Reformuler les arguments non standard en termes epsilon–delta et sans ultraproduit récupère les énoncés de l’analyse classique ; inversement, traduire des preuves classiques de limites en forme non standard simplifie souvent le raisonnement mais masque certains choix métamathématiques quand on inverse l’opération.

Limite

Nécessite un appareil de théorie des modèles (ultraproduits, saturation ou modèles non standards spécifiques) et s’appuie typiquement sur la logique classique et des principes de choix ; elle n’est pas directement constructive au sens de Bishop et certaines formulations non standards échouent dans des cadres qui interdisent certains principes de choix ou principes classiques.

Tension sémantique

Souvent opposée aux approches infinitésimales synthétiques : l’analyse non standard emploie des éléments infinitésimaux effectifs dans des modèles étendus et la logique classique, tandis que la géométrie différentielle synthétique utilise des infinitésimaux nilpotents dans un topos et généralement la logique intuitionniste — les deux restaurent l’intuition infinitésimale mais divergent par leurs engagements techniques.

Synthèse

L’Analyse Non Standard formalise les infinitésimaux et les infinis au sein d’extensions modélaires conservatrices des réels, échangeant un appareil métathéorique explicite contre des preuves intuitives et souvent plus courtes et des constructions alternatives ; elle complète les méthodes classiques tout en portant des hypothèses métamathématiques et des limites distinctes.