Analyse non standard

En mathématiques, et plus précisément en analyse, l'analyse non standard est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d'objet standard (s'opposant à celle d'objet non standard), ou plus généralement de modèle standard ou de modèle non standard. Cela permet de présenter les principaux résultats de l'analyse sous une forme plus intuitive que celle exposée traditionnellement depuis le . La naissance du calcul différentiel et infinitésimal au mena à l'introduction et à l'utilisation de quantités infiniment petites. Leibniz, Euler et Cauchy en firent grand usage. Cependant, ils ne purent éclairer pleinement la nature même de ces infiniment petits. Leur usage disparut au avec le développement de la rigueur en Analyse, par Weierstrass et Dedekind. Il fallut attendre la deuxième moitié du pour qu'une introduction rigoureuse des infiniment petits soit proposée. Après une approche due à Abraham Robinson en 1961, issue des travaux de la logique mathématique et utilisant la notion de modèle, Wilhelmus Luxemburg popularisa en 1962 une construction (déjà découverte par Edwin Hewitt en 1948) des infiniment petits (et des autres hyperréels) par une ultrapuissance de , donnant ainsi naissance à une nouvelle théorie, l'analyse non standard. En 1977, Edward Nelson fournit une autre présentation de l'analyse non standard – appelée IST (Internal Set Theory, c'est-à-dire « Théorie des ensembles internes » en anglais) – fondée sur l'axiomatique de Zermelo-Frankel à laquelle est ajouté un nouveau prédicat : le prédicat standard. Le comportement de ce nouveau prédicat est fondé sur trois axiomes nouveaux : l'axiome d'idéalisation ; l'axiome de standardisation ; l'axiome de transfert. Le sens du qualificatif standard donné par ces axiomes est celui d'objet appartenant à l'horizon perceptible, non standard comme étant au-delà de l'horizon perceptible. Un ensemble peut donc être standard ou non standard (on dit aussi charmé), il ne peut être les deux.