Coupure de Dedekindvignette|droite|upright=1.6|Dedekind introduit les coupures pour représenter les nombres irrationnels. En mathématiques, une coupure de Dedekind d'un ensemble totalement ordonné E est un couple (A, B) de sous-ensembles de E, lesquels forment à eux deux une partition de E, et où tout élément de A est inférieur à tout élément de B. D'une certaine façon, une telle coupure conceptualise quelque chose qui se trouverait « entre » A et B, mais qui ne serait pas forcément un élément de E.
Tropical semiringIn idempotent analysis, the tropical semiring is a semiring of extended real numbers with the operations of minimum (or maximum) and addition replacing the usual ("classical") operations of addition and multiplication, respectively. The tropical semiring has various applications (see tropical analysis), and forms the basis of tropical geometry. The name tropical is a reference to the Hungarian-born computer scientist Imre Simon, so named because he lived and worked in Brazil.
Lemme de FatouEn mathématiques, plus précisément en analyse, le lemme de Fatou est un résultat important dans la théorie de l'intégration de Lebesgue. Il a été démontré par le mathématicien français Pierre Fatou (1878-1929). Ce lemme compare l'intégrale d'une limite inférieure de fonctions mesurables positives avec la limite inférieure de leurs intégrales. Il est en général présenté dans une suite de trois résultats : d'abord le théorème de convergence monotone, qui sert ensuite à démontrer le lemme de Fatou, puis celui-ci est utilisé pour démontrer le théorème de convergence dominée.
Zéro signéLe zéro signé est un zéro accompagné d'un signe. En arithmétique ordinaire, le nombre 0 n'a pas de signe, de sorte que −0, +0 et 0 sont identiques. Cependant, en informatique, certaines représentations des nombres admettent l'existence de deux zéros, souvent notés −0 (zéro négatif) et +0 (zéro positif), considérés comme égaux par les opérations de comparaison numérique mais avec des comportements différents possibles dans des opérations particulières.
