
Coupure de Dedekind
section d'un ensemble en deux morceaux, les éléments du premier étant inférieurs à ceux du second

section d'un ensemble en deux morceaux, les éléments du premier étant inférieurs à ceux du second
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 nécessairement un élément de E. Les coupures de Dedekind furent introduites par Richard Dedekind comme moyen de construction de l'ensemble des nombres réels (en présentant de manière formelle ce qui se trouve « entre » les nombres rationnels).
Lire sur Wikipédia · Image Hyacinth, Public domain
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement