Les infinitésimaux pour l'analyse

Les créateurs de l’analyse mathématique, tels que Newton, exploitaient déjà des quantités qui, élevées au carré, deviennent négligeables. Leurs raisonnements étaient toutefois critiquables, notamment parce qu’il semble a priori impossible que le carré d’un nombre non nul soit égal à 0. Depuis lors, des progrès ont été accomplis et il est devenu possible d’exploiter l’idée intuitive et efficace des anciens tout en restant cohérent et rigoureux. Nous présentons succinctement la théorie moderne de la SIA (Smooth Infinitesimal Analysis) : elle s’inscrit dans cette direction.